Add foldMapM to Data.Foldable

Andrew Martin andrew.thaddeus at
Wed Dec 6 14:28:37 UTC 2017

Several coworkers and myself have independently reinvented this function
several times:

    foldMapM :: (Foldable g, Monoid b, Monad m) => (a -> m b) -> g a -> m b
    foldMapM f xs = foldlM (\b a -> mappend b <$> (f a)) mempty xs

I would like to propose that this be added to Data.Foldable. We have the
triplet foldr,foldl,foldMap in the Foldable typeclass itself, and
Data.Foldable provides foldrM and foldlM. It would be nice to provide
foldMapM for symmetry and because it seems to be useful in a variety of

-Andrew Thaddeus Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list