Data.Bool.Extras

This module provides some convenient functions for dealing with Booleans.

The most important one being bool, a function that can be used in place of the build-in if then else-syntax.

Main function

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

Defines the fold over a boolean value.

Returns its first argument when applied to False, returns its second argument when applied to True.

Comparable to the maybe or either functions for their respective data types.

Other functions

mwhen :: Monoid a => a -> Bool -> a

Boolean operation for monoids.

Returns its first argument when applied to True, returns mempty when applied to False.

whenA :: Arrow a => a b b -> Bool -> a b b

Boolean operation for arrows.

Returns its first argument when applied to True, returns returnA when applied to False.

whenC :: Category cat => cat b b -> Bool -> cat b b

Boolean operation for categories.

Returns its first argument when applied to True, returns Control.Category.id when applied to False.

whenM :: Monad m => (b -> m b) -> Bool -> b -> m b

Boolean operation for monads.

Returns its first argument when applied to True, returns Control.Category.id when applied to False.

Control.Monad.when can be expressed in terms of whenM, like so:

 when :: Monad m => Bool -> m () -> m ()
 when b m = (const m `whenM` b) ()

Morphisms

type BoolAlgebra r = (r, r)

Algebra for Bool data type.

The first field of the pair represents the False value, the second field represents the True value.

cata :: BoolAlgebra r -> Bool -> r

Catamorphism for booleans.

ana :: (b -> Bool) -> b -> Bool

Anamorphism for booleans.