| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Data.Logic.Types.Harrison.FOL
Documentation
Instances
| Eq TermType | |
| Ord TermType | |
| Show TermType | |
| Pretty TermType | |
| Atom FOLEQ TermType String | |
| Term TermType String Function | |
| Apply FOL String TermType | |
| 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 |
The Harrison book uses String for atomic function, but we need something a little more type safe because of our Skolem class.