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

Index - P

para_SListGenerics.SOP.Sing, Generics.SOP
POP 
1 (Data Constructor)Generics.SOP.NP, Generics.SOP
2 (Type/Class)Generics.SOP.NP, Generics.SOP
ProdGenerics.SOP.Classes, Generics.SOP
ProductCodeGenerics.SOP.Universe, Generics.SOP
productTypeFromGenerics.SOP.Universe, Generics.SOP
productTypeToGenerics.SOP.Universe, Generics.SOP
ProjectionGenerics.SOP.NP, Generics.SOP
projectionsGenerics.SOP.NP, Generics.SOP
Proxy 
1 (Data Constructor)Generics.SOP
2 (Type/Class)Generics.SOP
pureAllGenerics.SOP.Dict
pureAll2Generics.SOP.Dict
pure_NPGenerics.SOP.NP
pure_POPGenerics.SOP.NP