TraceContext.Error: type of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 119-151 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=119&end_line=151

import Base

# Why the strict codec, TraceId.parse, SpanId.parse or TraceParent.read
# refused a text, or TraceId.from_bytes or SpanId.from_bytes a list of bytes.
# Offsets count Bend characters (Unicode code points) from zero at the start
# of the text, or cells from zero at the start of the list, and the first
# problem in reading order is reported.
#   UnexpectedEnd{offset}        the text ends where a character is required,
#                                or the list where a byte is
#   InvalidHex{offset}           this character is not a lowercase hex digit
#   InvalidByte{offset}          this cell is above 255, so it is not a byte
#   ExpectedSeparator{offset}    this character should be "-"
#   TrailingInput{}              characters follow a complete value, or cells
#                                follow the bytes of an ID
#   ForbiddenVersion{}           the version is ff, forbidden by W3C 3.2.2.1
#   UnsupportedVersion{version}  a version other than 00, which the strict
#                                codec does not read (TraceParent.read reads
#                                versions 01 to fe by their known prefix)
#   ZeroId{field}                the named ID is all zero, forbidden by W3C
#                                3.2.2.3 and 3.2.2.4
#   ControlCharacter{offset}     this character is a control character other
#                                than a horizontal tab, which no field value
#                                may hold (RFC 9110, section 5.5); only
#                                TraceParent.read reports it, in the fields
#                                of a later version that it does not read
type Error is Data:
  UnexpectedEnd{offset: Nat}
  InvalidHex{offset: Nat}
  InvalidByte{offset: Nat}
  ExpectedSeparator{offset: Nat}
  TrailingInput{}
  ForbiddenVersion{}
  UnsupportedVersion{version: String}
  ZeroId{field: Field}
  ControlCharacter{offset: Nat}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Field