Extra flattening for Lenses that point to optional values
Convenience methods for Optionals
Focuses on projections of all (projectable) elements of a recursive structure, in order of appearance in the structure (traversed depth-first, left-to-right).
Focuses on projections of all (projectable) elements of a recursive structure, in order of appearance in the structure (traversed depth-first, left-to-right).
Focuses on the projection of the first (projectable) element of a recursive structure (traversal order is depth-first, left-to-right).
Focuses on the projection of the first (projectable) element of a recursive structure (traversal order is depth-first, left-to-right).
Focuses on the projection of the last (projectable) element of a recursive structure (traversal order is depth-first, left-to-right).
Focuses on the projection of the last (projectable) element of a recursive structure (traversal order is depth-first, left-to-right).
Focuses on projections of all (projectable) elements of a recursive structure, in order of appearance in the structure (traversed depth-first, left-to-right).
Focuses on projections of all (projectable) elements of a recursive structure, in order of appearance in the structure (traversed depth-first, left-to-right).
This lens assumes that the number of elements is preserved on update.
Focuses on projections of all (projectable) elements of a recursive structure, in order of appearance in the structure (traversed depth-first, left-to-right).
Focuses on projections of all (projectable) elements of a recursive structure, in order of appearance in the structure (traversed depth-first, left-to-right).
This lens assumes that the number of elements is preserved on update.
Focuses on projections of all (projectable) elements of a recursive structure, where each projection is pointed to by a key, obtained from the element via a key function.
Focuses on projections of all (projectable) elements of a recursive structure, where each projection is pointed to by a key, obtained from the element via a key function.
The projections are arranged in the resulting map in order of appearance in the structure (traversed depth-first, left-to-right).
On update, elements with missing keys will be deleted, and projections with new keys will be inserted at the root of the structure.
A prism that matches values satisfying a predicate
Tuple three optionals with a common source type
Tuple two optionals with a common source type
Derive a zipper.Unzip instance for a type A
, given an Optional
that extracts immediate children of a node of type A