haskell - mapAccumLM を探しています

Question

私は IO モナドで 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