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

Index - I

IfType.Data.Bool
if_Type.Data.Bool
Integer 
1 (Type/Class)Type.Data.Num
2 (Type/Class)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
integerFromSingleton 
1 (Function)Type.Data.Num
2 (Function)Type.Data.Num.Unary
3 (Function)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
integralFromProxy 
1 (Function)Type.Data.Num
2 (Function)Type.Data.Num.Unary
3 (Function)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
integralFromSingleton 
1 (Function)Type.Data.Num
2 (Function)Type.Data.Num.Unary
3 (Function)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
IsEQType.Data.Ord
isEQType.Data.Ord
IsEven 
1 (Type/Class)Type.Data.Num
2 (Type/Class)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
isEvenType.Data.Num
IsGTType.Data.Ord
isGTType.Data.Ord
IsLTType.Data.Ord
isLTType.Data.Ord
IsNaturalType.Data.Num
isNaturalType.Data.Num
IsNegativeType.Data.Num
isNegativeType.Data.Num
IsNullType.Data.List
IsOddType.Data.Num
isOddType.Data.Num
IsPositiveType.Data.Num
isPositiveType.Data.Num
IsZeroType.Data.Num
isZeroType.Data.Num