def request.head

emerging-ezhttp@0.21.0.0 · src/http.bend:683

import Base

683# the request text for a body of n octets that is sent after it as its own
684# octets: the request line, the fields for n octets, and the blank line
685def request.head(method: String, host: String, path: String,
686  headers: List<&2, Header>, +n: Nat) -> String:
687  method ++ " " ++ path ++ " HTTP/1.1\r\n"
688    ++ headers.lines(request.fields.n(host, headers, n))
689    ++ "\r\n"