Contents
Index
type-booleans-0.1: Type-level booleans via type-families
Index
And
Type.Booleans
Beq
Type.Booleans
False
Type.Booleans
If
Type.Booleans
Nand
Type.Booleans
Nor
Type.Booleans
Not
Type.Booleans
Or
Type.Booleans
True
Type.Booleans
Xor
Type.Booleans