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 |
| 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 |
| DemoteFieldInfo | Generics.SOP.Type.Metadata |
| demoteFieldInfo | Generics.SOP.Type.Metadata |
| DemoteFieldInfos | Generics.SOP.Type.Metadata |
| demoteFieldInfos | 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 |
| enumTypeFrom | Generics.SOP.Universe |
| enumTypeTo | Generics.SOP.Universe |
| 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 |
| newtypeTo | Generics.SOP.Universe |
| Nil | Generics.SOP.NP, Generics.SOP |
| 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 |
| productTypeFrom | Generics.SOP.Universe |
| productTypeTo | Generics.SOP.Universe |
| 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 |
| 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 |
| 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 |
| wrappedTypeFrom | Generics.SOP.Universe |
| wrappedTypeTo | Generics.SOP.Universe |
| 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 |