type SendPlan

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

import Base

3699# A message's operation as Context.send_with decides it before it reads any
3700# word, with the limits and the carrier to send it with:
3701#   SendChild{generation, limits, outgoing, received, carrier}
3702#     a child of the service's operation, injected with the service's state
3703#   SendFallback{error, limits, received, carrier}
3704#     no operation, for a service without one: the fallback, reading no word
3705# A host that feeds a generation one word at a time drives
3706# SendPlan.generation and hands the result to SendPlan.sent (law
3707# hosted_send).
3708type SendPlan is Data:
3709  SendChild{generation: Generation, limits: Limits, outgoing: OutgoingContext,
3710    received: Maybe<&2, IncomingContext>, carrier: List<&2, Header>}
3711  SendFallback{error: GenerationError, limits: Limits, received: Maybe<&2, IncomingContext>,
3712    carrier: List<&2, Header>}