arrow-optics/arrow.optics.typeclasses/Index/index

index

abstract fun index(i: I): Optional<S, A>(source)

Get Optional focus A for a structure S at index i.

Return

Optional with a focus in A at given index I.

Parameters

index I to focus into S and find focus A

open fun <T> Lens<T, S>.index(i: I): Optional<T, A>(source)

DSL to compose Index with a Lens for a structure S to focus in on A at given index I.

Receiver

Lens with a focus in S

Return

Optional with a focus in A at given index I.

Parameters

index I to focus into S and find focus A

open fun <T> Iso<T, S>.index(i: I): Optional<T, A>(source)

DSL to compose Index with an Iso for a structure S to focus in on A at given index I.

Receiver

Iso with a focus in S

Return

Optional with a focus in A at given index I.

Parameters

index I to focus into S and find focus A

open fun <T> Prism<T, S>.index(i: I): Optional<T, A>(source)

DSL to compose Index with a Prism for a structure S to focus in on A at given index I.

Receiver

Prism with a focus in S

Return

Optional with a focus in A at given index I.

Parameters

index I to focus into S and find focus A

open fun <T> Optional<T, S>.index(i: I): Optional<T, A>(source)

DSL to compose Index with an Optional for a structure S to focus in on A at given index I.

Receiver

Optional with a focus in S

Return

Optional with a focus in A at given index I.

Parameters

index I to focus into S and find focus A

open fun <T> Setter<T, S>.index(i: I): Setter<T, A>(source)

DSL to compose Index with a Setter for a structure S to focus in on A at given index I.

Receiver

Setter with a focus in S

Return

Setter with a focus in A at given index I.

Parameters

index I to focus into S and find focus A

open fun <T> Traversal<T, S>.index(i: I): Traversal<T, A>(source)

DSL to compose Index with a Traversal for a structure S to focus in on A at given index I.

Receiver

Traversal with a focus in S

Return

Traversal with a focus in A at given index I.

Parameters

index I to focus into S and find focus A

open fun <T> Fold<T, S>.index(i: I): Fold<T, A>(source)

DSL to compose Index with a Fold for a structure S to focus in on A at given index I.

Receiver

Fold with a focus in S

Return

Fold with a focus in A at given index I.

Parameters

index I to focus into S and find focus A