Safe Haskell | None |
---|---|
Language | Haskell98 |
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