def Parse.id_bytes

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

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

869# A supplied ID is exactly n bytes, not all zero.
870def Parse.id_bytes(+n: Nat, bytes: List<&2, U32>, field: Field) ->
871  Result<&2, &2, Error, Digits.NonZero<Nat.double(n)>>:
872  do Result<&2, &2, Error, Digits.NonZero<Nat.double(n)>>:
873    parsed : ParsedBytes<n> <- Parse.bytes(n, bytes, 0n)
874    Parse.id_bytes.finish(n, parsed, field)