क्यों हो सकता है पैटर्न मिलान शायद मोनड

Question

में अपवाद फेंक नहीं है मेरा प्रश्न सरल है। क्यों गलत पैटर्न मिलान शायद मोनड में अपवाद फेंक नहीं है। tryConstuctHTTPTask समारोह में

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 

देखो: स्पष्टता के लिए। मुझे लगता है कि जब पैटर्न मेल नहीं खाता है (उदाहरण के लिए "ऑब्जेक्ट getP") हमें कुछ "प्रीलूड.एक्सप्शन" प्राप्त करना होगा, इसके बजाय मुझे "कुछ भी नहीं" मिलता है। मुझे यह व्यवहार पसंद है लेकिन मुझे समझ में नहीं आता क्यों।

धन्यवाद।

Answer 1

pattern <- expressiondo -block में, fail पर कॉल करें जब पैटर्न मेल नहीं खाता है। तो यह क्या कर रही

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

fail के बाद से Maybe इकाई में Nothing के रूप में परिभाषित किया गया है के बराबर है, तो आप मैच <- का उपयोग कर में विफल रहा है पैटर्न के लिए Nothing मिलता है।