| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Data.Logic.Classes.Negate
- class Negatable formula where
- negatePrivate :: formula -> formula
- foldNegation :: (formula -> r) -> (formula -> r) -> formula -> r
- negated :: Negatable formula => formula -> Bool
- (.~.) :: Negatable formula => formula -> formula
- (¬) :: Negatable formula => formula -> formula
- negative :: Negatable formula => formula -> Bool
- positive :: Negatable formula => formula -> Bool
Documentation
class Negatable formula where Source
The class of formulas that can be negated. There are some types
that can be negated but do not support the other Boolean Logic
operators, such as the Literal class.
Methods
negatePrivate :: formula -> formula Source
Negate a formula in a naive fashion, the operators below prevent double negation.
Arguments
| :: (formula -> r) | called for normal formulas |
| -> (formula -> r) | called for negated formulas |
| -> formula | |
| -> r |
Test whether a formula is negated or normal