def packed.head.text

emerging-ezhttp@0.21.0.0 · src/packed.bend:174

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
import emerging-ezhttp@0.21.0.0/src/http.bend as Http

174# a head read as text, and the octets after its blank line from q
175def packed.head.text(+asked: Bool, r: Bytes.Bytes & String, +q: U32,
176  +len: U32, rest: Bytes.Bytes -> U32 -> Got) -> Got:
177  (b, before) = r
178  +ls = String.lines(before)
179  packed.step(asked, b, q, len, ls,
180    Http.interim.skip.of(Http.status.of(ls), U32.is_lt(q, len)), rest)