(Eq p, Eq term) => Eq (Predicate p term) | |
(Data p, Data term) => Data (Predicate p term) | |
(Ord p, Ord term) => Ord (Predicate p term) | |
(Read p, Read term) => Read (Predicate p term) | |
(Show p, Show term) => Show (Predicate p term) | |
(SafeCopy p, SafeCopy term) => Migrate (Predicate p term) | |
(SafeCopy p0, SafeCopy term0) => SafeCopy (Predicate p term) | |
HasFixity (Predicate p term) | |
(Variable v, Pretty v, Predicate p, Pretty p, Function f v, Pretty f) => Pretty (Predicate p (PTerm v f)) | |
Constants p => Constants (Predicate p (PTerm v f)) | |
Typeable (* -> * -> *) Predicate | |
Predicate p => AtomEq (Predicate p (PTerm v f)) p (PTerm v f) | |
(Predicate p, Variable v, Function f v) => Atom (Predicate p (PTerm v f)) (PTerm v f) v | |
(Predicate p, Function f v) => Formula (Formula v p f) (Predicate p (PTerm v f)) | |
(Predicate p, Function f v) => Formula (Formula v p f) (Predicate p (PTerm v f)) | |
(Formula (Formula v p f) (Predicate p (PTerm v f)), Variable v, Predicate p, Function f v, Constants (Formula v p f), Combinable (Formula v p f)) => PropositionalFormula (Formula v p f) (Predicate p (PTerm v f)) | |
(Formula (Formula v p f) (Predicate p (PTerm v f)), Formula (Formula v p f) (Predicate p (PTerm v f)), Show v, Show p, Show f, HasFixity (Formula v p f), Variable v, Predicate p, Function f v) => PropositionalFormula (Formula v p f) (Predicate p (PTerm v f)) | |
(Constants p, Ord v, Ord p, Ord f, Constants (Predicate p (PTerm v f)), Formula (Formula v p f) (Predicate p (PTerm v f))) => Literal (Formula v p f) (Predicate p (PTerm v f)) | |
(Formula (Formula v p f) (Predicate p (PTerm v f)), AtomEq (Predicate p (PTerm v f)) p (PTerm v f), Constants (Formula v p f), Variable v, Predicate p, Function f v) => FirstOrderFormula (Formula v p f) (Predicate p (PTerm v f)) v | |
(Formula (Formula v p f) (Predicate p (PTerm v f)), Formula (Formula v p f) (Predicate p (PTerm v f)), Variable v, Predicate p, Function f v) => FirstOrderFormula (Formula v p f) (Predicate p (PTerm v f)) v | |
type MigrateFrom (Predicate p term) | |