def Parse.nonzero

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

import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext

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

419# Check that digits are not all zero (W3C 3.2.2.3, 3.2.2.4).
420def Parse.nonzero(n: Nat, digits: Digits.Digits(n), field: Field) ->
421  Result<&2, &2, Error, Digits.NonZero<n>>:
422  Parse.nonzero_result(n, Digits.NonZero.new(n, digits), field)

Uses (8)

Used by (4)