def retry.judge

bend-kit-http@0.38.5.0 · http.bend:4549

import Base

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