generics-sop-0.3.2.0: Generic Programming using True Sums of Products (Index - P)

generics-sop-0.3.2.0: 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 - P

POP
1 (Type/Class)	Generics.SOP.NP, Generics.SOP
2 (Data Constructor)	Generics.SOP.NP, Generics.SOP
Prod	Generics.SOP.Classes, Generics.SOP
Projection	Generics.SOP.NP, Generics.SOP
projections	Generics.SOP.NP, Generics.SOP
Proxy
1 (Data Constructor)	Generics.SOP
2 (Type/Class)	Generics.SOP
pureAll	Generics.SOP.Dict
pureAll2	Generics.SOP.Dict
pure_NP	Generics.SOP.NP
pure_POP	Generics.SOP.NP