def stopped

bend-kit-runner@0.13.0.1 · runner.bend:397

import Base
import bend-kit-retry@0.3.0.0/retry.bend as Retry

397# A settled attempt completes its ticket; retry gave up at now on any other.
398def stopped(-A: Data, o: Retry.Outcome, b: Retry.Budget, +id: Nat, +now: Nat) -> Op<A>:
399  match o:
400    case Retry.Settled{}:
401      Complete{id}
402    case Retry.Failed{}:
403      Abandon{id, WhyFailed{}, now}
404    case Retry.Rejected{}:
405      Abandon{id, WhyFailed{}, now}
406    case Retry.Unsafe{}:
407      Abandon{id, WhyUnsafe{}, now}
408    case Retry.Transient{w}:
409      Abandon{id, gave(b), now}