trait AppliedGetter_[S, T, A, B] extends AppliedGetter1[S, A]
- Source
- AppliedGetter.scala
- Alphabetic
- By Inheritance
- AppliedGetter_
- AppliedGetter1
- AppliedGetter0
- Serializable
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Abstract Value Members
- abstract val optic: Getter_[S, T, A, B]
- Definition Classes
- AppliedGetter_ → AppliedGetter1 → AppliedGetter0
- abstract val value: S
- Definition Classes
- AppliedGetter_ → AppliedGetter1 → AppliedGetter0
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 Getter_ with a Fold_, having this Getter_ applied first
- final def andThen[C, D](other: Getter_[A, B, C, D]): AppliedGetter_[S, T, C, D]
compose this Getter_ with a Getter_, having this Getter_ applied first
- final def andThen[C, D](other: ATraversal_[A, B, C, D]): AppliedFold_[S, T, C, D]
compose this Getter_ with an ATraversal_, having this Getter_ applied first
- final def andThen[C, D](other: Traversal_[A, B, C, D]): AppliedFold_[S, T, C, D]
compose this Getter_ with a Traversal_, having this Getter_ applied first
- final def andThen[C, D](other: AnAffineTraversal_[A, B, C, D]): AppliedFold_[S, T, C, D]
compose this Getter_ with an AnAffineTraversal_, having this Getter_ applied first
- final def andThen[C, D](other: AffineTraversal_[A, B, C, D]): AppliedFold_[S, T, C, D]
compose this Getter_ with an AffineTraversal_, having this Getter_ applied first
- final def andThen[C, D](other: APrism_[A, B, C, D]): AppliedFold_[S, T, C, D]
compose this Getter_ with an APrism_, having this Getter_ applied first
- final def andThen[C, D](other: Prism_[A, B, C, D]): AppliedFold_[S, T, C, D]
compose this Getter_ with a Prism_, having this Getter_ applied first
- final def andThen[C, D](other: ALens_[A, B, C, D]): AppliedGetter_[S, T, C, D]
compose this Getter_ with an ALens_, having this Getter_ applied first
- final def andThen[C, D](other: Lens_[A, B, C, D]): AppliedGetter_[S, T, C, D]
compose this Getter_ with a Lens_, having this Getter_ applied first
- final def andThen[C, D](other: AnIso_[A, B, C, D]): AppliedGetter_[S, T, C, D]
compose this Getter_ with an AnIso_, having this Getter_ applied first
- final def andThen[C, D](other: Iso_[A, B, C, D]): AppliedGetter_[S, T, C, D]
compose this Getter_ with an Iso_, having this Getter_ 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 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]
- 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()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- 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()