def read.table.limited.file_size

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

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

421def read.table.limited.file_size(
422  +path: String,
423  max_bytes: Nat,
424  result: Result<&1, &1, U32 & String, Nat>
425) -> IO(Result<&1, &1, U32 & String, Sstable.Table>):
426  match result:
427    case Fail{error}:
428      IO.pure(Result<&1, &1, U32 & String, Sstable.Table>, Fail{error})
429    case Done{size}:
430      read.table.size.limited(path, size, max_bytes)