def ledger.took

bend-kit-camber@0.15.0.1 · camber.bend:203

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

203def ledger.took(reserved: Res.Reserve, lent: Res.Grant, completed: Nat, rejected: Nat) -> Maybe<&1, Ledger>:
204  match reserved:
205    case Res.Took{pool, grant}:
206      ledger.joined(Res.combine(lent, grant), pool, completed, rejected)
207    case Res.Refused{pool}:
208      None{}