def chunks.ready

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

import emerging-ezhttp@0.21.0.0/src/http.bend as Http

import Base

247# a non-zero chunk has its data and the following CRLF
248def chunks.ready(+after: String, +n: Nat) -> Bool:
249  Bool.and(octs.has(after, Nat.add(n, 2n)),
250    String.starts_with(octs.drop(after, n), "\r\n"))

Uses (8)

Used by (3)