abstract class IndexedLens_[I, S, T, A, B] extends IndexedLens0[I, S, T, A, B]

An IndexedLens_ ] focuses a single piece of data and index within a larger structure.

An IndexedLens_ provides a convenient way to view, set, and transform that element.

An IndexedLens_ must never fail to get or modify that focus.

I

the index of an IndexedLens_

S

the source of an IndexedLens_

T

the modified source of an IndexedLens_

A

the focus of an IndexedLens_

B

the modified focus of an IndexedLens_

Self Type
IndexedLens_[I, S, T, A, B]
Source
IndexedLens.scala
Linear Supertypes
IndexedLens0[I, S, T, A, B], IndexedGetter1[I, S, A], IndexedGetter0[I, S, A], IndexedTraversal0[I, S, T, A, B], IndexedSetter0[I, S, T, A, B], Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IndexedLens_
  2. IndexedLens0
  3. IndexedGetter1
  4. IndexedGetter0
  5. IndexedTraversal0
  6. IndexedSetter0
  7. Serializable
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new IndexedLens_()

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def *>>[J, C, D](other: IndexedFold_[J, A, B, C, D]): IndexedFold_[J, S, T, C, D]

    compose this IndexedLens_ with an IndexedFold_, while preserving the indices of the other optic

  4. final def *>>[J, C, D](other: IndexedGetter_[J, A, B, C, D]): IndexedGetter_[J, S, T, C, D]

    compose this IndexedLens_ with an IndexedGetter_, while preserving the indices of the other optic

  5. final def *>>[J, C, D](other: IndexedSetter_[J, A, B, C, D]): IndexedSetter_[J, S, T, C, D]

    compose this IndexedLens_ with an IndexedSetter_, while preserving the indices of the other optic

  6. final def *>>[J, C, D](other: IndexedTraversal_[J, A, B, C, D]): IndexedTraversal_[J, S, T, C, D]

    compose this IndexedLens_ with an IndexedTraversal_, while preserving the indices of the other optic

  7. final def *>>[J, C, D](other: AnIndexedLens_[J, A, B, C, D]): AnIndexedLens_[J, S, T, C, D]

    compose this IndexedLens_ with an AnIndexedLens_, while preserving the indices of the other optic

  8. final def *>>[J, C, D](other: IndexedLens_[J, A, B, C, D]): IndexedLens_[J, S, T, C, D]

    compose this IndexedLens_ with an IndexedLens_, while preserving the indices of the other optic

  9. final def <<*[J, C, D](other: IndexedFold_[_, A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedLens_ with an IndexedFold_, while preserving self indices

  10. final def <<*[J, C, D](other: IndexedGetter_[_, A, B, C, D]): IndexedGetter_[I, S, T, C, D]

    compose this IndexedLens_ with an IndexedGetter_, while preserving self indices

  11. final def <<*[J, C, D](other: IndexedSetter_[_, A, B, C, D]): IndexedSetter_[I, S, T, C, D]

    compose this IndexedLens_ with an IndexedSetter_, while preserving self indices

  12. final def <<*[J, C, D](other: IndexedTraversal_[_, A, B, C, D]): IndexedTraversal_[I, S, T, C, D]

    compose this IndexedLens_ with an IndexedTraversal_, while preserving self indices

  13. final def <<*[C, D](other: AnIndexedLens_[_, A, B, C, D]): AnIndexedLens_[I, S, T, C, D]

    compose this IndexedLens_ with an AnIndexedLens_, while preserving self indices

  14. final def <<*[C, D](other: IndexedLens_[_, A, B, C, D]): IndexedLens_[I, S, T, C, D]

    compose this IndexedLens_ with an IndexedLens_, while preserving self indices

  15. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  16. final def andThen[C, D](other: Fold_[A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose an IndexedTraversal_ with a Fold_, having this IndexedLens_ applied first

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

    compose an IndexedTraversal_ with a Getter_, having this IndexedLens_ applied first

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

    compose an IndexedTraversal_ with a Setter_, having this IndexedLens_ applied first

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  29. final def andThenWithLeftIndex[C, D](other: IndexedFold_[_, A, B, C, D]): IndexedFold_[I, S, T, C, D]

    compose this IndexedLens_ with an IndexedFold_, while preserving self indices

  30. final def andThenWithLeftIndex[J, C, D](other: IndexedGetter_[_, A, B, C, D]): IndexedGetter_[I, S, T, C, D]

    compose this IndexedLens_ with an IndexedGetter_, while preserving self indices

  31. final def andThenWithLeftIndex[J, C, D](other: IndexedSetter_[_, A, B, C, D]): IndexedSetter_[I, S, T, C, D]

    compose this IndexedLens_ with an IndexedSetter_, while preserving self indices

  32. final def andThenWithLeftIndex[C, D](other: IndexedTraversal_[_, A, B, C, D]): IndexedTraversal_[I, S, T, C, D]

    compose this IndexedLens_ with an IndexedTraversal_, while preserving self indices

  33. final def andThenWithLeftIndex[C, D](other: AnIndexedLens_[_, A, B, C, D]): AnIndexedLens_[I, S, T, C, D]

    compose this IndexedLens_ with an AnIndexedLens_, while preserving self indices

  34. final def andThenWithLeftIndex[C, D](other: IndexedLens_[_, A, B, C, D]): IndexedLens_[I, S, T, C, D]

    compose this IndexedLens_ with an IndexedLens_, while preserving self indices

  35. final def andThenWithRightIndex[J, C, D](other: IndexedFold_[J, A, B, C, D]): IndexedFold_[J, S, T, C, D]

    compose this IndexedLens_ with an IndexedFold_, while preserving the indices of the other optic

  36. final def andThenWithRightIndex[J, C, D](other: IndexedGetter_[J, A, B, C, D]): IndexedGetter_[J, S, T, C, D]

    compose this IndexedLens_ with an IndexedGetter_, while preserving the indices of the other optic

  37. final def andThenWithRightIndex[J, C, D](other: IndexedSetter_[J, A, B, C, D]): IndexedSetter_[J, S, T, C, D]

    compose this IndexedLens_ with an IndexedSetter_, while preserving the indices of the other optic

  38. final def andThenWithRightIndex[J, C, D](other: IndexedTraversal_[J, A, B, C, D]): IndexedTraversal_[J, S, T, C, D]

    compose this IndexedLens_ with an IndexedTraversal_, while preserving the indices of the other optic

  39. final def andThenWithRightIndex[J, C, D](other: AnIndexedLens_[J, A, B, C, D]): AnIndexedLens_[J, S, T, C, D]

    compose this IndexedLens_ with an AnIndexedLens_, while preserving the indices of the other optic

  40. final def andThenWithRightIndex[J, C, D](other: IndexedLens_[J, A, B, C, D]): IndexedLens_[J, S, T, C, D]

    compose this IndexedLens_ with an IndexedLens_, while preserving the indices of the other optic

  41. final def asIndexedFold: IndexedFold_[I, S, T, A, B]

    transform an IndexedLens_ to an IndexedFold_

  42. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  43. final def asLens: Lens_[S, T, A, B]

    transform an IndexedLens_ to a Lens_

  44. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  45. final def compose[C, D](other: Fold_[C, D, S, T]): IndexedFold_[I, C, D, A, B]

    compose an IndexedTraversal_ with a Fold_, having this IndexedLens_ applied last

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

    compose an IndexedTraversal_ with a Getter_, having this IndexedLens_ applied last

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

    compose an IndexedTraversal_ with a Setter_, having this IndexedLens_ applied last

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    test whether a focus at specific index of an IndexedGetter contains a given value

    test whether a focus at specific index of an IndexedGetter contains a given value

    Definition Classes
    IndexedGetter0
  59. final def cotraverse[F[_]](fs: F[S])(f: (F[(A, I)]) => B)(implicit arg0: Comonad[F]): T

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

  60. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  61. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  62. final def exists(f: ((A, I)) => Boolean): (S) => 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
    IndexedGetter1IndexedGetter0
  63. final def failover[F[_]](s: S)(f: ((A, I)) => B)(implicit ev0: Strong[[β$3$, γ$4$]Kleisli[[β$2$](Disj[Boolean], β$2$), β$3$, γ$4$]], ev1: Alternative[F]): F[T]

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

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

    find if a focus of an IndexedGetter that satisfies a predicate

    find if a focus of an IndexedGetter that satisfies a predicate

    Definition Classes
    IndexedGetter1IndexedGetter0
  66. def foldMap[R](s: S)(f: ((A, I)) => R)(implicit arg0: Monoid[R]): R
    Attributes
    protected
    Definition Classes
    IndexedTraversal0
  67. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  68. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  69. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  70. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  71. final def notContains(a: (A, I))(s: S)(implicit ev: Eq[(A, I)]): Boolean

    test whether a focus at specific index of an IndexedGetter does not contain a given value

    test whether a focus at specific index of an IndexedGetter does not contain a given value

    Definition Classes
    IndexedGetter0
  72. final def notExists(f: ((A, I)) => Boolean): (S) => Boolean

    test whether a predicate does not hold for the focus of an IndexedGetter

    test whether a predicate does not hold for the focus of an IndexedGetter

    Definition Classes
    IndexedGetter0
  73. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  74. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  75. final def over(f: ((A, I)) => B): (S) => T

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

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

    Definition Classes
    IndexedLens_IndexedSetter0
  76. final def overF[F[_]](f: ((A, I)) => F[B])(s: S)(implicit arg0: Applicative[F]): F[T]

    synonym for traverse, flipped

    synonym for traverse, flipped

    Definition Classes
    IndexedTraversal0
  77. final def reindex[J](f: (I) => J): IndexedLens_[J, S, T, A, B]

    remap the index, resulting in a change of type to the full structure

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

    set the modified focus of an IndexedSetter

    set the modified focus of an IndexedSetter

    Definition Classes
    IndexedSetter0
  79. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  80. def toString(): String
    Definition Classes
    AnyRef → Any
  81. final def traverse[F[_]](s: S)(f: ((A, I)) => F[B])(implicit arg0: Applicative[F]): F[T]

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

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

    Definition Classes
    IndexedLens_IndexedTraversal0
  82. final def unindex: Lens_[S, T, A, B]

    synonym for asLens

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

    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
    IndexedGetter1
  84. final def view(s: S): (A, I)

    view the focus and the index of an IndexedLens_

    view the focus and the index of an IndexedLens_

    Definition Classes
    IndexedLens_IndexedGetter1
  85. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  86. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  87. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  88. final def zipWith(s1: S, s2: S)(f: ((A, I), (A, I)) => B): T

    zip two sources of an IndexedLens_ together provided a binary operation which modify the focus type of an IndexedLens_

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

    synonym for cotraverse, flipped

Inherited from IndexedLens0[I, S, T, A, B]

Inherited from IndexedGetter1[I, S, A]

Inherited from IndexedGetter0[I, S, A]

Inherited from IndexedTraversal0[I, S, T, A, B]

Inherited from IndexedSetter0[I, S, T, A, B]

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped