def Headers.write

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

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

76# Put every field of `fields` first among its name's values, in order. A
77# loop, as Headers.push is.
78def Headers.write(fields: List<&2, TC.Header>, +headers: HeaderMap()) -> HeaderMap():
79  match fields:
80    case Nil{}:
81      headers
82    case Con{header, rest}:
83      Headers.write(rest, Headers.add(headers, header))