Typeable2 Predicate | |

(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 p0 term0) | |

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)) | |

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 | |