Copyright	(C) 2013 Fumiaki Kinoshita
License	BSD-style (see the file LICENSE)
Maintainer	Fumiaki Kinoshita <fumiexcel@gmail.com>
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Control.Bool

Contents

Description

Useful combinators for boolean expressions

Synopsis

A pure combinator

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

bool a b is a function that returns a if the argument is True, otherwise returns b.

ifThenElse :: Bool -> a -> a -> a #

An argument-permuted equivalent of bool.

Applicative combinators

A lifted not.

(<||>) :: Applicative f => f Bool -> f Bool -> f Bool infixr 2 #

A lifted (||).

(<&&>) :: Applicative f => f Bool -> f Bool -> f Bool infixr 3 #

A lifted (&&).

An Alternative analogue of guard.

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

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

A lifted not.

(<|=>) :: Monad m => m Bool -> m Bool -> m Bool infixr 2 #

A lifted (||), but short-circuited.

(<&=>) :: Monad m => m Bool -> m Bool -> m Bool infixr 3 #

A lifted (&&), but short-circuited.

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

guard' b a returns a 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 #