def parse.cut

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

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

import Base

932# a response divided into its head and everything after the blank line
933# (RFC 9112 §2.1: header section ends at empty line)
934def parse.cut(c: Cut) -> Reply:
935  match c:
936    case NoCut{}:
937      Torn{"the response head has no blank line after it"}
938    case Cut{before, after}:
939      parse.head(String.lines(before), after)

Uses (4)

Used by (1)

emerging-ezhttp@0.21.0.0/src/http:parse