def next.block.ready.split

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

import mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend as Backup
import Base

338def next.block.ready.split(
339  +entry_count: U32,
340  +block_count: U32,
341  +block_index: U32,
342  split: BatchSplit
343) -> Result<&1, &1, Error, Step>:
344  match split:
345    case BatchSplit{Nil{}, entries, _}:
346      next.block.footer(footer.bytes(Stream{Footer{}, entries, entry_count,
347        block_count, block_index}))
348    case BatchSplit{batch, tail, +count}:
349      next.block.ready.index(entry_count, block_count,
350        u32.duplicate.pair(block_index), batch, tail, count)

Uses (12)

Used by (1)