def feed.chunk.add

mylsm-lsm-store@0.6.0.1 · src/SstFile.bend:1680

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

1680def feed.chunk.add(
1681  chunks: List<&1, Bytes.Bytes>,
1682  +total: U32,
1683  invalid: Bool,
1684  chunk: Bytes.Bytes,
1685  checked: Maybe<&2, U32>
1686) -> Decoder:
1687  match checked:
1688    case None{}:
1689      Dec{chunks, total, True{}}
1690    case Some{next_total}:
1691      Dec{chunk <> chunks, next_total, invalid}