tfp-1.0.1: Type-level integers, booleans, lists using type families

Index - C

CType.Data.Num.Decimal.Digit
Compare 
1 (Type/Class)Type.Data.Ord
2 (Type/Class)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
compareType.Data.Ord
ConsType.Data.List