~/jendhub

def Send.run

bend-trace-context@0.2.0.0 · trace_context.bend:3748

import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
import Base

3748# Drive the plan's generation from a caller's source.
3749def Send.run(~S: Type, ~read: S -> IO(S & Result<&1, &1, U32 & String, U32>), source: S, +plan: SendPlan) ->
3750  IO(S & Sent):
3751  IO.bind(S & Result<&2, &2, GenerationError, LocalContext>, S & Sent,
3752    Generation.run_with(~S, ~read, source, SendPlan.generation(plan)),
3753    done => IO.pure(S & Sent, Send.finish(S, plan, done)))

Uses (14)

Used by (1)