haskell - 将 StateT IO 与 State 结合

Question

如果我有一个函数f :: State Int () ，是否可以在另一个函数中使用它g :: StateT Int IO () ?用 f = do { something; g } 嵌套它无法使用 Couldn't match type 'Data.Functor.Identity.Identity' with 'IO' 进行类型检查.

Answer 1

是的，这个操作通常被称为“吊装”。对于 State monad，它可以定义为

hoistState :: Monad m => State s a -> StateT s m a
hoistState = state . runState

不幸的是，它没有在 Control.Monad.State 中定义。模块。