~/jendhub

def file.read

snap@1.4.0.0 · src/file.bend:93

import snap@1.4.0.0/src/file.bend as File
import Base

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

Uses (10)

Used by (1)