def one.data

bend-kit-archive@0.5.1.0 · archive.bend:316

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

316def one.data(r: Bytes.Bytes & Bytes.Bytes, nm: Bytes.Bytes, +method: U32, +crc: U32, +size: U32, +left: U32, acc: List<&1, Entry>) -> IO(Bytes.Bytes & Result<&1, &1, U32 & String, U32 & List<&1, Entry>>):
317  (input, raw) = r
318  do IO<Bytes.Bytes & Result<&1, &1, U32 & String, U32 & List<&1, Entry>>>:
319    out : Result<&1, &1, U32 & String, Bytes.Bytes> <- decode(U32.is_eq(method, 0), size, raw)
320    return (input, one.put(check(size, crc, out), nm, method, crc, left, size, acc))