Safe Haskell | Safe |
---|---|
Language | Haskell98 |
TypeLevel.Boolean
Contents
Documentation
Data type for truth
Instances
Show True Source | |
Reify True Bool Source | |
type Not True = False Source | |
type Xor False True = True Source | |
type Xor True False = True Source | |
type Xor True True = False Source | |
type Or False True = True Source | |
type Or True False = True Source | |
type Or True True = False Source | |
type And False True = False Source | |
type And True False = False Source | |
type And True True = True Source |
Data type for false.
Instances
Show False Source | |
Reify False Bool Source | |
type Not False = True Source | |
type Xor False False = False Source | |
type Xor False True = True Source | |
type Xor True False = True Source | |
type Or False False = True Source | |
type Or False True = True Source | |
type Or True False = True Source | |
type And False False = False Source | |
type And False True = False Source | |
type And True False = False Source |
Boolean operations
Negation