HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulehxt-9.3.1.22Haskell2010

Data.Tree.NTree.Zipper.TypeDefs

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

  • 3 types
  • 12 values
  • Packagehxt-9.3.1.22
  • Exports15
  • LanguageHaskell2010
  • LicenceMIT
  • SourceTypeDefs.hs
datadata NTZipper a
#

Zipper for rose trees

A zipper consist of the current tree and the branches on the way back to the root

Constructors

Instances6Functor, NavigatableTree, Tree, NavigatableTreeToTree, NavigatableTreeModify, Show
typetype NTBreadCrumbs a = [NTCrumb a]
#

The list of unzipped nodes from a current tree back to the root

datadata NTCrumb a
#

One unzipped step consists of the left siblings, the node info and the right siblings

Constructors

Instances2Functor, Show
  • Functor NTCrumbDefined in hxt-9.3.1.22 · Data.Tree.NTree.Zipper.TypeDefs
  • Show a => Show (NTCrumb a)Defined in hxt-9.3.1.22 · Data.Tree.NTree.Zipper.TypeDefs
valuefromNTZipper :: NTZipper a -> NTree a
#

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

Orphan instances

2 instances