def hear.more

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

import Base

1686# where a response stands once more text, b, has arrived
1687def hear.more(h: Hear, +b: String) -> Hear:
1688  match h:
1689    case Heads{fuel, asked, raw}:
1690      hear.go(Nat.add(fuel, String.length(b)), asked, raw ++ b)
1691    case Whole{}:
1692      Whole{}
1693    case Never{}:
1694      Never{}
1695    case Count{n, have}:
1696      Count{n, Nat.add(have, octs.len(b))}
1697    case Walking{w}:
1698      Walking{walk.more(w, String.length(b), b)}