Proptics core/proptics/AffineTraversal_

AffineTraversal_

abstract class AffineTraversal_[S, T, A, B] extends AffineTraversal0[S, T, A, B]

AffineTraversal_ has at most one focus, but is not a Prism_

Type parameters:
A

the focus of an AffineTraversal_

B

the modified focus of an AffineTraversal_

S

the source of an AffineTraversal_

T

the modified source of an AffineTraversal_

Companion:
object
trait AffineTraversal0[S, T, A, B]
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
AffineTraversal_[S, T, A, B]

Value members

Concrete methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

transform an AffineTraversal_ to a Fold_

transform an AffineTraversal_ to a Fold_

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

transform an AffineTraversal_ to a Traversal_

transform an AffineTraversal_ to a Traversal_

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

modify the focus type of an AffineTraversal_ using a function, resulting in a change of type to the full structure

modify the focus type of an AffineTraversal_ using a function, resulting in a change of type to the full structure

final def traverse[F[_] : Applicative](s: S)(f: A => F[B]): F[T]

modify the focus type of an AffineTraversal_ using a cats.Functor, resulting in a change of type to the full structure

modify the focus type of an AffineTraversal_ using a cats.Functor, resulting in a change of type to the full structure

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 override def find(f: A => Boolean): S => Option[A]

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

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

Definition Classes
AffineTraversal0 -> Getter0
Inherited from:
AffineTraversal0
protected def foldMap[R : Monoid](s: S)(f: A => R): R
Inherited from:
Traversal0
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 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 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 overOption(f: A => B): S => Option[T]

modify the focus of a Traversal using a function conditionally if it is not None, resulting in a change of type to the full structure

modify the focus of a Traversal using a function conditionally if it is not None, resulting in a change of type to the full structure

Inherited from:
AffineTraversal0
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 set(b: B): S => T

set the modified foci of a Setter

set the modified foci of a Setter

Inherited from:
Setter0
final def setOption(b: B): S => Option[T]

set the focus of a Traversal conditionally if it is not None

set the focus of a Traversal conditionally if it is not None

Inherited from:
AffineTraversal0
protected def viewOption(s: S): Option[A]
Inherited from:
Fold0
def viewOrModify(s: S): Either[T, A]

view the focus of a Traversal or return the modified source of an Traversal

view the focus of a Traversal or return the modified source of an Traversal

Inherited from:
AffineTraversal0

Implicits

Inherited implicits

implicit def monoidBooleanDisj: Monoid[Disj[Boolean]]
Inherited from:
FoldInstances