Index
| !-!! | Data.Extensible.Effect, Data.Extensible |
| *++* | Data.Extensible.Product, Data.Extensible |
| ++ | Data.Extensible.Internal |
| :* | Data.Extensible.Product, Data.Extensible |
| :> | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| :| | Data.Extensible.Sum, Data.Extensible |
| :~: | Data.Extensible.Internal |
| <% | Data.Extensible.Plain, Data.Extensible |
| <%| | Data.Extensible.Plain, Data.Extensible |
| <: | Data.Extensible.Product, Data.Extensible |
| <:* | Data.Extensible.Product, Data.Extensible |
| <:| | Data.Extensible.Sum, Data.Extensible |
| <@=> | Data.Extensible.Field, Data.Extensible |
| == | Data.Extensible.Internal |
| @:> | Data.Extensible.Field, Data.Extensible |
| @= | Data.Extensible.Field, Data.Extensible |
| AArgument | Data.Extensible.Effect, Data.Extensible |
| accessing | Data.Extensible.Plain, Data.Extensible |
| Action | Data.Extensible.Effect, Data.Extensible |
| AllOf | Data.Extensible.Plain, Data.Extensible |
| apply | Data.Extensible.Internal |
| AResult | Data.Extensible.Effect, Data.Extensible |
| asProxyTypeOf | Data.Extensible.Internal |
| Assoc | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| Associate | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| Associated | Data.Extensible.Inclusion, Data.Extensible |
| association | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| AssocKey | Data.Extensible.Field, Data.Extensible |
| AssocValue | Data.Extensible.Field, Data.Extensible |
| bury | Data.Extensible.Plain, Data.Extensible |
| caseOf | Data.Extensible.Match, Data.Extensible |
| castWith | Data.Extensible.Internal |
| coinclusion | Data.Extensible.Nullable, Data.Extensible |
| Comp | |
| 1 (Type/Class) | Data.Extensible.Wrapper, Data.Extensible |
| 2 (Data Constructor) | Data.Extensible.Wrapper, Data.Extensible |
| comp | Data.Extensible.Wrapper, Data.Extensible |
| compareMembership | Data.Extensible.Internal |
| Concat | Data.Extensible.Internal |
| Const' | |
| 1 (Type/Class) | Data.Extensible.Wrapper, Data.Extensible |
| 2 (Data Constructor) | Data.Extensible.Wrapper, Data.Extensible |
| decEffects | Data.Extensible.TH, Data.Extensible |
| deriveIsRecord | Data.Extensible.Record, Data.Extensible |
| DNat | Data.Extensible.Internal |
| Duplicate | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| Eff | Data.Extensible.Effect, Data.Extensible |
| Elaborate | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| Elaborated | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| embed | Data.Extensible.Sum, Data.Extensible |
| embedAssoc | Data.Extensible.Sum, Data.Extensible |
| EmbedAt | Data.Extensible.Sum, Data.Extensible |
| emptyRecord | Data.Extensible.Field, Data.Extensible |
| Exchange | |
| 1 (Type/Class) | Data.Extensible.Internal.Rig |
| 2 (Data Constructor) | Data.Extensible.Internal.Rig |
| exhaust | Data.Extensible.Sum, Data.Extensible |
| Expecting | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| Extensible | Data.Extensible.Class, Data.Extensible |
| Field | |
| 1 (Type/Class) | Data.Extensible.Field, Data.Extensible |
| 2 (Data Constructor) | Data.Extensible.Field, Data.Extensible |
| FieldName | Data.Extensible.Field, Data.Extensible |
| FieldOptic | Data.Extensible.Field, Data.Extensible |
| FindAssoc | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| FindType | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| Forall | Data.Extensible.Product, Data.Extensible |
| fromRecord | Data.Extensible.Record, Data.Extensible |
| Function | Data.Extensible.Effect, Data.Extensible |
| gcastWith | Data.Extensible.Internal |
| Generate | Data.Extensible.Product, Data.Extensible |
| getComp | Data.Extensible.Wrapper, Data.Extensible |
| getConst' | Data.Extensible.Wrapper, Data.Extensible |
| getField | Data.Extensible.Field, Data.Extensible |
| getMemberId | Data.Extensible.Internal |
| getNullable | Data.Extensible.Nullable, Data.Extensible |
| Half | Data.Extensible.Internal |
| Handler | |
| 1 (Type/Class) | Data.Extensible.Effect, Data.Extensible |
| 2 (Data Constructor) | Data.Extensible.Effect, Data.Extensible |
| handleWith | Data.Extensible.Effect, Data.Extensible |
| hcollect | Data.Extensible.Product, Data.Extensible |
| hdistribute | Data.Extensible.Product, Data.Extensible |
| Head | Data.Extensible.Internal |
| Here | Data.Extensible.Internal |
| here | Data.Extensible.Internal |
| hfoldMap | Data.Extensible.Product, Data.Extensible |
| hgenerate | Data.Extensible.Product, Data.Extensible |
| hgenerateFor | Data.Extensible.Product, Data.Extensible |
| hhead | Data.Extensible.Product, Data.Extensible |
| hindex | Data.Extensible.Product, Data.Extensible |
| hlookup | Data.Extensible.Product, Data.Extensible |
| hmap | Data.Extensible.Product, Data.Extensible |
| hmapWithIndex | Data.Extensible.Product, Data.Extensible |
| hoist | Data.Extensible.Sum, Data.Extensible |
| hoistEff | Data.Extensible.Effect, Data.Extensible |
| hsequence | Data.Extensible.Product, Data.Extensible |
| htabulate | Data.Extensible.Product, Data.Extensible |
| htabulateFor | Data.Extensible.Product, Data.Extensible |
| htail | Data.Extensible.Product, Data.Extensible |
| htrans | Data.Extensible.Product, Data.Extensible |
| htraverse | Data.Extensible.Product, Data.Extensible |
| htraverseWithIndex | Data.Extensible.Product, Data.Extensible |
| huncons | Data.Extensible.Product, Data.Extensible |
| hzipWith | Data.Extensible.Product, Data.Extensible |
| hzipWith3 | Data.Extensible.Product, Data.Extensible |
| impossibleMembership | Data.Extensible.Internal |
| Include | Data.Extensible.Inclusion, Data.Extensible |
| IncludeAssoc | Data.Extensible.Inclusion, Data.Extensible |
| inclusion | Data.Extensible.Inclusion, Data.Extensible |
| inclusionAssoc | Data.Extensible.Inclusion, Data.Extensible |
| Inextensible | Data.Extensible.Field, Data.Extensible |
| inner | Data.Extensible.Internal |
| Instance1 | Data.Extensible.Dictionary, Data.Extensible |
| Instruction | |
| 1 (Type/Class) | Data.Extensible.Effect, Data.Extensible |
| 2 (Data Constructor) | Data.Extensible.Effect, Data.Extensible |
| IsRecord | Data.Extensible.Record, Data.Extensible |
| item | Data.Extensible.Class, Data.Extensible |
| itemAssoc | Data.Extensible.Class, Data.Extensible |
| itemAt | Data.Extensible.Class, Data.Extensible |
| KeyValue | Data.Extensible.Field, Data.Extensible |
| KnownPosition | Data.Extensible.Internal |
| KProxy | |
| 1 (Data Constructor) | Data.Extensible.Internal |
| 2 (Type/Class) | Data.Extensible.Internal |
| Labelling | Data.Extensible.Field, Data.Extensible |
| LabelPhantom | Data.Extensible.Field, Data.Extensible |
| Last | Data.Extensible.Internal |
| library | Data.Extensible.Dictionary, Data.Extensible |
| liftEff | Data.Extensible.Effect, Data.Extensible |
| Map | Data.Extensible.Internal |
| mapMatch | Data.Extensible.Match, Data.Extensible |
| mapNullable | Data.Extensible.Nullable, Data.Extensible |
| Match | |
| 1 (Type/Class) | Data.Extensible.Match, Data.Extensible |
| 2 (Data Constructor) | Data.Extensible.Match, Data.Extensible |
| match | Data.Extensible.Match, Data.Extensible |
| matchField | Data.Extensible.Field, Data.Extensible |
| matchWith | Data.Extensible.Match, Data.Extensible |
| matchWithField | Data.Extensible.Field, Data.Extensible |
| Member | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| Membership | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| membership | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| Merge | Data.Extensible.Internal |
| Missing | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| mkField | Data.Extensible.TH, Data.Extensible |
| mkMembership | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| Nat | Data.Extensible.Internal |
| NavHere | Data.Extensible.Internal |
| navigate | Data.Extensible.Internal |
| navL | Data.Extensible.Internal |
| navNext | Data.Extensible.Internal |
| navR | Data.Extensible.Internal |
| nihility | Data.Extensible.Effect, Data.Extensible |
| Nil | Data.Extensible.Product, Data.Extensible |
| Nullable | |
| 1 (Type/Class) | Data.Extensible.Nullable, Data.Extensible |
| 2 (Data Constructor) | Data.Extensible.Nullable, Data.Extensible |
| OneOf | Data.Extensible.Plain, Data.Extensible |
| Optic | Data.Extensible.Internal.Rig |
| Optic' | Data.Extensible.Internal.Rig |
| outer | Data.Extensible.Internal |
| over | Data.Extensible.Internal.Rig |
| picked | Data.Extensible.Sum, Data.Extensible |
| piece | Data.Extensible.Class, Data.Extensible |
| pieceAssoc | Data.Extensible.Class, Data.Extensible |
| pieceAt | Data.Extensible.Class, Data.Extensible |
| pluck | Data.Extensible.Plain, Data.Extensible |
| Proxy | |
| 1 (Data Constructor) | Data.Extensible.Internal |
| 2 (Type/Class) | Data.Extensible.Internal |
| proxyAssocKey | Data.Extensible.Field, Data.Extensible |
| receive | Data.Extensible.Effect, Data.Extensible |
| RecFields | Data.Extensible.Record, Data.Extensible |
| Record | Data.Extensible.Field, Data.Extensible |
| RecordOf | Data.Extensible.Field, Data.Extensible |
| Refl | Data.Extensible.Internal |
| reifyMembership | Data.Extensible.Internal |
| remember | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| Repr | Data.Extensible.Wrapper, Data.Extensible |
| retrench | Data.Extensible.Nullable, Data.Extensible |
| review | Data.Extensible.Internal.Rig |
| runHandler | Data.Extensible.Effect, Data.Extensible |
| runMatch | Data.Extensible.Match, Data.Extensible |
| runMembership | Data.Extensible.Internal |
| SDNat | Data.Extensible.Internal |
| sector | Data.Extensible.Product, Data.Extensible |
| sectorAt | Data.Extensible.Product, Data.Extensible |
| shrink | Data.Extensible.Inclusion, Data.Extensible |
| shrinkAssoc | Data.Extensible.Inclusion, Data.Extensible |
| spread | Data.Extensible.Inclusion, Data.Extensible |
| spreadAssoc | Data.Extensible.Inclusion, Data.Extensible |
| squash | Data.Extensible.Effect, Data.Extensible |
| strike | Data.Extensible.Sum, Data.Extensible |
| strikeAt | Data.Extensible.Sum, Data.Extensible |
| Succ | Data.Extensible.Internal |
| sym | Data.Extensible.Internal |
| Tail | Data.Extensible.Internal |
| TestEquality | Data.Extensible.Internal |
| testEquality | Data.Extensible.Internal |
| theInt | Data.Extensible.Internal |
| toRecord | Data.Extensible.Record, Data.Extensible |
| trans | Data.Extensible.Internal |
| Tree | Data.Extensible.Product, Data.Extensible |
| Variant | Data.Extensible.Field, Data.Extensible |
| VariantOf | Data.Extensible.Field, Data.Extensible |
| view | Data.Extensible.Internal.Rig |
| views | Data.Extensible.Internal.Rig |
| withIso | Data.Extensible.Internal.Rig |
| WrapForall | Data.Extensible.Dictionary, Data.Extensible |
| Wrapper | Data.Extensible.Wrapper, Data.Extensible |
| wrench | Data.Extensible.Nullable, Data.Extensible |
| Zero | Data.Extensible.Internal |
| _Wrapper | Data.Extensible.Wrapper, Data.Extensible |
| _WrapperAs | Data.Extensible.Wrapper, Data.Extensible |
| ∈ | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| ⊆ | Data.Extensible.Inclusion, Data.Extensible |