|
|
|
|
|
|
Synopsis |
|
mif :: Monad m => m Bool -> m a -> m a -> m a | | mif' :: Monad m => m Bool -> a -> a -> m a | | mOr :: Monad m => m Bool -> m Bool -> m Bool | | mAnd :: Monad m => m Bool -> m Bool -> m Bool | | anyM :: Monad m => (a -> m Bool) -> [a] -> m Bool | | allM :: Monad m => (a -> m Bool) -> [a] -> m Bool | | mor :: Monad m => [m Bool] -> m Bool | | mand :: Monad m => [m Bool] -> m Bool |
|
|
Documentation |
|
mif :: Monad m => m Bool -> m a -> m a -> m a |
Monadic version of if. |
|
mif' :: Monad m => m Bool -> a -> a -> m a |
Monadic version of if, lifting the branches. |
|
mOr :: Monad m => m Bool -> m Bool -> m Bool |
Monadic version of ||. |
|
mAnd :: Monad m => m Bool -> m Bool -> m Bool |
Monadic version of &&. |
|
anyM :: Monad m => (a -> m Bool) -> [a] -> m Bool |
Monadic version of any. |
|
allM :: Monad m => (a -> m Bool) -> [a] -> m Bool |
Monadic version of all. |
|
mor :: Monad m => [m Bool] -> m Bool |
Monadic version of or. |
|
mand :: Monad m => [m Bool] -> m Bool |
Monadic version of and. |
|
Produced by Haddock version 0.6 |