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

Index - N

Nat 
1 (Type/Class)Type.Data.Num.Unary.Proof
2 (Data Constructor)Type.Data.Num.Unary.Proof
3 (Type/Class)Type.Data.Num.Decimal.Digit.Proof
4 (Data Constructor)Type.Data.Num.Decimal.Digit.Proof
natFromPosType.Data.Num.Unary.Proof
Natural 
1 (Type/Class)Type.Data.Num
2 (Type/Class)Type.Data.Num.Unary
3 (Type/Class)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
neType.Data.Ord
NegType.Data.Num.Decimal.Number, Type.Data.Num.Decimal
Neg1Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Neg2Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Neg3Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Neg4Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Neg5Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Neg6Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Neg7Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
NegateType.Data.Num
negateType.Data.Num
Negative 
1 (Type/Class)Type.Data.Num
2 (Type/Class)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
NETType.Data.Ord
NotType.Data.Bool
notType.Data.Bool
NullType.Data.List