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

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

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

Index - N

NaturalT	Types.Data.Num.Ops, Types.Data.Num, Types
Neg	Types.Data.Num.Ops, Types.Data.Num, Types
Neg'	Types.Data.Num.Decimal.Digits, Types.Data.Num.Decimal, Types.Data.Num, Types
NegativeT	Types.Data.Num.Ops, Types.Data.Num, Types
negT	Types.Data.Num.Ops, Types.Data.Num, Types
NET	Types.Data.Ord, Types
neT	Types.Data.Ord, Types
Not	Types.Data.Bool, Types
notT	Types.Data.Bool, Types
Null	Types.Data.List, Types