~/jendhub

def claim.held

bend-kit-runner@0.13.0.1 · runner.bend:1194

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

1194def claim.held(-A: Data, y: Ran(A), g: Res.Grant, next: Runner<A> -> IO(Claimed(A))) -> IO(Claimed(A)):
1195  match y:
1196    case (r, Fail{e}):
1197      IO.pure(Claimed(A), (release(A, r, g), 0n, Fail{e}))
1198    case (r, Done{u}):
1199      next(release(A, r, g))

Uses (9)

Used by (1)