Proptics core/proptics/Setter_

Setter_

abstract class Setter_[S, T, A, B] extends Setter0[S, T, A, B]

A Setter_ is a generalization of map from cats.Functor

Type parameters:
A

the focus of a Setter_

B

the modified focus of a Setter_

S

the source of a Setter_

T

the modified source of a Setter_ ß

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

Value members

Concrete methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

final def over(f: A => B): S => T

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

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

Inherited methods

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

set the modified foci of a Setter

set the modified foci of a Setter

Inherited from:
Setter0