| Safe Haskell | None |
|---|
Data.Logic.Types.Harrison.Equal
Documentation
Instances
| 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 |
Instances
| 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 |