def write_text

mylsm-lsm-store@0.6.0.1 · src/Fs.bend:493

import Base

493# Writes a whole text file, replacing what was there.
494def write_text(path: String, data: String) -> IO(Result<&1, &1, U32 & String, Unit>):
495  do IO<Result<&1, &1, U32 & String, Unit>>:
496    opened : Result<&1, &1, U32 & String, File> <- File.open(path, "w")
497    write_text.opened(opened, data)