AppliedTraversal_

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 a Lens_, 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 an APrism_, 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 a Traversal_, 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 Getter_, having this Traversal_ applied first

compose this Traversal_ with a Fold_, having this Traversal_ applied first

compose this Traversal_ with a function lifted to a Getter_, having this Traversal_ applied first

convert a Traversal_ into a Lens_ over a list of the Traversal_'s foci

return the result of a conjunction of all foci 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

test whether the focus of a Getter contains a given value

test whether a predicate holds for the focus of a Getter

find the first focus of a Getter that satisfies a predicate, if there is any

find the first focus of a Fold, if there is any. Synonym for preview

fold the foci of a Fold using a cats.Monoid

fold the foci of a Fold using a binary operator, going left to right

map each focus of a Fold to a cats.Monoid, and combine the results

fold the foci of a Fold using a binary operator, going right to left

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, using a spire.algebra.lattice.Heyting algebra

intercalate/insert an element between the existing elements while folding

check if the Fold does not contain a focus

find the last focus of a Fold, if there is any

the number of foci of a Fold

the maximum of all foci of a Fold, if there is any

the minimum of all foci of a Fold, if there is any

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 separator

displays all foci of a Fold in a string

check if the Fold contains a focus

test whether the focus of a Getter does not contain a given value

test whether a predicate does not hold for the focus of a Getter

return the result of a disjunction of all foci of a Fold, using a spire.algebra.lattice.Heyting algebra

modify the foci type of a Setter using a function, resulting in a change of type to the full structure

synonym for traverse

view the first focus of a Fold, if there is any

the product of all foci of a Fold

evaluate each focus of a Traversal from left to right, and ignore the results structure

set the modified foci of a Setter

the sum of all foci of a Fold

collect all the foci of a Fold into an Array

synonym for viewAll

modify each focus of a Traversal using a Functor, resulting in a change of type to the full structure

map each focus of a Traversal to an effect, from left to right, and ignore the results

collect all the foci of a Fold in the state of a monad

synonym for fold

collect all the foci of a Fold into aList