Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Fumiaki Kinoshita <fumiexcel@gmail.com> |
Safe Haskell | Safe-Inferred |
Useful combinators for boolean expressions
- bool :: a -> a -> Bool -> a
- notF :: Functor f => f Bool -> f Bool
- (<||>) :: Applicative f => f Bool -> f Bool -> f Bool
- (<&&>) :: Applicative f => f Bool -> f Bool -> f Bool
- aguard' :: Alternative m => Bool -> a -> m a
- notM :: Monad m => m Bool -> m Bool
- (<|=>) :: Monad m => m Bool -> m Bool -> m Bool
- (<&=>) :: Monad m => m Bool -> m Bool -> m Bool
- guard' :: MonadPlus m => Bool -> a -> m a
- guardM' :: MonadPlus m => m Bool -> a -> m a
- whenM :: (Monoid a, Monad m) => m Bool -> m a -> m a
- unlessM :: (Monoid a, Monad m) => m Bool -> m a -> m a
A pure combinator
bool :: a -> a -> Bool -> aSource
Return its second argument if the boolean value is True
, otherwise return first.
Applicative Combinators
aguard' :: Alternative m => Bool -> a -> m aSource
Monadic combinators
guardM' :: MonadPlus m => m Bool -> a -> m aSource
guard'
b returns the second argument if b is True, otherwise becomes mzero.