def page.finish

mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:381

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable

381def page.finish(
382  pages: List<&1, List<&1, ByteMemTable.Entry>>,
383  current: List<&1, ByteMemTable.Entry>,
384  completed_count: Nat
385) -> PagePlan:
386  match current:
387    case Nil{}:
388      PagePlan{List.reverse(&1, List<&1, ByteMemTable.Entry>, pages), completed_count}
389    case _:
390      PagePlan{List.reverse(&1, List<&1, ByteMemTable.Entry>, Con{
391        List.reverse(&1, ByteMemTable.Entry, current), pages}),
392        Nat.add(completed_count, 1n)}