def read.size.result

mylsm-lsm-store@0.6.0.1 · src/ByteManifestIo.bend:65

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

65def read.size.result(
66  file: File,
67  result: Result<&1, &1, U32 & String, Nat>
68) -> IO(Result<&1, &1, Error, Manifest.ManifestValue>):
69  match result:
70    case Done{size}: read.sized(file, size)
71    case Fail{error}:
72      do IO<Result<&1, &1, Error, Manifest.ManifestValue>>:
73        _closed : Unit <- File.close(file)
74        read.host(error)