Data.Bool.HT

Documentation

if' :: Bool -> a -> a -> a

if-then-else as function.

Example:

 if' (even n) "even" $
 if' (isPrime n) "prime" $
 "boring"

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

The same as if', but the name is chosen such that it can be used for GHC-7.0's rebindable if-then-else syntax.

select :: a -> [(Bool, a)] -> a

From a list of expressions choose the one, whose condition is true.

Example:

 select "boring" $
   (even n, "even") :
   (isPrime n, "prime") :
   []

(?:) :: Bool -> (a, a) -> a

Like the ? operator of the C progamming language. Example: bool ?: (yes, no).

implies :: Bool -> Bool -> Bool

Logical operator for implication.

Funnily because of the ordering of Bool it holds implies == (<=).