Safe Haskell | None |
---|---|
Language | Haskell98 |
Data.Logic.Types.Propositional
Documentation
The range of a formula is {True, False} when it has no free variables.
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 |