monocle.function
Typeclass that defines an Iso between an S and its init H and last T Snoc1 is like Snoc but for types that have *always* an init and a last element, e.g. a non empty list
S
H
T
source of Iso
init of Iso target, I is supposed to be unique for a given S
I
last of Iso target, L is supposed to be unique for a given S
L
Typeclass that defines an Iso between an
S
and its initH
and lastT
Snoc1 is like Snoc but for types that have *always* an init and a last element, e.g. a non empty listsource of Iso
init of Iso target,
I
is supposed to be unique for a givenS
last of Iso target,
L
is supposed to be unique for a givenS