Safe Haskell | Safe-Infered |
---|
Documentation
A class for boolean algebras. Instances of this class should obey all the axioms of boolean algebra.
Minimal complete definition: true
, false
, not
or <-->
, ||
or &&
.
Truth value.
False value.
Logical negation.
Logical conjunction.
Logical inclusive disjunction.
Logical exclusive disjunction.
Logical implication
Logical biconditional