def read_text

mylsm-lsm-store@0.6.0.1 · src/Fs.bend:519

import Base

519# Reads a whole text file in one bounded call.
520def read_text(path: String) -> IO(Result<&1, &1, U32 & String, String>):
521  do IO<Result<&1, &1, U32 & String, String>>:
522    opened : Result<&1, &1, U32 & String, File> <- File.open(path, "r")
523    read_text.opened(opened)