ATraversal_

abstract class ATraversal_[S, T, A, B] extends Traversal1[S, T, A, B]

ATraversal_ is an optic that focuses on zero or more values.

ATraversal_ is a Traversal_ with fixed type proptics.internal.Bazaar cats.arrow.Profunctor

Type parameters:
A

the foci of a ATraversal_

B

the modified foci of a ATraversal_

S

the source of a ATraversal_

T

the modified source of a ATraversal_

Companion:
object
trait Traversal1[S, T, A, B]
trait FoldCompat[S, A]
trait Fold1[S, A]
trait FoldCompat0[S, A]
trait Getter0[S, A]
trait Fold0[S, A]
trait FoldInstances
trait Traversal0[S, T, A, B]
trait Setter0[S, T, A, B]
class Object
trait Matchable
class Any
ATraversal_[S, T, A, B]

Value members

Abstract methods

def traverse[G[_]](s: S)(f: A => G[B])(implicit ev: Applicative[G]): G[T]

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

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

Concrete methods

final def andThen[C, D](other: Iso_[A, B, C, D]): ATraversal_[S, T, C, D]

compose this ATraversal_ with an Iso_, having this ATraversal_ applied first

compose this ATraversal_ with an Iso_, having this ATraversal_ applied first

final def andThen[C, D](other: AnIso_[A, B, C, D]): ATraversal_[S, T, C, D]

compose this ATraversal_ with an AnIso_, having this ATraversal_ applied first

compose this ATraversal_ with an AnIso_, having this ATraversal_ applied first

final def andThen[C, D](other: Lens_[A, B, C, D]): ATraversal_[S, T, C, D]

compose this ATraversal_ with a Lens_, having this ATraversal_ applied first

compose this ATraversal_ with a Lens_, having this ATraversal_ applied first

final def andThen[C, D](other: ALens_[A, B, C, D]): ATraversal_[S, T, C, D]

compose this ATraversal_ with an ALens_, having this ATraversal_ applied first

compose this ATraversal_ with an ALens_, having this ATraversal_ applied first

final def andThen[C, D](other: Prism_[A, B, C, D]): ATraversal_[S, T, C, D]

compose this ATraversal_ with a Prism_, having this ATraversal_ applied first

compose this ATraversal_ with a Prism_, having this ATraversal_ applied first

final def andThen[C, D](other: APrism_[A, B, C, D]): ATraversal_[S, T, C, D]

compose this ATraversal_ with an APrism_, having this ATraversal_ applied first

compose this ATraversal_ with an APrism_, having this ATraversal_ applied first

final def andThen[C, D](other: AffineTraversal_[A, B, C, D]): ATraversal_[S, T, C, D]

compose this ATraversal_ with an AffineTraversal_, having this ATraversal_ applied first

compose this ATraversal_ with an AffineTraversal_, having this ATraversal_ applied first

final def andThen[C, D](other: AnAffineTraversal_[A, B, C, D]): ATraversal_[S, T, C, D]

compose this ATraversal_ with an AnAffineTraversal_, having this ATraversal_ applied first

compose this ATraversal_ with an AnAffineTraversal_, having this ATraversal_ applied first

final def andThen[C, D](other: Traversal_[A, B, C, D]): ATraversal_[S, T, C, D]

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

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

final def andThen[C, D](other: ATraversal_[A, B, C, D]): ATraversal_[S, T, C, D]

compose this ATraversal_ with an ATraversal_, having this ATraversal_ applied first

compose this ATraversal_ with an ATraversal_, having this ATraversal_ applied first

final def andThen[C, D](other: Setter_[A, B, C, D]): Setter_[S, T, C, D]

compose this ATraversal_ with a Setter_, having this ATraversal_ applied first

compose this ATraversal_ with a Setter_, having this ATraversal_ applied first

final def andThen[C, D](other: Getter_[A, B, C, D]): Fold_[S, T, C, D]

compose this ATraversal_ with a Getter_, having this ATraversal_ applied first

