~/jendhub

def admit.late

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

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

179def admit.late(late: Bool, br: Breaker, left: Nat, d: Maybe<&2, Nat>, +now: Nat) -> Breaker & Budget & Gate:
180  match late:
181    case True{}:
182      (br, Budget{left, d}, GateNo{DenyLate{}})
183    case False{}:
184      match left:
185        case 0n:
186          (br, Budget{0n, d}, GateNo{DenySpent{}})
187        case 1n+p:
188          admit.breaker(Breaker.admit(br, now), p, d)

Uses (11)

Used by (1)