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

Index - R

Record 
1 (Data Constructor)Generics.SOP.Metadata, Generics.SOP
2 (Data Constructor)Generics.SOP.Type.Metadata
RepGenerics.SOP.Universe, Generics.SOP
RightAssociativeGenerics.SOP.Metadata, Generics.SOP.Type.Metadata, Generics.SOP