Client.Conn.render: def of bend-kube-runtime@0.2.0.0 Import: import bend-kube-runtime@0.2.0.0/src/client.bend as Client Lines 220-230 of bend-kube-runtime@0.2.0.0/src/client.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/client.bend&start_line=220&end_line=230 import Base import bend-kube-runtime@0.2.0.0/src/http.bend as H # The request's text, with the path under the server's base, our headers, # and Connection: keep-alive (pooled) or close, unless the request names # its own (an Upgrade). def Conn.render(req: H.Req, +base: String, +host: String, +token: String, keep: Bool) -> String: match req: case H.Req{m, path, +hs, body}: H.Http.render(H.Req{m, base ++ path, List.append(&2, H.Header, hs, List.append(&2, H.Header, Conn.auth(token), Con{H.Header{"User-Agent", Conn.user_agent()}, Conn.connection(keep, Maybe.is_some(&2, String, H.Http.find(hs, "connection")))})), body}, host) Uses (13): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool 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=Maybe.is_some https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/client.bend&name=Conn.auth https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/client.bend&name=Conn.connection https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/client.bend&name=Conn.user_agent https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/http.bend&name=Header https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/http.bend&name=Http.find https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/http.bend&name=Http.render https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/http.bend&name=Req