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

Index

-.->Generics.SOP.Classes, Generics.SOP
:*Generics.SOP.NP, Generics.SOP
:.:Generics.SOP.BasicFunctors, Generics.SOP
ADT 
1 (Data Constructor)Generics.SOP.Metadata, Generics.SOP
2 (Data Constructor)Generics.SOP.Type.Metadata
AllGenerics.SOP.Constraint, Generics.SOP
All2Generics.SOP.Constraint, Generics.SOP
all2Generics.SOP.Dict
AllFGenerics.SOP.Constraint
AllNGenerics.SOP.Constraint, Generics.SOP
AllZipGenerics.SOP.Constraint, Generics.SOP
AllZip2Generics.SOP.Constraint, Generics.SOP
AllZipFGenerics.SOP.Constraint
AllZipNGenerics.SOP.Constraint, Generics.SOP
all_NPGenerics.SOP.Dict
all_POPGenerics.SOP.Dict
ana_NPGenerics.SOP.NP
ana_NSGenerics.SOP.NS
AndGenerics.SOP.Constraint, Generics.SOP
apFnGenerics.SOP.Classes, Generics.SOP
apInjs'_NPGenerics.SOP.NS
apInjs'_POPGenerics.SOP.NS
apInjs_NPGenerics.SOP.NS, Generics.SOP
apInjs_POPGenerics.SOP.NS, Generics.SOP
ap_NPGenerics.SOP.NP
ap_NSGenerics.SOP.NS
ap_POPGenerics.SOP.NP
ap_SOPGenerics.SOP.NS
AssociativityGenerics.SOP.Metadata, Generics.SOP.Type.Metadata, Generics.SOP
cana_NPGenerics.SOP.NP
cana_NSGenerics.SOP.NS
case_SListGenerics.SOP.Sing, Generics.SOP
cata_NPGenerics.SOP.NP
cata_NSGenerics.SOP.NS
ccase_SListGenerics.SOP.Constraint, Generics.SOP
ccata_NPGenerics.SOP.NP
ccata_NSGenerics.SOP.NS
ccompare_NSGenerics.SOP.NS, Generics.SOP
ccompare_SOPGenerics.SOP.NS, Generics.SOP
cexpand_NSGenerics.SOP.NS
cexpand_SOPGenerics.SOP.NS
cfoldMap_NPGenerics.SOP.NP
cfoldMap_NSGenerics.SOP.NS
cfoldMap_POPGenerics.SOP.NP
cfoldMap_SOPGenerics.SOP.NS
cliftA2'_NPGenerics.SOP.NP
cliftA2'_NSGenerics.SOP.NS
cliftA2_NPGenerics.SOP.NP
cliftA2_NSGenerics.SOP.NS
cliftA2_POPGenerics.SOP.NP
cliftA2_SOPGenerics.SOP.NS
cliftA3_NPGenerics.SOP.NP
cliftA3_POPGenerics.SOP.NP
cliftA_NPGenerics.SOP.NP
cliftA_NSGenerics.SOP.NS
cliftA_POPGenerics.SOP.NP
cliftA_SOPGenerics.SOP.NS
cmap_NPGenerics.SOP.NP
cmap_NSGenerics.SOP.NS
cmap_POPGenerics.SOP.NP
cmap_SOPGenerics.SOP.NS
CodeGenerics.SOP.Universe, Generics.SOP
coerce_NPGenerics.SOP.NP
coerce_NSGenerics.SOP.NS
coerce_POPGenerics.SOP.NP
coerce_SOPGenerics.SOP.NS
CollapseToGenerics.SOP.Classes, Generics.SOP
collapse_NPGenerics.SOP.NP
collapse_NSGenerics.SOP.NS
collapse_POPGenerics.SOP.NP
collapse_SOPGenerics.SOP.NS
CompGenerics.SOP.BasicFunctors, Generics.SOP
compare_NSGenerics.SOP.NS, Generics.SOP
compare_SOPGenerics.SOP.NS, Generics.SOP
ComposeGenerics.SOP.Constraint, Generics.SOP
ConstraintGenerics.SOP.Constraint
Constructor 
1 (Data Constructor)Generics.SOP.Metadata, Generics.SOP
2 (Data Constructor)Generics.SOP.Type.Metadata
ConstructorInfo 
1 (Type/Class)Generics.SOP.Metadata, Generics.SOP
2 (Type/Class)Generics.SOP.Type.Metadata
constructorInfoGenerics.SOP.Metadata, Generics.SOP
ConstructorName 
1 (Type/Class)Generics.SOP.Metadata, Generics.SOP
2 (Type/Class)Generics.SOP.Type.Metadata
constructorNameGenerics.SOP.Metadata, Generics.SOP
cpara_SListGenerics.SOP.Constraint, Generics.SOP
cpure_NPGenerics.SOP.NP
cpure_POPGenerics.SOP.NP
ctraverse'_NPGenerics.SOP.NP
ctraverse'_NSGenerics.SOP.NS
ctraverse'_POPGenerics.SOP.NP
ctraverse'_SOPGenerics.SOP.NS
ctraverse_NPGenerics.SOP.NP
ctraverse_NSGenerics.SOP.NS
ctraverse_POPGenerics.SOP.NP
ctraverse_SOPGenerics.SOP.NS
ctraverse__NPGenerics.SOP.NP
ctraverse__NSGenerics.SOP.NS
ctraverse__POPGenerics.SOP.NP
ctraverse__SOPGenerics.SOP.NS
czipWith3_NPGenerics.SOP.NP
czipWith3_POPGenerics.SOP.NP
czipWith_NPGenerics.SOP.NP
czipWith_POPGenerics.SOP.NP
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
enumTypeFromGenerics.SOP.Universe
enumTypeToGenerics.SOP.Universe
expand_NSGenerics.SOP.NS
expand_SOPGenerics.SOP.NS
FieldInfo 
1 (Type/Class)Generics.SOP.Metadata, Generics.SOP
2 (Data Constructor)Generics.SOP.Metadata, Generics.SOP
3 (Type/Class)Generics.SOP.Type.Metadata
4 (Data Constructor)Generics.SOP.Type.Metadata
FieldName 
1 (Type/Class)Generics.SOP.Metadata, Generics.SOP
2 (Type/Class)Generics.SOP.Type.Metadata
fieldNameGenerics.SOP.Metadata, Generics.SOP
Fixity 
1 (Type/Class)Generics.SOP.Metadata, Generics.SOP
2 (Type/Class)Generics.SOP.Type.Metadata
FnGenerics.SOP.Classes, Generics.SOP
fnGenerics.SOP.Classes, Generics.SOP
fn_2Generics.SOP.Classes, Generics.SOP
fn_3Generics.SOP.Classes, Generics.SOP
fn_4Generics.SOP.Classes, Generics.SOP
fromGenerics.SOP.Universe, Generics.SOP
fromI_NPGenerics.SOP.NP
fromI_NSGenerics.SOP.NS
fromI_POPGenerics.SOP.NP
fromI_SOPGenerics.SOP.NS
fromListGenerics.SOP.NP, Generics.SOP
GCodeGenerics.SOP.GGP
GDatatypeInfoGenerics.SOP.GGP
gdatatypeInfoGenerics.SOP.GGP
GDatatypeInfoOfGenerics.SOP.GGP
GenericGenerics.SOP.Universe, Generics.SOP
GFromGenerics.SOP.GGP
gfromGenerics.SOP.GGP
GToGenerics.SOP.GGP
gtoGenerics.SOP.GGP
HApGenerics.SOP.Classes, Generics.SOP
hapGenerics.SOP.Classes, Generics.SOP
HApInjsGenerics.SOP.Classes, Generics.SOP
hapInjsGenerics.SOP.Classes, Generics.SOP
HasDatatypeInfoGenerics.SOP.Universe, Generics.SOP
hcexpandGenerics.SOP.Classes, Generics.SOP
hcfoldMapGenerics.SOP.Classes, Generics.SOP
hcforGenerics.SOP.Classes, Generics.SOP
hcfor_Generics.SOP.Classes, Generics.SOP
hcliftAGenerics.SOP.Classes, Generics.SOP
hcliftA'Generics.SOP.NP, Generics.SOP
hcliftA2Generics.SOP.Classes, Generics.SOP
hcliftA2'Generics.SOP.NP, Generics.SOP
hcliftA3Generics.SOP.Classes, Generics.SOP
hcliftA3'Generics.SOP.NP, Generics.SOP
hcmapGenerics.SOP.Classes, Generics.SOP
hcoerceGenerics.SOP.Classes, Generics.SOP
HCollapseGenerics.SOP.Classes, Generics.SOP
hcollapseGenerics.SOP.Classes, Generics.SOP
hcpureGenerics.SOP.Classes, Generics.SOP
hctraverseGenerics.SOP.Classes, Generics.SOP
hctraverse'Generics.SOP.Classes, Generics.SOP
hctraverse_Generics.SOP.Classes, Generics.SOP
hczipWithGenerics.SOP.Classes, Generics.SOP
hczipWith3Generics.SOP.Classes, Generics.SOP
hdGenerics.SOP.NP, Generics.SOP
hdictsGenerics.SOP.Dict
HeadGenerics.SOP.Constraint
HExpandGenerics.SOP.Classes, Generics.SOP
hexpandGenerics.SOP.Classes, Generics.SOP
hfromIGenerics.SOP.Classes, Generics.SOP
HIndexGenerics.SOP.Classes, Generics.SOP
hindexGenerics.SOP.Classes, Generics.SOP
hliftAGenerics.SOP.Classes, Generics.SOP
hliftA2Generics.SOP.Classes, Generics.SOP
hliftA3Generics.SOP.Classes, Generics.SOP
hmapGenerics.SOP.Classes, Generics.SOP
HPureGenerics.SOP.Classes, Generics.SOP
hpureGenerics.SOP.Classes, Generics.SOP
HSequenceGenerics.SOP.Classes, Generics.SOP
hsequenceGenerics.SOP.Classes, Generics.SOP
hsequence'Generics.SOP.Classes, Generics.SOP
hsequenceKGenerics.SOP.Classes, Generics.SOP
htoIGenerics.SOP.Classes, Generics.SOP
HTransGenerics.SOP.Classes, Generics.SOP
htransGenerics.SOP.Classes, Generics.SOP
htraverse'Generics.SOP.Classes, Generics.SOP
HTraverse_Generics.SOP.Classes, Generics.SOP
htraverse_Generics.SOP.Classes, Generics.SOP
hzipWithGenerics.SOP.Classes, Generics.SOP
hzipWith3Generics.SOP.Classes, Generics.SOP
I 
1 (Data Constructor)Generics.SOP.BasicFunctors, Generics.SOP
2 (Type/Class)Generics.SOP.BasicFunctors, Generics.SOP
index_NSGenerics.SOP.NS
index_SOPGenerics.SOP.NS
Infix 
1 (Data Constructor)Generics.SOP.Metadata, Generics.SOP
2 (Data Constructor)Generics.SOP.Type.Metadata
InjectionGenerics.SOP.NS, Generics.SOP
injectionsGenerics.SOP.NS, Generics.SOP
IsEnumTypeGenerics.SOP.Universe, Generics.SOP
IsNewtypeGenerics.SOP.Universe, Generics.SOP
IsProductTypeGenerics.SOP.Universe, Generics.SOP
IsWrappedTypeGenerics.SOP.Universe, Generics.SOP
K 
1 (Data Constructor)Generics.SOP.BasicFunctors, Generics.SOP
2 (Type/Class)Generics.SOP.BasicFunctors, Generics.SOP
LeftAssociativeGenerics.SOP.Metadata, Generics.SOP.Type.Metadata, Generics.SOP
lengthSListGenerics.SOP.Sing, Generics.SOP
liftA2_NPGenerics.SOP.NP
liftA2_NSGenerics.SOP.NS
liftA2_POPGenerics.SOP.NP
liftA2_SOPGenerics.SOP.NS
liftA3_NPGenerics.SOP.NP
liftA3_POPGenerics.SOP.NP
liftA_NPGenerics.SOP.NP
liftA_NSGenerics.SOP.NS
liftA_POPGenerics.SOP.NP
liftA_SOPGenerics.SOP.NS
LiftedCoercibleGenerics.SOP.Constraint, Generics.SOP
mapAllGenerics.SOP.Dict
mapAll2Generics.SOP.Dict
mapIIGenerics.SOP.BasicFunctors, Generics.SOP
mapIIIGenerics.SOP.BasicFunctors, Generics.SOP
mapIIKGenerics.SOP.BasicFunctors, Generics.SOP
mapIKGenerics.SOP.BasicFunctors, Generics.SOP
mapIKIGenerics.SOP.BasicFunctors, Generics.SOP
mapIKKGenerics.SOP.BasicFunctors, Generics.SOP
mapKIGenerics.SOP.BasicFunctors, Generics.SOP
mapKIIGenerics.SOP.BasicFunctors, Generics.SOP
mapKIKGenerics.SOP.BasicFunctors, Generics.SOP
mapKKGenerics.SOP.BasicFunctors, Generics.SOP
mapKKIGenerics.SOP.BasicFunctors, Generics.SOP
mapKKKGenerics.SOP.BasicFunctors, Generics.SOP
map_NPGenerics.SOP.NP
map_NSGenerics.SOP.NS
map_POPGenerics.SOP.NP
map_SOPGenerics.SOP.NS
ModuleName 
1 (Type/Class)Generics.SOP.Metadata, Generics.SOP
2 (Type/Class)Generics.SOP.Type.Metadata
moduleNameGenerics.SOP.Metadata, Generics.SOP
Newtype 
1 (Data Constructor)Generics.SOP.Metadata, Generics.SOP
2 (Data Constructor)Generics.SOP.Type.Metadata
newtypeFromGenerics.SOP.Universe
newtypeToGenerics.SOP.Universe
NilGenerics.SOP.NP, Generics.SOP
NotAssociativeGenerics.SOP.Metadata, Generics.SOP.Type.Metadata, Generics.SOP
NPGenerics.SOP.NP, Generics.SOP
NSGenerics.SOP.NS, Generics.SOP
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
productTypeFromGenerics.SOP.Universe
productTypeToGenerics.SOP.Universe
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
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
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
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
TailGenerics.SOP.Constraint
tlGenerics.SOP.NP, Generics.SOP
toGenerics.SOP.Universe, Generics.SOP
toI_NPGenerics.SOP.NP
toI_NSGenerics.SOP.NS
toI_POPGenerics.SOP.NP
toI_SOPGenerics.SOP.NS
TopGenerics.SOP.Constraint, Generics.SOP
trans_NPGenerics.SOP.NP
trans_NSGenerics.SOP.NS
trans_POPGenerics.SOP.NP
trans_SOPGenerics.SOP.NS
traverse'_NPGenerics.SOP.NP
traverse'_NSGenerics.SOP.NS
traverse'_POPGenerics.SOP.NP
traverse'_SOPGenerics.SOP.NS
traverse__NPGenerics.SOP.NP
traverse__NSGenerics.SOP.NS
traverse__POPGenerics.SOP.NP
traverse__SOPGenerics.SOP.NS
unAll2Generics.SOP.Dict
unAll_NPGenerics.SOP.Dict
unAll_POPGenerics.SOP.Dict
unCompGenerics.SOP.BasicFunctors, Generics.SOP
unIGenerics.SOP.BasicFunctors, Generics.SOP
unKGenerics.SOP.BasicFunctors, Generics.SOP
unPOPGenerics.SOP.NP, Generics.SOP
UnProdGenerics.SOP.Classes, Generics.SOP
unSOPGenerics.SOP.NS, Generics.SOP
unZGenerics.SOP.NS, Generics.SOP
withDictGenerics.SOP.Dict
WrappedCodeGenerics.SOP.Universe
wrappedTypeFromGenerics.SOP.Universe
wrappedTypeToGenerics.SOP.Universe
ZGenerics.SOP.NS, Generics.SOP
zipAllGenerics.SOP.Dict
zipAll2Generics.SOP.Dict
zipWith3_NPGenerics.SOP.NP
zipWith3_POPGenerics.SOP.NP
zipWith_NPGenerics.SOP.NP
zipWith_POPGenerics.SOP.NP