~/jendhub

def write

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

import ezx@1.11.0.0/src/io/file.bend as File
import Base

125# a file replaced with this text; False when it could not be written
126def write(path: String, text: String) -> IO(Bool):
127  do IO<Bool>:
128    r : Result<&1, &1, U32 & String, File> <- File.open(path, "w")
129    write.opened(r, text)

Uses (10)

Used by (1)