Portability | non-portable |
---|---|
Stability | experimental (MPTC, non-standarad instances) |
Maintainer | alfonso.acosta@gmail.com |
Data.TypeLevel.Bool
Description
Type-level Booleans.
type-level-tf-0.2.1: Type-level programming library (type families)
Portability | non-portable |
---|---|
Stability | experimental (MPTC, non-standarad instances) |
Maintainer | alfonso.acosta@gmail.com |
Data.TypeLevel.Bool
Description
Type-level Booleans.