Shifts the zipper cursor to the right, or returns none() if there is no element in the right list.
none()
The source zipper.
The shifted zipper.
Generated using TypeDoc
Shifts the zipper cursor to the right, or returns
none()
if there is no element in the right list.