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

Safe HaskellNone
LanguageHaskell98

Data.Logic.Harrison.Formulas.Propositional

Documentation

antecedent :: PropositionalFormula formula atomic => formula -> formula Source

consequent :: PropositionalFormula formula atomic => formula -> formula Source

on_atoms :: PropositionalFormula formula atomic => (atomic -> formula) -> formula -> formula Source

over_atoms :: PropositionalFormula formula atomic => (atomic -> b -> b) -> formula -> b -> b Source

atom_union :: (PropositionalFormula formula atomic, Ord b) => (atomic -> Set b) -> formula -> Set b Source