utility-ht-0.0.16: Various small helper functions for Lists, Maybes, Tuples, Functions
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Bool.HT

Synopsis

Documentation

if' :: Bool -> a -> a -> a Source #

if-then-else as function.

Example:

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

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

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

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 infixr 1 Source #

Like the ? operator of the C progamming language.

>>> True ?: ("yes", "no")
"yes"
>>> False ?: ("yes", "no")
"no"

implies :: Bool -> Bool -> Bool infixr 1 Source #

Logical operator for implication.

Funnily because of the ordering of Bool it holds:

\a b -> implies a b == (a<=b)