A Fold_ is a generalization of something Foldable. It describes how to retrieve multiple values.
A Fold_ is similar to a Traversal_, but it cannot modify its foci.
A Fold_ is an Optic with fixed type proptics.internal.Forget cats.arrow.Profunctor
Value members
Concrete methods
compose this Fold_ with a AffineTraversal_, having this Fold_ applied first
compose this Fold_ with a AffineTraversal_, having this Fold_ applied first
compose this Fold_ with a AnAffineTraversal_, having this Fold_ applied first
compose this Fold_ with a AnAffineTraversal_, having this Fold_ applied first
compose this Fold_ with a Traversal_, having this Fold_ applied first
compose this Fold_ with a Traversal_, having this Fold_ applied first
compose this Fold_ with an ATraversal_, having this Fold_ applied first
compose this Fold_ with an ATraversal_, having this Fold_ applied first
compose this Fold_ with an IndexedLens_, having this Fold_ applied first
compose this Fold_ with an IndexedLens_, having this Fold_ applied first
compose this Fold_ with an AnIndexedLens_, having this Fold_ applied first
compose this Fold_ with an AnIndexedLens_, having this Fold_ applied first
compose this Fold_ with an IndexedTraversal_, having this Fold_ applied first
compose this Fold_ with an IndexedTraversal_, having this Fold_ applied first
compose this Fold_ with an IndexedGetter_, having this Fold_ applied first
compose this Fold_ with an IndexedGetter_, having this Fold_ applied first
compose this Fold_ with an IndexedFold_, having this Fold_ applied first
compose this Fold_ with an IndexedFold_, having this Fold_ applied first
convert a Fold_ to an IndexedFold_ by using the integer positions as indices
convert a Fold_ to an IndexedFold_ by using the integer positions as indices
compose this Fold_ with a AffineTraversal_, having this Fold_ applied last
compose this Fold_ with a AffineTraversal_, having this Fold_ applied last
compose this Fold_ with a AnAffineTraversal_, having this Fold_ applied last
compose this Fold_ with a AnAffineTraversal_, having this Fold_ applied last
compose this Fold_ with a Traversal_, having this Fold_ applied last
compose this Fold_ with a Traversal_, having this Fold_ applied last
compose this Fold_ with an ATraversal_, having this Fold_ applied last
compose this Fold_ with an ATraversal_, having this Fold_ applied last
compose this Fold_ with an IndexedLens_, having this Fold_ applied last
compose this Fold_ with an IndexedLens_, having this Fold_ applied last
compose this Fold_ with an AnIndexedLens_, having this Fold_ applied last
compose this Fold_ with an AnIndexedLens_, having this Fold_ applied last
compose this Fold_ with an IndexedTraversal_, having this Fold_ applied last
compose this Fold_ with an IndexedTraversal_, having this Fold_ applied last
compose this Fold_ with an IndexedGetter_, having this Fold_ applied last
compose this Fold_ with an IndexedGetter_, having this Fold_ applied last
compose this Fold_ with an IndexedFold_, having this Fold_ applied last
compose this Fold_ with an IndexedFold_, having this Fold_ applied last
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)
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)
collect all the foci of a Fold into an Array
collect all the foci of a Fold into an Array
- Inherited from:
- Fold1 (hidden)