def write_table

mylsm-lsm-store@0.6.0.1 · src/SstStreamIo.bend:568

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

568# Encode and write one SST as packed chunks, then sync it before publication.
569def write_table(
570  +path: String,
571  +entries: List<&2, MemTable.Entry>,
572  +level: U32
573) -> IO(Result<&1, &1, U32 & String, Unit>):
574  write.encoder(path,
575    Nat.add(Nat.mul(3n, Nat.add(List.length(&2, MemTable.Entry, entries), 2n)), 2n),
576    SstFile.new_encoder(entries, level))