Removes the element at the cursor.
Removes the element at the cursor. Available only if the underlying HList
is non-empty.
Moves the cursor down to the next level, placing it at the first element on the left.
Moves the cursor down to the next level, placing it at the first element on the left. Available only if the
element current at the cursor has a representation via Generic
.
Moves the cursor to the leftmost position.
Returns the element at the cursor.
Returns the element at the cursor. Available only if the underlying HList
is non-empty.
Inserts a new element to the left of the cursor.
Moves the cursor to the rightmost position.
Move the cursor one place to the left.
Move the cursor one place to the left. Available only if not already at the leftmost element.
Move the cursor n places to the left.
Move the cursor n places to the left. Available only if there are n places to the right of the cursor.
Move the cursor n places to the left.
Move the cursor n places to the left. Requires an explicit type argument. Available only if there are n places to the left of the cursor.
Move the cursor to the first element of type T
to the left.
Move the cursor to the first element of type T
to the left. Available only if there is an element of type T
to the left of the cursor.
Replaces the element at the cursor.
Replaces the element at the cursor. Available only if the underlying HList
is non-empty.
Reifies the current level of this Zipper
.
Move the cursor one place to the right.
Move the cursor one place to the right. Available only if not already at the rightmost element.
Move the cursor n places to the right.
Move the cursor n places to the right. Available only if there are n places to the right of the cursor.
Move the cursor n places to the right.
Move the cursor n places to the right. Requires an explicit type argument. Available only if there are n places to the right of the cursor.
Move the cursor to the first element of type T
to the right.
Move the cursor to the first element of type T
to the right. Available only if there is an element of type T
to the right of the cursor.
Moves the cursor to root of this Zipper.
Moves the cursor up to the next level.
Moves the cursor up to the next level. The element at the new cursor position will be updated with the reification of the current level.
Generic Zipper for any type with a representation via
Generic
.