Kind for types used as optic tags, such as A_Lens.
Moduleoptics-core-0.4.2Haskell2010
Optics.Internal.Optic.Types
This module is intended for internal use only, and may change without warning in subsequent releases.
Synopsis
- type OpticKind
- data An_Iso
- data A_Lens
- data A_Prism
- data An_AffineTraversal
- data A_Traversal
- data A_Setter
- data A_ReversedPrism
- data A_Getter
- data An_AffineFold
- data A_Fold
- data A_ReversedLens
- data A_Review
- family Constraints
- Packageoptics-core-0.4.2
- Exports14
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceTypes.hs
Tag for an iso.
Instances41ReversibleOptic, Is, ArrowOptic, JoinKinds, ToReadOnly, MappingOptic, …
ReversibleOptic An_IsoDefined in optics-core-0.4.2 · Optics.ReIs An_Iso A_FoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_GetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_LensDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_PrismDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_ReversedLensDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_ReversedPrismDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_ReviewDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_SetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_TraversalDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso An_AffineFoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso An_AffineTraversalDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingArrow arr => ArrowOptic An_Iso arrDefined in optics-core-0.4.2 · Optics.Arrowk ~ A_Fold => JoinKinds A_Fold An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds An_Iso A_Fold 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 An_Iso A_Getter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Lens => JoinKinds A_Lens An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Lens => JoinKinds An_Iso A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Prism => JoinKinds A_Prism An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Prism => JoinKinds An_Iso A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_ReversedLens => JoinKinds A_ReversedLens An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_ReversedLens => JoinKinds An_Iso A_ReversedLens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_ReversedPrism => JoinKinds A_ReversedPrism An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_ReversedPrism => JoinKinds An_Iso A_ReversedPrism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Review An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds An_Iso A_Review kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Setter An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds An_Iso A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds A_Traversal An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds An_Iso A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_AffineFold An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_Iso An_AffineFold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds An_AffineTraversal An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds An_Iso An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_Iso => JoinKinds An_Iso An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingToReadOnly An_Iso s t a bDefined in optics-core-0.4.2 · Optics.ReadOnly(Functor f, Functor g) => MappingOptic An_Iso f g s t a bDefined in optics-core-0.4.2 · Optics.Mappingtype MappedOptic An_Iso = An_IsoDefined in optics-core-0.4.2 · Optics.Mappingtype ReversedOptic An_Iso = An_IsoDefined in optics-core-0.4.2 · Optics.Retype ReadOnlyOptic An_Iso = A_GetterDefined in optics-core-0.4.2 · Optics.ReadOnly
Tag for a lens.
Instances35ReversibleOptic, Is, ArrowOptic, JoinKinds, IxOptic, ToReadOnly, …
ReversibleOptic A_LensDefined in optics-core-0.4.2 · Optics.ReIs A_Lens A_FoldDefined 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_Lens A_SetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Lens A_TraversalDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Lens An_AffineFoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Lens An_AffineTraversalDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_LensDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingArrow arr => ArrowOptic A_Lens arrDefined in optics-core-0.4.2 · Optics.Arrowk ~ A_Fold => JoinKinds A_Fold A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Lens A_Fold 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_Lens A_Getter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Getter => JoinKinds A_Lens A_ReversedPrism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Getter => JoinKinds A_ReversedPrism A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Lens => JoinKinds A_Lens A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Lens => JoinKinds A_Lens An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Lens => JoinKinds An_Iso A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Lens A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Setter A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds A_Lens A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds A_Traversal A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds A_Lens An_AffineFold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_AffineFold A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds A_Lens A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds A_Lens An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds A_Prism A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds An_AffineTraversal A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIxOptic A_Lens s t a bDefined in optics-core-0.4.2 · Optics.Indexed.CoreToReadOnly A_Lens s t a bDefined in optics-core-0.4.2 · Optics.ReadOnly(Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_Lens f g s t a bDefined in optics-core-0.4.2 · Optics.MappingGFieldImpl name s t a b => GenericOptic repDefined name A_Lens s t a bDefined in optics-core-0.4.2 · Optics.Labeltype MappedOptic A_Lens = A_GetterDefined in optics-core-0.4.2 · Optics.Mappingtype ReversedOptic A_Lens = A_ReversedLensDefined in optics-core-0.4.2 · Optics.Retype ReadOnlyOptic A_Lens = A_GetterDefined in optics-core-0.4.2 · Optics.ReadOnly
Tag for a prism.
Instances38ReversibleOptic, Is, ArrowOptic, JoinKinds, ToReadOnly, MappingOptic, …
ReversibleOptic A_PrismDefined in optics-core-0.4.2 · Optics.ReIs A_Prism A_FoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Prism A_ReviewDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Prism A_SetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Prism A_TraversalDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Prism An_AffineFoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Prism An_AffineTraversalDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_PrismDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingArrowChoice arr => ArrowOptic A_Prism arrDefined in optics-core-0.4.2 · Optics.Arrowk ~ A_Fold => JoinKinds A_Fold A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Prism A_Fold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Prism => JoinKinds A_Prism A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Prism => JoinKinds A_Prism An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Prism => JoinKinds An_Iso A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Prism A_ReversedLens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Prism A_Review kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_ReversedLens A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Review A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Prism A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Setter A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds A_Prism A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds A_Traversal A_Prism 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_Prism A_Getter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds A_Prism A_ReversedPrism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds A_Prism An_AffineFold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds A_ReversedPrism A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_AffineFold A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds A_Lens A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds A_Prism A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds A_Prism An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds An_AffineTraversal A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingToReadOnly A_Prism s t a bDefined in optics-core-0.4.2 · Optics.ReadOnly(Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_Prism f g s t a bDefined in optics-core-0.4.2 · Optics.Mapping(GConstructorImpl repDefined name s t a b, origName ~ AppendSymbolDefined in optics-core-0.4.2 · Optics.Label"_"
name) => GenericOptic repDefined origName A_Prism s t a btype MappedOptic A_Prism = A_ReviewDefined in optics-core-0.4.2 · Optics.Mappingtype ReversedOptic A_Prism = A_ReversedPrismDefined in optics-core-0.4.2 · Optics.Retype ReadOnlyOptic A_Prism = An_AffineFoldDefined in optics-core-0.4.2 · Optics.ReadOnly
Tag for an affine traversal.
Instances31Is, ArrowOptic, JoinKinds, IxOptic, ToReadOnly, GenericOptic, …
Is A_Lens An_AffineTraversalDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Prism An_AffineTraversalDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_AffineTraversal A_FoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_AffineTraversal A_SetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_AffineTraversal A_TraversalDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_AffineTraversal An_AffineFoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso An_AffineTraversalDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingArrowChoice arr => ArrowOptic An_AffineTraversal arrDefined in optics-core-0.4.2 · Optics.Arrowk ~ A_Fold => JoinKinds A_Fold An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds An_AffineTraversal A_Fold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Setter An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds An_AffineTraversal A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds A_Traversal An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds An_AffineTraversal A_Traversal 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_ReversedPrism An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_AffineFold An_AffineTraversal 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.Subtypingk ~ An_AffineFold => JoinKinds An_AffineTraversal A_ReversedPrism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_AffineTraversal An_AffineFold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds A_Lens An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds A_Prism An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds An_AffineTraversal A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds An_AffineTraversal A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds An_AffineTraversal An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds An_AffineTraversal An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineTraversal => JoinKinds An_Iso An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIxOptic An_AffineTraversal s t a bDefined in optics-core-0.4.2 · Optics.Indexed.CoreToReadOnly An_AffineTraversal s t a bDefined in optics-core-0.4.2 · Optics.ReadOnly(GAffineFieldImpl repDefined name s t a b, origName ~ AppendSymbolDefined in optics-core-0.4.2 · Optics.Label"?"
name) => GenericOptic repDefined origName An_AffineTraversal s t a bThis instance can only be used via label syntax with GHC >= 9.6 since it's the first release with unrestricted overloaded labels.
type ReadOnlyOptic An_AffineTraversal = An_AffineFoldDefined in optics-core-0.4.2 · Optics.ReadOnly
Tag for a traversal.
Instances28Is, JoinKinds, IxOptic, ToReadOnly, ReadOnlyOptic, …
Is A_Lens A_TraversalDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Prism A_TraversalDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Traversal A_FoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Traversal A_SetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_AffineTraversal A_TraversalDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_TraversalDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Fold A_Traversal 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_ReversedPrism A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Traversal A_Fold 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_Fold => JoinKinds A_Traversal A_ReversedPrism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Traversal An_AffineFold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds An_AffineFold A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Setter A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Traversal A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds A_Lens A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds A_Prism A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds A_Traversal A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds A_Traversal A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds A_Traversal A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds A_Traversal An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds A_Traversal An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds An_AffineTraversal A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Traversal => JoinKinds An_Iso A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIxOptic A_Traversal s t a bDefined in optics-core-0.4.2 · Optics.Indexed.CoreToReadOnly A_Traversal s t a bDefined in optics-core-0.4.2 · Optics.ReadOnlytype ReadOnlyOptic A_Traversal = A_FoldDefined in optics-core-0.4.2 · Optics.ReadOnly
Tag for a setter.
Instances17Is, JoinKinds, IxOptic, …
Is A_Lens A_SetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Prism A_SetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Traversal A_SetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_AffineTraversal A_SetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_SetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Lens A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Prism A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Setter A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Setter A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Setter A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Setter A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Setter An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Setter An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds A_Traversal A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds An_AffineTraversal A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Setter => JoinKinds An_Iso A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIxOptic A_Setter s t a bDefined in optics-core-0.4.2 · Optics.Indexed.Core
Tag for a reversed prism.
Instances27ReversibleOptic, Is, JoinKinds, ToReadOnly, MappingOptic, MappedOptic, …
ReversibleOptic A_ReversedPrismDefined in optics-core-0.4.2 · Optics.ReIs A_ReversedPrism A_FoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_ReversedPrism A_GetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_ReversedPrism An_AffineFoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_ReversedPrismDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Fold A_ReversedPrism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_ReversedPrism A_Fold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_ReversedPrism A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Traversal A_ReversedPrism 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_Lens A_ReversedPrism 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 A_ReversedPrism A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_ReversedPrism => JoinKinds A_ReversedPrism A_ReversedPrism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_ReversedPrism => JoinKinds A_ReversedPrism An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_ReversedPrism => JoinKinds An_Iso A_ReversedPrism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds A_Prism A_ReversedPrism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds A_ReversedPrism A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds A_ReversedPrism An_AffineFold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds A_ReversedPrism An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_AffineFold A_ReversedPrism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_AffineTraversal A_ReversedPrism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingToReadOnly A_ReversedPrism s t a bDefined in optics-core-0.4.2 · Optics.ReadOnly(Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_ReversedPrism f g s t a bDefined in optics-core-0.4.2 · Optics.Mappingtype MappedOptic A_ReversedPrism = A_GetterDefined in optics-core-0.4.2 · Optics.Mappingtype ReversedOptic A_ReversedPrism = A_PrismDefined in optics-core-0.4.2 · Optics.Retype ReadOnlyOptic A_ReversedPrism = A_GetterDefined in optics-core-0.4.2 · Optics.ReadOnly
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
Tag for an affine fold.
Instances27Is, JoinKinds, IxOptic, ToReadOnly, ReadOnlyOptic, …
Is A_Getter An_AffineFoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Lens An_AffineFoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Prism An_AffineFoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_ReversedPrism An_AffineFoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_AffineFold A_FoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_AffineTraversal An_AffineFoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso An_AffineFoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Fold An_AffineFold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Traversal An_AffineFold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds An_AffineFold A_Fold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds An_AffineFold A_Traversal 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_Lens An_AffineFold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds A_Prism An_AffineFold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds A_ReversedPrism An_AffineFold 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_AffineFold A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_AffineFold A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_AffineFold A_ReversedPrism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_AffineFold An_AffineFold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_AffineFold An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_AffineFold An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_AffineTraversal An_AffineFold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ An_AffineFold => JoinKinds An_Iso An_AffineFold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping(s ~ t, a ~ b) => IxOptic An_AffineFold s t a bDefined in optics-core-0.4.2 · Optics.Indexed.Core(s ~ t, a ~ b) => ToReadOnly An_AffineFold s t a bDefined in optics-core-0.4.2 · Optics.ReadOnlytype ReadOnlyOptic An_AffineFold = An_AffineFoldDefined in optics-core-0.4.2 · Optics.ReadOnly
Tag for a fold.
Instances28Is, JoinKinds, IxOptic, ToReadOnly, ReadOnlyOptic, …
Is A_Getter A_FoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Lens A_FoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Prism A_FoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_ReversedPrism A_FoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_Traversal A_FoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_AffineFold A_FoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_AffineTraversal A_FoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_FoldDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Fold A_Fold kDefined 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_Fold A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Fold A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Fold A_ReversedPrism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Fold A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Fold An_AffineFold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Fold An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Fold An_Iso 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_Lens A_Fold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Prism A_Fold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_ReversedPrism A_Fold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds A_Traversal A_Fold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds An_AffineFold A_Fold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds An_AffineTraversal A_Fold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Fold => JoinKinds An_Iso A_Fold kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping(s ~ t, a ~ b) => IxOptic A_Fold s t a bDefined in optics-core-0.4.2 · Optics.Indexed.Core(s ~ t, a ~ b) => ToReadOnly A_Fold s t a bDefined in optics-core-0.4.2 · Optics.ReadOnlytype ReadOnlyOptic A_Fold = A_FoldDefined in optics-core-0.4.2 · Optics.ReadOnly
Tag for a reversed lens.
Instances13ReversibleOptic, Is, JoinKinds, MappingOptic, MappedOptic, ReversedOptic, …
ReversibleOptic A_ReversedLensDefined in optics-core-0.4.2 · Optics.ReIs A_ReversedLens A_ReviewDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_ReversedLensDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_ReversedLens => JoinKinds A_ReversedLens A_ReversedLens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_ReversedLens => JoinKinds A_ReversedLens An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_ReversedLens => JoinKinds An_Iso A_ReversedLens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Prism A_ReversedLens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_ReversedLens A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_ReversedLens A_Review kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Review A_ReversedLens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping(Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_ReversedLens f g s t a bDefined in optics-core-0.4.2 · Optics.Mappingtype MappedOptic A_ReversedLens = A_ReviewDefined in optics-core-0.4.2 · Optics.Mappingtype ReversedOptic A_ReversedLens = A_LensDefined in optics-core-0.4.2 · Optics.Re
Tag for a review.
Instances14ReversibleOptic, Is, JoinKinds, MappingOptic, MappedOptic, ReversedOptic, …
ReversibleOptic A_ReviewDefined in optics-core-0.4.2 · Optics.ReIs A_Prism A_ReviewDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_ReversedLens A_ReviewDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_ReviewDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Prism A_Review kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_ReversedLens A_Review kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Review A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Review A_ReversedLens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Review A_Review kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Review An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds An_Iso A_Review kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping(Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_Review f g s t a bDefined in optics-core-0.4.2 · Optics.Mappingtype MappedOptic A_Review = A_ReviewDefined in optics-core-0.4.2 · Optics.Mappingtype ReversedOptic A_Review = A_GetterDefined in optics-core-0.4.2 · Optics.Re
family
type family Constraints (k :: OpticKind) (p :: Type -> Type -> Type -> Type) :: Constraint whereMapping tag types k to constraints on p.
Using this type family we define the constraints that the various flavours of optics have to fulfill.
Equations
Constraints An_Iso p = Profunctor pConstraints A_Lens p = Strong pConstraints A_ReversedLens p = Costrong pConstraints A_Prism p = Choice pConstraints A_ReversedPrism p = Cochoice pConstraints An_AffineTraversal p = Visiting pConstraints A_Traversal p = Traversing pConstraints A_Setter p = Mapping pConstraints A_Getter p = (Bicontravariant p, Cochoice p, Strong p)Constraints An_AffineFold p = (Bicontravariant p, Cochoice p, Visiting p)Constraints A_Fold p = (Bicontravariant p, Cochoice p, Traversing p)Constraints A_Review p = (Bifunctor p, Choice p, Costrong p)