Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Initial tree
A tree with values of type a
(non-termianls) kept in
branching nodes, and values of type b
(terminals) kept in leaf
nodes
Auxiliary tree
An auxiliary tree
Path
A path indicates a particular node in a tree and can be used to
extract a particular subtree of the tree (see follow
).
For instance, []
designates the entire tree, [0]
the first
child, and [1,3]
the fourth child of the second child of the
underlying tree.