type ServicePlan

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

import Base

3528# The service's operation as Context.continue_or_start_with decides it for
3529# a received message, before it reads any word: the generation to drive and
3530# what the generation's result makes of the service.
3531#   ContinuePlan{generation, state, received}   a child of the kept context,
3532#                                               sending its `state`
3533#   StartPlan{generation, origin}               a root or a restart, whose
3534#                                               generation has the sampled
3535#                                               indication of
3536#                                               Serve.new_trace_sampled
3537# A host that feeds a generation one word at a time, such as JavaScript code
3538# calling this module, drives ServicePlan.generation and hands the result to
3539# ServicePlan.service (law hosted_service).
3540type ServicePlan is Data:
3541  ContinuePlan{generation: Generation, state: TraceState, received: Maybe<&2, IncomingContext>}
3542  StartPlan{generation: Generation, origin: Origin}