abstract class Getter_[S, T, A, B] extends Getter1[S, A]

A Getter_ is a Fold_ without a cats.Monoid.

A Getter_ is just any get function (S -> A)

S

the source of a Getter_

T

the modified source of a Getter_

A

the focus of a Getter_

B

the modified focus of a Getter_

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

Instance Constructors

  1. new Getter_()

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 Getter_ with an IndexedFold_, having this Getter_ applied first

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    transform a Getter_ to a Fold_

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    test whether the focus of a Getter contains a given value

    test whether the focus of a Getter contains a given value

    Definition Classes
    Getter0
  42. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  43. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  44. def exists(f: (A) => 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
    Getter0
  45. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  46. final def find(f: (A) => Boolean): (S) => Option[A]

    find the first focus of a Getter that satisfies a predicate, if there is any

    find the first focus of a Getter that satisfies a predicate, if there is any

    Definition Classes
    Getter1 → Getter0
  47. final def focus[C, D](f: (A) => C): Getter_[S, T, C, D]

    compose this Getter_ with a function lifted to a Getter_

  48. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  49. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  50. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  51. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  52. final def notContains(a: A)(s: S)(implicit ev: Eq[A]): Boolean

    test whether the focus of a Getter does not contain a given value

    test whether the focus of a Getter does not contain a given value

    Definition Classes
    Getter0
  53. final def notExists(f: (A) => Boolean): (S) => Boolean

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

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

    Definition Classes
    Getter0
  54. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  55. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  56. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  57. def toString(): String
    Definition Classes
    AnyRef → Any
  58. final def use(implicit ev: State[S, A]): State[S, A]

    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
    Getter1
  59. final def view(s: S): A

    view the focus of a Getter_

    view the focus of a Getter_

    Definition Classes
    Getter_ → Getter1
  60. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  61. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  62. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from Getter1[S, A]

Inherited from Getter0[S, A]

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped