def iterator_value_result

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

import Base

430def iterator_value_result(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, r: Cursor<K, V, cmp> & Maybe<&2, Entry<K, V>>) -> Cursor<K, V, cmp> & Maybe<&2, V>:
431  match r:
432    case Tuple{cursor, None{}}:
433      (cursor, None{})
434    case Tuple{cursor, Some{Entry{k, v}}}:
435      (cursor, Some{v})