def close.completed

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

import bend-kit-camber@0.15.0.1/camber.bend as Camber

import Base

436def close.completed(-R: Type, -P: Data, -I: Data, -E: Data, -O: Data,
437  result: CloseResult, owner: Owner<R, P, I, E, O>
438) -> IO(OwnerClose<R, P, I, E, O>):
439  match result:
440    case Closed{}:
441      close.join(R, P, I, E, O, owner)
442    case Busy{counts}:
443      IO.pure(OwnerClose<R, P, I, E, O>, OwnerBusy{owner, counts})

Uses (6)

Used by (1)

bend-kit-camber@0.15.0.1/camber:close