def packed.step

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

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

164# an interim head is skipped, any other is the final one
165def packed.step(+asked: Bool, b: Bytes.Bytes, +q: U32, +len: U32,
166  +ls: List<&2, String>, skip: Bool, rest: Bytes.Bytes -> U32 -> Got) -> Got:
167  match skip:
168    case True{}:
169      rest(b)(q)
170    case False{}:
171      packed.final(Http.head.final(asked, ls), Http.phrase.line(Http.first(ls)),
172        b, q, len)