def hear.go

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

import Base

1658# the heads in turn, as whole.go reads them
1659def hear.go(fuel: Nat, +asked: Bool, +raw: String) -> Hear:
1660  match fuel:
1661    case 0n:
1662      Heads{0n, asked, raw}
1663    case 1n+f:
1664      +g = f
1665      hear.at(g, asked, raw, divide(raw, "\r\n\r\n"), s => hear.go(g, asked, s))