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

Index - T

TailType.Data.List
ToUnary 
1 (Type/Class)Type.Data.Num.Decimal.Digit
2 (Type/Class)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
ToUnaryAccType.Data.Num.Decimal.Number, Type.Data.Num.Decimal
TrueType.Data.Bool
trueType.Data.Bool