def dc.feed
bend-kit-http@0.38.4.0 · http.bend:574
import bend-kit-http@0.38.4.0/http.bend as Http
import Base
574def dc.feed(s: String, st: Dc, racc: String) -> Dco:
575 match s:
576 case SNil{}:
577 Dco{st, racc, ""}
578 case SCon{h, t}:
579 match st:
580 case DcBad{}:
581 Dco{DcBad{}, racc, ""}
582 case DcDone{}:
583 Dco{DcDone{}, racc, SCon{h, t}}
584 case DcData{+k}:
585 dc.feed(t, dc.data(k, 1), SCon{h, racc})
586 case DcSize{+acc, seen}:
587 dc.feed(t, dc.step(DcSize{acc, seen}, dc.byte(h)), racc)
588 case DcExt{+n}:
589 dc.feed(t, dc.step(DcExt{n}, dc.byte(h)), racc)
590 case DcSizeLf{+n}:
591 dc.feed(t, dc.step(DcSizeLf{n}, dc.byte(h)), racc)
592 case DcDataCr{}:
593 dc.feed(t, dc.step(DcDataCr{}, dc.byte(h)), racc)
594 case DcDataLf{}:
595 dc.feed(t, dc.step(DcDataLf{}, dc.byte(h)), racc)
596 case DcTr{+j}:
597 dc.feed(t, dc.step(DcTr{j}, dc.byte(h)), racc)