def chunk.next.data

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

import Base

313# a chunk of n octets: on to the next chunk header once its octets and CRLF
314# are there
315def chunk.next.data(+after: String, +n: Nat, ready: Bool) -> Next:
316  match ready:
317    case False{}:
318      Reject{chunk.short()}
319    case True{}:
320      Go{divide(octs.drop(after, Nat.add(n, 2n)), "\r\n")}