~/jendhub

def sv.chunk.parts

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

import bend-kit-http@0.38.2.0/http.bend as Http
import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

5718def sv.chunk.parts(xs: List<&1, Bytes.Bytes>, old: List<&1, Bytes.Bytes>) -> List<&1, Bytes.Bytes> & Nat:
5719  match xs:
5720    case Nil{}:
5721      (old, 0n)
5722    case Con{b, tail}:
5723      Bytes.Bytes{+len, buf} = b
5724      sv.chunk.parts.cons(len, buf, sv.chunk.parts(tail, old))

Uses (6)

Used by (1)