def Sent.show

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

import Base

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