Backup.next.block.encoded: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend as Backup
Lines 307-319 of mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&start_line=307&end_line=319

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

def next.block.encoded(
  stream: Stream,
  tail: List<&1, ByteMemTable.Entry>,
  result: Result<&1, &1, Error, Bytes.Bytes>
) -> Result<&1, &1, Error, Step>:
  match stream:
    case Stream{Blocks{}, _, entry_count, block_count, +block_index}:
      match result:
        case Fail{error}: Fail{error}
        case Done{bytes}:
          Done{Chunk{Stream{Blocks{}, tail, entry_count, block_count,
            (block_index + 1 : U32)}, bytes}}
    case _: Fail{CodecFailure{}}

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=Phase
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=Stream