def act.post

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

import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs
import cswap-bend-cli@0.1.0.0/usage/cred.bend as UCred

102def act.post(r: Result<&2, &2, String, UCred.Granted>, +path: String, +text: String, +cur: String) -> IO(Fs.Res(Gated)):
103  match r:
104    case Fail{k}:
105      done.g(gated.err(k, Some{cur}))
106    case Done{UCred.Granted{new, acct}}:
107      IO.bind(Fs.Res(String), Fs.Res(Gated), Fs.read_file(path), r2 => cas.store(stored(r2), path, text, cur, new, acct))