|
| Control.Monad | | Portability | portable | | Stability | provisional | | Maintainer | libraries@haskell.org |
|
|
|
|
|
| Description |
|
|
|
|
| class (Monad m) => MonadPlus m where |
| | Methods | | mzero :: m a | | | mplus :: m a -> m a -> m a |
| | | Instances | |
|
|
| 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 |
| | Methods | | (>>=) :: m a -> (a -> m b) -> m b | | | (>>) :: m a -> m b -> m b | | | return :: a -> m a | | | fail :: String -> m a |
| | | Instances | |
|
|
| class Functor f where |
| | Methods | | fmap :: (a -> b) -> f a -> f b |
| | | Instances | |
|
|
| 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.4 |