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

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

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. As of base 4.8.0.0, mapM_ is just traverse_, specialized to Monad.

traverse_ :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()

rio RIO.Prelude

Map each element of a structure to an action, evaluate these actions from left to right, and ignore the results. For a version that doesn't ignore the results see traverse.

mapM_ :: (Monad m, Vector v a) => (a -> m b) -> v a -> m ()

rio RIO.Vector

O(n) Apply the monadic action to all elements of a vector and ignore the results

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

rio RIO.Prelude

forM_ is mapM_ with its arguments flipped. For a version that doesn't ignore the results see forM. As of base 4.8.0.0, forM_ is just for_, specialized to Monad.