Зачем нужна монада Maybe?

Question

Я пытаюсь реализовать основной slackbot с использованием пакета Network.Linklater:

https://github.com/hlian/linklater

Этот пакет определяет следующие функции:

slashSimple :: (Command -> IO Text) -> Application 
slashSimple f = 
    slash (\command _ respond -> f command >>= (respond . responseOf status200)) 

Я пытаюсь потреблять это примерно так:

kittensBot :: Command -> IO Text 
kittensBot cmd = do 
      putStrLn("+ Incoming command: " ++ show cmd) 
      return "ok" 

main :: IO() 
main = do 
    putStrLn ("Listening on port: " ++ show port) 
    run port (slashSimple kittensBot) 
    where 
     port = 3001 

это производит (во время компиляции):

Main.hs:20:28: 
    Couldn't match type ‘Maybe Command’ with ‘Command’ 
    Expected type: Maybe Command -> IO Text 
     Actual type: Command -> IO Text 
    In the first argument of ‘slashSimple’, namely ‘kittensBot’ 
    In the second argument of ‘run’, namely ‘(slashSimple kittensBot)’ 

Однако подпись slashSimple составляет (Command -> IO Text) -> Application. Должна ли подпись kittensBot выполнить это? Почему не так?

Answer 1

Хотя определение slashSimple на мастер GitHub, как вы сообщили, версия Hackage в linklater-3.2.0.0 является

slashSimple :: (Maybe Command -> IO Text) -> Application 

Если вы хотите использовать пакет на Hackage, вам нужно обновить kittensBot что-то вроде :

kittensBot :: Maybe Command -> IO Text 
kittensBot Nothing = ... 
kittensBot (Just cmd) = do 
     putStrLn("+ Incoming command: " ++ show cmd) 
     return "ok" 

В качестве альтернативы вы можете загрузить пакет из GitHub и вручную установить его.