def begin.read

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

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

90def begin.read(m: Maybe<&2, C.Entry<String>>, pool: Res.Pool, held: Res.Grant, cache: C.Cache<String>, +key: String, +now: Nat) -> Begin:
91  match m:
92    case Some{e}:
93      begin.fresh(give(pool, held, cache), e)
94    case None{}:
95      begin.fetch(pool, held, start(cache, key, now))