Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
class Constants p where Source
Some types in the Logic class heirarchy need to have True and False elements.
Constants FOL Source | |
Constants PredName Source | |
Constants FOLEQ Source | |
Constants (Formula atom) Source | |
Constants (Formula a) Source | |
Constants (Formula a) Source | |
Constants p => Constants (Predicate p (PTerm v f)) Source | |
(Constants p, Eq (NormalSentence v p f)) => Constants (NormalSentence v p f) Source | |
(Constants p, Eq (Sentence v p f)) => Constants (Sentence v p f) Source | |
Constants p => Constants (Formula v p f) Source | |
(Constants (Formula v p f), Predicate p, Variable v, Function f v) => Constants (Formula v p f) Source |
prettyBool :: Bool -> Doc Source