def write_text

bend-visgraph@2.0.0.0 · bend_visgraph.bend:234

import Base

234def write_text(path: String, text: String) -> IO(Unit):
235  do IO<Unit>:
236    f : File <- IO.try(File, File.open(path, "w"))
237    m : File & Result<&1, &1, U32 & String, Unit> <- File.write(f, text)
238    write_text.done(m)