def begin.granted

bend-kit-gateway@0.3.0.0 · gateway.bend:111

import Base
import bend-kit-resources@0.1.0.0/resources.bend as Res

111def begin.granted(ok: Bool, gate: Gate, +key: String, +now: Nat) -> Begin:
112  match ok:
113    case True{}:
114      Gate{pool, held, cache} = gate
115      begin.took(Res.reserve(pool, 1n), held, cache, key, now)
116    case False{}:
117      Denied{gate}