def receive.value

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

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

import Base

247# IO.join closes a one-shot channel; the owner inbox must remain reusable.
248def receive.value(-A: Type, value: Maybe<&1, A>) -> IO(A):
249  match value:
250    case None{}:
251      IO.die(A, 1, "camber internal channel closed unexpectedly")
252    case Some{message}:
253      IO.pure(A, message)

Uses (4)

Used by (1)

bend-kit-camber@0.15.0.1/camber:receive