def walk.more.n

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

import Base

1713# a walk advanced by m octets it does not look at (walk.counts says when
1714# that is walk.more)
1715def walk.more.n(w: Walk, +m: Nat) -> Walk:
1716  match w:
1717    case Ended{}:
1718      Ended{}
1719    case Hold{fuel, rest}:
1720      Hold{fuel, rest}
1721    case Owed{g, owed}:
1722      Owed{Nat.add(g, m), Nat.sub(owed, m)}
1723    case Tail{fuel, left, rest}:
1724      Tail{fuel, left, rest}