如何将一元函数转换为一元状态转换器？

Question

基本上，我想要的是这样的：

stateIO :: (s -> IO (a, s)) -> StateT s IO a
stateIO f = do
    r <- get
    (a, r') <- liftIO $ f r
    put r'
    return a

我尝试使用state，但内部liftIO 有问题。是否有另一种更聪明的方法，无需手动解包？

Answer 1

哦，好吧。谢谢@bisserlis。

stateIO = StateT

（可能用于避免单态限制）。