Const
Navigate from a node to its first child or throw an exception if the focused node is a Leaf. Unsafe version of tryHead.
The underlying type of the tree.
The zipper that will be navigated.
An updated zipper pointing at a new focus.
Navigate from a node to its first child or throw an exception if the focused node is a Leaf. Unsafe version of tryHead.