def Send.strict

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

import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
import Base

3755# A message without a new operation as the GenerationError that caused it.
3756def Send.strict(sent: Sent) -> Result<&2, &2, GenerationError, Sent>:
3757  match sent:
3758    case Fresh{operation, injection}:
3759      Done{Fresh{operation, injection}}
3760    case Forwarded{carrier, error}:
3761      Fail{error}
3762    case NoContext{carrier, error, reason}:
3763      Fail{error}

Uses (3)

Used by (1)