def footer.ready

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

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
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

198def footer.ready(
199  cursor: Maybe<&1, VisibleCursor.Cursor>,
200  seen: Nat,
201  expected: Nat,
202  entry_count: U32,
203  block_count: U32,
204  block_index: U32,
205  encoded: Backup.Stream & Bytes.Bytes
206) -> Step:
207  match encoded:
208    case (_, bytes):
209      Chunk{Stream{CursorFinished{}, cursor, Nil{}, 0n, seen,
210        expected, entry_count, block_count, block_index}, bytes}