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

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.

forM' :: (Foldable t, Applicative m, Monoid b) => t a -> (a -> m b) -> m b

Agda Agda.Utils.Monad

Generalized version of for_ :: Applicative m => [a] -> (a -> m ()) -> m ()