logic-classes-1.5.3: Framework for propositional and first order logic, theorem proving

Safe HaskellNone
LanguageHaskell98

Data.Logic.Harrison.Formulas.FirstOrder

Documentation

antecedent :: FirstOrderFormula formula atom v => formula -> formula Source

consequent :: FirstOrderFormula formula atom v => formula -> formula Source

on_atoms :: forall formula atom v. FirstOrderFormula formula atom v => (atom -> formula) -> formula -> formula Source

over_atoms :: FirstOrderFormula formula atom v => (atom -> b -> b) -> formula -> b -> b Source

atom_union :: (FirstOrderFormula formula atom v, Ord b) => (atom -> Set b) -> formula -> Set b Source