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 | |