Proptics core/proptics/Getter_

Getter_

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

A Getter_ is a Fold_ without a cats.Monoid.

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

Type parameters:
A

the focus of a Getter_

B

the modified focus of a Getter_

S

the source of a Getter_

T

the modified source of a Getter_

Companion:
object
class Object
trait Matchable
class Any
Getter_[S, T, A, B]

Value members

Concrete methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

transform a Getter_ to a Fold_

transform a Getter_ to a Fold_

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

final def focus[C, D](f: A => C): Getter_[S, T, C, D]

compose this Getter_ with a function lifted to a Getter_

compose this Getter_ with a function lifted to a Getter_

final def view(s: S): A

view the focus of a Getter_

view the focus of a Getter_

Inherited methods

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

Inherited from:
Getter0 (hidden)
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

Inherited from:
Getter0 (hidden)
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

Inherited from:
Getter1 (hidden)
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

Inherited from:
Getter0 (hidden)
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

Inherited from:
Getter0 (hidden)
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

Inherited from:
Getter1 (hidden)