寻找mapAccumLM

Question

我正在寻找一种在IO monad中使用mapAccumL的方法 - 类似于mapM的模拟,即使用这种类型的签名:

mapAccumLM :: (Monad m) => (a -> b -> m(a, c)) -> a -> [b] -> m(a, [c])

有什么简单的方法吗？

Answer 1

这基本上mapM是StateT a IO:

mapAccumLM f a xs = runStateT (mapM (StateT . f) xs) a