An IndexedTraversal_ is an indexed optic that focuses on zero or more values, and their indices.
- Type parameters:
- A
the foci of an IndexedTraversal_
- B
the modified foci of an IndexedTraversal_
- I
the index of an IndexedTraversal_
- S
the source of an IndexedTraversal_
- T
the modified source of an IndexedTraversal_
- Companion:
- object
Value members
Concrete methods
compose this IndexedTraversal_ with an IndexedLens_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an IndexedLens_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an AnIndexedLens_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an AnIndexedLens_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an IndexedTraversal_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an IndexedTraversal_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an IndexedSetter_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an IndexedSetter_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an IndexedGetter_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an IndexedGetter_, while preserving the indices of the other optic
compose IndexedTraversal_ with an IndexedFold_, while preserving the indices of the other optic
compose IndexedTraversal_ with an IndexedFold_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an IndexedLens_, while preserving self indices
compose this IndexedTraversal_ with an IndexedLens_, while preserving self indices
compose this IndexedTraversal_ with an AnIndexedLens_, while preserving self indices
compose this IndexedTraversal_ with an AnIndexedLens_, while preserving self indices
compose this IndexedTraversal_ with an IndexedTraversal_, while preserving self indices
compose this IndexedTraversal_ with an IndexedTraversal_, while preserving self indices
compose this IndexedTraversal_ with an IndexedSetter_, while preserving self indices
compose this IndexedTraversal_ with an IndexedSetter_, while preserving self indices
compose this IndexedTraversal_ with an IndexedGetter_, while preserving self indices
compose this IndexedTraversal_ with an IndexedGetter_, while preserving self indices
compose IndexedTraversal_ with an IndexedFold_, while preserving self indices
compose IndexedTraversal_ with an IndexedFold_, while preserving self indices
compose this IndexedTraversal_ with an Iso_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with an Iso_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with an AnIso_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with an AnIso_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with a Lens_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with a Lens_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with an ALens_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with an ALens_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with a Prism_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with a Prism_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with an APrism_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with an APrism_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with an AffineTraversal_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with an AffineTraversal_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with an AnAffineTraversal_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with an AnAffineTraversal_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with a Traversal_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with a Traversal_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with an ATraversal_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with an ATraversal_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with a Setter_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with a Setter_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with a Getter_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with a Getter_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with a Fold_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with a Fold_, having this IndexedTraversal_ applied first
compose this IndexedTraversal_ with an IndexedLens_, while preserving self indices
compose this IndexedTraversal_ with an IndexedLens_, while preserving self indices
compose this IndexedTraversal_ with an AnIndexedLens_, while preserving self indices
compose this IndexedTraversal_ with an AnIndexedLens_, while preserving self indices
compose this IndexedTraversal_ with an IndexedTraversal_, while preserving self indices
compose this IndexedTraversal_ with an IndexedTraversal_, while preserving self indices
compose this IndexedTraversal_ with an IndexedSetter_, while preserving self indices
compose this IndexedTraversal_ with an IndexedSetter_, while preserving self indices
compose this IndexedTraversal_ with an IndexedGetter_, while preserving self indices
compose this IndexedTraversal_ with an IndexedGetter_, while preserving self indices
compose IndexedTraversal_ with an IndexedFold_, while preserving self indices
compose IndexedTraversal_ with an IndexedFold_, while preserving self indices
compose this IndexedTraversal_ with an IndexedLens_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an IndexedLens_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an AnIndexedLens_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an AnIndexedLens_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an IndexedTraversal_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an IndexedTraversal_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an IndexedSetter_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an IndexedSetter_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an IndexedGetter_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an IndexedGetter_, while preserving the indices of the other optic
compose IndexedTraversal_ with an IndexedFold_, while preserving the indices of the other optic
compose IndexedTraversal_ with an IndexedFold_, while preserving the indices of the other optic
compose this IndexedTraversal_ with an Iso_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with an Iso_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with an AnIso_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with an AnIso_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with a Lens_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with a Lens_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with an ALens_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with an ALens_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with a Prism_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with a Prism_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with an APrism_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with an APrism_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with an AffineTraversal_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with an AffineTraversal_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with an AnAffineTraversal_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with an AnAffineTraversal_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with a Traversal_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with a Traversal_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with an ATraversal_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with an ATraversal_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with a Setter_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with a Setter_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with a Getter_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with a Getter_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with a Fold_, having this IndexedTraversal_ applied last
compose this IndexedTraversal_ with a Fold_, having this IndexedTraversal_ applied last
modify the foci type of an IndexedTraversal_ using a function, resulting in a change of type to the full structure
modify the foci type of an IndexedTraversal_ 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 each focus of an IndexedTraversal_ using a Functor, resulting in a change of type to the full structure
modify each focus of an IndexedTraversal_ using a Functor, resulting in a change of type to the full structure
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
find the first focus of an IndexedFold that satisfies a predicate, if there is any
find the first focus of an IndexedFold that satisfies a predicate, if there is any
- Definition Classes
- IndexedFold0 -> IndexedGetter0
- Inherited from:
- IndexedFold0
fold the foci of a IndexedFold using a cats.Monoid
fold the foci of a IndexedFold using a cats.Monoid
- Inherited from:
- IndexedFold0
fold the foci and indices of an IndexedFold using a binary operator, going left to right
fold the foci and indices of an IndexedFold using a binary operator, going left to right
- Inherited from:
- IndexedFold0
map each focus of a Traversal to a cats.Monoid, and combine the results
map each focus of a Traversal to a cats.Monoid, and combine the results
- Definition Classes
- Inherited from:
- IndexedTraversal1
fold the foci and indices of an IndexedFold using a binary operator, going right to left
fold the foci and indices of an IndexedFold using a binary operator, going right to left
- Inherited from:
- IndexedFold0
check if the IndexedGetter does not contain a focus
check if the IndexedGetter does not contain a focus
- Inherited from:
- IndexedGetter0
find the last focus and index of an IndexedFold that satisfies a predicate, if there is any
find the last focus and index of an IndexedFold that satisfies a predicate, if there is any
- Inherited from:
- IndexedFold0
the number of foci of an IndexedFold
the number of foci of an IndexedFold
- Inherited from:
- IndexedFold0
the maximum of all foci of an IndexedFold, if there is any
the maximum of all foci of an IndexedFold, if there is any
- Inherited from:
- IndexedFold0
the minimum of all foci of an IndexedFold, if there is any
the minimum of all foci of an IndexedFold, if there is any
- Inherited from:
- IndexedFold0
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
view the first focus of a Fold, if there is any
view the first focus of a Fold, if there is any
- Inherited from:
- IndexedFold0
evaluate each focus and index of an IndexedTraversal from left to right, and ignore the results structure
evaluate each focus and index of an IndexedTraversal from left to right, and ignore the results structure
- Inherited from:
- IndexedTraversal1
set the modified focus of an IndexedSetter
set the modified focus of an IndexedSetter
- Inherited from:
- IndexedSetter0
collect all the foci of an IndexedFold into an Array
collect all the foci of an IndexedFold into an Array
- Inherited from:
- IndexedFold0
collect all the foci of an IndexedFold into aList
collect all the foci of an IndexedFold into aList
- Inherited from:
- IndexedFold0
map each focus and index of an IndexedTraversal to an effect, from left to right, and ignore the results
map each focus and index of an IndexedTraversal to an effect, from left to right, and ignore the results
- Inherited from:
- IndexedTraversal1
view the focus and the index of an IndexedFold in the state of a monad
view the focus and the index of an IndexedFold in the state of a monad
- Inherited from:
- IndexedFold0
collect all the foci of an IndexedFold into a List
collect all the foci of an IndexedFold into a List
- Inherited from:
- IndexedFold0