def Error.show

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

import Base

1562# The name of a codec or ID error, with its offset or, for an unsupported
1563# version, its two digits. ZeroId names the field: ZeroTraceId, ZeroParentId or
1564# ZeroSpanId.
1565def Error.show(error: Error) -> String:
1566  match error:
1567    case UnexpectedEnd{offset}:
1568      "UnexpectedEnd at " ++ Nat.show(offset)
1569    case InvalidHex{offset}:
1570      "InvalidHex at " ++ Nat.show(offset)
1571    case InvalidByte{offset}:
1572      "InvalidByte at " ++ Nat.show(offset)
1573    case ExpectedSeparator{offset}:
1574      "ExpectedSeparator at " ++ Nat.show(offset)
1575    case TrailingInput{}:
1576      "TrailingInput"
1577    case ForbiddenVersion{}:
1578      "ForbiddenVersion"
1579    case UnsupportedVersion{version}:
1580      "UnsupportedVersion " ++ version
1581    case ZeroId{TraceIdField{}}:
1582      "ZeroTraceId"
1583    case ZeroId{ParentIdField{}}:
1584      "ZeroParentId"
1585    case ZeroId{SpanIdField{}}:
1586      "ZeroSpanId"
1587    case ControlCharacter{offset}:
1588      "ControlCharacter at " ++ Nat.show(offset)