def set_left

bend-collections@1.0.0.0 · src/containers/balanced_search_tree.bend:780

import bend-collections@1.0.0.0/src/containers/balanced_search_tree.bend as BalancedSearchTree
import Base

780def set_left(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, m: TreeMap<K, V, cmp>, +id: Nat, +v: Nat) -> TreeMap<K, V, cmp>:
781  match m id:
782    case mm 0n:
783      mm
784    case TM{n, root, lo, hi, free, nodes, payloads} 1n+i:
785      TM{n, root, lo, hi, free, ns_set_left(~K, nodes, i, v), payloads}

Uses (4)

Used by (3)