Safe Haskell | None |
---|
Documentation
Some types in the Logic class heirarchy need to have True and False elements.
Constants String | This is probably dangerous. |
Constants FOL | |
Constants PredName | |
Constants FOLEQ | |
Constants (PropForm formula) | |
Constants (Formula atom) | |
Constants (Formula a) | |
Constants (Formula a) | |
Constants p => Constants (Predicate p (PTerm v f)) | |
(Constants p, Eq (NormalSentence v p f)) => Constants (NormalSentence v p f) | |
(Constants p, Eq (Sentence v p f)) => Constants (Sentence v p f) | |
Constants p => Constants (Formula v p f) | |
(Constants (Formula v p f), Predicate p, Variable v, Function f v) => Constants (Formula v p f) |
prettyBool :: Bool -> DocSource