def reply.exit

cswap-bend-cli@0.1.0.0 · http.bend:174

import Base

174# curl exit 28 is its own timeout; anything else that fails is the network.
175def reply.exit(ok: Bool, timed_out: Bool, out: String) -> Result<&2, &2, String, Reply>:
176  match ok timed_out:
177    case True{} _:
178      reply.ok(out)
179    case False{} True{}:
180      Fail{"timeout"}
181    case False{} False{}:
182      Fail{"network"}