:: (Applicative m, Foldable f, Monoid b) => (a -> m b) -> f a -> m b package:relude

foldMapM :: (Monoid b, Monad m, Foldable f) => (a -> m b) -> f a -> m b

relude Relude.Foldable.Fold

Polymorphic version of the concatMapM function.

>>> foldMapM @[Int] (Just . replicate 3) [1..3]
Just [1,1,1,2,2,2,3,3,3]

foldMapA :: (Semigroup b, Monoid b, Applicative m, Foldable f) => (a -> m b) -> f a -> m b

relude Relude.Foldable.Fold

Polymorphic version of the concatMapA function.

>>> foldMapA @[Int] (Just . replicate 3) [1..3]
Just [1,1,1,2,2,2,3,3,3]