arrow-optics / arrow.optics.extensions / ListKIndex / index
index
open fun index(i:
Int
):
Optional
<ListK<A>, A>
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.