def manifest.read.size.run

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

import Base
import mylsm-lsm-store@0.6.0.1/src/Manifest.bend as Manifest
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

186def manifest.read.size.run(file: File, +size: Nat) -> IO(Result<&1, &1, U32 & String, Manifest.Manifest>):
187  do IO<Result<&1, &1, U32 & String, Manifest.Manifest>>:
188    pair : File & Result<&1, &1, U32 & String, Bytes.Bytes> <- manifest.read.loop(Nat.add(size, 1n), ManifestNeed{file, size, Nil{}})
189    manifest.read.result(pair)