Haskell foldl Monad绑定

Question

我有一个功能

move :: Move -> Node -> Maybe Node

在这里我可以使用我的绑定单子来获取Maybe Node

(return n >>= move m) 

其中n :: Node和m :: Move，但是现在如何折叠Move（[Move]）列表？

我试图用折叠来做，但是没有成功。

Answer 1

如果您有一个初始Node和一个[Move] ，则可以使用foldM ：

moveAll :: Node -> [Move] -> Maybe Node
moveAll startNode moves = foldM (\n m -> move m n) startNode moves

或简单地

moveAll = foldM (flip move)