def recover.length.completed

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

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

201def recover.length.completed(
202  +path: String,
203  file: File,
204  +size: Nat,
205  +offset: Nat,
206  table: ByteMemTable.Table,
207  bytes: Bytes.Bytes,
208  complete: Bool
209) -> RecoveryState:
210  match complete:
211    case False{}:
212      Tail{file, path, offset, table}
213    case True{}:
214      recover.prefix.cloned(file, Wal.bytes.clone.split(bytes), size, offset, table)