Model implementations of tree map functions #
General infrastructure #
General tree-traversal function. Internal implementation detail of the tree map
Equations
Instances For
Equations
Instances For
Data structure used by the general tree-traversal function explore
.
Internal implementation detail of the tree map
- lt
{α : Type u}
{β : α → Type v}
[Ord α]
{k : α → Ordering}
(a : α)
: k a = Ordering.lt → β a → List ((a : α) × β a) → ExplorationStep α β k
Needle was less than key at this node: return key-value pair and unexplored right subtree, recursion will continue in left subtree.
- eq
{α : Type u}
{β : α → Type v}
[Ord α]
{k : α → Ordering}
: List ((a : α) × β a) → Cell α β k → List ((a : α) × β a) → ExplorationStep α β k
Needle was equal to key at this node: return key-value pair and both unexplored subtrees, recursion will terminate.
- gt
{α : Type u}
{β : α → Type v}
[Ord α]
{k : α → Ordering}
: List ((a : α) × β a) → (a : α) → k a = Ordering.gt → β a → ExplorationStep α β k
Needle was larger than key at this node: return key-value pair and unexplored left subtree, recursion will containue in right subtree.
Instances For
General tree-traversal function. Internal implementation detail of the tree map
Equations
Instances For
General "update the mapping for a given key" function. Internal implementation detail of the tree map
Equations
Instances For
Model functions #
Model implementation of the get?
function.
Internal implementation detail of the tree map
Equations
Instances For
Model implementation of the get
function.
Internal implementation detail of the tree map
Equations
Instances For
Model implementation of the get!
function.
Internal implementation detail of the tree map
Equations
Instances For
Model implementation of the getD
function.
Internal implementation detail of the tree map
Equations
Instances For
Model implementation of the alter
function.
Internal implementation detail of the tree map
Equations
Instances For
Model implementation of the alter
function.
Internal implementation detail of the tree map