def Headers.strict

bend-trace-context@0.2.0.0 · native_http.bend:109

import bend-trace-context@0.2.0.0/native_http.bend as NativeHttp
import Base
import bend-trace-context@0.2.0.0/trace_context.bend as TC

109# The same for a strict result: a failure stays a failure.
110def Headers.strict(result: Result<&2, &2, TC.GenerationError, TC.Sent>) ->
111  Result<&2, &2, TC.GenerationError, Outbound>:
112  match result:
113    case Fail{error}:
114      Fail{error}
115    case Done{sent}:
116      Done{Headers.outbound(sent)}

Uses (5)

Used by (1)