~/jendhub

def TraceId.from_digits

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

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

773# A trace ID from nonzero digits, with no randomness assertion.
774def TraceId.from_digits(value: Maybe<&2, Digits.NonZero<32n>>) -> Maybe<&2, TraceId>:
775  match value:
776    case None{}:
777      None{}
778    case Some{digits}:
779      Some{TraceId{digits, False{}}}

Uses (4)

Used by (1)