monocle.function
Typeclass that defines an Optional from an S to an A at an index I Index is less powerful than At as it cannot create or delete value
S
A
I
source of Optional
index
target of Optional, A is supposed to be unique for a given pair (S, I)
(S, I)
Typeclass that defines an Optional from an
S
to anA
at an indexI
Index is less powerful than At as it cannot create or delete valuesource of Optional
index
target of Optional,
A
is supposed to be unique for a given pair(S, I)