~/jendhub

def SpanId.from_digits

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

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

791# A span ID from nonzero digits.
792def SpanId.from_digits(value: Maybe<&2, Digits.NonZero<16n>>) -> Maybe<&2, SpanId>:
793  match value:
794    case None{}:
795      None{}
796    case Some{digits}:
797      Some{SpanId{digits}}

Uses (3)

Used by (1)