TreeLoc

Delete the current node and all its children.

Select the first descendant node of the current node that satisfies the given predicate.

Select the first immediate child of the current node that satisfies the given predicate.

Select the leftmost child of the current node.

Select the nth child of the current node.

Get the label of the current node.

True if the current node has children.

Insert the given node as the nth child of the current node and give it focus.

Insert the given node as the first child of the current node and give it focus.

Insert the given node as the last child of the current node and give it focus.

Insert the given node to the left of the current node and give it focus.

Insert the given node to the right of the current node and give it focus.

True if the current node is not the root node.

True if the current node has no left siblings.

True if the current node has no right siblings.

True if the current node has no children.

True if the current node is the root node.

Select the rightmost child of the current node.

Select the left sibling of the current node.

Maps the given function over the elements.

Modify the label at the current node with the given function.

Modify the current node with the given function.

Select the parent of the current node.

The path from the focus to the root.

Select the right sibling of the current node.

Select the root node of the tree.

Set the label of the current node.

Replace the current node with the given one.

Get the size of the whole tree

Get the entire forest represented by this zipper.

Get the entire tree represented by this zipper.