def head

bendonnect-rpc@0.1.0.0 · src/transport/server.bend:87

import Base
import bend-kit-http@0.36.0.0/http.bend as Http
import bend-kit-http@0.36.0.0/completion.bend as Completion
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

87def head(status: U32, headers: Map<&2, List<&2, String>>, body: Bytes.Bytes) -> IO(Http.WriteHead<Job>):
88  Bytes.Bytes{+len, buf} = body
89  IO.pure(Http.WriteHead<Job>, Http.WriteHead{status, headers, Some{len}, JBytes{Bytes.Bytes{len, buf}}, Completion.Unobserved{}})