def write.back

cswap-bend-cli@0.1.0.0 · usage/gate.bend:81

import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs
import cswap-bend-cli@0.1.0.0/b64.bend as B64
import cswap-bend-cli@0.1.0.0/fs/write.bend as FsW
import cswap-bend-cli@0.1.0.0/json.bend as Json

81def write.back(+path: String, +old_text: String, +new: String, +acct: Json.Json) -> IO(Fs.Res(Gated)):
82  IO.bind(Fs.Res(Unit), Fs.Res(Gated), FsW.write_atomic(path ++ ".prev", old_text, "600"),
83    u => IO.bind(Fs.Res(Unit), Fs.Res(Gated), FsW.write_atomic(path, B64.encode(new), "600"),
84      w => done.g(gated.ok_a(new, Some{new}, acct))))