def retry.judge

bend-kit-http@0.38.2.0 · http.bend:4545

import Base

4545# One try, judged: the result as it came, and Some{Retry-After value} ("" when absent)
4546# when an idempotent request may try again.
4547def retry.judge(idem: Bool, r: Result<&1, &1, Err, Res>) -> Result<&1, &1, Err, Res> & Maybe<&2, String>:
4548  match idem:
4549    case False{}:
4550      (r, None{})
4551    case True{}:
4552      retry.judge.try(r)