type TraceId

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

import Base
import bend-trace-context@0.2.0.0/src/digits.bend as Digits

182# A validated trace ID: 32 lowercase hexadecimal digits, not all zero (W3C
183# 3.2.2.3). `random` records whether the random-trace-id flag (W3C 3.2.2.5.2)
184# may be emitted for it. A parsed ID makes no such assertion: only its origin
185# can justify one. Generation sets it, and a caller who knows the ID is random
186# sets it with TraceId.assert_random.
187type TraceId is Data:
188  TraceId{value: Digits.NonZero<32n>, random: Bool}