ELynx.Tree.Zipper

Creation date: Thu Jul 23 08:42:37 2020.

Data type

data TreePos e a

Tree zipper. For reference, please see http://hackage.haskell.org/package/rosezipper.

Constructors

Pos

Fields

• current :: Tree e a

  The currently selected tree.

• before :: Forest e a

  Forest to the left in reversed order.

• after :: Forest e a

  Forest to the right

• parents :: [([Tree e a], e, a, [Tree e a])]

  Finger to the selected tree

Instances

(Eq e, Eq a) => Eq (TreePos e a)

Defined in ELynx.Tree.Zipper

Methods

(==) :: TreePos e a -> TreePos e a -> Bool

(/=) :: TreePos e a -> TreePos e a -> Bool

(Show e, Show a) => Show (TreePos e a)

Defined in ELynx.Tree.Zipper

Methods

showsPrec :: Int -> TreePos e a -> ShowS

show :: TreePos e a -> String

showList :: [TreePos e a] -> ShowS

Conversion

fromTree :: Tree e a -> TreePos e a

Get a zipper pointing to the root.

toTree :: TreePos e a -> Tree e a

Get the complete tree of the zipper.

Movement

goUp :: TreePos e a -> Maybe (TreePos e a)

Go to parent.

goRoot :: TreePos e a -> TreePos e a

Go to root.

goLeft :: TreePos e a -> Maybe (TreePos e a)

Go to left sibling in current forest.

goRight :: TreePos e a -> Maybe (TreePos e a)

Go to right sibling in current forest.

goChild :: Int -> TreePos e a -> Maybe (TreePos e a)

Go to child with given index in forest.

goPath :: [Int] -> TreePos e a -> Maybe (TreePos e a)

Go to node with given path.

unsafeGoPath :: [Int] -> TreePos e a -> TreePos e a

Got to node with given path. Call error if path is invalid.

Modification

insertTree :: Tree e a -> TreePos e a -> TreePos e a

Insert a new tree into the current focus of the zipper.

insertBranch :: e -> TreePos e a -> TreePos e a

Insert a new branch label into the current focus of the zipper.

insertLabel :: a -> TreePos e a -> TreePos e a

Insert a new node label into the current focus of the zipper.