हास्केल में एक मोनड से मूल्य कैसे निकालें?

Question

क्या मोनैड से "चीजें" लेने का कोई तरीका है?

मैं एक गेम विकसित कर रहा हूं, और अब मैं डेटाबेस के बारे में समझने की कोशिश कर रहा हूं। मुझे happstack वास्तव में अच्छा लगा, लेकिन मुझे बात नहीं मिल रही है।

उदाहरण के लिए, मैं इस समारोह है (आशा है कि आप happstack से परिचित हैं)

getAllThings :: MonadIO m => m [Thing] 
getAllThings = do 
      elems <- query GetThings 
      return elems 

तो मैं m [Things] मिलता है, लेकिन मैं अपने मॉडल में इस का उपयोग नहीं कर सकता! उदाहरण के लिए

doSomeThingWithThings :: [Thing] -> Something 

मैंने इसे गुगल किया और मुझे कुछ भी नहीं मिला।

Answer 1

आप आईओ इस तरह से इकाई (unsafePerformIO समारोह को छोड़कर) से बाहर निकलने के अपेक्षा की जाती है नहीं, लेकिन आप अभी भी इसके अंदर अपने कार्य का उपयोग कर सकते हैं:

process :: MonadIO m => m() 
process = do 
      elems <- getAllThings 
      let smth = doSomeThingWithThings elems 
      -- ... 

Answer 2

elems <- query GetThings बाद elems है [Thing] तो <- अंदर करना करने के बारे में है मोनड से बाहर चीजें (बाध्य ऑपरेशन कहा जाता है)। आखिरी वक्तव्य return चीजों को एक मोनैड के अंदर रखता है। तो या तो आपको प्राप्त हो elems के बाद और return से पहले या जहां अन्य समारोह कॉल कर सकते हैं कभी आप getAllThings बुला रहे हैं आप इकाई से <- का उपयोग कर मान प्राप्त उपयोग करें और यह आपके कार्य करने के लिए पारित कर सकते हैं