def iterator_set_value

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

import Base

720def iterator_set_value(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, cursor: Cursor<K, V, cmp>, +v: V) -> Cursor<K, V, cmp> & Result<&2, &2, Error, V>:
721  match cursor:
722    case Cursor{m, next, 0n, lower, upper, forward}:
723      (Cursor{m, next, 0n, lower, upper, forward}, Fail{NoCurrent{}})
724    case Cursor{m, next, 1n+ +id, lower, upper, forward}:
725      iterator_set_done(~K, ~V, ~cmp, next, 1n+id, lower, upper, forward, exchange(~K, ~V, ~cmp, m, 1n+id, Some{v}))