monocle

Prism

trait Prism[S, T, A, B] extends Optional[S, T, A, B]

A Prism is a special case of Traversal where the focus is limited to 0 or 1 A. In addition, a Prism defines a reverse relation such as you can always get T from B.

Self Type
Prism[S, T, A, B]
Linear Supertypes
Optional[S, T, A, B], Traversal[S, T, A, B], Fold[S, A], Setter[S, T, A, B], AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Prism
  2. Optional
  3. Traversal
  4. Fold
  5. Setter
  6. AnyRef
  7. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def multiLift[F[_]](from: S, f: (A) ⇒ F[B])(implicit arg0: Applicative[F]): F[T]

    Definition Classes
    Traversal
  2. abstract def re: Getter[B, T]

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  4. def all(from: S)(p: (A) ⇒ Boolean): Boolean

    Definition Classes
    Fold
  5. def asFold: Fold[S, A]

    Definition Classes
    Fold
  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  7. def asOptional: Optional[S, T, A, B]

    Definition Classes
    Optional
  8. def asPrism: Prism[S, T, A, B]

  9. def asSetter: Setter[S, T, A, B]

    Definition Classes
    Setter
  10. def asTraversal: Traversal[S, T, A, B]

    Definition Classes
    Traversal
  11. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  12. def compose[C, D](other: Prism[A, B, C, D]): Prism[S, T, C, D]

  13. def compose[C, D](other: Optional[A, B, C, D]): Optional[S, T, C, D]

    Definition Classes
    Optional
  14. def compose[C, D](other: Traversal[A, B, C, D]): Traversal[S, T, C, D]

    Definition Classes
    Traversal
  15. def compose[B](other: Fold[A, B]): Fold[S, B]

    Definition Classes
    Fold
  16. def compose[C, D](other: Setter[A, B, C, D]): Setter[S, T, C, D]

    Definition Classes
    Setter
  17. def composeFold[B](other: Fold[A, B]): Fold[S, B]

    non overloaded compose function

    non overloaded compose function

    Definition Classes
    Fold
  18. def composeOptional[C, D](other: Optional[A, B, C, D]): Optional[S, T, C, D]

    non overloaded compose function

    non overloaded compose function

    Definition Classes
    Optional
  19. def composePrism[C, D](other: Prism[A, B, C, D]): Prism[S, T, C, D]

    non overloaded compose function

  20. def composeSetter[C, D](other: Setter[A, B, C, D]): Setter[S, T, C, D]

    non overloaded compose function

    non overloaded compose function

    Definition Classes
    Setter
  21. def composeTraversal[C, D](other: Traversal[A, B, C, D]): Traversal[S, T, C, D]

    non overloaded compose function

    non overloaded compose function

    Definition Classes
    Traversal
  22. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  23. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  24. def exist(from: S)(p: (A) ⇒ Boolean): Boolean

    Definition Classes
    Fold
  25. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  26. def fold(from: S)(implicit ev: Monoid[A]): A

    Definition Classes
    Fold
  27. def foldMap[M](from: S)(f: (A) ⇒ M)(implicit arg0: Monoid[M]): M

    Definition Classes
    TraversalFold
  28. def getAll(from: S): List[A]

    Definition Classes
    Fold
  29. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  30. def getOption(from: S): Option[A]

    Definition Classes
    Optional
  31. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  32. def headOption(from: S): Option[A]

    Definition Classes
    Fold
  33. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  34. def modify(from: S, f: (A) ⇒ B): T

    Definition Classes
    TraversalSetter
  35. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  36. final def notify(): Unit

    Definition Classes
    AnyRef
  37. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  38. def reverseGet(from: B): T

  39. def set(from: S, newValue: B): T

    Definition Classes
    Setter
  40. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  41. def toString(): String

    Definition Classes
    AnyRef → Any
  42. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  44. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Optional[S, T, A, B]

Inherited from Traversal[S, T, A, B]

Inherited from Fold[S, A]

Inherited from Setter[S, T, A, B]

Inherited from AnyRef

Inherited from Any

Ungrouped