Proptics core/proptics/IndexedSetter_

IndexedSetter_

abstract class IndexedSetter_[I, S, T, A, B] extends IndexedSetter0[I, S, T, A, B]

An IndexedSetter_ is a generalization of mapWithIndex from proptics.indices.FunctorWithIndex

Type parameters:
A

the focus an IndexedSetter_

B

the modified focus of an IndexedSetter_

I

the index of an IndexedSetter_

S

the source of an IndexedSetter_

T

the modified source of an IndexedSetter_ —

Companion:
object
trait IndexedSetter0[I, S, T, A, B]
class Object
trait Matchable
class Any
IndexedSetter_[I, S, T, A, B]

Value members

Concrete methods

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

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

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

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

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

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

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

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

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

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

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

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

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

compose an IndexedLens_ with an IndexedLens_, while preserving self indices

compose an IndexedLens_ with an IndexedLens_, while preserving self indices

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

compose an IndexedLens_ with an AnIndexedLens_, while preserving self indices

compose an IndexedLens_ with an AnIndexedLens_, while preserving self indices

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

compose an IndexedLens_ with an IndexedTraversal_, while preserving self indices

compose an IndexedLens_ with an IndexedTraversal_, while preserving self indices

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

compose an IndexedLens_ with an IndexedSetter_, while preserving self indices

compose an IndexedLens_ with an IndexedSetter_, while preserving self indices

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

compose an IndexedSetter_ with an IndexedLens_, while preserving self indices

compose an IndexedSetter_ with an IndexedLens_, while preserving self indices

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

compose an IndexedSetter_ with an AnIndexedLens_, while preserving self indices

compose an IndexedSetter_ with an AnIndexedLens_, while preserving self indices

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

compose an IndexedSetter_ with an IndexedTraversal_, while preserving self indices

compose an IndexedSetter_ with an IndexedTraversal_, while preserving self indices

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

compose an IndexedSetter_ with an IndexedSetter_, while preserving self indices

compose an IndexedSetter_ with an IndexedSetter_, while preserving self indices

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

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

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

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

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

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

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

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

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

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

transform an IndexedSetter_ to a Setter_

transform an IndexedSetter_ to a Setter_

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

final def reindex[J](f: I => J): IndexedSetter_[J, S, T, A, B]

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

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

final def unIndex: Setter_[S, T, A, B]

synonym to asSetter

synonym to asSetter

Inherited methods

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

set the modified focus of an IndexedSetter

set the modified focus of an IndexedSetter

Inherited from:
IndexedSetter0