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

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 - 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
natFromPos	Type.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
ne	Type.Data.Ord
Neg	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
Neg1	Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Neg2	Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Neg3	Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Neg4	Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Neg5	Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Neg6	Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Neg7	Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Negate	Type.Data.Num
negate	Type.Data.Num
Negative
1 (Type/Class)	Type.Data.Num
2 (Type/Class)	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
NET	Type.Data.Ord
Not	Type.Data.Bool
not	Type.Data.Bool
Null	Type.Data.List