def Headers.push

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

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

40# One field for each value of `name`, pushed onto `fields` in order, so that
41# the last value ends up first. A loop: a received head of 64 KiB can hold
42# thousands of values.
43def Headers.push(+name: String, values: List<&2, String>, fields: List<&2, TC.Header>) -> List<&2, TC.Header>:
44  match values:
45    case Nil{}:
46      fields
47    case Con{value, rest}:
48      Headers.push(name, rest, Con{TC.Header{name, value}, fields})