TreeZipper original implementation taken from http://blog.xquant.net/?p=156
Type | Description |
Function or value | Description |
|
|
Full Usage:
BinaryTreeZipper.getMove direction
Parameters:
TreeZipperDirection
Returns: BinaryTreeZipper<'a> -> BinaryTreeZipper<'a>
|
|
Full Usage:
BinaryTreeZipper.left z
Parameters:
BinaryTreeZipper<'a>
Returns: BinaryTreeZipper<'a>
|
|
Full Usage:
BinaryTreeZipper.move directions z
Parameters:
seq<TreeZipperDirection>
z : BinaryTreeZipper<'T>
Returns: BinaryTreeZipper<'T>
|
|
Full Usage:
BinaryTreeZipper.right z
Parameters:
BinaryTreeZipper<'a>
Returns: BinaryTreeZipper<'a>
|
|
Full Usage:
BinaryTreeZipper.setFocus newFocus zipper
Parameters:
BinaryTree<'a>
zipper : BinaryTreeZipper<'a>
Returns: BinaryTreeZipper<'a>
|
|
Full Usage:
BinaryTreeZipper.top z
Parameters:
BinaryTreeZipper<'a>
Returns: BinaryTreeZipper<'a>
|
|
Full Usage:
BinaryTreeZipper.up z
Parameters:
BinaryTreeZipper<'a>
Returns: BinaryTreeZipper<'a>
|
|
|
|