def block.encoded

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

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/Backup.bend as Backup

100def block.encoded(
101  cursor: Maybe<&1, VisibleCursor.Cursor>,
102  pending: List<&1, ByteMemTable.Entry>,
103  seen: Nat,
104  expected: Nat,
105  entry_count: U32,
106  block_count: U32,
107  indexes: U32 & U32,
108  count: Nat,
109  next_phase: Phase
110) -> Step:
111  match indexes:
112    case (encode_index, next_index):
113      block.written(Backup.block.encoded(
114        List.reverse(&1, ByteMemTable.Entry, pending), encode_index,
115        U32.from_nat(count)), cursor, seen, expected,
116        entry_count, block_count, next_index, next_phase)