Safe Haskell | None |
---|
Documentation
Eq FOLEQ | |
Ord FOLEQ | |
Show FOLEQ | |
HasFixity FOLEQ | |
Pretty FOLEQ | |
Constants FOLEQ | |
Atom FOLEQ TermType String | |
Apply FOLEQ PredName TermType | Using PredName for the predicate type is not quite appropriate here, but we need to implement this instance so we can use it as a superclass of AtomEq below. |
AtomEq FOLEQ PredName TermType | |
Show (Formula FOLEQ) | |
HasFixity (Formula FOLEQ) | |
(Ord (Formula FOLEQ), Negatable (Formula FOLEQ), Combinable (Formula FOLEQ), Constants (Formula FOLEQ), Pretty (Formula FOLEQ), HasFixity (Formula FOLEQ), Formula (Formula FOLEQ) FOLEQ) => PropositionalFormula (Formula FOLEQ) FOLEQ | |
(Negatable (Formula FOLEQ), Constants (Formula FOLEQ), HasFixity FOLEQ, Ord (Formula FOLEQ), Formula (Formula FOLEQ) FOLEQ) => Literal (Formula FOLEQ) FOLEQ |
Eq PredName | |
Data PredName | |
Ord PredName | |
Show PredName | |
Typeable PredName | |
IsString PredName | |
Pretty PredName | |
Constants PredName | |
Arity PredName | |
Predicate PredName | |
Apply FOLEQ PredName TermType | Using PredName for the predicate type is not quite appropriate here, but we need to implement this instance so we can use it as a superclass of AtomEq below. |
AtomEq FOLEQ PredName TermType |