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

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

:&&:	Types.Data.Bool, Types
:*:	Types.Data.Num.Ops, Types.Data.Num, Types
:+:	Types.Data.Num.Ops, Types.Data.Num, Types
:-:	Types.Data.Num.Ops, Types.Data.Num, Types
:.	Types.Data.Num.Ops, Types.Data.Num, Types
:/=:	Types.Data.Ord, Types
:<:	Types.Data.Ord, Types
:<=:	Types.Data.Ord, Types
:==:	Types.Data.Ord, Types
:>:	Types.Data.Ord, Types
:>=:	Types.Data.Ord, Types
:\|\|:	Types.Data.Bool, Types