Eq a => Eq (Formula a) Source | |
Ord a => Ord (Formula a) Source | |
Show (Formula Prop) | |
Negatable (Formula atom) Source | |
(Pretty atom, HasFixity atom, Ord atom) => HasFixity (Formula atom) Source | |
(Pretty atom, HasFixity atom, Ord atom) => Pretty (Formula atom) Source | |
Combinable (Formula a) Source | |
Constants (Formula a) Source | |
(Pretty atom, HasFixity atom, Ord atom) => Formula (Formula atom) atom Source | |
(Combinable (Formula atom), Pretty atom, HasFixity atom, Ord atom) => PropositionalFormula (Formula atom) atom Source | |
(HasFixity atom, Pretty atom, Ord atom) => Literal (Formula atom) atom Source | |