def rb.len.have

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

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

1185def rb.len.have(short: Bool, +left: U32, parts: List<&1, Bytes.Bytes>, +len: U32, piece: Bytes.Bytes) -> Bf:
1186  match short:
1187    case True{}:
1188      Bf{RbLen{(left - len : U32)}, Con{piece, parts}, Bytes.new(0)}
1189    case False{}:
1190      rb.len.cut(parts, len, left, Bytes.slice(piece, 0, left))