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

Index - D

DatatypeInfo 
1 (Type/Class)Generics.SOP.Metadata, Generics.SOP
2 (Type/Class)Generics.SOP.Type.Metadata
datatypeInfoGenerics.SOP.Universe, Generics.SOP
DatatypeInfoOfGenerics.SOP.Universe, Generics.SOP
DatatypeName 
1 (Type/Class)Generics.SOP.Metadata, Generics.SOP
2 (Type/Class)Generics.SOP.Type.Metadata
datatypeNameGenerics.SOP.Metadata, Generics.SOP
DemoteAssociativityGenerics.SOP.Type.Metadata
demoteAssociativityGenerics.SOP.Type.Metadata
DemoteConstructorInfoGenerics.SOP.Type.Metadata
demoteConstructorInfoGenerics.SOP.Type.Metadata
DemoteConstructorInfosGenerics.SOP.Type.Metadata
demoteConstructorInfosGenerics.SOP.Type.Metadata
DemoteDatatypeInfoGenerics.SOP.Type.Metadata
demoteDatatypeInfoGenerics.SOP.Type.Metadata
DemoteFieldInfoGenerics.SOP.Type.Metadata
demoteFieldInfoGenerics.SOP.Type.Metadata
DemoteFieldInfosGenerics.SOP.Type.Metadata
demoteFieldInfosGenerics.SOP.Type.Metadata
deriveGenericGenerics.SOP.TH
deriveGenericFunctionsGenerics.SOP.TH
deriveGenericOnlyGenerics.SOP.TH
deriveGenericOnlySubstGenerics.SOP.TH
deriveGenericSubstGenerics.SOP.TH
deriveMetadataTypeGenerics.SOP.TH
deriveMetadataValueGenerics.SOP.TH
Dict 
1 (Data Constructor)Generics.SOP.Dict
2 (Type/Class)Generics.SOP.Dict