def recover.sized

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

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

414def recover.sized(
415  +path: String,
416  result: Result<&1, &1, U32 & String, Nat>,
417  initial: ByteMemTable.Table
418) -> IO(Result<&1, &1, U32 & String, ByteMemTable.Table>):
419  match result:
420    case Fail{failure}:
421      IO.pure(Result<&1, &1, U32 & String, ByteMemTable.Table>, Fail{failure})
422    case Done{+size}:
423      recover.size.checked(path, size,
424        Nat.is_le(8n, size) && Nat.is_le(size, 4294967295n), initial)