def table.read.next

mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateIo.bend:152

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

152def table.read.next(
153  read: List<&2, MemTable.Entry> & Nat,
154  lock: DbLock.Lock,
155  read_path: String,
156  release_path: String,
157  levels: List<&2, List<&2, String>>,
158  index: Nat,
159  dir: String,
160  names: List<&2, String>,
161  total_bytes: Nat,
162  prior_entries: Nat,
163  prior_records: List<&2, MemTable.Entry>
164) -> LegacyTableWalk:
165  match read:
166    case (table_entries, table_count):
167      LegacyNames{lock, read_path, release_path, levels, index, dir,
168        names, total_bytes, Nat.add(prior_entries, table_count),
169        List.append(&2, MemTable.Entry, prior_records, table_entries)}