def walk.data

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

import Base

1535# a chunk's data: all of what arrived, with octets still owed, or its end
1536def walk.data(+g: Nat, s: Skip, go: String -> Walk) -> Walk:
1537  match s:
1538    case Short{owed}:
1539      Owed{g, owed}
1540    case Over{+left, +rest}:
1541      walk.crlf(g, left, rest, Bool.and(octs.has(rest, Nat.add(left, 2n)),
1542        String.starts_with(rest, "\r\n")), go)