monocle.function
Typeclass that defines an Optional from a monomorphic container S to a possible value A. There must be at most one A in S.
S
A
source of the Optional
target of the Optional, A is supposed to be unique for a given S
Typeclass that defines an Optional from a monomorphic container
S
to a possible valueA
. There must be at most oneA
inS
.source of the Optional
target of the Optional,
A
is supposed to be unique for a givenS