def start.counted.count

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

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

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

127def start.counted.count(
128  entries: List<&1, ByteMemTable.Entry>,
129  counts: Nat & Nat
130) -> Result<&1, &1, Error, Stream>:
131  match counts:
132    case (entry_count, block_total):
133      Done{Stream{Header{}, entries, U32.from_nat(entry_count),
134        blocks.count(block_total), 0}}

Uses (11)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/transfer/Backup:start.counted