An ALens_ ] focuses a single piece of data within a larger structure.
An ALens_ provides a convenient way to view, set, and transform that element.
An ALens_ must never fail to get or modify that focus.
An ALens_ is a Lens_ with fixed type proptics.internal.Shop cats.arrow.Profunctor
Value members
Concrete methods
compose this ALens_ with an AffineTraversal_, having this ALens_ applied first
compose this ALens_ with an AffineTraversal_, having this ALens_ applied first
compose this ALens_ with an AnAffineTraversal_, having this ALens_ applied first
compose this ALens_ with an AnAffineTraversal_, having this ALens_ applied first
compose this ALens_ with an Traversal_, having this ALens_ applied first
compose this ALens_ with an Traversal_, having this ALens_ applied first
compose this ALens_ with an ATraversal_, having this ALens_ applied first
compose this ALens_ with an ATraversal_, having this ALens_ applied first
compose this ALens_ with an IndexedLens_, having this ALens_ applied first
compose this ALens_ with an IndexedLens_, having this ALens_ applied first
compose this ALens_ with an AnIndexedLens_, having this ALens_ applied first
compose this ALens_ with an AnIndexedLens_, having this ALens_ applied first
compose this ALens_ with an IndexedTraversal_, having this ALens_ applied first
compose this ALens_ with an IndexedTraversal_, having this ALens_ applied first
compose this ALens_ with an IndexedSetter_, having this ALens_ applied first
compose this ALens_ with an IndexedSetter_, having this ALens_ applied first
compose this ALens_ with an IndexedGetter_, having this ALens_ applied first
compose this ALens_ with an IndexedGetter_, having this ALens_ applied first
compose this ALens_ with an IndexedFold_, having this ALens_ applied first
compose this ALens_ with an IndexedFold_, having this ALens_ applied first
compose this ALens_ with an AffineTraversal_, having this ALens_ applied last
compose this ALens_ with an AffineTraversal_, having this ALens_ applied last
compose this ALens_ with an AnAffineTraversal_, having this ALens_ applied last
compose this ALens_ with an AnAffineTraversal_, having this ALens_ applied last
compose this ALens_ with an Traversal_, having this ALens_ applied last
compose this ALens_ with an Traversal_, having this ALens_ applied last
compose this ALens_ with an ATraversal_, having this ALens_ applied last
compose this ALens_ with an ATraversal_, having this ALens_ applied last
compose this ALens_ with an IndexedLens_, having this ALens_ applied last
compose this ALens_ with an IndexedLens_, having this ALens_ applied last
compose this ALens_ with an AnIndexedLens_, having this ALens_ applied last
compose this ALens_ with an AnIndexedLens_, having this ALens_ applied last
compose this ALens_ with an IndexedTraversal_, having this ALens_ applied last
compose this ALens_ with an IndexedTraversal_, having this ALens_ applied last
compose this ALens_ with an IndexedSetter_, having this ALens_ applied last
compose this ALens_ with an IndexedSetter_, having this ALens_ applied last
compose this ALens_ with an IndexedGetter_, having this ALens_ applied last
compose this ALens_ with an IndexedGetter_, having this ALens_ applied last
compose this ALens_ with an IndexedFold_, having this ALens_ applied last
compose this ALens_ with an IndexedFold_, having this ALens_ applied last
modify the focus type of a ALens_ using a cats.Functor, resulting in a change of type to the full structure
modify the focus type of a ALens_ using a cats.Functor, resulting in a change of type to the full structure
Inherited methods
test whether the focus of a Getter contains a given value
test whether the focus of a Getter contains a given value
- Inherited from:
- Getter0
test whether a predicate holds for the focus of a Getter
test whether a predicate holds for the focus of a Getter
- Inherited from:
- Getter0
find the first focus of a Getter that satisfies a predicate, if there is any
find the first focus of a Getter that satisfies a predicate, if there is any
- Inherited from:
- Getter1
test whether the focus of a Getter does not contain a given value
test whether the focus of a Getter does not contain a given value
- Inherited from:
- Getter0
test whether a predicate does not hold for the focus of a Getter
test whether a predicate does not hold for the focus of a Getter
- Inherited from:
- Getter0