Instant is
off
Search plugin
Manual
haskell.org
(a -> IO b)
->
[a]
->
IO [b]
Packages
base
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.