ATraversal_ is an optic that focuses on zero or more values.
ATraversal_ is a Traversal_ with fixed type proptics.internal.Bazaar cats.arrow.Profunctor
- Type parameters:
- A
the foci of a ATraversal_
- B
the modified foci of a ATraversal_
- S
the source of a ATraversal_
- T
the modified source of a ATraversal_
- Companion:
- object
Value members
Abstract methods
modify each focus of an ATraversal_ using a Functor, resulting in a change of type to the full structure
modify each focus of an ATraversal_ using a Functor, resulting in a change of type to the full structure
Concrete methods
compose this ATraversal_ with an Iso_, having this ATraversal_ applied first
compose this ATraversal_ with an Iso_, having this ATraversal_ applied first
compose this ATraversal_ with an AnIso_, having this ATraversal_ applied first
compose this ATraversal_ with an AnIso_, having this ATraversal_ applied first
compose this ATraversal_ with a Lens_, having this ATraversal_ applied first
compose this ATraversal_ with a Lens_, having this ATraversal_ applied first
compose this ATraversal_ with an ALens_, having this ATraversal_ applied first
compose this ATraversal_ with an ALens_, having this ATraversal_ applied first
compose this ATraversal_ with a Prism_, having this ATraversal_ applied first
compose this ATraversal_ with a Prism_, having this ATraversal_ applied first
compose this ATraversal_ with an APrism_, having this ATraversal_ applied first
compose this ATraversal_ with an APrism_, having this ATraversal_ applied first
compose this ATraversal_ with an AffineTraversal_, having this ATraversal_ applied first
compose this ATraversal_ with an AffineTraversal_, having this ATraversal_ applied first
compose this ATraversal_ with an AnAffineTraversal_, having this ATraversal_ applied first
compose this ATraversal_ with an AnAffineTraversal_, having this ATraversal_ applied first
compose this ATraversal_ with a Traversal_, having this ATraversal_ applied first
compose this ATraversal_ with a Traversal_, having this ATraversal_ applied first
compose this ATraversal_ with an ATraversal_, having this ATraversal_ applied first
compose this ATraversal_ with an ATraversal_, having this ATraversal_ applied first
compose this ATraversal_ with a Setter_, having this ATraversal_ applied first
compose this ATraversal_ with a Setter_, having this ATraversal_ applied first
compose this ATraversal_ with a Getter_, having this ATraversal_ applied first
compose this ATraversal_ with a Getter_, having this ATraversal_ applied first
compose this ATraversal_ with a Fold_, having this ATraversal_ applied first
compose this ATraversal_ with a Fold_, having this ATraversal_ applied first
compose this ATraversal_ with an IndexedLens_, having this ATraversal_ applied first
compose this ATraversal_ with an IndexedLens_, having this ATraversal_ applied first
compose this ATraversal_ with an AnIndexedLens_, having this ATraversal_ applied first
compose this ATraversal_ with an AnIndexedLens_, having this ATraversal_ applied first
compose this ATraversal_ with an IndexedTraversal_, having this ATraversal_ applied first
compose this ATraversal_ with an IndexedTraversal_, having this ATraversal_ applied first
compose this Traversal_ with an IndexedSetter_, having this ATraversal_ applied first
compose this Traversal_ with an IndexedSetter_, having this ATraversal_ applied first
compose this Traversal_ with an IndexedGetter_, having this ATraversal_ applied first
compose this Traversal_ with an IndexedGetter_, having this ATraversal_ applied first
compose this ATraversal_ with an IndexedFold_, having this ATraversal_ applied first
compose this ATraversal_ with an IndexedFold_, having this ATraversal_ applied first
convert an ATraversal_ to an IndexedTraversal_ by using the integer positions as indices
convert an ATraversal_ to an IndexedTraversal_ by using the integer positions as indices
compose this ATraversal_ with an Iso_, having this ATraversal_ applied last
compose this ATraversal_ with an Iso_, having this ATraversal_ applied last
compose this ATraversal_ with an AnIso_, having this ATraversal_ applied last
compose this ATraversal_ with an AnIso_, having this ATraversal_ applied last
compose this ATraversal_ with a Lens_, having this ATraversal_ applied last
compose this ATraversal_ with a Lens_, having this ATraversal_ applied last
compose this ATraversal_ with an ALens_, having this ATraversal_ applied last
compose this ATraversal_ with an ALens_, having this ATraversal_ applied last
compose this ATraversal_ with a Prism_, having this ATraversal_ applied last
compose this ATraversal_ with a Prism_, having this ATraversal_ applied last
compose this ATraversal_ with an APrism_, having this ATraversal_ applied last
compose this ATraversal_ with an APrism_, having this ATraversal_ applied last
compose this ATraversal_ with an AffineTraversal_, having this ATraversal_ applied last
compose this ATraversal_ with an AffineTraversal_, having this ATraversal_ applied last
compose this ATraversal_ with an AnAffineTraversal_, having this ATraversal_ applied last
compose this ATraversal_ with an AnAffineTraversal_, having this ATraversal_ applied last
compose this ATraversal_ with a Traversal_, having this ATraversal_ applied last
compose this ATraversal_ with a Traversal_, having this ATraversal_ applied last
compose this ATraversal_ with an ATraversal_, having this ATraversal_ applied last
compose this ATraversal_ with an ATraversal_, having this ATraversal_ applied last
compose this ATraversal_ with a Setter_, having this ATraversal_ applied last
compose this ATraversal_ with a Setter_, having this ATraversal_ applied last
compose this ATraversal_ with a Getter_, having this ATraversal_ applied last
compose this ATraversal_ with a Getter_, having this ATraversal_ applied last
compose this ATraversal_ with a Fold_, having this ATraversal_ applied last
compose this ATraversal_ with a Fold_, having this ATraversal_ applied last
compose this ATraversal_ with an IndexedLens_, having this ATraversal_ applied last
compose this ATraversal_ with an IndexedLens_, having this ATraversal_ applied last
compose this ATraversal_ with an AnIndexedLens_, having this ATraversal_ applied last
compose this ATraversal_ with an AnIndexedLens_, having this ATraversal_ applied last
compose this ATraversal_ with an IndexedTraversal_, having this ATraversal_ applied last
compose this ATraversal_ with an IndexedTraversal_, having this ATraversal_ applied last
compose this Traversal_ with an IndexedSetter_, having this ATraversal_ applied last
compose this Traversal_ with an IndexedSetter_, having this ATraversal_ applied last
compose this Traversal_ with an IndexedGetter_, having this ATraversal_ applied last
compose this Traversal_ with an IndexedGetter_, having this ATraversal_ applied last
compose this ATraversal_ with an IndexedFold_, having this ATraversal_ applied last
compose this ATraversal_ with an IndexedFold_, having this ATraversal_ applied last
compose this ATraversal_ with a function lifted to a Getter_, having this ATraversal_ applied first
compose this ATraversal_ with a function lifted to a Getter_, having this ATraversal_ applied first
convert an ATraversal_ to a proptics.internal.Bazaar
convert an ATraversal_ to a proptics.internal.Bazaar
convert a ATraversal into a Lens over a list of the ATraversal's foci
convert a ATraversal into a Lens over a list of the ATraversal's foci
Inherited methods
return the result of a conjunction of all foci of a Fold, using a spire.algebra.lattice.Heyting algebra
return the result of a conjunction of all foci of a Fold, using a spire.algebra.lattice.Heyting algebra
- Inherited from:
- Fold1 (hidden)
test whether a predicate holds for any focus of a Fold, using a spire.algebra.lattice.Heyting algebra
test whether a predicate holds for any focus of a Fold, using a spire.algebra.lattice.Heyting algebra
- Inherited from:
- Fold1 (hidden)
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 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 (hidden)
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 (hidden)
fold the foci of a Fold using a cats.Monoid
fold the foci of a Fold using a cats.Monoid
- Inherited from:
- Fold1 (hidden)
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 (hidden)
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 (hidden)
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 (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
- Definition Classes
- Fold1 -> Fold0
- Inherited from:
- Fold1 (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)
intercalate/insert an element between the existing elements while folding
intercalate/insert an element between the existing elements while folding
- Inherited from:
- Fold1 (hidden)
check if the Fold does not contain a focus
check if the Fold does not contain a focus
- Inherited from:
- Fold0 (hidden)
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 (hidden)
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 (hidden)
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 (hidden)
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 (hidden)
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 (hidden)
displays all foci of a Fold in a string
displays all foci of a Fold in a string
- Inherited from:
- Fold1 (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)
return the result of a disjunction of all foci of a Fold, using a spire.algebra.lattice.Heyting algebra
return the result of a disjunction of all foci of a Fold, using a spire.algebra.lattice.Heyting algebra
- Inherited from:
- Fold1 (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)
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 (hidden)
set the modified focus of a Setter
set the modified focus of a Setter
- Inherited from:
- Setter0 (hidden)
collect all the foci of a Fold into an Array
collect all the foci of a Fold into an Array
- Inherited from:
- Fold1 (hidden)
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 (hidden)
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 (hidden)