(a -> IO b) -> [a] -> IO [b]

mapM :: Monad m => (a -> m b) -> [a] -> m [b]
base Prelude, base Control.Monad
mapM f is equivalent to sequence . map f.
traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
base Data.Traversable
forM :: Monad m => [a] -> (a -> m b) -> m [b]
base Control.Monad
forM is mapM with its arguments flipped
for :: (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b)
base Data.Traversable
for is traverse with its arguments flipped.
mapM :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b)
base Data.Traversable
forM :: (Traversable t, Monad m) => t a -> (a -> m b) -> m (t b)
base Data.Traversable
forM is mapM with its arguments flipped.
filterM :: Monad m => (a -> m Bool) -> [a] -> m [a]
base Control.Monad
This generalizes the list-based filter function.