def view_clear_loop

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

import Base

1835def view_clear_loop(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, +fuel: Nat, st: Cursor<K, V, cmp> & Maybe<&2, Entry<K, V>>) -> View<K, V, cmp>:
1836  match fuel st:
1837    case 0n Tuple{cursor, item}:
1838      iterator_view(~K, ~V, ~cmp, cursor)
1839    case 1n+f Tuple{cursor, None{}}:
1840      iterator_view(~K, ~V, ~cmp, cursor)
1841    case 1n+f Tuple{cursor, Some{item}}:
1842      view_clear_loop(~K, ~V, ~cmp, f, view_clear_next(~K, ~V, ~cmp, iterator_remove(~K, ~V, ~cmp, cursor)))