Data.Bool.Extras
Main function
bool
Other functions
mwhen
mwhenM
whenA
whenC
whenM
Morphisms
type
BoolAlgebra
r
cata
ana