zipper -is:module -package:nonempty-zipper -package:zipper-extra package:hxt

Zipper for rose trees A zipper consist of the current tree and the branches on the way back to the root

Conversion of a navigatable rose tree into an ordinary rose tree. The context, the parts for moving up to the root are just removed from the tree. So when transforming a navigatable tree by moving around and by changing some nodes, one has to navigate back to the root, else that parts are removed from the result

Conversion of a rose tree into a navigatable rose tree