Control.Bool

Useful combinators for boolean expressions

A pure combinator

bool :: a -> a -> Bool -> a

Return its second argument if the boolean value is True, otherwise return first.

Applicative combinators

notF :: Functor f => f Bool -> f Bool

A lifted not.

(<||>) :: Applicative f => f Bool -> f Bool -> f Bool

A lifted (||).

(<&&>) :: Applicative f => f Bool -> f Bool -> f Bool

A lifted (&&).

aguard :: Alternative m => Bool -> m ()

An Alternative analogue of guard.

aguard' :: Alternative m => Bool -> a -> m a

aguard' b returns the second argument if b is True, otherwise becomes empty.

Monadic combinators

notM :: Monad m => m Bool -> m Bool

A lifted not.

(<|=>) :: Monad m => m Bool -> m Bool -> m Bool

A lifted (||), but it doesn't run the second argument if the first returns True.

(<&=>) :: Monad m => m Bool -> m Bool -> m Bool

A lifted (&&), but it doesn't run the second argument if the first returns False.

guard' :: MonadPlus m => Bool -> a -> m a

guard' b returns the second argument if b is True, otherwise becomes mzero.

guardM' :: MonadPlus m => m Bool -> a -> m a

guard' b returns the second argument if b is True, otherwise becomes mzero.

whenM :: (Monoid a, Monad m) => m Bool -> m a -> m a

Run the action if the given monadic condition becomes True.

unlessM :: (Monoid a, Monad m) => m Bool -> m a -> m a

Run the action if the given monadic condition becomes False.

ifThenElseM :: Monad m => m Bool -> m a -> m a -> m a