Index
| -$> | Data.Extensible.Struct |
| :* | Data.Extensible.Struct, Data.Extensible.Product, Data.Extensible |
| :> | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| :| | Data.Extensible.Sum, Data.Extensible |
| :~: | Data.Extensible.Internal |
| <! | Data.Extensible.Product, Data.Extensible |
| <% | Data.Extensible.Plain, Data.Extensible |
| <%| | Data.Extensible.Plain, Data.Extensible |
| <: | Data.Extensible.Product, Data.Extensible |
| <:| | Data.Extensible.Sum, Data.Extensible |
| <@=> | Data.Extensible.Field, Data.Extensible |
| == | Data.Extensible.Internal |
| >: | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| @!? | Data.Extensible.Effect, Data.Extensible |
| @:> | Data.Extensible.Field, Data.Extensible |
| @= | 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 |
| askEff | Data.Extensible.Effect, Data.Extensible |
| asksEff | 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 |
| atomicModify | Data.Extensible.Struct |
| atomicModify' | Data.Extensible.Struct |
| atomicModify'_ | Data.Extensible.Struct |
| atomicModify_ | Data.Extensible.Struct |
| bury | Data.Extensible.Plain, Data.Extensible |
| caseOf | Data.Extensible.Match, Data.Extensible |
| castEff | Data.Extensible.Effect, Data.Extensible |
| castWith | Data.Extensible.Internal |
| catchEff | Data.Extensible.Effect, Data.Extensible |
| 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, Data.Extensible.Class, Data.Extensible |
| Const' | |
| 1 (Type/Class) | Data.Extensible.Wrapper, Data.Extensible |
| 2 (Data Constructor) | Data.Extensible.Wrapper, Data.Extensible |
| contEff | Data.Extensible.Effect, Data.Extensible |
| ContT | Data.Extensible.Effect, Data.Extensible |
| customDecEffects | Data.Extensible.TH, Data.Extensible |
| decEffects | Data.Extensible.TH, Data.Extensible |
| decEffectSet | Data.Extensible.TH, Data.Extensible |
| decEffectSuite | 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 |
| EitherDef | Data.Extensible.Effect.Default |
| EitherEff | 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 |
| evalStateDef | Data.Extensible.Effect.Default |
| evalStateEff | Data.Extensible.Effect, Data.Extensible |
| evalTangleT | Data.Extensible.Tangle, Data.Extensible |
| Exchange | |
| 1 (Type/Class) | Data.Extensible.Internal.Rig |
| 2 (Data Constructor) | Data.Extensible.Internal.Rig |
| execStateDef | Data.Extensible.Effect.Default |
| execStateEff | Data.Extensible.Effect, Data.Extensible |
| execWriterDef | Data.Extensible.Effect.Default |
| execWriterEff | Data.Extensible.Effect, Data.Extensible |
| 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.Class, Data.Extensible.Product, Data.Extensible |
| ForallF | Data.Extensible.Class, Data.Extensible |
| fromHList | Data.Extensible.Product, Data.Extensible |
| fromRecord | Data.Extensible.Record, Data.Extensible |
| Function | Data.Extensible.Effect, Data.Extensible |
| gcastWith | Data.Extensible.Internal |
| Generate | Data.Extensible.Class, Data.Extensible.Product, Data.Extensible |
| get | Data.Extensible.Struct |
| getComp | Data.Extensible.Wrapper, Data.Extensible |
| getConst' | Data.Extensible.Wrapper, Data.Extensible |
| getEff | Data.Extensible.Effect, Data.Extensible |
| getField | Data.Extensible.Field, Data.Extensible |
| getMemberId | Data.Extensible.Internal |
| getNullable | Data.Extensible.Nullable, Data.Extensible |
| getsEff | Data.Extensible.Effect, Data.Extensible |
| haccum | Data.Extensible.Product, Data.Extensible |
| haccumMap | Data.Extensible.Product, Data.Extensible |
| handleEff | Data.Extensible.Effect, Data.Extensible |
| hcollect | Data.Extensible.Product, Data.Extensible |
| HCons | Data.Extensible.HList |
| hcount | Data.Extensible.Class, Data.Extensible.Product, Data.Extensible |
| hdistribute | Data.Extensible.Product, Data.Extensible |
| Head | Data.Extensible.Internal |
| henumerate | Data.Extensible.Class, Data.Extensible.Product, Data.Extensible |
| henumerateFor | Data.Extensible.Class, Data.Extensible.Product, Data.Extensible |
| here | Data.Extensible.Internal |
| hfoldMap | Data.Extensible.Product, Data.Extensible |
| hfoldMapFor | Data.Extensible.Product, Data.Extensible |
| hfoldMapWithIndex | Data.Extensible.Product, Data.Extensible |
| hfoldMapWithIndexFor | Data.Extensible.Product, Data.Extensible |
| hfoldrWithIndex | |
| 1 (Function) | Data.Extensible.HList |
| 2 (Function) | Data.Extensible.Struct, Data.Extensible.Product, Data.Extensible |
| hfoldrWithIndexFor | Data.Extensible.Product, Data.Extensible |
| hforce | Data.Extensible.Product, Data.Extensible |
| hfrozen | Data.Extensible.Struct |
| hgenerate | Data.Extensible.Product, Data.Extensible |
| hgenerateFor | Data.Extensible.Product, Data.Extensible |
| hgenerateList | Data.Extensible.Class, Data.Extensible.Product, Data.Extensible |
| hgenerateListFor | Data.Extensible.Class, Data.Extensible.Product, Data.Extensible |
| hindex | Data.Extensible.Product, Data.Extensible |
| hitchAt | Data.Extensible.Tangle, Data.Extensible |
| hlength | |
| 1 (Function) | Data.Extensible.HList |
| 2 (Function) | Data.Extensible.Struct, Data.Extensible.Product, Data.Extensible |
| HList | Data.Extensible.HList |
| hlookup | Data.Extensible.Struct, Data.Extensible.Product, Data.Extensible |
| hmap | Data.Extensible.Product, Data.Extensible |
| hmapWithIndex | Data.Extensible.Product, Data.Extensible |
| hmodify | Data.Extensible.Struct |
| HNil | Data.Extensible.HList |
| hoist | Data.Extensible.Sum, Data.Extensible |
| hoistEff | Data.Extensible.Effect, Data.Extensible |
| hpartition | Data.Extensible.Product, Data.Extensible |
| hrepeat | Data.Extensible.Product, Data.Extensible |
| hrepeatFor | Data.Extensible.Product, Data.Extensible |
| hsequence | Data.Extensible.Product, Data.Extensible |
| htabulate | Data.Extensible.Product, Data.Extensible |
| htabulateFor | Data.Extensible.Product, Data.Extensible |
| htraverse | |
| 1 (Function) | Data.Extensible.HList |
| 2 (Function) | Data.Extensible.Product, Data.Extensible |
| htraverseWithIndex | |
| 1 (Function) | Data.Extensible.HList |
| 2 (Function) | Data.Extensible.Product, Data.Extensible |
| hzipWith | Data.Extensible.Product, Data.Extensible |
| hzipWith3 | Data.Extensible.Product, Data.Extensible |
| Identity | Data.Extensible.Effect, 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 |
| Interpreter | |
| 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 |
| lasso | Data.Extensible.Tangle, Data.Extensible |
| Last | Data.Extensible.Internal |
| leadership | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| leaveEff | Data.Extensible.Effect, Data.Extensible |
| library | Data.Extensible.Dictionary, Data.Extensible |
| liftEff | Data.Extensible.Effect, Data.Extensible |
| liftField | Data.Extensible.Field, Data.Extensible |
| liftField2 | Data.Extensible.Field, Data.Extensible |
| liftsEff | Data.Extensible.Effect, Data.Extensible |
| listenEff | Data.Extensible.Effect, Data.Extensible |
| localEff | Data.Extensible.Effect, Data.Extensible |
| 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 |
| MaybeDef | Data.Extensible.Effect.Default |
| MaybeEff | Data.Extensible.Effect, 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 |
| Missing | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| mkField | Data.Extensible.TH, Data.Extensible |
| mkFieldAs | Data.Extensible.TH, Data.Extensible |
| mkMembership | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| modifyEff | Data.Extensible.Effect, Data.Extensible |
| Nat | Data.Extensible.Internal |
| navNext | Data.Extensible.Internal |
| new | Data.Extensible.Struct |
| newFor | Data.Extensible.Struct |
| newFrom | Data.Extensible.Struct |
| newFromHList | Data.Extensible.Struct |
| newRepeat | Data.Extensible.Struct |
| 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 |
| passEff | Data.Extensible.Effect, Data.Extensible |
| peelAction | Data.Extensible.Effect, Data.Extensible |
| peelAction0 | Data.Extensible.Effect, Data.Extensible |
| peelEff | Data.Extensible.Effect, Data.Extensible |
| peelEff0 | Data.Extensible.Effect, Data.Extensible |
| peelEff1 | Data.Extensible.Effect, 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 |
| Prod | |
| 1 (Type/Class) | Data.Extensible.Wrapper, Data.Extensible |
| 2 (Data Constructor) | Data.Extensible.Wrapper, Data.Extensible |
| Proxy | |
| 1 (Data Constructor) | Data.Extensible.Internal |
| 2 (Type/Class) | Data.Extensible.Internal |
| proxyAssocKey | Data.Extensible.Field, Data.Extensible |
| putEff | Data.Extensible.Effect, Data.Extensible |
| ReaderDef | Data.Extensible.Effect.Default |
| ReaderEff | Data.Extensible.Effect, Data.Extensible |
| rebindEff0 | Data.Extensible.Effect, Data.Extensible |
| rebindEff1 | Data.Extensible.Effect, Data.Extensible |
| rebindEff2 | Data.Extensible.Effect, Data.Extensible |
| Rebinder | Data.Extensible.Effect, Data.Extensible |
| RecFields | Data.Extensible.Record, Data.Extensible |
| Record | Data.Extensible.Field, Data.Extensible |
| record | Data.Extensible.Record, Data.Extensible |
| recordFromList | Data.Extensible.Record, Data.Extensible |
| RecordOf | Data.Extensible.Field, Data.Extensible |
| recordToList | Data.Extensible.Record, 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 |
| retractEff | Data.Extensible.Effect, Data.Extensible |
| retrench | Data.Extensible.Nullable, Data.Extensible |
| review | Data.Extensible.Internal.Rig |
| runAction | Data.Extensible.Effect, Data.Extensible |
| runContEff | Data.Extensible.Effect, Data.Extensible |
| runEitherDef | Data.Extensible.Effect.Default |
| runEitherEff | Data.Extensible.Effect, Data.Extensible |
| runInterpreter | Data.Extensible.Effect, Data.Extensible |
| runIterEff | Data.Extensible.Effect, Data.Extensible |
| runMatch | Data.Extensible.Match, Data.Extensible |
| runMaybeDef | Data.Extensible.Effect.Default |
| runMaybeEff | Data.Extensible.Effect, Data.Extensible |
| runReaderDef | Data.Extensible.Effect.Default |
| runReaderEff | Data.Extensible.Effect, Data.Extensible |
| runStateDef | Data.Extensible.Effect.Default |
| runStateEff | Data.Extensible.Effect, Data.Extensible |
| runTangles | Data.Extensible.Tangle, Data.Extensible |
| runTangleT | Data.Extensible.Tangle, Data.Extensible |
| runWriterDef | Data.Extensible.Effect.Default |
| runWriterEff | Data.Extensible.Effect, Data.Extensible |
| SDNat | Data.Extensible.Internal |
| set | Data.Extensible.Struct |
| shrink | Data.Extensible.Inclusion, Data.Extensible |
| shrinkAssoc | Data.Extensible.Inclusion, Data.Extensible |
| spread | Data.Extensible.Inclusion, Data.Extensible |
| spreadAssoc | Data.Extensible.Inclusion, Data.Extensible |
| State | Data.Extensible.Effect, Data.Extensible |
| StateDef | Data.Extensible.Effect.Default |
| stateEff | Data.Extensible.Effect, Data.Extensible |
| strike | Data.Extensible.Sum, Data.Extensible |
| strikeAt | Data.Extensible.Sum, Data.Extensible |
| Struct | Data.Extensible.Struct |
| Succ | Data.Extensible.Internal |
| sym | Data.Extensible.Internal |
| TangleT | |
| 1 (Type/Class) | Data.Extensible.Tangle, Data.Extensible |
| 2 (Data Constructor) | Data.Extensible.Tangle, Data.Extensible |
| tellEff | Data.Extensible.Effect, Data.Extensible |
| TestEquality | Data.Extensible.Internal |
| testEquality | Data.Extensible.Internal |
| thaw | Data.Extensible.Struct |
| theInt | Data.Extensible.Internal |
| throwEff | Data.Extensible.Effect, Data.Extensible |
| tickEff | Data.Extensible.Effect, Data.Extensible |
| toHList | Data.Extensible.Struct, Data.Extensible.Product, Data.Extensible |
| toRecord | Data.Extensible.Record, Data.Extensible |
| trans | Data.Extensible.Internal |
| unsafeFreeze | Data.Extensible.Struct |
| unTangleT | Data.Extensible.Tangle, Data.Extensible |
| vacancy | Data.Extensible.Nullable, 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 |
| WrappedPointer | |
| 1 (Type/Class) | Data.Extensible.Struct |
| 2 (Data Constructor) | Data.Extensible.Struct |
| Wrapper | Data.Extensible.Wrapper, Data.Extensible |
| wrench | Data.Extensible.Nullable, Data.Extensible |
| WriterDef | Data.Extensible.Effect.Default |
| WriterEff | Data.Extensible.Effect, Data.Extensible |
| writerEff | Data.Extensible.Effect, Data.Extensible |
| Zero | Data.Extensible.Internal |
| _Wrapper | Data.Extensible.Wrapper, Data.Extensible |
| _WrapperAs | Data.Extensible.Wrapper, Data.Extensible |
| ~~ | Data.Extensible.Internal |
| ∈ | Data.Extensible.Internal, Data.Extensible.Class, Data.Extensible |
| ⊆ | Data.Extensible.Inclusion, Data.Extensible |
| 訊 | Data.Extensible.Label, Data.Extensible |