def finish.copied

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

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

264def finish.copied(
265  cursor: Maybe<&1, VisibleCursor.Cursor>,
266  pending: List<&1, ByteMemTable.Entry>,
267  pending_count: Nat,
268  seen_copies: Nat & Nat,
269  expected_copies: Nat & Nat,
270  entry_count: U32,
271  block_count: U32,
272  block_index: U32
273) -> Step:
274  match seen_copies:
275    case (seen_check, seen_retained):
276      match expected_copies:
277        case (expected_check, expected_retained):
278          finish.decided(Policy.finish(seen_check, expected_check, pending_count),
279            cursor, pending, seen_retained, expected_retained, entry_count,
280            block_count, block_index)