Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
Eq FOLEQ Source | |
Ord FOLEQ Source | |
Show FOLEQ Source | |
HasFixity FOLEQ Source | |
Pretty FOLEQ Source | |
Constants FOLEQ Source | |
Atom FOLEQ TermType String Source | |
Apply FOLEQ PredName TermType Source | 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 Source | |
Show (Formula FOLEQ) Source | |
HasFixity (Formula FOLEQ) Source | |
Formula (Formula FOLEQ) FOLEQ => PropositionalFormula (Formula FOLEQ) FOLEQ Source | |
Formula (Formula FOLEQ) FOLEQ => Literal (Formula FOLEQ) FOLEQ Source |
Eq PredName Source | |
Data PredName Source | |
Ord PredName Source | |
Show PredName Source | |
IsString PredName Source | |
Pretty PredName Source | |
Constants PredName Source | |
Arity PredName Source | |
Predicate PredName Source | |
Apply FOLEQ PredName TermType Source | 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 Source |