def read

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

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

88# Reads and validates one bounded generation-four or generation-five manifest.
89def read(
90  +path: String
91) -> IO(Result<&1, &1, Error, Manifest.ManifestValue>):
92  do IO<Result<&1, &1, Error, Manifest.ManifestValue>>:
93    opened : Result<&1, &1, U32 & String, File> <- File.open(path, "r")
94    read.path.opened(path, opened)