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.
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 an Optional from a monomorphic container S
to a possible value A
.
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.
Typeclass that defines an Iso from an S
to an A
where S
is expected to wrap A
.