TraceContext.Sent.show: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 3897-3907 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=3897&end_line=3907

import Base

# The name of a message's context: Fresh, saying whether its state was
# truncated, or for a fallback why no operation was generated and, without a
# forwarded pair, why none was forwarded. It includes no received value.
def Sent.show(sent: Sent) -> String:
  match sent:
    case Fresh{operation, injection}:
      Send.fresh(Injection.dropped(injection))
    case Forwarded{carrier, error}:
      "Forwarded after " ++ GenerationError.show(error)
    case NoContext{carrier, error, reason}:
      "NoContext after " ++ GenerationError.show(error) ++ ", " ++ Unforwarded.show(reason)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=GenerationError.show
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Injection.dropped
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Send.fresh
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Sent
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Unforwarded.show