Typeclass that defines a Lens from an S
to an A
at an index I
Typeclass that defines a Prism between an S
and its head A
and tail S
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.
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
source of Iso
head of Iso target, A
is supposed to be unique for a given S
tail of Iso target, T
is supposed to be unique for a given S
Typeclass that defines a Traversal from a monomorphic container S
to all of its elements of type A
Typeclass that defines a Prism from an S
and its empty value
Typeclass that defines a Lens from an S
to its first element of type A
Typeclass that defines a Lens from an S
to its second element of type A
Typeclass that defines a Lens from an S
to its third element of type A
Typeclass that defines a Lens from an S
to its fourth element of type A
Typeclass that defines a Lens from an S
to its fifth element of type A
Typeclass that defines a Lens from an S
to its sixth element of type A
Typeclass that defines a Traversal from an S
to all its elements A
whose index I
in S
satisfies the predicate
Typeclass that defines an Optional from an S
to an A
at an index I
Index is less powerful than At as it cannot create or delete value
Plated is a type-class for types which can extract their immediate self-similar children.
Typeclass that defines a Prism between an S
and its init S
and last S
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.
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
source of Iso
init of Iso target, I
is supposed to be unique for a given S
last of Iso target, L
is supposed to be unique for a given S
Typeclass that defines a Lens from an
S
to anA
at an indexI
source of Lens
index
target of Lens,
A
is supposed to be unique for a given pair(S, I)