fun interface At<S, I, A>
At provides a Lens for a structure S to focus in A at a given index I.
Cons provides a Prism between S and its first element A and tail S. It provides a convenient way to attach or detach elements to the left side of a structure S.
FilterIndex provides a Every for a structure S with all its foci A whose index I satisfies a predicate.
Index provides an Optional for a structure S to focus in an optional A at a given index I.
Snoc defines a Prism between a S and its init and last element A and thus can be seen as the reverse of Cons. It provides a way to attach or detach elements on the end side of a structure.
Lift deletion of a value associated with a key in a Map-like container
Delete a value associated with a key in a Map-like container