def run_req

cswap-bend-cli@0.1.0.0 · rpc.bend:38

import Base
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd
import cswap-bend-cli@0.1.0.0/exec.bend as Exec
import cswap-bend-cli@0.1.0.0/fmt/out.bend as O
import cswap-bend-cli@0.1.0.0/rpcmsg.bend as M

38def run_req(+f: O.Fmt, r: M.Req) -> IO(String):
39  match r:
40    case M.ReqOk{id, argv}:
41      IO.bind(Cmd.Out, String, Exec.exec_line(argv, Some{O.FJson{}}), o => IO.pure(String, render(f, M.response(id, o))))
42    case M.ReqBad{id, code, msg}:
43      IO.pure(String, render(f, M.err_resp(id, code, msg, 2)))