compose this ATraversal_ with a Getter_, having this ATraversal_ applied first

final def andThen[C, D](other: Fold_[A, B, C, D]): Fold_[S, T, C, D]

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

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

final def andThen[I, C, D](other: IndexedLens_[I, A, B, C, D]): IndexedTraversal_[I, S, T, C, D]

compose this ATraversal_ with an IndexedLens_, having this ATraversal_ applied first

compose this ATraversal_ with an IndexedLens_, having this ATraversal_ applied first

final def andThen[I, C, D](other: AnIndexedLens_[I, A, B, C, D]): IndexedTraversal_[I, S, T, C, D]

compose this ATraversal_ with an AnIndexedLens_, having this ATraversal_ applied first

compose this ATraversal_ with an AnIndexedLens_, having this ATraversal_ applied first

final def andThen[I, C, D](other: IndexedTraversal_[I, A, B, C, D]): IndexedTraversal_[I, S, T, C, D]

compose this ATraversal_ with an IndexedTraversal_, having this ATraversal_ applied first

compose this ATraversal_ with an IndexedTraversal_, having this ATraversal_ applied first

final def andThen[I, C, D](other: IndexedSetter_[I, A, B, C, D]): IndexedSetter_[I, S, T, C, D]

compose this Traversal_ with an IndexedSetter_, having this ATraversal_ applied first

compose this Traversal_ with an IndexedSetter_, having this ATraversal_ applied first

final def andThen[I, C, D](other: IndexedGetter_[I, A, B, C, D]): IndexedFold_[I, S, T, C, D]

compose this Traversal_ with an IndexedGetter_, having this ATraversal_ applied first

compose this Traversal_ with an IndexedGetter_, having this ATraversal_ applied first

final def andThen[I, C, D](other: IndexedFold_[I, A, B, C, D]): IndexedFold_[I, S, T, C, D]

compose this ATraversal_ with an IndexedFold_, having this ATraversal_ applied first

compose this ATraversal_ with an IndexedFold_, having this ATraversal_ applied first

final def asFold: Fold_[S, T, A, B]

transform an ATraversal_ to a Fold_

transform an ATraversal_ to a Fold_

final def asIndexableTraversal(implicit ev0: Applicative[[_] =>> State[Int, _$18]]): IndexedTraversal_[Int, S, T, A, B]

convert an ATraversal_ to an IndexedTraversal_ by using the integer positions as indices

convert an ATraversal_ to an IndexedTraversal_ by using the integer positions as indices

final def asTraversal: Traversal_[S, T, A, B]

transform an ATraversal_ to a Traversal_

transform an ATraversal_ to a Traversal_

final def compose[C, D](other: Iso_[C, D, S, T]): ATraversal_[C, D, A, B]

compose this ATraversal_ with an Iso_, having this ATraversal_ applied last

compose this ATraversal_ with an Iso_, having this ATraversal_ applied last

final def compose[C, D](other: AnIso_[C, D, S, T]): ATraversal_[C, D, A, B]

compose this ATraversal_ with an AnIso_, having this ATraversal_ applied last

compose this ATraversal_ with an AnIso_, having this ATraversal_ applied last

final def compose[C, D](other: Lens_[C, D, S, T]): ATraversal_[C, D, A, B]

compose this ATraversal_ with a Lens_, having this ATraversal_ applied last

compose this ATraversal_ with a Lens_, having this ATraversal_ applied last

final def compose[C, D](other: ALens_[C, D, S, T]): ATraversal_[C, D, A, B]

compose this ATraversal_ with an ALens_, having this ATraversal_ applied last

compose this ATraversal_ with an ALens_, having this ATraversal_ applied last

final def compose[C, D](other: Prism_[C, D, S, T]): ATraversal_[C, D, A, B]

compose this ATraversal_ with a Prism_, having this ATraversal_ applied last

compose this ATraversal_ with a Prism_, having this ATraversal_ applied last

