StateT IOを状態

Question

と組み合わせる

私は、機能がであれば、それを別の機能の中で使うことは可能ですかg :: StateT Int IO()？ f = do { something; g }でネストすると、Couldn't match type 'Data.Functor.Identity.Identity' with 'IO'で型チェックできません。

Answer 1

はい、この操作は通常「巻上げ」と呼ばれます。ただ、次の関数を定義して使用します。

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

を残念ながら、それはControl.Monad.Stateモジュールで定義されていません。