GenericTree (nholz)

GenericTree Module

Namespace: HOL
Assembly: nholz.dll

Types

Type	Description
'a Location
'a Path
'a Tree

Functions and values

Function or value	Description
`change t arg2` Full Usage: `change t arg2` Parameters: t : `'a Tree` arg1 : `'a Location` Returns: `'a Location`	t : `'a Tree` arg1 : `'a Location` Returns: `'a Location`
`delete arg1` Full Usage: `delete arg1` Parameters: arg0 : `'a Location` Returns: `'a Location`	arg0 : `'a Location` Returns: `'a Location`
`down arg1` Full Usage: `down arg1` Parameters: arg0 : `'a Location` Returns: `'a Location`	arg0 : `'a Location` Returns: `'a Location`
`findNodePath x zipper` Full Usage: `findNodePath x zipper` Parameters: x : `'a` zipper : `'a Location` Returns: `'a Location option`	x : `'a` zipper : `'a Location` Returns: `'a Location option`
`insert_down t1 arg2` Full Usage: `insert_down t1 arg2` Parameters: t1 : `'a Tree` arg1 : `'a Location` Returns: `'a Location`	t1 : `'a Tree` arg1 : `'a Location` Returns: `'a Location`
`insert_left l arg2` Full Usage: `insert_left l arg2` Parameters: l : `'a Tree` arg1 : `'a Location` Returns: `'a Location`	l : `'a Tree` arg1 : `'a Location` Returns: `'a Location`
`insert_right r arg2` Full Usage: `insert_right r arg2` Parameters: r : `'a Tree` arg1 : `'a Location` Returns: `'a Location`	r : `'a Tree` arg1 : `'a Location` Returns: `'a Location`
`left arg1` Full Usage: `left arg1` Parameters: arg0 : `'a Location` Returns: `'a Location`	arg0 : `'a Location` Returns: `'a Location`
`mkTree v xs` Full Usage: `mkTree v xs` Parameters: v : `'a` xs : `'a Tree list` Returns: `'a Tree`	v : `'a` xs : `'a Tree list` Returns: `'a Tree`
`right arg1` Full Usage: `right arg1` Parameters: arg0 : `'a Location` Returns: `'a Location`	arg0 : `'a Location` Returns: `'a Location`
`root l` Full Usage: `root l` Parameters: l : `'a Location` Returns: `'a Tree`	l : `'a Location` Returns: `'a Tree`
`up arg1` Full Usage: `up arg1` Parameters: arg0 : `'a Location` Returns: `'a Location`	arg0 : `'a Location` Returns: `'a Location`
`zipper t` Full Usage: `zipper t` Parameters: t : `'a Tree` Returns: `'a Location`	t : `'a Tree` Returns: `'a Location`