def read_table

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

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

452# Reads and validates one SSTable while preserving IO errors.
453def read_table(+path: String) -> IO(Result<&1, &1, U32 & String, Sstable.Table>):
454  do IO<Result<&1, &1, U32 & String, Sstable.Table>>:
455    size : Result<&1, &1, U32 & String, Nat> <- Fs.file_size(path)
456    read.table.file_size(path, size)