Data.TypeLevel.Bool
Type-level boolean values
class
Bool
b
toBool
data
False
false
data
True
true
reifyBool
Type-level boolean operations
class
Not
b1 b2
not
class
And
b1 b2 b3
(&&)
class
Or
b1 b2 b3
(||)
class
Xor
b1 b2 b3
xor
class
Imp
b1 b2 b3
imp
class
Eq
b1 b2 b3
eq