:: Monad m => [a] -> (a -> m ()) -> m () package:distribution-opensuse

forM_ :: (Foldable t, Monad m) => t a -> (a -> m b) -> m ()

forM_ is mapM_ with its arguments flipped. For a version that doesn't ignore the results see forM. forM_ is just like for_, but specialised to monadic actions.

mconcatMapM :: (Monad m, Monoid b) => (a -> m b) -> [a] -> m b

distribution-opensuse OpenSuse.Prelude

A version of mconcatMap that works with a monadic predicate.

mapM_ :: (Foldable t, Monad m) => (a -> m b) -> t a -> m ()

distribution-opensuse OpenSuse.Prelude OpenSuse.Prelude

Map each element of a structure to a monadic action, evaluate these actions from left to right, and ignore the results. For a version that doesn't ignore the results see mapM. mapM_ is just like traverse_, but specialised to monadic actions.