haskell - 是否有像 iterate 这样的标准 Haskell 函数停止为 Nothing？

Question

我想知道是否有一个标准函数可以迭代一个函数，该函数在初始值上返回一个(Maybe 值)，收集列表中的值，但当它变为 Nothing 时结束该列表。这个函数可以像这样实现:

iterateMaybe f a = a : iterMaybe (f a) where
  iterMaybe Nothing = []
  iterMaybe (Just a) = a : iterMaybe (f a)

或略有不同，如下所示:

iterateMaybe' f Nothing = []
iterateMaybe' f (Just a) = a : iterateMaybe' f (f a)

the functions that Hoogle finds 都没有比赛。

Answer 1

这是 unfoldr 的特例.

iterateMaybe f = unfoldr (fmap (\s -> (s,s)) . f)

不同之处在于 unfoldr 返回的列表不会包含初始元素。