~/jendhub

def sv.chunk.parts

bend-kit-http@0.38.5.0 · http.bend:5710

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

5710def sv.chunk.parts(xs: List<&1, Bytes.Bytes>, old: List<&1, Bytes.Bytes>) -> List<&1, Bytes.Bytes> & Nat:
5711  match xs:
5712    case Nil{}:
5713      (old, 0n)
5714    case Con{b, tail}:
5715      Bytes.Bytes{+len, buf} = b
5716      sv.chunk.parts.cons(len, buf, sv.chunk.parts(tail, old))

Uses (6)

Used by (1)