def open.sized

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:461

import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend as ByteBlockReader

import Base

461def open.sized(
462  +path: String,
463  result: Result<&1, &1, U32 & String, Nat>
464) -> IO(Result<&1, &1, U32 & String, Reader>):
465  match result:
466    case Fail{error}:
467      IO.pure(Result<&1, &1, U32 & String, Reader>, Fail{error})
468    case Done{+size}:
469      open.sized.valid(path, size, Nat.is_le(60n, size))

Uses (10)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader:open