~/jendhub

def footer

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

import mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend as BackupCursor
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

231# Emits the checksum footer while retaining only terminal cursor state.
232def footer(
233  cursor: Maybe<&1, VisibleCursor.Cursor>,
234  seen: Nat,
235  expected: Nat,
236  entry_count: U32,
237  block_count: U32,
238  block_index: U32
239) -> Step:
240  footer.counts(cursor, seen, expected,
241    Backup.u32.duplicate.pair(entry_count),
242    Backup.u32.duplicate.pair(block_count),
243    Backup.u32.duplicate.pair(block_index))

Uses (7)

Used by (3)