def read

bolt@1.27.0.0 · src/lsp/files/disk.bend:65

import Base

65# a file's text, or None when it cannot be opened
66def read(path: String) -> IO(Maybe<&2, String>):  # noqa: L001 disk effect
67  do IO<Maybe<&2, String>>:
68    r : Result<&1, &1, U32 & String, File> <- File.open(path, "r")
69    read.opened(r)