def ask.cut

emerging-ezhttp@0.22.0.0 · src/http.bend:1225

import emerging-ezhttp@0.22.0.0/src/http.bend as Http

import Base

1225# a request divided into its head and everything after the blank line
1226def ask.cut(c: Cut) -> Request:
1227  match c:
1228    case NoCut{}:
1229      Bad{"the request head has no blank line after it"}
1230    case Cut{before, after}:
1231      ask.head(String.lines(before), after)

Uses (4)

Used by (1)

emerging-ezhttp@0.22.0.0/src/http:ask