final def compose[C, D](other: APrism_[C, D, S, T]): ATraversal_[C, D, A, B]

compose this ATraversal_ with an APrism_, having this ATraversal_ applied last

compose this ATraversal_ with an APrism_, having this ATraversal_ applied last

final def compose[C, D](other: AffineTraversal_[C, D, S, T]): ATraversal_[C, D, A, B]

compose this ATraversal_ with an AffineTraversal_, having this ATraversal_ applied last

compose this ATraversal_ with an AffineTraversal_, having this ATraversal_ applied last

final def compose[C, D](other: AnAffineTraversal_[C, D, S, T]): ATraversal_[C, D, A, B]

compose this ATraversal_ with an AnAffineTraversal_, having this ATraversal_ applied last

compose this ATraversal_ with an AnAffineTraversal_, having this ATraversal_ applied last

final def compose[C, D](other: Traversal_[C, D, S, T]): ATraversal_[C, D, A, B]

compose this ATraversal_ with a Traversal_, having this ATraversal_ applied last

compose this ATraversal_ with a Traversal_, having this ATraversal_ applied last

final def compose[C, D](other: ATraversal_[C, D, S, T]): ATraversal_[C, D, A, B]

compose this ATraversal_ with an ATraversal_, having this ATraversal_ applied last

compose this ATraversal_ with an ATraversal_, having this ATraversal_ applied last

final def compose[C, D](other: Setter_[C, D, S, T]): Setter_[C, D, A, B]

compose this ATraversal_ with a Setter_, having this ATraversal_ applied last

compose this ATraversal_ with a Setter_, having this ATraversal_ applied last

final def compose[C, D](other: Getter_[C, D, S, T]): Fold_[C, D, A, B]

compose this ATraversal_ with a Getter_, having this ATraversal_ applied last

compose this ATraversal_ with a Getter_, having this ATraversal_ applied last

final def compose[C, D](other: Fold_[C, D, S, T]): Fold_[C, D, A, B]

compose this ATraversal_ with a Fold_, having this ATraversal_ applied last

compose this ATraversal_ with a Fold_, having this ATraversal_ applied last

final def compose[I, C, D](other: IndexedLens_[I, C, D, S, T]): IndexedTraversal_[I, C, D, A, B]

compose this ATraversal_ with an IndexedLens_, having this ATraversal_ applied last

compose this ATraversal_ with an IndexedLens_, having this ATraversal_ applied last

final def compose[I, C, D](other: AnIndexedLens_[I, C, D, S, T]): IndexedTraversal_[I, C, D, A, B]

compose this ATraversal_ with an AnIndexedLens_, having this ATraversal_ applied last

compose this ATraversal_ with an AnIndexedLens_, having this ATraversal_ applied last

final def compose[I, C, D](other: IndexedTraversal_[I, C, D, S, T]): IndexedTraversal_[I, C, D, A, B]

compose this ATraversal_ with an IndexedTraversal_, having this ATraversal_ applied last

compose this ATraversal_ with an IndexedTraversal_, having this ATraversal_ applied last

final def compose[I, C, D](other: IndexedSetter_[I, C, D, S, T]): IndexedSetter_[I, C, D, A, B]

compose this Traversal_ with an IndexedSetter_, having this ATraversal_ applied last

compose this Traversal_ with an IndexedSetter_, having this ATraversal_ applied last

final def compose[I, C, D](other: IndexedGetter_[I, C, D, S, T]): IndexedFold_[I, C, D, A, B]

compose this Traversal_ with an IndexedGetter_, having this ATraversal_ applied last

compose this Traversal_ with an IndexedGetter_, having this ATraversal_ applied last

final def compose[I, C, D](other: IndexedFold_[I, C, D, S, T]): IndexedFold_[I, C, D, A, B]

compose this ATraversal_ with an IndexedFold_, having this ATraversal_ applied last

compose this ATraversal_ with an IndexedFold_, having this ATraversal_ applied last

final def focus[C, D](f: A => C): Fold_[S, T, C, D]

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

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

