def manifest.read.result

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

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

138def manifest.read.result(
139  pair: File & Result<&1, &1, U32 & String, Bytes.Bytes>
140) -> IO(Result<&1, &1, U32 & String, Manifest.Manifest>):
141  match pair:
142    case (file, Fail{error}):
143      do IO<Result<&1, &1, U32 & String, Manifest.Manifest>>:
144        _closed : Unit <- File.close(file)
145        return Fail{error}
146    case (file, Done{bytes}):
147      do IO<Result<&1, &1, U32 & String, Manifest.Manifest>>:
148        _closed : Unit <- File.close(file)
149        return mfst_parsed(Manifest.parse_result(bytes))