~/jendhub

def carrier

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

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

59# The header fields of a map as a carrier for TC.Context.extract or
60# TC.Context.send: every value of every name, in arrival order within each
61# name (law http_carrier). The order between different names is the map's
62# own, which no Trace Context rule depends on.
63def carrier(headers: HeaderMap()) -> List<&2, TC.Header>:
64  List.reverse(&2, TC.Header, Headers.gather(Map.to_list(&2, List<&2, String>, headers), Nil{}))

Uses (7)

Used by (2)