Safe Haskell | None |
---|---|
Language | Haskell98 |
Data.Logic.Types.Harrison.Formulas.Propositional
Documentation
Constructors
F | |
T | |
Atom a | |
Not (Formula a) | |
And (Formula a) (Formula a) | |
Or (Formula a) (Formula a) | |
Imp (Formula a) (Formula a) | |
Iff (Formula a) (Formula a) |
Instances
Eq a => Eq (Formula a) Source | |
Ord a => Ord (Formula a) Source | |
Show (Formula Prop) | |
Negatable (Formula atom) Source | |
(Pretty atom, HasFixity atom, Ord atom) => HasFixity (Formula atom) Source | |
(Pretty atom, HasFixity atom, Ord atom) => Pretty (Formula atom) Source | |
Combinable (Formula a) Source | |
Constants (Formula a) Source | |
(Pretty atom, HasFixity atom, Ord atom) => Formula (Formula atom) atom Source | |
(Combinable (Formula atom), Pretty atom, HasFixity atom, Ord atom) => PropositionalFormula (Formula atom) atom Source | |
(HasFixity atom, Pretty atom, Ord atom) => Literal (Formula atom) atom Source |