An IndexedGetter_ is an IndexedFold_ without a cats.Monoid.
An IndexedGetter_ is just any get function (S -> (A, I))
- Type parameters:
- A
the focus of an IndexedGetter_
- B
the modified focus of an IndexedGetter_
- I
the index of an IndexedGetter_
- S
the source of an IndexedGetter_
- T
the modified source of an IndexedGetter_
- Companion:
- object
Value members
Concrete methods
compose IndexedGetter_ with an IndexedLens_, while preserving the indices of the other optic
compose IndexedGetter_ with an IndexedLens_, while preserving the indices of the other optic
compose IndexedGetter_ with an AnIndexedLens_, while preserving the indices of the other optic
compose IndexedGetter_ with an AnIndexedLens_, while preserving the indices of the other optic
compose IndexedGetter_ with an IndexedTraversal_, while preserving the indices of the other optic
compose IndexedGetter_ with an IndexedTraversal_, while preserving the indices of the other optic
compose IndexedGetter_ with an IndexedGetter_, while preserving the indices of the other optic
compose IndexedGetter_ with an IndexedGetter_, while preserving the indices of the other optic
compose IndexedGetter_ with an IndexedFold_, while preserving the indices of the other optic
compose IndexedGetter_ with an IndexedFold_, while preserving the indices of the other optic
compose IndexedGetter_ with an IndexedLens_, while preserving self indices
compose IndexedGetter_ with an IndexedLens_, while preserving self indices
compose IndexedGetter_ with an AnIndexedLens_, while preserving self indices
compose IndexedGetter_ with an AnIndexedLens_, while preserving self indices
compose IndexedGetter_ with an IndexedTraversal_, while preserving self indices
compose IndexedGetter_ with an IndexedTraversal_, while preserving self indices
compose IndexedGetter_ with an IndexedGetter_, while preserving self indices
compose IndexedGetter_ with an IndexedGetter_, while preserving self indices
compose IndexedGetter_ with an IndexedFold_, while preserving self indices
compose IndexedGetter_ with an IndexedFold_, while preserving self indices
compose this IndexedGetter_ with an Iso_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with an Iso_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with an AnIso_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with an AnIso_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with a Lens_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with a Lens_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with an ALens_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with an ALens_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with a Prism_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with a Prism_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with an APrism_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with an APrism_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with an AffineTraversal_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with an AffineTraversal_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with an AnAffineTraversal_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with an AnAffineTraversal_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with a Traversal_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with a Traversal_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with an ATraversal_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with an ATraversal_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with a Getter_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with a Getter_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with a Fold_, having this IndexedGetter_ applied first
compose this IndexedGetter_ with a Fold_, having this IndexedGetter_ applied first
compose an IndexedGetter_ with an IndexedLens_, while preserving self indices
compose an IndexedGetter_ with an IndexedLens_, while preserving self indices
compose an IndexedGetter_ with an AnIndexedLens_, while preserving self indices
compose an IndexedGetter_ with an AnIndexedLens_, while preserving self indices
compose an IndexedGetter_ with an IndexedTraversal_, while preserving self indices
compose an IndexedGetter_ with an IndexedTraversal_, while preserving self indices
compose IndexedGetter_ with an IndexedGetter_, while preserving self indices
compose IndexedGetter_ with an IndexedGetter_, while preserving self indices
compose IndexedGetter_ with an IndexedFold_, while preserving self indices
compose IndexedGetter_ with an IndexedFold_, while preserving self indices
compose an IndexedGetter_ with an IndexedLens_, while preserving the indices of the other optic
compose an IndexedGetter_ with an IndexedLens_, while preserving the indices of the other optic
compose an IndexedGetter_ with an AnIndexedLens_, while preserving the indices of the other optic
compose an IndexedGetter_ with an AnIndexedLens_, while preserving the indices of the other optic
compose an IndexedGetter_ with an IndexedTraversal_, while preserving the indices of the other optic
compose an IndexedGetter_ with an IndexedTraversal_, while preserving the indices of the other optic
compose IndexedGetter_ with an IndexedGetter_, while preserving the indices of the other optic
compose IndexedGetter_ with an IndexedGetter_, while preserving the indices of the other optic
compose IndexedGetter_ with an IndexedFold_, while preserving the indices of the other optic
compose IndexedGetter_ with an IndexedFold_, while preserving the indices of the other optic
compose this IndexedGetter_ with an Iso_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with an Iso_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with an AnIso_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with an AnIso_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with a Lens_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with a Lens_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with a ALens_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with a ALens_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with a Prism_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with a Prism_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with an APrism_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with an APrism_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with an AffineTraversal_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with an AffineTraversal_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with an AnAffineTraversal_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with an AnAffineTraversal_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with a Traversal_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with a Traversal_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with an ATraversal_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with an ATraversal_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with a Getter_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with a Getter_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with a Fold_, having this IndexedGetter_ applied last
compose this IndexedGetter_ with a Fold_, having this IndexedGetter_ applied last
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
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:
- IndexedGetter1
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 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