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

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 - P

Pos
1 (Type/Class)	Type.Data.Num.Decimal.Digit
2 (Type/Class)	Type.Data.Num.Unary.Proof
3 (Data Constructor)	Type.Data.Num.Unary.Proof
4 (Type/Class)	Type.Data.Num.Decimal.Digit.Proof
5 (Data Constructor)	Type.Data.Num.Decimal.Digit.Proof
6 (Type/Class)	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
Pos1	Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Pos2	Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Pos3	Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Pos4	Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Pos5	Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Pos6	Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Pos7	Type.Data.Num.Decimal.Literal, Type.Data.Num.Decimal
Positive
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
Pow2
1 (Type/Class)	Type.Data.Num
2 (Type/Class)	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
pow2	Type.Data.Num
Pred
1 (Type/Class)	Type.Data.Num
2 (Type/Class)	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
pred	Type.Data.Num
Proxy
1 (Type/Class)	Type.Base.Proxy
2 (Data Constructor)	Type.Base.Proxy