type LegacyTableWalk
mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateIo.bend:41
import mylsm-lsm-store@0.6.0.1/src/transfer/MigrateIo.bend as MigrateIo
import Base
import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock
import mylsm-lsm-store@0.6.0.1/src/MemTable.bend as MemTable
import mylsm-lsm-store@0.6.0.1/src/Sstable.bend as Sstable
import mylsm-lsm-store@0.6.0.1/src/SstReadPolicy.bend as SstReadPolicy
41
42type LegacyTableWalk is Type:
43 LegacyLevels{lock: DbLock.Lock, read_path: String, release_path: String,
44 levels: List<&2, List<&2, String>>, index: Nat, total_bytes: Nat,
45 entries: Nat, records: List<&2, MemTable.Entry>}
46 LegacyPath{lock: DbLock.Lock, read_path: String, release_path: String,
47 ldir: Maybe<&2, String>, names: List<&2, String>,
48 levels: List<&2, List<&2, String>>, index: Nat, total_bytes: Nat,
49 entries: Nat, records: List<&2, MemTable.Entry>}
50 LegacyNames{lock: DbLock.Lock, read_path: String, release_path: String,
51 levels: List<&2, List<&2, String>>, index: Nat, dir: String,
52 names: List<&2, String>, total_bytes: Nat, entries: Nat,
53 records: List<&2, MemTable.Entry>}
54 LegacySize{lock: DbLock.Lock, read_path: String, release_path: String,
55 levels: List<&2, List<&2, String>>, index: Nat, dir: String,
56 name: String, names: List<&2, String>, total_bytes: Nat, entries: Nat,
57 result: Result<&1, &1, U32 & String, Nat>, records: List<&2, MemTable.Entry>}
58 LegacyBudget{lock: DbLock.Lock, read_path: String, release_path: String,
59 levels: List<&2, List<&2, String>>, index: Nat, dir: String,
60 name: String, names: List<&2, String>, entries: Nat,
61 decision: SstReadPolicy.TotalDecision, records: List<&2, MemTable.Entry>}
62 LegacyRead{lock: DbLock.Lock, read_path: String, release_path: String,
63 levels: List<&2, List<&2, String>>, index: Nat, dir: String,
64 names: List<&2, String>, total_bytes: Nat, entries: Nat,
65 result: Result<&1, &1, U32 & String, Sstable.Table>,
66 records: List<&2, MemTable.Entry>}