def ck.feed

bend-kit-http@0.38.2.0 · http.bend:728

import Base

728# Each step reads at least one byte, so len steps are enough.
729def ck.feed(f: Nat, +len: U32, r: Bool & Cs) -> Ck:
730  match f:
731    case 0n:
732      (go, cs) = r
733      ck.end(len, cs)
734    case 1n+p:
735      (go, cs) = r
736      match go:
737        case False{}:
738          ck.end(len, cs)
739        case True{}:
740          ck.feed(p, len, ck.step(len, cs))