def Serve.run

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

import Base

3600# Drive the plan's generation from a caller's source.
3601def Serve.run(~S: Type, ~read: S -> IO(S & Result<&1, &1, U32 & String, U32>), source: S, +plan: ServicePlan) ->
3602  IO(S & Service):
3603  IO.bind(S & Result<&2, &2, GenerationError, LocalContext>, S & Service,
3604    Generation.run_with(~S, ~read, source, ServicePlan.generation(plan)),
3605    done => IO.pure(S & Service, Serve.finish(S, plan, done)))