final def over(f: A => B): S => T

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

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

final def toBazaar: Bazaar[Function1, A, B, S, T]
final def unsafePartsOf(implicit ev0: Sellable[Function1, [_, _, _] =>> Bazaar[Function1, _$24, _$25, Unit, _$26]], ev1: Aux[Function1, [_] =>> State[List[B], _$29]]): Lens_[S, T, List[A], List[B]]

convert a ATraversal into a Lens over a list of the ATraversal's foci

convert a ATraversal into a Lens over a list of the ATraversal's foci

Inherited methods

final def contains(a: A)(s: S)(implicit ev: Eq[A]): Boolean

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
final def exists(f: A => Boolean): S => Boolean

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
final def find(f: A => Boolean): S => Option[A]
Inherited from:
Fold1
final def first(s: S): Option[A]

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
final def fold(s: S)(implicit ev: Monoid[A]): A

fold the foci of a Fold using a cats.Monoid

fold the foci of a Fold using a cats.Monoid

Inherited from:
Fold1
final def foldLeft[R](s: S)(r: R)(f: (R, A) => R): R

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
final override def foldMap[R : Monoid](s: S)(f: A => R): R

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
Traversal1 -> Fold1 -> Fold0 -> Traversal0
Inherited from:
Traversal1
final def foldRight[R](s: S)(r: R)(f: (A, R) => R): R

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
def forall(f: A => Boolean): S => Boolean

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
final def intercalate(s: S, a: A)(implicit ev: Monoid[A]): A

intercalate/insert an element between the existing elements while folding

intercalate/insert an element between the existing elements while folding

Inherited from:
Fold1
final def isEmpty(s: S): Boolean

check if the Getter does not contain a focus

check if the Getter does not contain a focus

Inherited from:
Getter0
final def last(s: S): Option[A]

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
final def length(s: S): Int

the number of foci of a Fold

the number of foci of a Fold

Inherited from:
Fold1
final def maximum(s: S)(implicit ev: Order[A]): Option[A]

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
final def minimum(s: S)(implicit ev: Order[A]): Option[A]

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
final def mkString(s: S): String

displays all foci of a Fold in a string

displays all foci of a Fold in a string

Inherited from:
Fold1
final def nonEmpty(s: S): Boolean

check if the Getter contains a focus

check if the Getter contains a focus

Inherited from:
Getter0
final def notContains(a: A)(s: S)(implicit ev: Eq[A]): Boolean

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
final def notExists(f: A => Boolean): S => Boolean

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
final def overF[F[_] : Applicative](f: A => F[B])(s: S): F[T]

synonym for traverse, flipped

synonym for traverse, flipped

Inherited from:
Traversal0
final def preview(s: S): Option[A]

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
final def sequence_[F[_]](s: S)(implicit ev: Applicative[F]): F[Unit]

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

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

Inherited from:
Traversal1
final def set(b: B): S => T

set the modified foci of a Setter

set the modified foci of a Setter

Inherited from:
Setter0
final def toArray[AA >: A](s: S)(implicit ev: ClassTag[AA]): Array[AA]

collect all the foci of a Fold into an Array

collect all the foci of a Fold into an Array

Inherited from:
Fold1
final def toList(s: S): List[A]

synonym to viewAll

synonym to viewAll

Inherited from:
Fold1
final def traverse_[F[_], R](s: S)(f: A => F[R])(implicit ev: Applicative[F]): F[Unit]

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

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

Inherited from:
Traversal1
final def use(implicit ev: State[S, A]): State[S, List[A]]

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
final def view(s: S)(implicit ev: Monoid[A]): A

synonym to fold

synonym to fold

Inherited from:
Traversal1
def viewAll(s: S): List[A]

collect all the foci of a Fold into aList

collect all the foci of a Fold into aList

Inherited from:
Fold1
protected def viewOption(s: S): Option[A]
Inherited from:
Fold0

Implicits

Inherited implicits

Inherited from:
FoldInstances