Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
F | |
T | |
Atom a | |
Not (Formula a) | |
And (Formula a) (Formula a) | |
Or (Formula a) (Formula a) | |
Imp (Formula a) (Formula a) | |
Iff (Formula a) (Formula a) | |
Forall String (Formula a) | |
Exists String (Formula a) |
Eq a => Eq (Formula a) Source | |
Ord a => Ord (Formula a) Source | |
Show (Formula FOLEQ) | |
Negatable (Formula atom) Source | |
HasFixity (Formula FOLEQ) Source | |
FirstOrderFormula (Formula a) a String => Pretty (Formula a) Source | |
Combinable (Formula a) Source | |
Constants (Formula a) Source | |
(Constants a, Pretty a, HasFixity a) => Formula (Formula a) a Source | |
Formula (Formula FOLEQ) FOLEQ => PropositionalFormula (Formula FOLEQ) FOLEQ Source | |
Formula (Formula FOLEQ) FOLEQ => Literal (Formula FOLEQ) FOLEQ Source | |
(Formula (Formula a) a, Constants a, Pretty a, HasFixity a) => FirstOrderFormula (Formula a) a String Source |