def wait

bend-kit-retry@0.3.0.0 · retry.bend:212

import Base

212# The wait before retry n (0 first): the server's wait when it gave one, else the jittered backoff. At most cap.
213def wait(after: Maybe<&2, Nat>, p: Policy, +n: Nat, +r: Nat) -> Nat:
214  match after:
215    case None{}:
216      Policy{a, +base, +cap, d} = p
217      jitter(delay(n, base, U32.to_nat(cap)), r)
218    case Some{+ms}:
219      Policy{a, base, +cap, d} = p
220      Nat.min(ms, U32.to_nat(cap))