def start.counts

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupCursor.bend:60

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

60def start.counts(
61  cursor: Maybe<&1, VisibleCursor.Cursor>,
62  counts: Nat & Nat
63) -> Step:
64  match counts:
65    case (entry_count, block_input):
66      +encoded_entries = U32.from_nat(entry_count)
67      +encoded_blocks = Backup.blocks.count(block_input)
68      start.header(cursor, Backup.header.bytes(
69        Backup.Stream{Backup.Header{}, Nil{}, encoded_entries,
70          encoded_blocks, 0}))