def table.walk.size

mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateIo.bend:185

import Base
import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock
import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
import mylsm-lsm-store@0.6.0.1/src/MemTable.bend as MemTable

185def table.walk.size(
186  paths: (String & String) & ((String & String) & (String & String)),
187  lock: DbLock.Lock,
188  release_path: String,
189  levels: List<&2, List<&2, String>>,
190  index: Nat,
191  names: List<&2, String>,
192  total_bytes: Nat,
193  entries: Nat,
194  records: List<&2, MemTable.Entry>
195) -> IO(LegacyTableWalk):
196  match paths:
197    case ((file_root, read_path), ((file_name, name), (file_dir, dir))):
198      do IO<LegacyTableWalk>:
199        result : Result<&1, &1, U32 & String, Nat> <-
200          Fs.file_size(file_root ++ "/" ++ file_dir ++ "/" ++ file_name)
201        return LegacySize{lock, read_path, release_path, levels, index,
202          dir, name, names, total_bytes, entries, result, records}