def whole

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

import Base

1387# whether the text received so far is a whole response to a request with
1388# this method (RFC 9112 §6.3), interim 1xx heads read past (RFC 9110 §15.2);
1389# a response framed by the close never is
1390def whole(+method: String, +raw: String) -> Bool:
1391  whole.go(String.length(raw), String.eq(method, "HEAD"),
1392    divide(raw, "\r\n\r\n"))