def ask.parts

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

import Base

1204# three fields of the request-line, or torn
1205def ask.parts(ps: List<&2, String>, +ls: List<&2, String>, body: String)
1206  -> Request:
1207  match ps:
1208    case []:
1209      Bad{"the request has no request line"}
1210    case m <> rest:
1211      match rest:
1212        case []:
1213          Bad{"the request line has no target"}
1214        case t <> _ver:
1215          ask.line(m, t, ls, body)