trait AppliedPrism_[S, T, A, B] extends AppliedAffineTraversal0[S, T, A, B] with AppliedReview0[T, B]
- Source
- AppliedPrism.scala
- Alphabetic
- By Inheritance
- AppliedPrism_
- AppliedReview0
- AppliedAffineTraversal0
- AppliedFold0
- AppliedGetter0
- AppliedTraversal0
- AppliedSetter0
- Serializable
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Abstract Value Members
- abstract val optic: Prism_[S, T, A, B]
- Definition Classes
- AppliedPrism_ → AppliedReview0 → AppliedAffineTraversal0 → AppliedFold0 → AppliedGetter0 → AppliedTraversal0 → AppliedSetter0
- abstract val value: S
- Definition Classes
- AppliedPrism_ → AppliedAffineTraversal0 → AppliedFold0 → 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: Review_[A, B, C, D]): AppliedReview_[S, T, C, D]
compose this Prism_ with a Review_, having this Prism_ applied first
- final def andThen[C, D](other: Fold_[A, B, C, D]): AppliedFold_[S, T, C, D]
compose this Prism_ with a Fold_, having this Prism_ applied first
- final def andThen[C, D](other: Getter_[A, B, C, D]): AppliedFold_[S, T, C, D]
compose this Prism_ with a Getter_, having this Prism_ applied first
- final def andThen[C, D](other: Setter_[A, B, C, D]): AppliedSetter_[S, T, C, D]
compose this Prism_ with a Setter_, having this Prism_ applied first
- final def andThen[C, D](other: ATraversal_[A, B, C, D]): AppliedATraversal_[S, T, C, D]
compose this Prism_ with an ATraversal_, having this Prism_ applied first
- final def andThen[C, D](other: Traversal_[A, B, C, D]): AppliedTraversal_[S, T, C, D]
compose this Prism_ with a Traversal_, having this Prism_ applied first
- final def andThen[C, D](other: AnAffineTraversal_[A, B, C, D]): AppliedAnAffineTraversal_[S, T, C, D]
compose this Prism_ with an AffineTraversal_, having this Prism_ applied first
- final def andThen[C, D](other: AffineTraversal_[A, B, C, D]): AppliedAffineTraversal_[S, T, C, D]
- final def andThen[C, D](other: APrism_[A, B, C, D]): AppliedAPrism_[S, T, C, D]
compose this Prism_ with an APrism_, having this Prism_ applied first
- final def andThen[C, D](other: Prism_[A, B, C, D]): AppliedPrism_[S, T, C, D]
compose this Prism_ with a Prism_, having this Prism_ applied first
- final def andThen[C, D](other: ALens_[A, B, C, D]): AppliedAffineTraversal_[S, T, C, D]
compose this Prism_ with an ALens_, having this Prism_ applied first
- final def andThen[C, D](other: Lens_[A, B, C, D]): AppliedAffineTraversal_[S, T, C, D]
compose this Prism_ with a Lens_, having this Prism_ applied first
- final def andThen[C, D](other: AnIso_[A, B, C, D]): AppliedPrism_[S, T, C, D]
compose this Prism_ with an AnIso_, having this Prism_ applied first
- final def andThen[C, D](other: Iso_[A, B, C, D]): AppliedPrism_[S, T, C, D]
compose this Prism_ with an Iso_, having this Prism_ 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])
- 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
- Definition Classes
- AppliedAffineTraversal0 → AppliedGetter0
- final def focus[C, D](f: (A) => C): AppliedFold_[S, T, C, D]
compose this Prism_ with a function lifted to a Getter_, having this Prism_ applied first
- def forall(f: (A) => Boolean): 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
- Definition Classes
- AppliedFold0
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isEmpty: Boolean
check if the Fold does not contain a focus
check if the Fold does not contain a focus
- Definition Classes
- AppliedFold0
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def nonEmpty: Boolean
check if the Fold contains a focus
check if the Fold contains a focus
- Definition Classes
- AppliedFold0
- 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 overOption(f: (A) => B): 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
- Definition Classes
- AppliedAffineTraversal0
- final def preview: Option[A]
view the first focus of a Fold, if there is any
view the first focus of a Fold, if there is any
- Definition Classes
- AppliedFold0
- def review(b: B): T
- Definition Classes
- AppliedReview0
- 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 setOption(b: B): 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
- Definition Classes
- AppliedAffineTraversal0
- 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
- def viewOrModify: 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
- Definition Classes
- AppliedAffineTraversal0
- 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()