def GenerationError.show

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

import Base

1598# The name of a generation error; a source failure adds the source's code and
1599# message.
1600def GenerationError.show(error: GenerationError) -> String:
1601  match error:
1602    case SourceFailure{code, message}:
1603      "SourceFailure " ++ U32.show(code) ++ " " ++ message
1604    case ExhaustedTraceId{}:
1605      "ExhaustedTraceId"
1606    case ExhaustedSpanId{}:
1607      "ExhaustedSpanId"