TraceContext.ServicePlan: type of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 3528-3542 of bend-trace-context@0.2.0.0/trace_context.bend: https://jend.leeeet.dev/read.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&start_line=3528&end_line=3542

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Generation
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=IncomingContext
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Origin
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=TraceState