Module
Data.Typelevel.Bool
- Package
- purescript-typelevel
- Repository
- bodil/purescript-typelevel
#True Source
data True
The type level True value.
Instances
Show True
BoolI True
Not False True
Not True False
And False True False
And True False False
And True True True
Or False True True
Or True False True
Or True True True
Xor False True True
Xor True False True
Xor True True False
Imp False False True
Imp False True True
Imp True False False
Imp True True True
Eq False False True
Eq False True False
Eq True False False
Eq True True True
#False Source
data False
The type level False value.
Instances
Show False
BoolI False
Not False True
Not True False
And False False False
And False True False
And True False False
Or False False False
Or False True True
Or True False True
Xor False False False
Xor False True True
Xor True False True
Xor True True False
Imp False False True
Imp False True True
Imp True False False
Eq False False True
Eq False True False
Eq True False False