trait AppliedLens_[S, T, A, B] extends AppliedTraversal0[S, T, A, B] with AppliedGetter1[S, A]
- Source
- AppliedLens.scala
- Alphabetic
- By Inheritance
- AppliedLens_
- AppliedGetter1
- AppliedGetter0
- AppliedTraversal0
- AppliedSetter0
- Serializable
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Abstract Value Members
- abstract val optic: Lens_[S, T, A, B]
- Definition Classes
- AppliedLens_ → AppliedGetter1 → AppliedGetter0 → AppliedTraversal0 → AppliedSetter0
- abstract val value: S
- Definition Classes
- AppliedLens_ → AppliedGetter1 → AppliedGetter0 → AppliedTraversal0 → AppliedSetter0
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def andThen[C, D](other: Fold_[A, B, C, D]): AppliedFold_[S, T, C, D]
compose this Lens_ with a Fold_, having this Lens_ applied first
- final def andThen[C, D](other: Getter_[A, B, C, D]): AppliedGetter_[S, T, C, D]
compose this Lens_ with a Getter_, having this Lens_ applied first
- final def andThen[C, D](other: Setter_[A, B, C, D]): AppliedSetter_[S, T, C, D]
compose this Lens_ with a Setter_, having this Lens_ applied first
- final def andThen[C, D](other: ATraversal_[A, B, C, D]): AppliedATraversal_[S, T, C, D]
compose this Lens_ with an ATraversal_, having this Lens_ applied first
- final def andThen[C, D](other: Traversal_[A, B, C, D]): AppliedTraversal_[S, T, C, D]
compose this Lens_ with a Traversal_, having this Lens_ applied first
- final def andThen[C, D](other: AnAffineTraversal_[A, B, C, D]): AppliedAnAffineTraversal_[S, T, C, D]
compose this Lens_ with an AnAffineTraversal_, having this Lens_ applied first
- final def andThen[C, D](other: AffineTraversal_[A, B, C, D]): AppliedAffineTraversal_[S, T, C, D]
compose this Lens_ with a AffineTraversal_, having this Lens_ applied first
- final def andThen[C, D](other: APrism_[A, B, C, D]): AppliedAffineTraversal_[S, T, C, D]
compose this Lens_ with an APrism_, having this Lens_ applied first
- final def andThen[C, D](other: Prism_[A, B, C, D]): AppliedAffineTraversal_[S, T, C, D]
compose this Lens_ with a Prism_, having this Lens_ applied first
- final def andThen[C, D](other: ALens_[A, B, C, D]): AppliedLens_[S, T, C, D]
compose this Lens_ with an ALens_, having this Lens_ applied first
- final def andThen[C, D](other: Lens_[A, B, C, D]): AppliedLens_[S, T, C, D]
compose this Lens_ with a Lens_, having this Lens_ applied first
- final def andThen[C, D](other: AnIso_[A, B, C, D]): AppliedLens_[S, T, C, D]
compose this Lens_ with an AnIso_, having this Lens_ applied first
- final def andThen[C, D](other: Iso_[A, B, C, D]): AppliedLens_[S, T, C, D]
compose this Lens_ with an Iso_, having this Lens_ applied first
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- 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
- Definition Classes
- AppliedGetter0
- final def cotraverse[F[_]](f: (F[A]) => B)(implicit arg0: Comonad[F], arg1: Applicative[F]): T
modify an effectual focus of a Lens_ into the modified focus, resulting in a change of type to the full structure
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- 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
- AppliedGetter0
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- 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
- Definition Classes
- AppliedGetter0
- final def focus[C, D](f: (A) => C): AppliedGetter_[S, T, C, D]
compose this Lens_ with a function lifted to a Getter_, having this Lens_ applied first
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- 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
- Definition Classes
- 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
- Definition Classes
- AppliedGetter0
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- 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
- Definition Classes
- AppliedSetter0
- final def overF[F[_]](f: (A) => F[B])(implicit arg0: Applicative[F]): F[T]
synonym for traverse
synonym for traverse
- Definition Classes
- AppliedTraversal0
- final def set(b: B): T
set the modified foci of a Setter
set the modified foci of a Setter
- Definition Classes
- AppliedSetter0
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def traverse[F[_]](f: (A) => F[B])(implicit arg0: Applicative[F]): 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
- Definition Classes
- 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
- Definition Classes
- AppliedGetter1
- def view: A
synonym for fold
synonym for fold
- Definition Classes
- AppliedGetter1
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def zipWith(s: S)(f: (A, A) => B): T
zip two sources of a Lens_ together provided a binary operation which modify the focus type of a Lens_
- final def zipWithF[F[_]](f: (F[A]) => B)(implicit arg0: Comonad[F], arg1: Applicative[F]): T
synonym for cotraverse, flipped