~/jendhub

def chunks.more

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

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

353# a zero chunk ends the body; anything after it is a trailer (RFC 9112 §7.1)
354def chunks.more(+n: Nat, +after: String, rest: Unit -> String, zero: Bool)
355  -> String:
356  match zero:
357    case True{}:
358      ""
359    case False{}:
360      octs.take(after, n)
361        ++ rest(Unit{})

Uses (6)

Used by (1)