A Traversal_ is an optic that focuses on zero or more values
- Type parameters:
- A
the foci of a Traversal_
- B
the modified foci of a Traversal_
- S
the source of a Traversal_
- T
the modified source of a Traversal_
- Companion:
- object
Value members
Concrete methods
compose this Traversal_ with an Iso_, having this Traversal_ applied first
compose this Traversal_ with an Iso_, having this Traversal_ applied first
compose this Traversal_ with an AnIso_, having this Traversal_ applied first
compose this Traversal_ with an AnIso_, having this Traversal_ applied first
compose this Traversal_ with a Lens_, having this Traversal_ applied first
compose this Traversal_ with a Lens_, having this Traversal_ applied first
compose this Traversal_ with an ALens_, having this Traversal_ applied first
compose this Traversal_ with an ALens_, having this Traversal_ applied first
compose this Traversal_ with a Prism_, having this Traversal_ applied first
compose this Traversal_ with a Prism_, having this Traversal_ applied first
compose this Traversal_ with an APrism_, having this Traversal_ applied first
compose this Traversal_ with an APrism_, having this Traversal_ applied first
compose this Traversal_ with an AffineTraversal_, having this Traversal_ applied first
compose this Traversal_ with an AffineTraversal_, having this Traversal_ applied first
compose this Traversal_ with an AnAffineTraversal_, having this Traversal_ applied first
compose this Traversal_ with an AnAffineTraversal_, having this Traversal_ applied first
compose this Traversal_ with a Traversal_, having this Traversal_ applied first
compose this Traversal_ with a Traversal_, having this Traversal_ applied first
compose this Traversal_ with an ATraversal_, having this Traversal_ applied first
compose this Traversal_ with an ATraversal_, having this Traversal_ applied first
compose this Traversal_ with a Setter_, having this Traversal_ applied first
compose this Traversal_ with a Setter_, having this Traversal_ applied first
compose this Traversal_ with a Getter_, having this Traversal_ applied first
compose this Traversal_ with a Getter_, having this Traversal_ applied first
compose this Traversal_ with a Fold_, having this Traversal_ applied first
compose this Traversal_ with a Fold_, having this Traversal_ applied first
compose this Traversal_ with an IndexedLens_, having this Traversal_ applied first
compose this Traversal_ with an IndexedLens_, having this Traversal_ applied first
compose this Traversal_ with an AnIndexedLens_, having this Traversal_ applied first
compose this Traversal_ with an AnIndexedLens_, having this Traversal_ applied first
compose this Traversal_ with an IndexedTraversal_, having this Traversal_ applied first
compose this Traversal_ with an IndexedTraversal_, having this Traversal_ applied first
compose this Traversal_ with an IndexedSetter_, having this Traversal_ applied first
compose this Traversal_ with an IndexedSetter_, having this Traversal_ applied first
compose this Traversal_ with an IndexedGetter_, having this Traversal_ applied first
compose this Traversal_ with an IndexedGetter_, having this Traversal_ applied first
compose this Traversal_ with an IndexedFold_, having this Traversal_ applied first
compose this Traversal_ with an IndexedFold_, having this Traversal_ applied first
compose this Traversal_ with an Iso_, having this Traversal_ applied last
compose this Traversal_ with an Iso_, having this Traversal_ applied last
compose this Traversal_ with an AnIso_, having this Traversal_ applied last
compose this Traversal_ with an AnIso_, having this Traversal_ applied last
compose this Traversal_ with a Lens_, having this Traversal_ applied last
compose this Traversal_ with a Lens_, having this Traversal_ applied last
compose this Traversal_ with an ALens_, having this Traversal_ applied last
compose this Traversal_ with an ALens_, having this Traversal_ applied last
compose this Traversal_ with a Prism_, having this Traversal_ applied last
compose this Traversal_ with a Prism_, having this Traversal_ applied last
compose this Traversal_ with an APrism_, having this Traversal_ applied last
compose this Traversal_ with an APrism_, having this Traversal_ applied last
compose this Traversal_ with an AffineTraversal_, having this Traversal_ applied last
compose this Traversal_ with an AffineTraversal_, having this Traversal_ applied last
compose this Traversal_ with an AnAffineTraversal_, having this Traversal_ applied last
compose this Traversal_ with an AnAffineTraversal_, having this Traversal_ applied last
compose this Traversal_ with a Traversal_, having this Traversal_ applied last
compose this Traversal_ with a Traversal_, having this Traversal_ applied last
compose this Traversal_ with an ATraversal_, having this Traversal_ applied last
compose this Traversal_ with an ATraversal_, having this Traversal_ applied last
compose this Traversal_ with a Setter_, having this Traversal_ applied last
compose this Traversal_ with a Setter_, having this Traversal_ applied last
compose this Traversal_ with a Getter_, having this Traversal_ applied last
compose this Traversal_ with a Getter_, having this Traversal_ applied last
compose this Traversal_ with a Fold_, having this Traversal_ applied last
compose this Traversal_ with a Fold_, having this Traversal_ applied last
compose this Traversal_ with an IndexedLens_, having this Traversal_ applied last
compose this Traversal_ with an IndexedLens_, having this Traversal_ applied last
compose this Traversal_ with an AnIndexedLens_, having this Traversal_ applied last
compose this Traversal_ with an AnIndexedLens_, having this Traversal_ applied last
compose this Traversal_ with an IndexedTraversal_, having this Traversal_ applied last
compose this Traversal_ with an IndexedTraversal_, having this Traversal_ applied last
compose this Traversal_ with an IndexedSetter_, having this Traversal_ applied last
compose this Traversal_ with an IndexedSetter_, having this Traversal_ applied last
compose this Traversal_ with an IndexedGetter_, having this Traversal_ applied last
compose this Traversal_ with an IndexedGetter_, having this Traversal_ applied last
compose this Traversal_ with an IndexedFold_, having this Traversal_ applied last
compose this Traversal_ with an IndexedFold_, having this Traversal_ applied last
try to map a function over this Traversal_, failing if the Traversal_ has no focus.
try to map a function over this Traversal_, failing if the Traversal_ has no focus.
compose this Traversal_ with a function lifted to a Getter_, having this Traversal_ applied first
compose this Traversal_ with a function lifted to a Getter_, having this Traversal_ applied first
modify the foci type of a Traversal_ using a function, resulting in a change of type to the full structure
modify the foci type of a Traversal_ using a function, resulting in a change of type to the full structure
convert a Traversal_ to a proptics.internal.Bazaar
convert a Traversal_ to a proptics.internal.Bazaar
modify each focus of a Traversal_ using a Functor, resulting in a change of type to the full structure
modify each focus of a Traversal_ using a Functor, resulting in a change of type to the full structure
- Definition Classes
- Traversal0
convert a Traversal_ to an IndexedTraversal_ by using the integer positions as indices
convert a Traversal_ to an IndexedTraversal_ by using the integer positions as indices
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 Fold
test whether a predicate holds for the focus of a Fold
- Definition Classes
- Fold0 -> Getter0
- Inherited from:
- Fold0
find the focus of an Fold that satisfies a predicate, if there is any
find the focus of an Fold that satisfies a predicate, if there is any
- Definition Classes
- Fold1 -> Getter0
- Inherited from:
- Fold1
find the first focus of a Fold, if there is any. Synonym for preview
find the first focus of a Fold, if there is any. Synonym for preview
- Inherited from:
- Fold1
fold the foci of a Fold using a cats.Monoid
fold the foci of a Fold using a cats.Monoid
- Inherited from:
- Fold1
fold the foci of a Fold using a binary operator, going left to right
fold the foci of a Fold using a binary operator, going left to right
- Inherited from:
- Fold1
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
- Traversal1 -> Fold1 -> Fold0 -> Traversal0
- Inherited from:
- Traversal1
fold the foci of a Fold using a binary operator, going right to left
fold the foci of a Fold using a binary operator, going right to left
- Inherited from:
- Fold1
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
- Definition Classes
- Fold1 -> Fold0
- Inherited from:
- Fold1
intercalate/insert an element between the existing elements while folding
intercalate/insert an element between the existing elements while folding
- Inherited from:
- Fold1
check if the Fold does not contain a focus
check if the Fold does not contain a focus
- Inherited from:
- Fold0
find the last focus of a Fold, if there is any
find the last focus of a Fold, if there is any
- Inherited from:
- Fold1
the maximum of all foci of a Fold, if there is any
the maximum of all foci of a Fold, if there is any
- Inherited from:
- Fold1
the minimum of all foci of a Fold, if there is any
the minimum of all foci of a Fold, if there is any
- Inherited from:
- Fold1
displays all foci of a Fold in a string using a start, end and a separator
displays all foci of a Fold in a string using a start, end and a separator
- Inherited from:
- Fold1
displays all foci of a Fold in a string using a separator
displays all foci of a Fold in a string using a separator
- Inherited from:
- Fold1
displays all foci of a Fold in a string
displays all foci of a Fold in a string
- Inherited from:
- Fold1
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
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
evaluate each focus of a Traversal from left to right, and ignore the results structure
evaluate each focus of a Traversal from left to right, and ignore the results structure
- Inherited from:
- Traversal1
collect all the foci of a Fold into an Array
collect all the foci of a Fold into an Array
- Inherited from:
- Fold1
map each focus of a Traversal to an effect, from left to right, and ignore the results
map each focus of a Traversal to an effect, from left to right, and ignore the results
- Inherited from:
- Traversal1
collect all the foci of a Fold in the state of a monad
collect all the foci of a Fold in the state of a monad
- Inherited from:
- Fold1