Data.Logic.Classes.Formula

Documentation

class Formula formula atom where

Methods

atomic :: atom -> formula

foldAtoms :: Formula formula atom => (r -> atom -> r) -> r -> formula -> r

mapAtoms :: Formula formula atom => (atom -> formula) -> formula -> formula

Instances

(Pretty a, HasFixity a, Ord a) => Formula (PropForm a) a

(Pretty atom, HasFixity atom, Ord atom) => Formula (Formula atom) atom

(Pretty atom, HasFixity atom, Ord atom) => Formula (Formula atom) atom

(Constants a, Pretty a, HasFixity a) => Formula (Formula a) a

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

(Predicate p, Function f v, Combinable (NormalSentence v p f)) => Formula (NormalSentence v p f) (NormalSentence v p f)

(Predicate p, Function f v) => Formula (Sentence v p f) (Sentence v p f)