Proptics core/proptics.applied/AppliedALens_

AppliedALens_

trait AppliedALens_[S, T, A, B] extends AppliedTraversal0[S, T, A, B] with AppliedGetter1[S, A]
Companion:
object
trait AppliedGetter1[S, A]
trait AppliedGetter0[S, A]
trait AppliedTraversal0[S, T, A, B]
trait AppliedSetter0[S, T, A, B]
class Object
trait Matchable
class Any

Value members

Concrete methods

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

compose this ALens_ with an Iso_, having this Lens_ applied first

compose this ALens_ with an Iso_, having this Lens_ applied first

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

compose this ALens_ with an AnIso_, having this Lens_ applied first

compose this ALens_ with an AnIso_, having this Lens_ applied first

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

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

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

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

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

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

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

compose this ALens_ with a Prism_, having this Lens_ applied first

compose this ALens_ with a Prism_, having this Lens_ applied first

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

compose this ALens_ with an APrism_, having this Lens_ applied first

compose this ALens_ with an APrism_, having this Lens_ applied first

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

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

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

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

compose this ALens_ with an AnAffineTraversal_, having this Lens_ applied first

compose this ALens_ with an AnAffineTraversal_, having this Lens_ applied first

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

compose this ALens_ with a Traversal_, having this Lens_ applied first

compose this ALens_ with a Traversal_, having this Lens_ applied first

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

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

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

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

compose this ALens_ with a Setter_, having this Lens_ applied first

compose this ALens_ with a Setter_, having this Lens_ applied first

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

compose this ALens_ with a Getter_, having this Lens_ applied first

compose this ALens_ with a Getter_, having this Lens_ applied first

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

compose this ALens_ with a Fold_, having this Lens_ applied first

compose this ALens_ with a Fold_, having this Lens_ applied first

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

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

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

Inherited methods

final def contains(a: A)(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:
AppliedGetter0
final override def exists(f: A => Boolean): Boolean

test whether a predicate holds for the focus of a Getter

test whether a predicate holds for the focus of a Getter

Definition Classes
AppliedGetter1 -> AppliedGetter0
Inherited from:
AppliedGetter1
final def find(f: A => Boolean): 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

Inherited from:
AppliedGetter1
final def isEmpty: Boolean

check if the Getter does not contain a focus

check if the Getter does not contain a focus

Inherited from:
AppliedGetter0
final def nonEmpty: Boolean

check if the Getter contains a focus

check if the Getter contains a focus

Inherited from:
AppliedGetter0
final def notContains(a: A)(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:
AppliedGetter0
final def notExists(f: A => Boolean): 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:
AppliedGetter0
def over(f: A => B): T

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

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

Inherited from:
AppliedSetter0
final def overF[F[_] : Applicative](f: A => F[B]): F[T]

synonym for traverse

synonym for traverse

Inherited from:
AppliedTraversal0
final def set(b: B): T

set the modified foci of a Setter

set the modified foci of a Setter

Inherited from:
AppliedSetter0
def traverse[F[_] : Applicative](f: A => F[B]): F[T]

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

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

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

view the focus of a Getter in the state of a monad

view the focus of a Getter in the state of a monad

Inherited from:
AppliedGetter1
def view: A

synonym to fold

synonym to fold

Inherited from:
AppliedGetter1

Abstract fields

val optic: ALens_[S, T, A, B]
val value: S