arrow-optics / arrow.optics.extensions / MapIndex / index
index
open fun index(i: K):
Optional
<
Map
<K, V>, V>
Get Optional focus A for a structure S at index i.
Parameters
i
- index I to focus into S and find focus A
Return
Optional with a focus in A at given index I.