def read_file

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

import Base

120# Reads a bounded storage file and returns its bytes.
121def read_file(+path: String) -> IO(Result<&1, &1, U32 & String, String>):
122  do IO<Result<&1, &1, U32 & String, String>>:
123    opened : Result<&1, &1, U32 & String, File> <- File.open(path, "r")
124    read_file.opened(opened)