abstract class Lens_[S, T, A, B] extends Serializable

A Lens_ ] focuses a single piece of data within a larger structure.

A Lens_ provides a convenient way to view, set, and transform that element.

A Lens_ must never fail to get or modify that focus.

S

the source of a Lens_

T

the modified source of a Lens_

A

the focus of a Lens_

B

the modified focus of a Lens_

Self Type
Lens_[S, T, A, B]
Source
Lens.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Lens_
  2. Serializable
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Lens_()

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. final def andThen[I, C, D](other: IndexedFold_[I, A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this Lens_ with an IndexedFold_, having this Lens_ applied first

  5. final def andThen[I, C, D](other: IndexedGetter_[I, A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this Lens_ with an IndexedGetter_, having this Lens_ applied first

  6. final def andThen[I, C, D](other: IndexedSetter_[I, A, B, C, D]): IndexedSetter_[I, S, T, C, D]

    compose this Lens_ with an IndexedSetter_, having this Lens_ applied first

  7. final def andThen[I, C, D](other: IndexedTraversal_[I, A, B, C, D]): IndexedTraversal_[I, S, T, C, D]

    compose this Lens_ with an IndexedTraversal_, having this Lens_ applied first

  8. final def andThen[I, C, D](other: AnIndexedLens_[I, A, B, C, D]): AnIndexedLens_[I, S, T, C, D]

    compose this Lens_ with an AnIndexedLens_, having this Lens_ applied first

  9. final def andThen[I, C, D](other: IndexedLens_[I, A, B, C, D]): IndexedLens_[I, S, T, C, D]

    compose this Lens_ with an IndexedLens_, having this Lens_ applied first

  10. final def andThen[C, D](other: Fold_[A, B, C, D]): Fold_[S, T, C, D]

    compose this Lens_ with a Fold_, having this Lens_ applied first

  11. final def andThen[C, D](other: Getter_[A, B, C, D]): Getter_[S, T, C, D]

    compose this Lens_ with a Getter_, having this Lens_ applied first

  12. final def andThen[C, D](other: Setter_[A, B, C, D]): Setter_[S, T, C, D]

    compose this Lens_ with a Setter_, having this Lens_ applied first

  13. final def andThen[C, D](other: ATraversal_[A, B, C, D]): ATraversal_[S, T, C, D]

    compose this Lens_ with an ATraversal_, having this Lens_ applied first

  14. final def andThen[C, D](other: Traversal_[A, B, C, D]): Traversal_[S, T, C, D]

    compose this Lens_ with a Traversal_, having this Lens_ applied first

  15. final def andThen[C, D](other: AnAffineTraversal_[A, B, C, D]): AnAffineTraversal_[S, T, C, D]

    compose this Lens_ with an AnAffineTraversal_, having this Lens_ applied first

  16. final def andThen[C, D](other: AffineTraversal_[A, B, C, D]): AffineTraversal_[S, T, C, D]

    compose this Lens_ with a AffineTraversal_, having this Lens_ applied first

  17. final def andThen[C, D](other: APrism_[A, B, C, D]): AffineTraversal_[S, T, C, D]

    compose this Lens_ with an APrism_, having this Lens_ applied first

  18. final def andThen[C, D](other: Prism_[A, B, C, D]): AffineTraversal_[S, T, C, D]

    compose this Lens_ with a Prism_, having this Lens_ applied first

  19. final def andThen[C, D](other: ALens_[A, B, C, D]): ALens_[S, T, C, D]

    compose this Lens_ with an ALens_, having this Lens_ applied first

  20. final def andThen[C, D](other: Lens_[A, B, C, D]): Lens_[S, T, C, D]

    compose this Lens_ with a Lens_, having this Lens_ applied first

  21. final def andThen[C, D](other: AnIso_[A, B, C, D]): Lens_[S, T, C, D]

    compose this Lens_ with an AnIso_, having this Lens_ applied first

  22. final def andThen[C, D](other: Iso_[A, B, C, D]): Lens_[S, T, C, D]

    compose this Lens_ with an Iso_, having this Lens_ applied first

  23. final def asALens: ALens_[S, T, A, B]

    transform a Lens_ to an ALens_

  24. final def asFold: Fold_[S, T, A, B]

    transform a Lens_ to a Fold_

  25. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  26. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  27. final def compose[I, C, D](other: IndexedFold_[I, C, D, S, T]): IndexedFold_[I, C, D, A, B]

    compose this Lens_ with an IndexedFold_, having this Lens_ applied last

  28. final def compose[I, C, D](other: IndexedGetter_[I, C, D, S, T]): IndexedFold_[I, C, D, A, B]

    compose this Lens_ with an IndexedGetter_, having this Lens_ applied last

  29. final def compose[I, C, D](other: IndexedSetter_[I, C, D, S, T]): IndexedSetter_[I, C, D, A, B]

    compose this Lens_ with an IndexedFold_, having this Lens_ applied last

  30. final def compose[I, C, D](other: IndexedTraversal_[I, C, D, S, T]): IndexedTraversal_[I, C, D, A, B]

    compose this Lens_ with an IndexedTraversal_, having this Lens_ applied last

  31. final def compose[I, C, D](other: AnIndexedLens_[I, C, D, S, T]): AnIndexedLens_[I, C, D, A, B]

    compose this Lens_ with an AnIndexedLens_, having this Lens_ applied last

  32. final def compose[I, C, D](other: IndexedLens_[I, C, D, S, T]): IndexedLens_[I, C, D, A, B]

    compose this Lens_ with an IndexedLens_, having this Lens_ applied last

  33. final def compose[C, D](other: Fold_[C, D, S, T]): Fold_[C, D, A, B]

    compose this Lens_ with a Fold_, having this Lens_ applied last

  34. final def compose[C, D](other: Getter_[C, D, S, T]): Getter_[C, D, A, B]

    compose this Lens_ with a Getter_, having this Lens_ applied last

  35. final def compose[C, D](other: Setter_[C, D, S, T]): Setter_[C, D, A, B]

    compose this Lens_ with a Setter_, having this Lens_ applied last

  36. final def compose[C, D](other: ATraversal_[C, D, S, T]): ATraversal_[C, D, A, B]

    compose this Lens_ with an ATraversal_, having this Lens_ applied last

  37. final def compose[C, D](other: Traversal_[C, D, S, T]): Traversal_[C, D, A, B]

    compose this Lens_ with a Traversal_, having this Lens_ applied last

  38. final def compose[C, D](other: AnAffineTraversal_[C, D, S, T]): AnAffineTraversal_[C, D, A, B]

    compose this Lens_ with an AnAffineTraversal_, having this Lens_ applied last

  39. final def compose[C, D](other: AffineTraversal_[C, D, S, T]): AffineTraversal_[C, D, A, B]

    compose this Lens_ with a AffineTraversal_, having this Lens_ applied last

  40. final def compose[C, D](other: APrism_[C, D, S, T]): AffineTraversal_[C, D, A, B]

    compose this Lens_ with an APrism_, having this Lens_ applied last

  41. final def compose[C, D](other: Prism_[C, D, S, T]): AffineTraversal_[C, D, A, B]

    compose this Lens_ with a Prism_, having this Lens_ applied last

  42. final def compose[C, D](other: ALens_[C, D, S, T]): ALens_[C, D, A, B]

    compose this Lens_ with an ALens_, having this Lens_ applied last

  43. final def compose[C, D](other: Lens_[C, D, S, T]): Lens_[C, D, A, B]

    compose this Lens_ with a Lens_, having this Lens_ applied last

  44. final def compose[C, D](other: AnIso_[C, D, S, T]): Lens_[C, D, A, B]

    compose this Lens_ with an Iso_, having this Lens_ applied last

  45. final def compose[C, D](other: Iso_[C, D, S, T]): Lens_[C, D, A, B]

    compose this Lens_ with an Iso_, having this Lens_ applied last

  46. final def contains(a: A)(s: S)(implicit ev: Eq[A]): Boolean

    test whether the focus of a Lens_ contains a given value

  47. final def cotraverse[F[_]](fs: F[S])(f: (F[A]) => B)(implicit arg0: Comonad[F]): T

    modify an effectual focus of an Lens_ into the modified focus, resulting in a change of type to the full structure

  48. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  49. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  50. final def exists(f: (A) => Boolean): (S) => Boolean

    test whether a predicate holds for the focus of a Lens_

  51. final def failover[F[_]](f: (A) => B)(s: S)(implicit ev0: Strong[[β$3$, γ$4$]Kleisli[[β$2$](Disj[Boolean], β$2$), β$3$, γ$4$]], ev1: Alternative[F]): F[T]

    try to map a function over this Lens_, failing if the Lens_ has no focus.

  52. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  53. final def find(f: (A) => Boolean): (S) => Option[A]

    find if the focus of a Lens_ is satisfying a predicate.

  54. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  55. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  56. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  57. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  58. final def notContains(a: A)(s: S)(implicit ev: Eq[A]): Boolean

    test whether the focus a Lens_ does not contain a given value

  59. final def notExists(f: (A) => Boolean): (S) => Boolean

    test whether a predicate does not hold for the focus of a Lens_

  60. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  61. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  62. final def over(f: (A) => B): (S) => T

    modify the focus type of a Lens_ using a function, resulting in a change of type to the full structure

  63. final def overF[F[_]](f: (A) => F[B])(s: S)(implicit arg0: Functor[F]): F[T]

    synonym for traverse, flipped

  64. final def set(b: B): (S) => T

    set the modified focus of a Lens_

  65. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  66. final def to[C, D](f: (A) => C): Getter_[S, T, C, D]

    compose this Lens_ with a function lifted to a Getter_, having this Lens_ applied first

  67. def toString(): String
    Definition Classes
    AnyRef → Any
  68. final def traverse[F[_]](s: S)(f: (A) => F[B])(implicit arg0: Functor[F]): F[T]

    modify the focus type of a Lens_ using a cats.Functor, resulting in a change of type to the full structure

  69. final def use(implicit ev: State[S, A]): State[S, A]

    view the focus of a Lens_ in the state of a monad

  70. final def view(s: S): A

    view the focus of a Lens_

  71. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  72. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  73. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  74. final def zipWith[F[_]](s1: S, s2: 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_

  75. final def zipWithF[F[_]](f: (F[A]) => B)(fs: F[S])(implicit arg0: Comonad[F]): T

    synonym for cotraverse, flipped

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped