Http.serve.write.send: def of bend-kit-http@0.38.2.0 Import: import bend-kit-http@0.38.2.0/http.bend as Http Lines 6976-6984 of bend-kit-http@0.38.2.0/http.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.2.0/http.bend&start_line=6976&end_line=6984 import Base import bend-kit-http@0.38.2.0/completion.bend as Completion import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes def serve.write.send( ~S: Type, ~write: S -> Writer -> Completion.Receipt -> IO(Writer & Completion.Receipt), ~dispose: S -> IO(Unit), observer: Completion.Receipt, settings: Limits, s: Socket, rest: Bytes.Bytes, +headers: Map<&2, List<&2, String>>, v11: Bool, +head: Bool, out: WriteHead ) -> IO(Maybe<&1, Socket & Turn>): WriteHead{+status, rh, length, state, receipt} = out +normalized = writer.headers(Map.to_list(&2, List<&2, String>, rh), empty()) +keep = serve.keep(headers, v11, status, normalized) serve.write.send.plan(~S, ~write, ~dispose, observer, receipt, settings, s, rest, keep, head, status, state, writer.plan(frame.nobody(status, False{}), normalized, length)) Uses (22): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.to_list https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Socket https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/completion.bend&name=Receipt https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Limits https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Turn https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=WriteHead https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Writer https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=empty https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=frame.nobody https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=serve.keep https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=serve.write.send.plan https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=writer.headers https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=writer.plan