Portability | non-portable (type families, requires ghc >= 6.9) |
---|---|
Stability | experimental |
Maintainer | pgavin@gmail.com |
Types.Data.Ord
Description
Type-level numerical operations using type families.
tfp-0.2: Type-level programming library using type families
Portability | non-portable (type families, requires ghc >= 6.9) |
---|---|
Stability | experimental |
Maintainer | pgavin@gmail.com |
Types.Data.Ord
Description
Type-level numerical operations using type families.