def fail.refresh

cswap-bend-cli@0.1.0.0 · usage.bend:103

import Base
import cswap-bend-cli@0.1.0.0/usage/req.bend as UReq
import cswap-bend-cli@0.1.0.0/usage/gate.bend as UGate

103def fail.refresh(retry: Bool, e: UReq.Err, gate: UGate.Gate, +cred: String, +now: U32, +off: U32, upd: Maybe<&2, String>) -> IO(Fetched):
104  match retry:
105    case True{}:
106      IO.bind(UGate.Gated, Fetched, UGate.refresh_via(gate, cred), g => retry.pick(g, cred, now, off, upd))
107    case False{}:
108      done(out.err(e), upd)