def recover.count.completed

mylsm-lsm-store@0.6.0.1 · src/ByteWalIo.bend:216

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Wal
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

216def recover.count.completed(
217  +path: String,
218  file: File,
219  +size: Nat,
220  +offset: Nat,
221  table: ByteMemTable.Table,
222  prefix: Bytes.Bytes,
223  bytes: Bytes.Bytes,
224  complete: Bool,
225  +frame_length: U32
226) -> RecoveryState:
227  match complete:
228    case False{}:
229      Tail{file, path, offset, table}
230    case True{}:
231      recover.count.cloned(file, Wal.bytes.clone.split(bytes), size, offset, table, prefix, frame_length)