Zipper for rose trees
A zipper consist of the current tree and the branches on the way back to the root
Constructors
NTZntree :: NTree acontext :: NTBreadCrumbs a
:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Modulehxt-9.3.1.22Haskell2010
Implementation of navigateble trees for rose trees. The implementation is done with zippers. A description and introductory tutorial about zippers can be found in http://learnyouahaskell.com/zippers
Zipper for rose trees
A zipper consist of the current tree and the branches on the way back to the root
NTZntree :: NTree acontext :: NTBreadCrumbs aThe list of unzipped nodes from a current tree back to the root
One unzipped step consists of the left siblings, the node info and the right siblings
Conversion of a rose tree into a navigatable rose tree
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