Type synonym for an indexed getter.
Moduleoptics-core-0.4.2Haskell2010
Optics.IxGetter
An IxGetter is an indexed version of a Getter. See the
"Indexed optics" section of the overview documentation in the Optics module
of the main optics package for more details on indexed optics.
Contents
- Packageoptics-core-0.4.2
- Exports6
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceIxGetter.hs
Formation
Introduction
Build an indexed getter from a function.
iview (ito id) ('i', 'x')('i','x')
Use a value itself as its own index. This is essentially an indexed version of equality.
Elimination
View the value pointed to by an indexed getter.
View the function of the value pointed to by an indexed getter.
Subtyping
Tag for a getter.
Instances29ReversibleOptic, Is, JoinKinds, IxOptic, ToReadOnly, MappingOptic, …
ReversibleOptic A_GetterDefined in optics-core-0.4.2 · Optics.ReIs A_Getter A_FoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Getter An_AffineFoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Lens A_GetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_ReversedPrism A_GetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_GetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Fold A_Getter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Getter A_Fold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Getter A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Traversal A_Getter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Getter => JoinKinds A_Getter A_Getter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Getter => JoinKinds A_Getter A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Getter => JoinKinds A_Getter A_ReversedPrism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Getter => JoinKinds A_Getter An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Getter => JoinKinds A_Lens A_Getter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Getter => JoinKinds A_ReversedPrism A_Getter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Getter => JoinKinds An_Iso A_Getter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds A_Getter A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds A_Getter An_AffineFold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds A_Getter An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds A_Prism A_Getter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_AffineFold A_Getter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_AffineTraversal A_Getter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping(s ~ t, a ~ b) => IxOptic A_Getter s t a bDefined in optics-core-0.4.2 · Optics.Indexed.Core(s ~ t, a ~ b) => ToReadOnly A_Getter s t a bDefined in optics-core-0.4.2 · Optics.ReadOnly(Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_Getter f g s t a bDefined in optics-core-0.4.2 · Optics.MappingExample1 expression [('a', True), ('b', False)] ^. _1 %& mapping"ab"
Example2 expressions let v = [[ (('a', True), "foo"), (('b', False), "bar")], [ (('c', True), "xyz") ] ]v ^. _1 % _2 %& mapping %& mapping[[True,False],[True]]
type MappedOptic A_Getter = A_GetterDefined in optics-core-0.4.2 · Optics.Mappingtype ReversedOptic A_Getter = A_ReviewDefined in optics-core-0.4.2 · Optics.Retype ReadOnlyOptic A_Getter = A_GetterDefined in optics-core-0.4.2 · Optics.ReadOnly