组合StateT IO与状态

Question

如果我有一个功能f :: State Int()，是否可以在另一个功能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模块中定义。