def walk.more

ezhttp@0.22.0.0 · src/http.bend:1600

import Base

1600# the walk once m more characters, b, have arrived
1601def walk.more(w: Walk, +m: Nat, b: String) -> Walk:
1602  match w:
1603    case Ended{}:
1604      Ended{}
1605    case Hold{fuel, rest}:
1606      walk(Nat.add(fuel, m), rest ++ b)
1607    case Owed{g, owed}:
1608      +f = Nat.add(g, m)
1609      walk.data(f, octs.skip(b, owed), s => walk(f, s))
1610    case Tail{g, left, rest}:
1611      +f = Nat.add(g, m)
1612      walk.data(f, Over{left, rest ++ b}, s => walk(f, s))