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

Index - A

addType.Data.Num
AddAssoc 
1 (Type/Class)Type.Data.Num.Unary.Proof
2 (Data Constructor)Type.Data.Num.Unary.Proof
addAssocType.Data.Num.Unary.Proof
AddComm 
1 (Type/Class)Type.Data.Num.Unary.Proof
2 (Data Constructor)Type.Data.Num.Unary.Proof
addCommType.Data.Num.Unary.Proof
addNatType.Data.Num.Unary.Proof
addPosLType.Data.Num.Unary.Proof
addPosRType.Data.Num.Unary.Proof
AddZeroL 
1 (Type/Class)Type.Data.Num.Unary.Proof
2 (Data Constructor)Type.Data.Num.Unary.Proof
addZeroLType.Data.Num.Unary.Proof
andType.Data.Bool
AppendType.Data.List