将Maybes映射到monad的功能

Question

我经常使用maybe (return ()) someFunc someMaybe形式的表达式。

在hoogle上搜索功能Monad m => (a -> m ()) -> Maybe a -> m ()不会产生特定结果。这个没有库函数吗？

Answer 1

您可以使用Data.Foldable中的mapM_或forM_来实现此目的。另请参阅the recent discussion on the librariers mailing list。