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
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 Getter
test whether a predicate holds for the focus of a Getter
- Inherited from:
- Fold0
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
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
- Inherited from:
- Fold0
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 Getter does not contain a focus
check if the Getter does not contain a focus
- Inherited from:
- Getter0
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
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
collect all the foci of a Fold into an Array
collect all the foci of a Fold into an Array
- Inherited from:
- Fold1
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