~/jendhub

def lease.took

bend-kit-http@0.38.2.0 · admission.bend:56

import bend-kit-http@0.38.2.0/admission.bend as Admission
import Base
import bend-kit-resources@0.1.0.0/resources.bend as Res

56def lease.took(reserved: Res.Reserve, held: Res.Grant) -> Taken:
57  match reserved:
58    case Res.Took{pool, grant}:
59      lease.joined(Res.combine(held, grant), pool)
60    case Res.Refused{pool}:
61      Full{Lease{pool, held}}

Uses (6)

Used by (1)