|
|
|
|
|
|
| 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 |