monocle.function
Typeclass that defines an Iso between an S and its head H and tail T Cons1 is like Cons but for types that have *always* an head and tail, e.g. a non empty list
S
H
T
source of Iso
head of Iso target, A is supposed to be unique for a given S
A
tail of Iso target, T is supposed to be unique for a given S
Typeclass that defines an Iso between an
S
and its headH
and tailT
Cons1 is like Cons but for types that have *always* an head and tail, e.g. a non empty listsource of Iso
head of Iso target,
A
is supposed to be unique for a givenS
tail of Iso target,
T
is supposed to be unique for a givenS