~/jendhub

def admit.ok

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

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

168def admit.ok(ok: Bool, br: Breaker, +p: Nat, d: Maybe<&2, Nat>) -> Breaker & Budget & Gate:
169  match ok:
170    case True{}:
171      (br, Budget{p, d}, GateGo{})
172    case False{}:
173      (br, Budget{1n+p, d}, GateNo{DenyOpen{}})

Uses (9)

Used by (1)