def read

ezx@1.11.0.0 · src/io/file.bend:94

import Base

94# a file's text, or None when it cannot be opened
95def read(path: String) -> IO(Maybe<&2, String>):
96  do IO<Maybe<&2, String>>:
97    r : Result<&1, &1, U32 & String, File> <- File.open(path, "r")
98    read.opened(r)