Usage.retry.tok: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/usage.bend as Usage Lines 73-79 of cswap-bend-cli@0.1.0.0/usage.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/usage.bend&start_line=73&end_line=79 import Base import cswap-bend-cli@0.1.0.0/json.bend as Json import cswap-bend-cli@0.1.0.0/usage/req.bend as UReq def retry.tok(m: Maybe<&2, String>, new: String, +now: U32, +off: U32) -> IO(Fetched): match m: case None{}: done(out.kind("refresh-failed", None{}), Some{new}) case Some{t}: IO.bind(Result<&2, &2, UReq.Err, Json.Json>, Fetched, UReq.request_usage_data(t, False{}), r => final.pick(r, now, off, Some{new})) Uses (14): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/req.bend&name=Err https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/req.bend&name=request_usage_data https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage.bend&name=Fetched https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage.bend&name=done https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage.bend&name=final.pick https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage.bend&name=out.kind