def walk.counts

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

import Base

1700# whether a walk can be advanced by a count of octets alone: inside a chunk's
1701# data that still owes at least that many
1702def walk.counts(w: Walk, +m: Nat) -> Bool:
1703  match w:
1704    case Ended{}:
1705      False{}
1706    case Hold{fuel, rest}:
1707      False{}
1708    case Owed{fuel, owed}:
1709      Bool.not(Nat.is_lt(owed, m))
1710    case Tail{fuel, left, rest}:
1711      False{}