def item.counted

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

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/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

151def item.counted(
152  entry: ByteMemTable.Entry,
153  cursor: Maybe<&1, VisibleCursor.Cursor>,
154  pending: List<&1, ByteMemTable.Entry>,
155  seen: Nat,
156  pending_count: Nat,
157  entry_count: U32,
158  block_count: U32,
159  block_index: U32,
160  expected_copies: Nat & Nat
161) -> Step:
162  match expected_copies:
163    case (for_policy, retained):
164      item.decided(Policy.append(seen, pending_count, for_policy),
165        cursor, Con{entry, pending}, retained, entry_count,
166        block_count, block_index)

Uses (11)

Used by (1)