Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
class Formula formula atom | formula -> atom where Source
atomic :: atom -> formula Source
foldAtoms :: Formula formula atom => (r -> atom -> r) -> r -> formula -> r Source
mapAtoms :: Formula formula atom => (atom -> formula) -> formula -> formula Source
(Pretty atom, HasFixity atom, Ord atom) => Formula (Formula atom) atom Source | |
(Constants a, Pretty a, HasFixity a) => Formula (Formula a) a Source | |
(Pretty atom, HasFixity atom, Ord atom) => Formula (Formula atom) atom Source | |
(Predicate p, Function f v) => Formula (Formula v p f) (Predicate p (PTerm v f)) Source | |
(Predicate p, Function f v) => Formula (Formula v p f) (Predicate p (PTerm v f)) Source | |
(Predicate p, Function f v, Combinable (NormalSentence v p f)) => Formula (NormalSentence v p f) (NormalSentence v p f) Source | |
(Predicate p, Function f v) => Formula (Sentence v p f) (Sentence v p f) Source |