Warum Mustererkennung keine Ausnahme auslöst. Vielleicht monad

Question

Meine Frage ist einfach. Warum falsche Mustererkennung keine Ausnahme in Maybe Monad wirft. Aus Gründen der Klarheit:

data Task = HTTPTask { 
getParams :: [B.ByteString], 
postParams :: [B.ByteString], 
rawPostData :: B.ByteString 
} deriving (Show) 

tryConstuctHTTPTask :: B.ByteString -> Maybe Task 
tryConstuctHTTPTask str = do 
case decode str of 
    Left _ -> fail "" 
    Right (Object trie) -> do 
     Object getP <- DT.lookup (pack "getParams") trie 
     Object postP <- DT.lookup (pack "postParams") trie 
     String rawData <- DT.lookup (pack "rawPostData") trie 
     return $ HTTPTask [] [] rawData 

Blick auf tryConstuctHTTPTask Funktion. Ich denke, dass, wenn das Muster nicht übereinstimmt (zum Beispiel "Object getP") müssen wir etwas wie "Prelude.Exception", stattdessen bekomme ich die "Nothing". Ich mag dieses Verhalten, aber ich verstehe nicht warum.

Danke.

Answer 1

Doing pattern <- expression in einem do-Block, wird fail aufrufen, wenn das Muster nicht übereinstimmt. So ist es äquivalent zu tun

expression >>= \x -> 
case x of 
    pattern -> ... 
    _ -> fail 

Seit fail als Nothing im Maybe Monade definiert ist, erhalten Sie Nothing für ausgefallene Muster <- Spiele verwenden.