generics-sop-0.5.1.2: 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
All Generics.SOP.Constraint, Generics.SOP
All2 Generics.SOP.Constraint, Generics.SOP
all2 Generics.SOP.Dict
AllF Generics.SOP.Constraint
AllN Generics.SOP.Constraint, Generics.SOP
AllZip Generics.SOP.Constraint, Generics.SOP
AllZip2 Generics.SOP.Constraint, Generics.SOP
AllZipF Generics.SOP.Constraint
AllZipN Generics.SOP.Constraint, Generics.SOP
all_NP Generics.SOP.Dict
all_POP Generics.SOP.Dict
ana_NP Generics.SOP.NP
ana_NS Generics.SOP.NS
And Generics.SOP.Constraint, Generics.SOP
apFn Generics.SOP.Classes, Generics.SOP
apInjs'_NP Generics.SOP.NS
apInjs'_POP Generics.SOP.NS
apInjs_NP Generics.SOP.NS, Generics.SOP
apInjs_POP Generics.SOP.NS, Generics.SOP
ap_NP Generics.SOP.NP
ap_NS Generics.SOP.NS
ap_POP Generics.SOP.NP
ap_SOP Generics.SOP.NS
Associativity Generics.SOP.Metadata , Generics.SOP.Type.Metadata , Generics.SOP
cana_NP Generics.SOP.NP
cana_NS Generics.SOP.NS
case_SList Generics.SOP.Sing, Generics.SOP
cata_NP Generics.SOP.NP
cata_NS Generics.SOP.NS
ccase_SList Generics.SOP.Constraint, Generics.SOP
ccata_NP Generics.SOP.NP
ccata_NS Generics.SOP.NS
ccompare_NS Generics.SOP.NS, Generics.SOP
ccompare_SOP Generics.SOP.NS, Generics.SOP
cexpand_NS Generics.SOP.NS
cexpand_SOP Generics.SOP.NS
cfoldMap_NP Generics.SOP.NP
cfoldMap_NS Generics.SOP.NS
cfoldMap_POP Generics.SOP.NP
cfoldMap_SOP Generics.SOP.NS
cliftA2'_NP Generics.SOP.NP
cliftA2'_NS Generics.SOP.NS
cliftA2_NP Generics.SOP.NP
cliftA2_NS Generics.SOP.NS
cliftA2_POP Generics.SOP.NP
cliftA2_SOP Generics.SOP.NS
cliftA3_NP Generics.SOP.NP
cliftA3_POP Generics.SOP.NP
cliftA_NP Generics.SOP.NP
cliftA_NS Generics.SOP.NS
cliftA_POP Generics.SOP.NP
cliftA_SOP Generics.SOP.NS
cmap_NP Generics.SOP.NP
cmap_NS Generics.SOP.NS
cmap_POP Generics.SOP.NP
cmap_SOP Generics.SOP.NS
Code Generics.SOP.Universe , Generics.SOP
coerce_NP Generics.SOP.NP
coerce_NS Generics.SOP.NS
coerce_POP Generics.SOP.NP
coerce_SOP Generics.SOP.NS
CollapseTo Generics.SOP.Classes, Generics.SOP
collapse_NP Generics.SOP.NP
collapse_NS Generics.SOP.NS
collapse_POP Generics.SOP.NP
collapse_SOP Generics.SOP.NS
Comp Generics.SOP.BasicFunctors, Generics.SOP
compare_NS Generics.SOP.NS, Generics.SOP
compare_SOP Generics.SOP.NS, Generics.SOP
Compose Generics.SOP.Constraint, Generics.SOP
Constraint Generics.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
constructorInfo Generics.SOP.Metadata , Generics.SOP
ConstructorName
1 (Type/Class) Generics.SOP.Metadata , Generics.SOP
2 (Type/Class) Generics.SOP.Type.Metadata
constructorName Generics.SOP.Metadata , Generics.SOP
cpara_SList Generics.SOP.Constraint, Generics.SOP
cpure_NP Generics.SOP.NP
cpure_POP Generics.SOP.NP
ctraverse'_NP Generics.SOP.NP
ctraverse'_NS Generics.SOP.NS
ctraverse'_POP Generics.SOP.NP
ctraverse'_SOP Generics.SOP.NS
ctraverse_NP Generics.SOP.NP
ctraverse_NS Generics.SOP.NS
ctraverse_POP Generics.SOP.NP
ctraverse_SOP Generics.SOP.NS
ctraverse__NP Generics.SOP.NP
ctraverse__NS Generics.SOP.NS
ctraverse__POP Generics.SOP.NP
ctraverse__SOP Generics.SOP.NS
czipWith3_NP Generics.SOP.NP
czipWith3_POP Generics.SOP.NP
czipWith_NP Generics.SOP.NP
czipWith_POP Generics.SOP.NP
DatatypeInfo
1 (Type/Class) Generics.SOP.Metadata , Generics.SOP
2 (Type/Class) Generics.SOP.Type.Metadata
datatypeInfo Generics.SOP.Universe , Generics.SOP
DatatypeInfoOf Generics.SOP.Universe , Generics.SOP
DatatypeName
1 (Type/Class) Generics.SOP.Metadata , Generics.SOP
2 (Type/Class) Generics.SOP.Type.Metadata
datatypeName Generics.SOP.Metadata , Generics.SOP
DecidedLazy Generics.SOP.Metadata
DecidedStrict Generics.SOP.Metadata
DecidedStrictness Generics.SOP.Metadata
DecidedUnpack Generics.SOP.Metadata
DemoteAssociativity Generics.SOP.Type.Metadata
demoteAssociativity Generics.SOP.Type.Metadata
DemoteConstructorInfo Generics.SOP.Type.Metadata
demoteConstructorInfo Generics.SOP.Type.Metadata
DemoteConstructorInfos Generics.SOP.Type.Metadata
demoteConstructorInfos Generics.SOP.Type.Metadata
DemoteDatatypeInfo Generics.SOP.Type.Metadata
demoteDatatypeInfo Generics.SOP.Type.Metadata
DemoteDecidedStrictness Generics.SOP.Type.Metadata
demoteDecidedStrictness Generics.SOP.Type.Metadata
DemoteFieldInfo Generics.SOP.Type.Metadata
demoteFieldInfo Generics.SOP.Type.Metadata
DemoteFieldInfos Generics.SOP.Type.Metadata
demoteFieldInfos Generics.SOP.Type.Metadata
DemoteSourceStrictness Generics.SOP.Type.Metadata
demoteSourceStrictness Generics.SOP.Type.Metadata
DemoteSourceUnpackedness Generics.SOP.Type.Metadata
demoteSourceUnpackedness Generics.SOP.Type.Metadata
DemoteStrictnessInfo Generics.SOP.Type.Metadata
demoteStrictnessInfo Generics.SOP.Type.Metadata
DemoteStrictnessInfos Generics.SOP.Type.Metadata
demoteStrictnessInfos Generics.SOP.Type.Metadata
DemoteStrictnessInfoss Generics.SOP.Type.Metadata
demoteStrictnessInfoss Generics.SOP.Type.Metadata
deriveGeneric Generics.SOP.TH
deriveGenericFunctions Generics.SOP.TH
deriveGenericOnly Generics.SOP.TH
deriveGenericOnlySubst Generics.SOP.TH
deriveGenericSubst Generics.SOP.TH
deriveMetadataType Generics.SOP.TH
deriveMetadataValue Generics.SOP.TH
Dict
1 (Data Constructor) Generics.SOP.Dict
2 (Type/Class) Generics.SOP.Dict
Ejection Generics.SOP.NS, Generics.SOP
ejections Generics.SOP.NS, Generics.SOP
enumTypeFrom Generics.SOP.Universe , Generics.SOP
enumTypeTo Generics.SOP.Universe , Generics.SOP
expand_NS Generics.SOP.NS
expand_SOP Generics.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
fieldName Generics.SOP.Metadata , Generics.SOP
Fixity
1 (Type/Class) Generics.SOP.Metadata , Generics.SOP
2 (Type/Class) Generics.SOP.Type.Metadata
Fn Generics.SOP.Classes, Generics.SOP
fn Generics.SOP.Classes, Generics.SOP
fn_2 Generics.SOP.Classes, Generics.SOP
fn_3 Generics.SOP.Classes, Generics.SOP
fn_4 Generics.SOP.Classes, Generics.SOP
from Generics.SOP.Universe , Generics.SOP
fromI_NP Generics.SOP.NP
fromI_NS Generics.SOP.NS
fromI_POP Generics.SOP.NP
fromI_SOP Generics.SOP.NS
fromList Generics.SOP.NP, Generics.SOP
GCode Generics.SOP.GGP
GDatatypeInfo Generics.SOP.GGP
gdatatypeInfo Generics.SOP.GGP
GDatatypeInfoOf Generics.SOP.GGP
Generic Generics.SOP.Universe , Generics.SOP
GFrom Generics.SOP.GGP
gfrom Generics.SOP.GGP
GTo Generics.SOP.GGP
gto Generics.SOP.GGP
HAp Generics.SOP.Classes, Generics.SOP
hap Generics.SOP.Classes, Generics.SOP
HApInjs Generics.SOP.Classes, Generics.SOP
hapInjs Generics.SOP.Classes, Generics.SOP
HasDatatypeInfo Generics.SOP.Universe , Generics.SOP
hcexpand Generics.SOP.Classes, Generics.SOP
hcfoldMap Generics.SOP.Classes, Generics.SOP
hcfor Generics.SOP.Classes, Generics.SOP
hcfor_ Generics.SOP.Classes, Generics.SOP
hcliftA Generics.SOP.Classes, Generics.SOP
hcliftA' Generics.SOP.NP, Generics.SOP
hcliftA2 Generics.SOP.Classes, Generics.SOP
hcliftA2' Generics.SOP.NP, Generics.SOP
hcliftA3 Generics.SOP.Classes, Generics.SOP
hcliftA3' Generics.SOP.NP, Generics.SOP
hcmap Generics.SOP.Classes, Generics.SOP
hcoerce Generics.SOP.Classes, Generics.SOP
HCollapse Generics.SOP.Classes, Generics.SOP
hcollapse Generics.SOP.Classes, Generics.SOP
hcpure Generics.SOP.Classes, Generics.SOP
hctraverse Generics.SOP.Classes, Generics.SOP
hctraverse' Generics.SOP.Classes, Generics.SOP
hctraverse_ Generics.SOP.Classes, Generics.SOP
hczipWith Generics.SOP.Classes, Generics.SOP
hczipWith3 Generics.SOP.Classes, Generics.SOP
hd Generics.SOP.NP, Generics.SOP
hdicts Generics.SOP.Dict
Head Generics.SOP.Constraint
HExpand Generics.SOP.Classes, Generics.SOP
hexpand Generics.SOP.Classes, Generics.SOP
hfromI Generics.SOP.Classes, Generics.SOP
HIndex Generics.SOP.Classes, Generics.SOP
hindex Generics.SOP.Classes, Generics.SOP
hliftA Generics.SOP.Classes, Generics.SOP
hliftA2 Generics.SOP.Classes, Generics.SOP
hliftA3 Generics.SOP.Classes, Generics.SOP
hmap Generics.SOP.Classes, Generics.SOP
HPure Generics.SOP.Classes, Generics.SOP
hpure Generics.SOP.Classes, Generics.SOP
HSequence Generics.SOP.Classes, Generics.SOP
hsequence Generics.SOP.Classes, Generics.SOP
hsequence' Generics.SOP.Classes, Generics.SOP
hsequenceK Generics.SOP.Classes, Generics.SOP
htoI Generics.SOP.Classes, Generics.SOP
HTrans Generics.SOP.Classes, Generics.SOP
htrans Generics.SOP.Classes, Generics.SOP
htraverse' Generics.SOP.Classes, Generics.SOP
HTraverse_ Generics.SOP.Classes, Generics.SOP
htraverse_ Generics.SOP.Classes, Generics.SOP
hzipWith Generics.SOP.Classes, Generics.SOP
hzipWith3 Generics.SOP.Classes, Generics.SOP
I
1 (Data Constructor) Generics.SOP.BasicFunctors, Generics.SOP
2 (Type/Class) Generics.SOP.BasicFunctors, Generics.SOP
index_NS Generics.SOP.NS
index_SOP Generics.SOP.NS
Infix
1 (Data Constructor) Generics.SOP.Metadata , Generics.SOP
2 (Data Constructor) Generics.SOP.Type.Metadata
Injection Generics.SOP.NS, Generics.SOP
injections Generics.SOP.NS, Generics.SOP
IsEnumType Generics.SOP.Universe , Generics.SOP
IsNewtype Generics.SOP.Universe , Generics.SOP
IsProductType Generics.SOP.Universe , Generics.SOP
IsWrappedType Generics.SOP.Universe , Generics.SOP
K
1 (Data Constructor) Generics.SOP.BasicFunctors, Generics.SOP
2 (Type/Class) Generics.SOP.BasicFunctors, Generics.SOP
LeftAssociative Generics.SOP.Metadata , Generics.SOP.Type.Metadata , Generics.SOP
lengthSList Generics.SOP.Sing, Generics.SOP
liftA2_NP Generics.SOP.NP
liftA2_NS Generics.SOP.NS
liftA2_POP Generics.SOP.NP
liftA2_SOP Generics.SOP.NS
liftA3_NP Generics.SOP.NP
liftA3_POP Generics.SOP.NP
liftA_NP Generics.SOP.NP
liftA_NS Generics.SOP.NS
liftA_POP Generics.SOP.NP
liftA_SOP Generics.SOP.NS
LiftedCoercible Generics.SOP.Constraint, Generics.SOP
mapAll Generics.SOP.Dict
mapAll2 Generics.SOP.Dict
mapII Generics.SOP.BasicFunctors, Generics.SOP
mapIII Generics.SOP.BasicFunctors, Generics.SOP
mapIIK Generics.SOP.BasicFunctors, Generics.SOP
mapIK Generics.SOP.BasicFunctors, Generics.SOP
mapIKI Generics.SOP.BasicFunctors, Generics.SOP
mapIKK Generics.SOP.BasicFunctors, Generics.SOP
mapKI Generics.SOP.BasicFunctors, Generics.SOP
mapKII Generics.SOP.BasicFunctors, Generics.SOP
mapKIK Generics.SOP.BasicFunctors, Generics.SOP
mapKK Generics.SOP.BasicFunctors, Generics.SOP
mapKKI Generics.SOP.BasicFunctors, Generics.SOP
mapKKK Generics.SOP.BasicFunctors, Generics.SOP
map_NP Generics.SOP.NP
map_NS Generics.SOP.NS
map_POP Generics.SOP.NP
map_SOP Generics.SOP.NS
ModuleName
1 (Type/Class) Generics.SOP.Metadata , Generics.SOP
2 (Type/Class) Generics.SOP.Type.Metadata
moduleName Generics.SOP.Metadata , Generics.SOP
Newtype
1 (Data Constructor) Generics.SOP.Metadata , Generics.SOP
2 (Data Constructor) Generics.SOP.Type.Metadata
newtypeFrom Generics.SOP.Universe , Generics.SOP
newtypeTo Generics.SOP.Universe , Generics.SOP
Nil Generics.SOP.NP, Generics.SOP
NoSourceStrictness Generics.SOP.Metadata
NoSourceUnpackedness Generics.SOP.Metadata
NotAssociative Generics.SOP.Metadata , Generics.SOP.Type.Metadata , Generics.SOP
NP Generics.SOP.NP, Generics.SOP
NS Generics.SOP.NS, Generics.SOP
para_SList Generics.SOP.Sing, Generics.SOP
POP
1 (Data Constructor) Generics.SOP.NP, Generics.SOP
2 (Type/Class) Generics.SOP.NP, Generics.SOP
Prod Generics.SOP.Classes, Generics.SOP
ProductCode Generics.SOP.Universe , Generics.SOP
productTypeFrom Generics.SOP.Universe , Generics.SOP
productTypeTo Generics.SOP.Universe , Generics.SOP
Projection Generics.SOP.NP, Generics.SOP
projections Generics.SOP.NP, Generics.SOP
Proxy
1 (Data Constructor) Generics.SOP
2 (Type/Class) Generics.SOP
pureAll Generics.SOP.Dict
pureAll2 Generics.SOP.Dict
pure_NP Generics.SOP.NP
pure_POP Generics.SOP.NP
Record
1 (Data Constructor) Generics.SOP.Metadata , Generics.SOP
2 (Data Constructor) Generics.SOP.Type.Metadata
Rep Generics.SOP.Universe , Generics.SOP
RightAssociative Generics.SOP.Metadata , Generics.SOP.Type.Metadata , Generics.SOP
S Generics.SOP.NS, Generics.SOP
Same Generics.SOP.Classes
SameShapeAs Generics.SOP.Constraint, Generics.SOP
SCons Generics.SOP.Sing, Generics.SOP
sequence'_NP Generics.SOP.NP
sequence'_NS Generics.SOP.NS
sequence'_POP Generics.SOP.NP
sequence'_SOP Generics.SOP.NS
sequence_NP Generics.SOP.NP
sequence_NS Generics.SOP.NS
sequence_POP Generics.SOP.NP
sequence_SOP Generics.SOP.NS
Shape Generics.SOP.Sing, Generics.SOP
shape Generics.SOP.Sing, Generics.SOP
ShapeCons Generics.SOP.Sing, Generics.SOP
ShapeNil Generics.SOP.Sing, Generics.SOP
shift Generics.SOP.NS, Generics.SOP
shiftEjection Generics.SOP.NS, Generics.SOP
shiftInjection Generics.SOP.NS, Generics.SOP
shiftProjection Generics.SOP.NP, Generics.SOP
SList Generics.SOP.Sing, Generics.SOP
sList Generics.SOP.Sing, Generics.SOP
SListI Generics.SOP.Constraint, Generics.SOP.Sing, Generics.SOP
SListI2 Generics.SOP.Constraint, Generics.SOP
SListIN Generics.SOP.Constraint
SNil Generics.SOP.Sing, Generics.SOP
SOP
1 (Data Constructor) Generics.SOP.NS, Generics.SOP
2 (Type/Class) Generics.SOP.NS, Generics.SOP
SourceLazy Generics.SOP.Metadata
SourceNoUnpack Generics.SOP.Metadata
SourceStrict Generics.SOP.Metadata
SourceStrictness Generics.SOP.Metadata
SourceUnpack Generics.SOP.Metadata
SourceUnpackedness Generics.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
Tail Generics.SOP.Constraint
tl Generics.SOP.NP, Generics.SOP
to Generics.SOP.Universe , Generics.SOP
toI_NP Generics.SOP.NP
toI_NS Generics.SOP.NS
toI_POP Generics.SOP.NP
toI_SOP Generics.SOP.NS
Top Generics.SOP.Constraint, Generics.SOP
trans_NP Generics.SOP.NP
trans_NS Generics.SOP.NS
trans_POP Generics.SOP.NP
trans_SOP Generics.SOP.NS
traverse'_NP Generics.SOP.NP
traverse'_NS Generics.SOP.NS
traverse'_POP Generics.SOP.NP
traverse'_SOP Generics.SOP.NS
traverse__NP Generics.SOP.NP
traverse__NS Generics.SOP.NS
traverse__POP Generics.SOP.NP
traverse__SOP Generics.SOP.NS
unAll2 Generics.SOP.Dict
unAll_NP Generics.SOP.Dict
unAll_POP Generics.SOP.Dict
unComp Generics.SOP.BasicFunctors, Generics.SOP
unI Generics.SOP.BasicFunctors, Generics.SOP
unK Generics.SOP.BasicFunctors, Generics.SOP
unPOP Generics.SOP.NP, Generics.SOP
UnProd Generics.SOP.Classes, Generics.SOP
unSOP Generics.SOP.NS, Generics.SOP
unZ Generics.SOP.NS, Generics.SOP
withDict Generics.SOP.Dict
WrappedCode Generics.SOP.Universe , Generics.SOP
wrappedTypeFrom Generics.SOP.Universe , Generics.SOP
wrappedTypeTo Generics.SOP.Universe , Generics.SOP
Z Generics.SOP.NS, Generics.SOP
zipAll Generics.SOP.Dict
zipAll2 Generics.SOP.Dict
zipWith3_NP Generics.SOP.NP
zipWith3_POP Generics.SOP.NP
zipWith_NP Generics.SOP.NP
zipWith_POP Generics.SOP.NP