generics-sop-0.5.1.2: Generic Programming using True Sums of Products (Index - R)

generics-sop-0.5.1.2: Generic Programming using True Sums of Products

A
C
D
E
F
G
H
I
K
L
M
N
P
R
S
T
U
W
Z
:
-
All

Index - R

Record
1 (Data Constructor)	Generics.SOP.Metadata , Generics.SOP
2 (Data Constructor)	Generics.SOP.Type.Metadata
Rep	Generics.SOP.Universe , Generics.SOP
RightAssociative	Generics.SOP.Metadata , Generics.SOP.Type.Metadata , Generics.SOP