def view_count_loop

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

import Base

1517def view_count_loop(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, +fuel: Nat, +count: Nat, st: Cursor<K, V, cmp> & Maybe<&2, Entry<K, V>>) -> View<K, V, cmp> & Nat:
1518  match fuel st:
1519    case 0n Tuple{cursor, item}:
1520      (iterator_view(~K, ~V, ~cmp, cursor), count)
1521    case 1n+f Tuple{cursor, None{}}:
1522      (iterator_view(~K, ~V, ~cmp, cursor), count)
1523    case 1n+f Tuple{cursor, Some{item}}:
1524      view_count_loop(~K, ~V, ~cmp, f, 1n+count, iterator_next(~K, ~V, ~cmp, cursor))