def recover.from

mylsm-lsm-store@0.6.0.1 · src/ByteWalIo.bend:427

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

427def recover.from(+path: String, initial: ByteMemTable.Table) -> IO(Result<&1, &1, U32 & String, ByteMemTable.Table>):
428  do IO<Result<&1, &1, U32 & String, ByteMemTable.Table>>:
429    size : Result<&1, &1, U32 & String, Nat> <- Fs.file_size(path)
430    recover.sized(path, size, initial)