राज्य

Question

के साथ राज्य स्टेट IO का संयोजन यदि मेरे पास f :: State Int() कोई फ़ंक्शन है, तो क्या इसे किसी अन्य फ़ंक्शन g :: StateT Int IO() के भीतर उपयोग करना संभव है? f = do { something; g } के साथ इसे Nesting Couldn't match type 'Data.Functor.Identity.Identity' with 'IO' के साथ टाइप चेक करने में विफल रहता है।

Answer 1

हां, इस ऑपरेशन को आमतौर पर "hoisting" कहा जाता है। बस को परिभाषित करने और निम्नलिखित समारोह का उपयोग करें:

hoistState :: Monad m => State s a -> StateT s m a 
hoistState = StateT . (return .) . runState 

दुर्भाग्य से, यह Control.Monad.State मॉड्यूल में परिभाषित नहीं है।