def ask.head

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

import Base

1217# the head's lines, with the request-line read off the first
1218def ask.head(+ls: List<&2, String>, body: String) -> Request:
1219  match ls:
1220    case []:
1221      Bad{"the request has no request line"}
1222    case _:
1223      ask.parts(String.split(first(ls), ' '), ls, body)