def lease.released

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

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

67def lease.released(released: Res.Release, rest: Res.Grant) -> Maybe<&1, Lease>:
68  match released:
69    case Res.Released{pool}:
70      Some{Lease{pool, rest}}
71    case Res.Kept{pool, grant}:
72      None{}