generics-sop-0.5.1.4: 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 (Type/Class) | Generics.SOP.Dict
2 (Data Constructor) | 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 (Type/Class) | Generics.SOP.BasicFunctors, Generics.SOP
2 (Data Constructor) | 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 (Type/Class) | Generics.SOP.BasicFunctors, Generics.SOP
2 (Data Constructor) | 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 (Type/Class) | Generics.SOP.NP, Generics.SOP
2 (Data Constructor) | 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 (Type/Class) | Generics.SOP
2 (Data Constructor) | 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 (Type/Class) | Generics.SOP.NS, Generics.SOP
2 (Data Constructor) | 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