abstract class IndexedGetter_[I, S, T, A, B] extends IndexedGetter1[I, S, A]

An IndexedGetter_ is an IndexedFold_ without a cats.Monoid.

An IndexedGetter_ is just any get function (S -> (A, I))

I

the index of an IndexedGetter_

S

the source of an IndexedGetter_

T

the modified source of an IndexedGetter_

A

the focus of an IndexedGetter_

B

the modified focus of an IndexedGetter_

Self Type
IndexedGetter_[I, S, T, A, B]
Source
IndexedGetter.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IndexedGetter_
  2. IndexedGetter1
  3. IndexedGetter0
  4. Serializable
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new IndexedGetter_()

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 IndexedGetter_ 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 IndexedGetter_ with an IndexedGetter_, while preserving the indices of the other optic

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

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

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

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

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

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

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

    compose IndexedGetter_ with an IndexedFold_, while preserving self indices

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

    compose IndexedGetter_ with an IndexedGetter_, while preserving self indices

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

    compose IndexedGetter_ with an IndexedTraversal_, while preserving self indices

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

    compose IndexedGetter_ with an AnIndexedLens_, while preserving self indices

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

    compose IndexedGetter_ with an IndexedLens_, while preserving self indices

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    compose IndexedGetter_ with an IndexedFold_, while preserving self indices

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

    compose IndexedGetter_ with an IndexedGetter_, while preserving self indices

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

    compose an IndexedGetter_ with an IndexedTraversal_, while preserving self indices

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

    compose an IndexedGetter_ with an AnIndexedLens_, while preserving self indices

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

    compose an IndexedGetter_ with an IndexedLens_, while preserving self indices

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

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

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

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

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

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

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

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

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

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

  36. final def asGetter: Getter_[S, T, A, B]

    transform an IndexedGetter_ to a Getter_

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

    transform an IndexedGetter_ to an IndexedFold_

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    compose this IndexedGetter_ with a ALens_, having this IndexedGetter_ applied last

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

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

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

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

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

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

  52. 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
  53. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  54. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  55. 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
  56. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  57. 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
  58. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  59. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  60. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  61. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  62. 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
  63. 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
  64. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  65. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  66. final def reindex[J](f: (I) => J): IndexedGetter_[J, S, T, A, B]

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

  67. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  68. def toString(): String
    Definition Classes
    AnyRef → Any
  69. final def unIndex: Getter_[S, T, A, B]

    synonym for asGetter

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

    view the focus and the index of an IndexedGetter_

    view the focus and the index of an IndexedGetter_

    Definition Classes
    IndexedGetter_IndexedGetter1
  72. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  73. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  74. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from IndexedGetter1[I, S, A]

Inherited from IndexedGetter0[I, S, A]

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped