def request.complete.cut

gralha-http-core@0.1.0.0 · http.bend:258

import Base

258def request.complete.cut(c: Maybe<&1, String & String>) -> Bool:
259  match c:
260    case None{}:
261      False{}
262    case Some{(head, body)}:
263      U32.is_ge(utf8.length(body), content.length(header.parse(String.split(head, '\n'))))