~/jendhub

def walk.size

emerging-ezhttp@0.22.0.0 · src/http.bend:1552

import emerging-ezhttp@0.22.0.0/src/http.bend as Http
import Base

1552# a chunk of size n: the last one when n is 0
1553def walk.size(+g: Nat, rest: String, +after: String, +n: Nat, zero: Bool,
1554  go: String -> Walk) -> Walk:
1555  match zero:
1556    case True{}:
1557      walk.trail(g, rest, chunks.trailer(after))
1558    case False{}:
1559      walk.data(g, octs.skip(after, n), go)

Uses (8)

Used by (1)