組合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模塊中定義。