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