def work.returned

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

import Base

125# The resources return through the private owner protocol BEFORE a disposable
126# caller reply. A closed caller reply cannot erase a handle or strand capacity.
127def work.returned(~R: Type, ~P: Data, ~I: Data, ~E: Data, ~O: Data,
128  ~destroy: R -> IO(Unit), accepted: Result<&1, &1, Message<R, P, I, E, O>, Unit>
129) -> IO(Unit):
130  match accepted:
131    case Fail{message}:
132      drain.message(~R, ~P, ~I, ~E, ~O, ~destroy, message)
133    case Done{u}:
134      IO.pure(Unit, Unit{})