def manifest.read.size.valid

mylsm-lsm-store@0.6.0.1 · src/legacy/ManifestIo.bend:191

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

191def manifest.read.size.valid(
192  file: File,
193  size: Nat,
194  within: Bool
195) -> IO(Result<&1, &1, U32 & String, Manifest.Manifest>):
196  match within:
197    case False{}:
198      do IO<Result<&1, &1, U32 & String, Manifest.Manifest>>:
199        _closed : Unit <- File.close(file)
200        return Fail{(U32.from_nat(9n), "manifest too large")}
201    case True{}:
202      manifest.read.size.run(file, size)