~/jendhub

def write_text_file

bend-prot@0.1.0.0 · pdb.bend:628

import bend-prot@0.1.0.0/pdb.bend as Pdb
import Base

628def write_text_file(path: String, text: String) -> IO(Unit):
629  do IO<Unit>:
630    fh : File <- IO.try(File, File.open(path, "w"))
631    fr : File & Result<&1, &1, U32 & String, Unit> <- File.write(fh, text)
632    finish_write(fr)

Uses (12)

Used by (1)