def Budget.new

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

import Base

56def Budget.new(+attempts: Nat, +now: Nat, ms: Maybe<&2, Nat>) -> Budget:
57  match ms:
58    case None{}:
59      Budget{attempts, None{}}
60    case Some{m}:
61      Budget{attempts, Some{Nat.add(now, m)}}