def read.table.file_size

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

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

441# Read table for the streaming SSTable filesystem effects.
442def read.table.file_size(
443  +path: String,
444  result: Result<&1, &1, U32 & String, Nat>
445) -> IO(Result<&1, &1, U32 & String, Sstable.Table>):
446  match result:
447    case Fail{error}:
448      IO.pure(Result<&1, &1, U32 & String, Sstable.Table>, Fail{error})
449    case Done{size}:
450      read.table.size(path, size)