at

abstract fun at(i: I): Lens<S, A>

Get a Lens for a structure S with focus in A at index i.

Return

Lens with a focus in A at given index I.

Parameters

i

index I to zoom into S and find focus A


open fun <T> Lens<T, S>.at(i: I): Lens<T, A>

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

Receiver

Lens with a focus in S

Return

Lens with a focus in A at given index I.

Parameters

i

index I to zoom into S and find focus A


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

DSL to compose At 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

i

index I to zoom into S and find focus A


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

DSL to compose At 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

i

index I to zoom into S and find focus A