zipper -is:package -package:ListZipper 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