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

tfp-1.0.1: 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 - :

:&&:	Type.Data.Bool
:*:
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
:+:
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
:-:
1 (Type/Class)	Type.Data.Num
2 (Type/Class)	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
:/=:
1 (Type/Class)	Type.Data.Ord
2 (Type/Class)	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
:<	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
:<:
1 (Type/Class)	Type.Data.Ord
2 (Type/Class)	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
:<=:
1 (Type/Class)	Type.Data.Ord
2 (Type/Class)	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
:==:
1 (Type/Class)	Type.Data.Ord
2 (Type/Class)	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
:>	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
:>:
1 (Type/Class)	Type.Data.Ord
2 (Type/Class)	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
:>=:
1 (Type/Class)	Type.Data.Ord
2 (Type/Class)	Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
:\|\|:	Type.Data.Bool