APrism_ is used for selecting cases of a type, most often a sum type.
APrism_ is a Prism_ with fixed type proptics.internal.Market cats.arrow.Profunctor
Value members
Abstract methods
modify the focus type of an APrism_ using a cats.Functor, resulting in a change of type to the full structure
modify the focus type of an APrism_ using a cats.Functor, resulting in a change of type to the full structure
Concrete methods
compose this APrism_ with an AffineTraversal_, having this APrism_ applied first
compose this APrism_ with an AffineTraversal_, having this APrism_ applied first
compose this APrism_ with an AnAffineTraversal_, having this APrism_ applied first
compose this APrism_ with an AnAffineTraversal_, having this APrism_ applied first
compose this APrism_ with a Traversal_, having this APrism_ applied first
compose this APrism_ with a Traversal_, having this APrism_ applied first
compose this APrism_ with an ATraversal_, having this APrism_ applied first
compose this APrism_ with an ATraversal_, having this APrism_ applied first
compose this nAPrism_ with an IndexedLens_, having this APrism_ applied first
compose this nAPrism_ with an IndexedLens_, having this APrism_ applied first
compose this APrism_ with an AnIndexedLens_, having this APrism_ applied first
compose this APrism_ with an AnIndexedLens_, having this APrism_ applied first
compose this APrism_ with an IndexedTraversal_, having this APrism_ applied first
compose this APrism_ with an IndexedTraversal_, having this APrism_ applied first
compose this APrism_ with an IndexedSetter_, having this APrism_ applied first
compose this APrism_ with an IndexedSetter_, having this APrism_ applied first
compose this APrism_ with an IndexedGetter_, having this APrism_ applied first
compose this APrism_ with an IndexedGetter_, having this APrism_ applied first
compose this APrism_ with an IndexedFold_, having this APrism_ applied first
compose this APrism_ with an IndexedFold_, having this APrism_ applied first
compose this APrism_ with an AffineTraversal_, having this APrism_ applied last
compose this APrism_ with an AffineTraversal_, having this APrism_ applied last
compose this APrism_ with an AnAffineTraversal_, having this APrism_ applied last
compose this APrism_ with an AnAffineTraversal_, having this APrism_ applied last
compose this APrism_ with a Traversal_, having this APrism_ applied last
compose this APrism_ with a Traversal_, having this APrism_ applied last
compose this APrism_ with an ATraversal_, having this APrism_ applied last
compose this APrism_ with an ATraversal_, having this APrism_ applied last
compose this APrism_ with an IndexedLens_, having this APrism_ applied last
compose this APrism_ with an IndexedLens_, having this APrism_ applied last
compose this APrism_ with an AnIndexedLens_, having this APrism_ applied last
compose this APrism_ with an AnIndexedLens_, having this APrism_ applied last
compose this APrism_ with an IndexedTraversal_, having this APrism_ applied last
compose this APrism_ with an IndexedTraversal_, having this APrism_ applied last
compose this APrism_ with an IndexedSetter_, having this APrism_ applied last
compose this APrism_ with an IndexedSetter_, having this APrism_ applied last
compose this APrism_ with an IndexedGetter_, having this APrism_ applied last
compose this APrism_ with an IndexedGetter_, having this APrism_ applied last
compose this APrism_ with an IndexedFold_, having this APrism_ applied last
compose this APrism_ with an IndexedFold_, having this APrism_ applied last
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:
- Fold0
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
- Definition Classes
- AffineTraversal0 -> Getter0
- Inherited from:
- AffineTraversal0
test whether there is no focus or a predicate holds for the focus of a Fold
test whether there is no focus or a predicate holds for the focus of a Fold
- Inherited from:
- Fold0
check if the Getter does not contain a focus
check if the Getter does not contain a focus
- Inherited from:
- Getter0
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
modify the focus of a Traversal using a function conditionally if it is not None, resulting in a change of type to the full structure
modify the focus of a Traversal using a function conditionally if it is not None, resulting in a change of type to the full structure
- Inherited from:
- AffineTraversal0
view the first focus of a Fold, if there is any
view the first focus of a Fold, if there is any
- Inherited from:
- Fold0