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

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 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

intercalate/insert an element between the existing elements while folding

intercalate/insert an element between the existing elements while folding

check if the Getter 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

check if the Getter 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

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

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

set the modified foci of a Setter

collect all the foci of a Fold into an Array

synonym to 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 to fold

collect all the foci of a Fold into aList