arrow-optics / arrow.optics.extensions / MapKAt / at
at
open fun at(i: K):
Lens
<MapK<K, V>, Option<V>>
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.