def begin.took

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

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

104def begin.took(r: Res.Reserve, held: Res.Grant, cache: C.Cache<String>, +key: String, +now: Nat) -> Begin:
105  match r:
106    case Res.Took{pool, one}:
107      begin.joined(Res.combine(held, one), pool, cache, key, now)
108    case Res.Refused{pool}:
109      Busy{Gate{pool, held, cache}}