Safe Haskell	None
Language	Haskell98

Data.Logic.Types.Propositional

Synopsis

Documentation

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) Source
Data atom => Data (Formula atom) Source
Ord atom => Ord (Formula atom) Source
Show (Formula (Atom Int))
Negatable (Formula atom) Source
(Pretty atom, HasFixity atom, Ord atom) => HasFixity (Formula atom) Source
(Pretty atom, HasFixity atom, Ord atom) => Pretty (Formula atom) Source
Ord atom => Combinable (Formula atom) Source
Constants (Formula atom) Source
(Pretty atom, HasFixity atom, Ord atom) => Formula (Formula atom) atom Source
(Formula (Formula atom) atom, Pretty atom, HasFixity atom, Ord atom) => PropositionalFormula (Formula atom) atom Source
(Pretty atom, HasFixity atom, Ord atom) => Literal (Formula atom) atom Source