def chunks.next.hex

emerging-ezhttp@0.22.0.0 · src/http.bend:268

import Base

268# hex check, then the length
269def chunks.next.hex(+before: String, +after: String, ok: Bool) -> Next:
270  match ok:
271    case False{}:
272      Reject{"chunk size is not hexadecimal"}
273    case True{}:
274      +n = hexlen(before)
275      chunks.next.of(Nat.is_eq(n, 0n), chunks.ready(after, n), after, n)