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

Index - S

SGenerics.SOP.NS, Generics.SOP
SameGenerics.SOP.Classes
SameShapeAsGenerics.SOP.Constraint, Generics.SOP
SConsGenerics.SOP.Sing, Generics.SOP
sequence'_NPGenerics.SOP.NP
sequence'_NSGenerics.SOP.NS
sequence'_POPGenerics.SOP.NP
sequence'_SOPGenerics.SOP.NS
sequence_NPGenerics.SOP.NP
sequence_NSGenerics.SOP.NS
sequence_POPGenerics.SOP.NP
sequence_SOPGenerics.SOP.NS
ShapeGenerics.SOP.Sing, Generics.SOP
shapeGenerics.SOP.Sing, Generics.SOP
ShapeConsGenerics.SOP.Sing, Generics.SOP
ShapeNilGenerics.SOP.Sing, Generics.SOP
shiftGenerics.SOP.NS, Generics.SOP
shiftEjectionGenerics.SOP.NS, Generics.SOP
shiftInjectionGenerics.SOP.NS, Generics.SOP
shiftProjectionGenerics.SOP.NP, Generics.SOP
SListGenerics.SOP.Sing, Generics.SOP
sListGenerics.SOP.Sing, Generics.SOP
SListIGenerics.SOP.Constraint, Generics.SOP.Sing, Generics.SOP
SListI2Generics.SOP.Constraint, Generics.SOP
SListINGenerics.SOP.Constraint
SNilGenerics.SOP.Sing, Generics.SOP
SOP 
1 (Data Constructor)Generics.SOP.NS, Generics.SOP
2 (Type/Class)Generics.SOP.NS, Generics.SOP
SourceLazyGenerics.SOP.Metadata
SourceNoUnpackGenerics.SOP.Metadata
SourceStrictGenerics.SOP.Metadata
SourceStrictnessGenerics.SOP.Metadata
SourceUnpackGenerics.SOP.Metadata
SourceUnpackednessGenerics.SOP.Metadata
StrictnessInfo 
1 (Type/Class)Generics.SOP.Metadata
2 (Data Constructor)Generics.SOP.Metadata
3 (Type/Class)Generics.SOP.Type.Metadata
4 (Data Constructor)Generics.SOP.Type.Metadata