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 |