AnAffineTraversal_ has at most one focus, but is not a Prism_, you cannot use it to construct a value.
AnAffineTraversal_ is an AffineTraversal_ with fixed type proptics.internal.Stall cats.arrow.Profunctor
- Type parameters:
- A
the focus of an AnAffineTraversal_
- B
the modified focus of an AnAffineTraversal_
- S
the source of an AnAffineTraversal_
- T
the modified source of an AnAffineTraversal_
- Companion:
- object
Value members
Concrete methods
compose this AnAffineTraversal_ with an Iso_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an Iso_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an AnIso_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an AnIso_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with a Lens_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with a Lens_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an ALens_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an ALens_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with a Prism_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with a Prism_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an APrism_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an APrism_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an AffineTraversal_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an AffineTraversal_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an AnAffineTraversal_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an AnAffineTraversal_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with a Traversal_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with a Traversal_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an ATraversal_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an ATraversal_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with a Setter_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with a Setter_, having this AnAffineTraversal_ applied first
compose an AnAffineTraversal_ with a Getter_, having this AnAffineTraversal_ applied first
compose an AnAffineTraversal_ with a Getter_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with a Fold_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with a Fold_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an IndexedLens_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an IndexedLens_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an AnIndexedLens_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an AnIndexedLens_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an IndexedTraversal_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an IndexedTraversal_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an IndexedSetter_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an IndexedSetter_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an IndexedGetter_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an IndexedGetter_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an IndexedFold_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with an IndexedFold_, having this AnAffineTraversal_ applied first
transform an AnAffineTraversal_ to an AffineTraversal_
transform an AnAffineTraversal_ to an AffineTraversal_
compose this AnAffineTraversal_ with an Iso_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an Iso_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an AnIso_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an AnIso_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with a Lens_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with a Lens_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an ALens_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an ALens_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with a Prism_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with a Prism_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an APrism_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an APrism_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an AffineTraversal_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an AffineTraversal_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an AnAffineTraversal_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an AnAffineTraversal_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with a Traversal_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with a Traversal_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an ATraversal_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an ATraversal_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with a Setter_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with a Setter_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with a Getter_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with a Getter_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with a Fold_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with a Fold_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an IndexedLens_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an IndexedLens_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an AnIndexedLens_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an AnIndexedLens_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an IndexedTraversal_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an IndexedTraversal_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an IndexedSetter_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an IndexedSetter_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an IndexedGetter_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an IndexedGetter_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an IndexedFold_, having this AnAffineTraversal_ applied last
compose this AnAffineTraversal_ with an IndexedFold_, having this AnAffineTraversal_ applied last
try to map a function over this AnAffineTraversal_, failing if the AnAffineTraversal_ has no focus.
try to map a function over this AnAffineTraversal_, failing if the AnAffineTraversal_ has no focus.
compose this AnAffineTraversal_ with a function lifted to a Getter_, having this AnAffineTraversal_ applied first
compose this AnAffineTraversal_ with a function lifted to a Getter_, having this AnAffineTraversal_ applied first
modify the focus type of an AnAffineTraversal_ using a function, resulting in a change of type to the full structure
modify the focus type of an AnAffineTraversal_ using a function, resulting in a change of type to the full structure
convert an AnAffineTraversal_ to an proptics.internal.Stall
convert an AnAffineTraversal_ to an proptics.internal.Stall
modify the focus type of an AnAffineTraversal_ using a cats.Functor, resulting in a change of type to the full structure
modify the focus type of an AnAffineTraversal_ using a cats.Functor, resulting in a change of type to the full structure
convert an AnAffineTraversal_ to the pair of functions that characterize it
convert an AnAffineTraversal_ to the pair of functions that characterize it
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 (hidden)
test whether a predicate holds for the focus of a Fold
test whether a predicate holds for the focus of a Fold
- Definition Classes
- Fold0 -> Getter0
- Inherited from:
- Fold0 (hidden)
find the first focus of an AffineTraversal that satisfies a predicate, if there is any
find the first focus of an AffineTraversal that satisfies a predicate, if there is any
- Definition Classes
- AffineTraversal0 -> Getter0
- Inherited from:
- AffineTraversal0 (hidden)
test whether there is no focus or a predicate holds for the focus of a Fold, using a spire.algebra.lattice.Heyting algebra
test whether there is no focus or a predicate holds for the focus of a Fold, using a spire.algebra.lattice.Heyting algebra
- Inherited from:
- Fold0 (hidden)
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 (hidden)
check if the Fold does not contain a focus
check if the Fold does not contain a focus
- Inherited from:
- Fold0 (hidden)
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 (hidden)
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 (hidden)
modify the focus of an AffineTraversal using a function conditionally if it is not None, resulting in a change of type to the full structure
modify the focus of an AffineTraversal using a function conditionally if it is not None, resulting in a change of type to the full structure
- Inherited from:
- AffineTraversal0 (hidden)
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 (hidden)
set the modified focus of a Setter
set the modified focus of a Setter
- Inherited from:
- Setter0 (hidden)
set the focus of an AffineTraversal conditionally if it is not None
set the focus of an AffineTraversal conditionally if it is not None
- Inherited from:
- AffineTraversal0 (hidden)