def partition_finish

mylsm-lsm-store@0.6.0.1 · src/SortedRun.bend:332

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

332# Partition finish for the sorted-run operations.
333def partition_finish(
334  current_rev: List<&2, MemTable.Entry>,
335  chunks_rev: List<&2, List<&2, MemTable.Entry>>
336) -> List<&2, List<&2, MemTable.Entry>>:
337  match current_rev:
338    case Nil{}:
339      List.reverse(&2, List<&2, MemTable.Entry>, chunks_rev)
340    case Con{entry, rest}:
341      chunk = List.reverse(&2, MemTable.Entry, Con{entry, rest})
342      List.reverse(&2, List<&2, MemTable.Entry>, Con{chunk, chunks_rev})