एक इकाई लौटने हास्केल नक्शे

Question

में Data.Map और Data.IntMap वर्तमान में हो सकता है कि में लिपटे मान साथ प्रकार हस्ताक्षर

lookup :: Ord k => k -> Map k a -> Maybe a 

यह

lookup :: (Monad m, Ord k) => k -> Map k a -> m a 

के और अधिक सामान्य प्रकार किया करते थे देखने समारोह

मुझे एहसास है कि पूर्व में अतिरिक्त प्रकार के विनिर्देश की आवश्यकता कम हो जाती है, लेकिन बाद वाला इसे अधिक सामान्य बना देगा और सूची समझ में लुकअप का उपयोग करने की अनुमति देगा। क्या इस व्यवहार की नकल करने के लिए नए संस्करण के साथ कोई तरीका है, या मुझे पुस्तकालय के पुराने संस्करण का उपयोग करना होगा?

Answer 1

डॉन की lift उनके सामान्य Monad समकक्षों की Maybe के तत्वों बदल देता है, तो शायद यह convert या generalize या कुछ ;-)

नाम दिया जाना चाहिए तुम सिर्फ सूची comprehensions और अन्य monads में मुख्य रूप से lookup उपयोग करना चाहते हैं कि एक fail लागू, आप भी fail के पैटर्न मैच विफलता की मैपिंग का उपयोग कर सकता: विशिष्ट cas लिए

 
Prelude> [ v | Just v <- return $ lookup "hi" [("ho","silver")] ] 
[] 
Prelude> [ v | Just v <- return $ lookup "ho" [("ho","silver")] ] 
["silver"] 

Prelude> do Just v <- return $ lookup "hi" [("ho","silver")] ; print v 
*** Exception: user error (Pattern match failure in do expression at <interactive>:1:3-8) 
Prelude> do Just v <- return $ lookup "ho" [("ho","silver")] ; print v 
"silver" 

Answer 2

बाद यह बहुत अधिक सामान्य बनाना और अनुमति देने के देखने सूची comprehensions

बाद में इस्तेमाल किया जाएगा भी अधिक असुरक्षित है, जैसा कि इकाई वर्गों के बहुमत को परिभाषित error के रूप में असफल। यही है, मानचित्र में कोई तत्व नहीं ढूंढने का सामान्य मामला अधिकांश मोनैड के लिए प्रोग्राम-टर्मिनिंग त्रुटि है। कि, अनुमानित गलत प्रकार के संदर्भ की बढ़ती संभावना के साथ, इसका मतलब है कि हम अब 'monadic विफल वापसी' शैली को हतोत्साहित करते हैं।

वहाँ किसी भी तरह से नए संस्करण

दरअसल वहाँ के साथ इस व्यवहार की नकल करने के लिए है! बस शायद मोनाड में एक उठाएं, जैसे:

lift :: Monad m => Maybe a -> m a 
lift Nothing = fail "you die now" 
lift (Just a) = return a 

और अब आप लिख सकते हैं, उदा। lift . lookup

Answer 3

सूची मोनैड का ई, सबसे आसान समाधान maybeToList का उपयोग करना है:

Prelude> :m +Data.Maybe -- Note: Use "import Data.Maybe" in a program file 

Data.Maybe> [ v | v <- maybeToList $ lookup "hi" [("ho","silver")] ] 
[] 
Data.Maybe> [ v | v <- maybeToList $ lookup "ho" [("ho","silver")] ] 
["silver"]