arrow-optics / arrow.optics.typeclasses / At / at
at
abstract fun at(i: I): Lens<S, A>
Get a Lens for a structure S with focus in A at index i.
Parameters
i - index I to zoom into S and find focus A
Return Lens with a focus in A at given index I.
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.
Parameters
i - index I to zoom into S and find focus A
Receiver Lens with a focus in S
Return Lens with a focus in A at given index I.
open fun <T> Iso<T, S>.at(i: I): Lens<T, A>
DSL to compose At with an Iso for a structure S to focus in on A at given index I.
Parameters
i - index I to zoom into S and find focus A
Receiver Iso with a focus in S
Return Lens with a focus in A at given index I.
open fun <T> Prism<T, S>.at(i: I): Optional<T, A>
DSL to compose At with a Prism for a structure S to focus in on A at given index I.
Parameters
i - index I to zoom into S and find focus A
Receiver Prism with a focus in S
Return Optional with a focus in A at given index I.
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.
Parameters
i - index I to zoom into S and find focus A
Receiver Optional with a focus in S
Return Optional with a focus in A at given index I.
open fun <T> Getter<T, S>.at(i: I): Getter<T, A>
DSL to compose At with a Getter for a structure S to focus in on A at given index I.
Parameters
i - index I to zoom into S and find focus A
Receiver Getter with a focus in S
Return Getter with a focus in A at given index I.
open fun <T> Setter<T, S>.at(i: I): Setter<T, A>
DSL to compose At with a Setter for a structure S to focus in on A at given index I.
Parameters
i - index I to zoom into S and find focus A
Receiver Setter with a focus in S
Return Setter with a focus in A at given index I.
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.
Parameters
i - index I to zoom into S and find focus A
Receiver Traversal with a focus in S
Return Traversal with a focus in A at given index I.
open fun <T> Fold<T, S>.at(i: I): Fold<T, A>
DSL to compose At with a Fold for a structure S to focus in on A at given index I.
Parameters
i - index I to zoom into S and find focus A