def Serve.strict

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

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

3612# A service without an operation as the GenerationError that caused it.
3613def Serve.strict(service: Service) -> Result<&2, &2, GenerationError, Service>:
3614  match service:
3615    case Operating{origin, outgoing, received}:
3616      Done{Operating{origin, outgoing, received}}
3617    case Untraced{error, received}:
3618      Fail{error}

Uses (3)

Used by (1)