Data.Algebra.Boolean.FreeBoolean

Documentation

data FreeBoolean a

Free Boolean type, does not perform any optimizations on the structure. Useful only in tests.

Consider using NNF.

Constructors

FBValue a

FBTrue

FBFalse

FBNot (FreeBoolean a)

FBAnd (FreeBoolean a) (FreeBoolean a)

FBOr (FreeBoolean a) (FreeBoolean a)

Instances

Functor FreeBoolean

Typeable1 FreeBoolean

CoBoolean1 FreeBoolean

NormalForm FreeBoolean

Eq a => Eq (FreeBoolean a)

Ord a => Ord (FreeBoolean a)

Read a => Read (FreeBoolean a)

Show a => Show (FreeBoolean a)

Boolean (FreeBoolean a)

CoBoolean a => CoBoolean (FreeBoolean a)

Negable (FreeBoolean a)

module Data.Algebra.Boolean.CoBoolean