Http.response.with: def of gralha-http-core@0.1.0.0 Import: import gralha-http-core@0.1.0.0/http.bend as Http Lines 363-367 of gralha-http-core@0.1.0.0/http.bend: https://jend.leeeet.dev/read.txt?path=gralha-http-core@0.1.0.0/http.bend&start_line=363&end_line=367 import Base # The response with one more header, after the ones it has. def response.with(r: Response, name: String, value: String) -> Response: match r: case Response{s, h, b}: Response{s, List.append(&2, Header, h, [Header{name, value}]), b} Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=Header https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=Response