An IndexedLens_ ] focuses a single piece of data and index within a larger structure.
An IndexedLens_ provides a convenient way to view, set, and transform that element.
An IndexedLens_ must never fail to get or modify that focus.
- Type parameters:
- A
the focus of an IndexedLens_
- B
the modified focus of an IndexedLens_
- I
the index of an IndexedLens_
- S
the source of an IndexedLens_
- T
the modified source of an IndexedLens_
- Companion:
- object
Value members
Concrete methods
compose this IndexedLens_ with an IndexedLens_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedLens_, while preserving the indices of the other optic
compose this IndexedLens_ with an AnIndexedLens_, while preserving the indices of the other optic
compose this IndexedLens_ with an AnIndexedLens_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedTraversal_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedTraversal_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedSetter_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedSetter_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedGetter_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedGetter_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedFold_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedFold_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedLens_, while preserving self indices
compose this IndexedLens_ with an IndexedLens_, while preserving self indices
compose this IndexedLens_ with an AnIndexedLens_, while preserving self indices
compose this IndexedLens_ with an AnIndexedLens_, while preserving self indices
compose this IndexedLens_ with an IndexedTraversal_, while preserving self indices
compose this IndexedLens_ with an IndexedTraversal_, while preserving self indices
compose this IndexedLens_ with an IndexedSetter_, while preserving self indices
compose this IndexedLens_ with an IndexedSetter_, while preserving self indices
compose this IndexedLens_ with an IndexedGetter_, while preserving self indices
compose this IndexedLens_ with an IndexedGetter_, while preserving self indices
compose this IndexedLens_ with an IndexedFold_, while preserving self indices
compose this IndexedLens_ with an IndexedFold_, while preserving self indices
compose this IndexedLens_ with an Iso_, having this IndexedLens_ applied first
compose this IndexedLens_ with an Iso_, having this IndexedLens_ applied first
compose this IndexedLens_ with an AnIso_, having this IndexedLens_ applied first
compose this IndexedLens_ with an AnIso_, having this IndexedLens_ applied first
compose this IndexedLens_ with a Lens_, having this IndexedLens_ applied first
compose this IndexedLens_ with a Lens_, having this IndexedLens_ applied first
compose this IndexedLens_ with an ALens_, having this IndexedLens_ applied first
compose this IndexedLens_ with an ALens_, having this IndexedLens_ applied first
compose this IndexedLens_ with a Prism_, having this IndexedLens_ applied first
compose this IndexedLens_ with a Prism_, having this IndexedLens_ applied first
compose this IndexedLens_ with an APrism_, having this IndexedLens_ applied first
compose this IndexedLens_ with an APrism_, having this IndexedLens_ applied first
compose this IndexedLens_ with an AffineTraversal_, having this IndexedLens_ applied first
compose this IndexedLens_ with an AffineTraversal_, having this IndexedLens_ applied first
compose this IndexedLens_ with an AnAffineTraversal_, having this IndexedLens_ applied first
compose this IndexedLens_ with an AnAffineTraversal_, having this IndexedLens_ applied first
compose this IndexedLens_ with a Traversal_, having this IndexedLens_ applied first
compose this IndexedLens_ with a Traversal_, having this IndexedLens_ applied first
compose this IndexedLens_ with an ATraversal_, having this IndexedLens_ applied first
compose this IndexedLens_ with an ATraversal_, having this IndexedLens_ applied first
compose an IndexedTraversal_ with a Setter_, having this IndexedLens_ applied first
compose an IndexedTraversal_ with a Setter_, having this IndexedLens_ applied first
compose an IndexedTraversal_ with a Getter_, having this IndexedLens_ applied first
compose an IndexedTraversal_ with a Getter_, having this IndexedLens_ applied first
compose an IndexedTraversal_ with a Fold_, having this IndexedLens_ applied first
compose an IndexedTraversal_ with a Fold_, having this IndexedLens_ applied first
compose this IndexedLens_ with an IndexedLens_, while preserving self indices
compose this IndexedLens_ with an IndexedLens_, while preserving self indices
compose this IndexedLens_ with an AnIndexedLens_, while preserving self indices
compose this IndexedLens_ with an AnIndexedLens_, while preserving self indices
compose this IndexedLens_ with an IndexedTraversal_, while preserving self indices
compose this IndexedLens_ with an IndexedTraversal_, while preserving self indices
compose this IndexedLens_ with an IndexedSetter_, while preserving self indices
compose this IndexedLens_ with an IndexedSetter_, while preserving self indices
compose this IndexedLens_ with an IndexedGetter_, while preserving self indices
compose this IndexedLens_ with an IndexedGetter_, while preserving self indices
compose this IndexedLens_ with an IndexedFold_, while preserving self indices
compose this IndexedLens_ with an IndexedFold_, while preserving self indices
compose this IndexedLens_ with an IndexedLens_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedLens_, while preserving the indices of the other optic
compose this IndexedLens_ with an AnIndexedLens_, while preserving the indices of the other optic
compose this IndexedLens_ with an AnIndexedLens_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedTraversal_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedTraversal_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedSetter_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedSetter_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedGetter_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedGetter_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedFold_, while preserving the indices of the other optic
compose this IndexedLens_ with an IndexedFold_, while preserving the indices of the other optic
compose this IndexedLens_ with an Iso_, having this IndexedLens_ applied last
compose this IndexedLens_ with an Iso_, having this IndexedLens_ applied last
compose this IndexedLens_ with an AnIso_, having this IndexedLens_ applied last
compose this IndexedLens_ with an AnIso_, having this IndexedLens_ applied last
compose this IndexedLens_ with a Lens_, having this IndexedLens_ applied last
compose this IndexedLens_ with a Lens_, having this IndexedLens_ applied last
compose this IndexedLens_ with an ALens_, having this IndexedLens_ applied last
compose this IndexedLens_ with an ALens_, having this IndexedLens_ applied last
compose this IndexedLens_ with a Prism_, having this IndexedLens_ applied last
compose this IndexedLens_ with a Prism_, having this IndexedLens_ applied last
compose this IndexedLens_ with an APrism_, having this IndexedLens_ applied last
compose this IndexedLens_ with an APrism_, having this IndexedLens_ applied last
compose this IndexedLens_ with an AffineTraversal_, having this IndexedLens_ applied last
compose this IndexedLens_ with an AffineTraversal_, having this IndexedLens_ applied last
compose this IndexedLens_ with an AnAffineTraversal_, having this IndexedLens_ applied last
compose this IndexedLens_ with an AnAffineTraversal_, having this IndexedLens_ applied last
compose this IndexedLens_ with a Traversal_, having this IndexedLens_ applied last
compose this IndexedLens_ with a Traversal_, having this IndexedLens_ applied last
compose this IndexedLens_ with an ATraversal_, having this IndexedLens_ applied last
compose this IndexedLens_ with an ATraversal_, having this IndexedLens_ applied last
compose an IndexedTraversal_ with a Setter_, having this IndexedLens_ applied last
compose an IndexedTraversal_ with a Setter_, having this IndexedLens_ applied last
compose an IndexedTraversal_ with a Getter_, having this IndexedLens_ applied last
compose an IndexedTraversal_ with a Getter_, having this IndexedLens_ applied last
compose an IndexedTraversal_ with a Fold_, having this IndexedLens_ applied last
compose an IndexedTraversal_ with a Fold_, having this IndexedLens_ applied last
modify an effectual focus of an IndexedLens_ into the modified focus, resulting in a change of type to the full structure
modify an effectual focus of an IndexedLens_ into the modified focus, resulting in a change of type to the full structure
try to map a function over this IndexedLens_, failing if the IndexedLens_ has no foci.
try to map a function over this IndexedLens_, failing if the IndexedLens_ has no foci.
modify the focus type of an IndexedLens_ using a function, resulting in a change of type to the full structure
modify the focus type of an IndexedLens_ 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
modify the focus type of an IndexedLens_ using a cats.Functor, resulting in a change of type to the full structure
modify the focus type of an IndexedLens_ using a cats.Functor, resulting in a change of type to the full structure
- Definition Classes
view the focus and the index of an IndexedLens_
view the focus and the index of an IndexedLens_
- Definition Classes
zip two sources of an IndexedLens_ together provided a binary operation which modify the focus type of an IndexedLens_
zip two sources of an IndexedLens_ together provided a binary operation which modify the focus type of an IndexedLens_
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