Data.Boolean.BF

A data-structure based instance of Boolean.

data BF

An abstract syntax tree-ish instance of the Boolean interface, sometimes useful for debugging.

Note the Eq instance is not semantic equality.

Constructors

BFtrue

BFfalse

BFvar String

BF `BFand` BF

BF `BFor` BF

BF `BFxor` BF

BF `BFimplies` BF

BF `BFiff` BF

BFneg BF

BFexists [BF] BF

BFforall [BF] BF

BFsubst [(BF, BF)] BF

Instances

Eq BF

Show BF

Substitution BF

QBF BF

BooleanVariable BF

Boolean BF

data Subst BF = MkBFpair [(BF, BF)]

data Group BF = MkGroup {

• unMkGroup :: [BF]

}