Haskell Core Libraries (base package)
Contents
Index
Control.Monad
Portability
portable
Stability
provisional
Maintainer
libraries@haskell.org
Description
Synopsis
class
Monad
m =>
MonadPlus
m
where
mzero
:: m a
mplus
:: m a -> m a -> m a
join
::
Monad
m => m (m a) -> m a
guard
::
MonadPlus
m =>
Bool
-> m ()
when
::
Monad
m =>
Bool
-> m () -> m ()
unless
::
Monad
m =>
Bool
-> m () -> m ()
ap
::
Monad
m => m (a -> b) -> m a -> m b
msum
::
MonadPlus
m => [m a] -> m a
filterM
::
Monad
m => (a -> m
Bool
) -> [a] -> m [a]
mapAndUnzipM
::
Monad
m => (a -> m (b, c)) -> [a] -> m ([b], [c])
zipWithM
::
Monad
m => (a -> b -> m c) -> [a] -> [b] -> m [c]
zipWithM_
::
Monad
m => (a -> b -> m c) -> [a] -> [b] -> m ()
foldM
::
Monad
m => (a -> b -> m a) -> a -> [b] -> m a
liftM
::
Monad
m => (a1 -> r) -> m a1 -> m r
liftM2
::
Monad
m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r
liftM3
::
Monad
m => (a1 -> a2 -> a3 -> r) -> m a1 -> m a2 -> m a3 -> m r
liftM4
::
Monad
m => (a1 -> a2 -> a3 -> a4 -> r) -> m a1 -> m a2 -> m a3 -> m a4 -> m r
liftM5
::
Monad
m => (a1 -> a2 -> a3 -> a4 -> a5 -> r) -> m a1 -> m a2 -> m a3 -> m a4 -> m a5 -> m r
class
Monad
m
where
(>>=)
:: m a -> (a -> m b) -> m b
(>>)
:: m a -> m b -> m b
return
:: a -> m a
fail
::
String
-> m a
class
Functor
f
where
fmap
:: (a -> b) -> f a -> f b
mapM
::
Monad
m => (a -> m b) -> [a] -> m [b]
mapM_
::
Monad
m => (a -> m b) -> [a] -> m ()
sequence
::
Monad
m => [m a] -> m [a]
sequence_
::
Monad
m => [m a] -> m ()
(=<<)
::
Monad
m => (a -> m b) -> m a -> m b
Produced by
Haddock
version 0.6