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
Other functions
Morphisms
type BoolAlgebra r = (r, r)Source
cata :: BoolAlgebra r -> Bool -> rSource
Catamorphism for booleans.