An AnIndexedLens_ ] focuses a single piece of data and index within a larger structure.
An AnIndexedLens_ provides a convenient way to view, set, and transform that element.
An AnIndexedLens_ must never fail to get or modify that focus.
an AnIndexedLens_ is an IndexedLens_ with fixed type proptics.internal.Shop cats.arrow.Profunctor
- Type parameters:
- A
the focus of an AnIndexedLens_
- B
the modified focus of an AnIndexedLens_
- I
the index of an AnIndexedLens_
- S
the source of an AnIndexedLens_
- T
the modified source of an AnIndexedLens_
- Companion:
- object
Value members
Concrete methods
compose an AnIndexedLens_ with an IndexedLens_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedLens_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an AnIndexedLens_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an AnIndexedLens_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedTraversal_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedTraversal_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedSetter_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedSetter_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedGetter_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedGetter_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedFold_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedFold_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedLens_, while preserving self indices
compose an AnIndexedLens_ with an IndexedLens_, while preserving self indices
compose an AnIndexedLens_ with an AnIndexedLens_, while preserving self indices
compose an AnIndexedLens_ with an AnIndexedLens_, while preserving self indices
compose an AnIndexedLens_ with an IndexedTraversal_, while preserving self indices
compose an AnIndexedLens_ with an IndexedTraversal_, while preserving self indices
compose an AnIndexedLens_ with an IndexedSetter_, while preserving self indices
compose an AnIndexedLens_ with an IndexedSetter_, while preserving self indices
compose an AnIndexedLens_ with an IndexedGetter_, while preserving self indices
compose an AnIndexedLens_ with an IndexedGetter_, while preserving self indices
compose an AnIndexedLens_ with an IndexedFold_, while preserving self indices
compose an AnIndexedLens_ with an IndexedFold_, while preserving self indices
compose this AnIndexedLens_ with an Iso_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with an Iso_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with an AnIso_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with an AnIso_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with a Lens_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with a Lens_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with an ALens_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with an ALens_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with a Prism_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with a Prism_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with an APrism_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with an APrism_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with an AffineTraversal_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with an AffineTraversal_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with an AnAffineTraversal_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with an AnAffineTraversal_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with a Traversal_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with a Traversal_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with an ATraversal_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with an ATraversal_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with a Setter_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with a Setter_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with a Getter_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with a Getter_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with a Fold_, having this AnIndexedLens_ applied first
compose this AnIndexedLens_ with a Fold_, having this AnIndexedLens_ applied first
compose an AnIndexedLens_ with an IndexedLens_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedLens_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an AnIndexedLens_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an AnIndexedLens_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedTraversal_, while preserving self indices
compose an AnIndexedLens_ with an IndexedTraversal_, while preserving self indices
compose an AnIndexedLens_ with an IndexedSetter_, while preserving self indices
compose an AnIndexedLens_ with an IndexedSetter_, while preserving self indices
compose an AnIndexedLens_ with an IndexedGetter_, while preserving self indices
compose an AnIndexedLens_ with an IndexedGetter_, while preserving self indices
compose an AnIndexedLens_ with an IndexedFold_, while preserving self indices
compose an AnIndexedLens_ with an IndexedFold_, while preserving self indices
compose an AnIndexedLens_ with an IndexedLens_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedLens_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an AnIndexedLens_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an AnIndexedLens_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedTraversal_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedTraversal_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedSetter_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedSetter_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedGetter_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedGetter_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedFold_, while preserving the indices of the other optic
compose an AnIndexedLens_ with an IndexedFold_, while preserving the indices of the other optic
compose this AnIndexedLens_ with an Iso_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with an Iso_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with an AnIso_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with an AnIso_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with a Lens_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with a Lens_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with an ALens_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with an ALens_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with a Prism_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with a Prism_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with an APrism_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with an APrism_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with an AffineTraversal_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with an AffineTraversal_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with an AnAffineTraversal_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with an AnAffineTraversal_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with a Traversal_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with a Traversal_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with an ATraversal_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with an ATraversal_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with a Setter_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with a Setter_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with a Getter_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with a Getter_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with a Fold_, having this AnIndexedLens_ applied last
compose this AnIndexedLens_ with a Fold_, having this AnIndexedLens_ applied last
modify the focus type of an AnIndexedLens_ using a function, resulting in a change of type to the full structure
modify the focus type of an AnIndexedLens_ using a function, resulting in a change of type to the full structure
remap the index, resulting in a change of type to the full structure
remap the index, resulting in a change of type to the full structure
convert an AnIndexedLens_ to a Shop[(A, I), B, S, T]
convert an AnIndexedLens_ to a Shop[(A, I), B, S, T]
modify the focus type of an AnIndexedLens_ using a cats.Functor, resulting in a change of type to the full structure
modify the focus type of an AnIndexedLens_ using a cats.Functor, resulting in a change of type to the full structure
view the focus and the index of an AnIndexedLens_
view the focus and the index of an AnIndexedLens_
- Definition Classes
convert an AnIndexedLens_ to the pair of functions that characterize it
convert an AnIndexedLens_ to the pair of functions that characterize it
Inherited methods
test whether a focus at specific index of an IndexedGetter contains a given value
test whether a focus at specific index of an IndexedGetter contains a given value
- Inherited from:
- IndexedGetter0
test whether a predicate holds for the focus of a Getter
test whether a predicate holds for the focus of a Getter
- Definition Classes
- Inherited from:
- IndexedGetter1
find if a focus of an IndexedGetter that satisfies a predicate
find if a focus of an IndexedGetter that satisfies a predicate
- Inherited from:
- IndexedGetter0
check if the IndexedGetter does not contain a focus
check if the IndexedGetter does not contain a focus
- Inherited from:
- IndexedGetter0
check if the IndexedGetter contains a focus
check if the IndexedGetter contains a focus
- Inherited from:
- IndexedGetter0
test whether a focus at specific index of an IndexedGetter does not contain a given value
test whether a focus at specific index of an IndexedGetter does not contain a given value
- Inherited from:
- IndexedGetter0
test whether a predicate does not hold for the focus of an IndexedGetter
test whether a predicate does not hold for the focus of an IndexedGetter
- Inherited from:
- IndexedGetter0
set the modified focus of an IndexedSetter
set the modified focus of an IndexedSetter
- Inherited from:
- IndexedSetter0
view the focus of a Getter in the state of a monad
view the focus of a Getter in the state of a monad
- Inherited from:
- IndexedGetter1