def next.block.encoded

mylsm-lsm-store@0.6.0.1 · src/transfer/Backup.bend:307

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

307def next.block.encoded(
308  stream: Stream,
309  tail: List<&1, ByteMemTable.Entry>,
310  result: Result<&1, &1, Error, Bytes.Bytes>
311) -> Result<&1, &1, Error, Step>:
312  match stream:
313    case Stream{Blocks{}, _, entry_count, block_count, +block_index}:
314      match result:
315        case Fail{error}: Fail{error}
316        case Done{bytes}:
317          Done{Chunk{Stream{Blocks{}, tail, entry_count, block_count,
318            (block_index + 1 : U32)}, bytes}}
319    case _: Fail{CodecFailure{}}