tfp-1.0: Type-level integers, booleans, lists using type families (Index - I)

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

A
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
Z
:
All

Index - I

If	Type.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.Unary
2 (Function)	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
integralFromProxy	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
integralFromSingleton
1 (Function)	Type.Data.Num.Unary
2 (Function)	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
IsEQ	Type.Data.Ord
isEQ	Type.Data.Ord
IsEven
1 (Type/Class)	Type.Data.Num
2 (Type/Class)	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
isEven	Type.Data.Num
IsGT	Type.Data.Ord
isGT	Type.Data.Ord
IsLT	Type.Data.Ord
isLT	Type.Data.Ord
IsNatural	Type.Data.Num
isNatural	Type.Data.Num
IsNegative	Type.Data.Num
isNegative	Type.Data.Num
IsNull	Type.Data.List
IsOdd	Type.Data.Num
isOdd	Type.Data.Num
IsPositive	Type.Data.Num
isPositive	Type.Data.Num
IsZero	Type.Data.Num
isZero	Type.Data.Num