Data.Logic.Types.Propositional

Documentation

data Formula atom

The range of a formula is {True, False} when it has no free variables.

Constructors

Combine (Combination (Formula atom))

Atom atom

T

F

Instances

Eq atom => Eq (Formula atom)

Data atom => Data (Formula atom)

Ord atom => Ord (Formula atom)

Show (Formula (Atom Int))

Negatable (Formula atom)

(Pretty atom, HasFixity atom, Ord atom) => HasFixity (Formula atom)

(Pretty atom, HasFixity atom, Ord atom) => Pretty (Formula atom)

Ord atom => Combinable (Formula atom)

Constants (Formula atom)

(Pretty atom, HasFixity atom, Ord atom) => Formula (Formula atom) atom

(Formula (Formula atom) atom, Pretty atom, HasFixity atom, Ord atom) => PropositionalFormula (Formula atom) atom

(Pretty atom, HasFixity atom, Ord atom) => Literal (Formula atom) atom

Typeable (* -> *) Formula