def snapshot.root.file.size

mylsm-lsm-store@0.6.0.1 · src/ByteDurableDb.bend:2556

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

2556def snapshot.root.file.size(
2557  handle: Handle,
2558  paths: String & String,
2559  generation: Maybe<&1, U32>,
2560  delta: List<&1, ByteMemTable.Entry>,
2561  delta_bytes: Nat,
2562  max_bytes: Nat
2563) -> IO(Handle & Result<&1, &1, Error, SnapshotRoot>):
2564  match paths:
2565    case (file_path, retained_path):
2566      do IO<Handle & Result<&1, &1, Error, SnapshotRoot>>:
2567        size : Result<&1, &1, U32 & String, Nat> <- Fs.file_size(file_path)
2568        snapshot.root.file.size.result(handle, retained_path, generation, delta,
2569          delta_bytes, max_bytes, size)