Safe Haskell	Safe-Infered

Data.Algebra.Boolean

Synopsis

Documentation

class Boolean b whereSource

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 &&.

Methods

Truth value.

False value.

not :: b -> bSource

Logical negation.

(&&) :: b -> b -> bSource

Logical conjunction.

(||) :: b -> b -> bSource

Logical inclusive disjunction.

xor :: b -> b -> bSource

Logical exclusive disjunction.

(-->) :: b -> b -> bSource

Logical implication

(<-->) :: b -> b -> bSource

Logical biconditional

Instances

Injection from Bool into a boolean algebra.