def partition_finish

mylsm-lsm-store@0.3.2.0 · src/SortedRun.bend:320

import Base
import mylsm-lsm-store@0.3.2.0/src/MemTable.bend as MemTable

320def partition_finish(
321  current_rev: List<&2, MemTable.Entry>,
322  chunks_rev: List<&2, List<&2, MemTable.Entry>>
323) -> List<&2, List<&2, MemTable.Entry>>:
324  match current_rev:
325    case Nil{}:
326      List.reverse(&2, List<&2, MemTable.Entry>, chunks_rev)
327    case Con{entry, rest}:
328      chunk = List.reverse(&2, MemTable.Entry, Con{entry, rest})
329      List.reverse(&2, List<&2, MemTable.Entry>, Con{chunk, chunks_rev})