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 |
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 |