IndexedTraversal1
Value members
Concrete methods
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
- IndexedFold0 -> IndexedTraversal0
evaluate each focus and index of an IndexedTraversal from left to right, and ignore the results structure
evaluate each focus and index of an IndexedTraversal from left to right, and ignore the results structure
Inherited methods
return the result of a conjunction of all foci of an IndexedFold, using a spire.algebra.lattice.Heyting algebra
return the result of a conjunction of all foci of an IndexedFold, using a spire.algebra.lattice.Heyting algebra
- Inherited from:
- IndexedFold0 (hidden)
test whether a predicate holds for any focus and index of an IndexedFold, using a spire.algebra.lattice.Heyting algebra
test whether a predicate holds for any focus and index of an IndexedFold, using a spire.algebra.lattice.Heyting algebra
- Inherited from:
- IndexedFold0 (hidden)
test whether a focus at specific index of an IndexedGetter contains a given value
test whether a focus at specific index of an IndexedGetter contains a given value
- Inherited from:
- IndexedGetter0
test whether a predicate holds for the focus of an IndexedGetter
test whether a predicate holds for the focus of an IndexedGetter
- Definition Classes
- IndexedFold0 -> IndexedGetter0
- Inherited from:
- IndexedFold0 (hidden)
find the first focus of an IndexedFold that satisfies a predicate, if there is any
find the first focus of an IndexedFold that satisfies a predicate, if there is any
- Inherited from:
- IndexedFold0 (hidden)
fold the foci of a IndexedFold using a cats.Monoid
fold the foci of a IndexedFold using a cats.Monoid
- Inherited from:
- IndexedFold0 (hidden)
fold the foci and indices of an IndexedFold using a binary operator, going left to right
fold the foci and indices of an IndexedFold using a binary operator, going left to right
- Inherited from:
- IndexedFold0 (hidden)
fold the foci and indices of an IndexedFold using a binary operator, going right to left
fold the foci and indices of an IndexedFold using a binary operator, going right to left
- Inherited from:
- IndexedFold0 (hidden)
test whether there is no focus or a predicate holds for all foci and indices of an IndexedFold, using a spire.algebra.lattice.Heyting algebra
test whether there is no focus or a predicate holds for all foci and indices of an IndexedFold, using a spire.algebra.lattice.Heyting algebra
- Inherited from:
- IndexedFold0 (hidden)
test whether there is no focus or a predicate holds for all foci and indices of an IndexedFold
test whether there is no focus or a predicate holds for all foci and indices of an IndexedFold
- Inherited from:
- IndexedFold0 (hidden)
check if the IndexedFold does not contain a focus
check if the IndexedFold does not contain a focus
- Inherited from:
- IndexedFold0 (hidden)
find the last focus and index of an IndexedFold that satisfies a predicate, if there is any
find the last focus and index of an IndexedFold that satisfies a predicate, if there is any
- Inherited from:
- IndexedFold0 (hidden)
the number of foci of an IndexedFold
the number of foci of an IndexedFold
- Inherited from:
- IndexedFold0 (hidden)
the maximum of all foci of an IndexedFold, if there is any
the maximum of all foci of an IndexedFold, if there is any
- Inherited from:
- IndexedFold0 (hidden)
the minimum of all foci of an IndexedFold, if there is any
the minimum of all foci of an IndexedFold, if there is any
- Inherited from:
- IndexedFold0 (hidden)
check if the IndexedFold contains a focus
check if the IndexedFold contains a focus
- Inherited from:
- IndexedFold0 (hidden)
test whether a focus at specific index of an IndexedGetter does not contain a given value
test whether a focus at specific index of an IndexedGetter does not contain a given value
- Inherited from:
- IndexedGetter0
test whether a predicate does not hold for the focus of an IndexedGetter
test whether a predicate does not hold for the focus of an IndexedGetter
- Inherited from:
- IndexedGetter0
return the result of a disjunction of all foci of an IndexedFold, using a spire.algebra.lattice.Heyting algebra
return the result of a disjunction of all foci of an IndexedFold, using a spire.algebra.lattice.Heyting algebra
- Inherited from:
- IndexedFold0 (hidden)
modify the focus type of an IndexedSetter using a function, resulting in a change of type to the full structure
modify the focus type of an IndexedSetter using a function, resulting in a change of type to the full structure
- Inherited from:
- IndexedSetter0
view the first focus of a Fold, if there is any
view the first focus of a Fold, if there is any
- Inherited from:
- IndexedFold0 (hidden)
the product of all foci of an IndexedFold
the product of all foci of an IndexedFold
- Inherited from:
- IndexedFold0 (hidden)
set the modified focus of an IndexedSetter
set the modified focus of an IndexedSetter
- Inherited from:
- IndexedSetter0
the sum of all foci of an IndexedFold
the sum of all foci of an IndexedFold
- Inherited from:
- IndexedFold0 (hidden)
collect all the foci of an IndexedFold into an Array
collect all the foci of an IndexedFold into an Array
- Inherited from:
- IndexedFold0 (hidden)
collect all the foci of an IndexedFold into aList
collect all the foci of an IndexedFold into aList
- Inherited from:
- IndexedFold0 (hidden)
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
- Inherited from:
- IndexedTraversal0