monocle.function
Typeclass that defines a Traversal from an S to all its elements A whose index I in S satisfies the predicate
S
A
I
source of Traversal
index
target of Traversal, A is supposed to be unique for a given pair (S, I)
(S, I)
Typeclass that defines a Traversal from an
S
to all its elementsA
whose indexI
inS
satisfies the predicatesource of Traversal
index
target of Traversal,
A
is supposed to be unique for a given pair(S, I)