def read_file

cswap-bend-cli@0.1.0.0 · fs.bend:79

import Base

79# The whole file as text. Fail{(errno, message)} when it cannot be read.
80def read_file(path: String) -> IO(Res(String)):
81  IO.bind(Res(File), Res(String), File.open(path, "r"), read.open)