def hear.more.n

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

import Base

1742# a state advanced by m octets it does not look at (hear.counts says when
1743# that is hear.more)
1744def hear.more.n(h: Hear, +m: Nat) -> Hear:
1745  match h:
1746    case Heads{fuel, asked, raw}:
1747      Heads{fuel, asked, raw}
1748    case Whole{}:
1749      Whole{}
1750    case Never{}:
1751      Never{}
1752    case Count{n, have}:
1753      Count{n, Nat.add(have, m)}
1754    case Walking{w}:
1755      Walking{walk.more.n(w, m)}