| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Data.Logic.Classes.Constants
Documentation
class Constants p where Source
Some types in the Logic class heirarchy need to have True and False elements.
Instances
| 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 -> Doc Source