monocle.function
Typeclass that defines a Lens from an S to its first element of type A
S
A
source of Lens
target of Lens, A is supposed to be unique for a given S
Typeclass that defines a Lens from an
S
to its first element of typeA
source of Lens
target of Lens,
A
is supposed to be unique for a givenS