monocle

Lens

trait Lens[S, T, A, B] extends Traversal[S, T, A, B] with Getter[S, A]

A Lens defines a single focus between a type S and A such as if you change A to B you obtain a T.

Self Type
Lens[S, T, A, B]
Linear Supertypes
Getter[S, A], 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. Lens
  2. Getter
  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 lift[F[_]](from: S, f: (A) ⇒ F[B])(implicit arg0: Functor[F]): F[T]

Concrete Value Members

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

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

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

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

    Definition Classes
    Any
  6. def all(from: S)(p: (A) ⇒ Boolean): Boolean

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

    Definition Classes
    Fold
  8. def asGetter: Getter[S, A]

    Definition Classes
    Getter
  9. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  10. def asSetter: Setter[S, T, A, B]

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

    Definition Classes
    Traversal
  12. def clone(): AnyRef

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

  14. def compose[B](other: Getter[A, B]): Getter[S, B]

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

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

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

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

    non overloaded compose function

    non overloaded compose function

    Definition Classes
    Fold
  19. def composeGetter[B](other: Getter[A, B]): Getter[S, B]

    non overloaded compose function

    non overloaded compose function

    Definition Classes
    Getter
  20. def composeLens[C, D](other: Lens[A, B, C, D]): Lens[S, T, C, D]

    non overloaded compose function

  21. 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
  22. 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
  23. final def eq(arg0: AnyRef): Boolean

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

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

    Definition Classes
    Fold
  26. def finalize(): Unit

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

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

    Definition Classes
    LensTraversalFold
  29. def get(from: S): A

    Definition Classes
    LensGetter
  30. def getAll(from: S): List[A]

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

    Definition Classes
    AnyRef → Any
  32. def hashCode(): Int

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

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

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

    Definition Classes
    TraversalSetter
  36. def multiLift[F[_]](from: S, f: (A) ⇒ F[B])(implicit arg0: Applicative[F]): F[T]

    Definition Classes
    LensTraversal
  37. final def ne(arg0: AnyRef): Boolean

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

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

    Definition Classes
    AnyRef
  40. def set(from: S, newValue: B): T

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

    Definition Classes
    AnyRef
  42. def toString(): String

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Getter[S, A]

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