def snapshot.root.file.size.result

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

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

2539def snapshot.root.file.size.result(
2540  handle: Handle,
2541  path: String,
2542  generation: Maybe<&1, U32>,
2543  delta: List<&1, ByteMemTable.Entry>,
2544  delta_bytes: Nat,
2545  max_bytes: Nat,
2546  result: Result<&1, &1, U32 & String, Nat>
2547) -> IO(Handle & Result<&1, &1, Error, SnapshotRoot>):
2548  match result:
2549    case Fail{(code, message)}:
2550      IO.pure(Handle & Result<&1, &1, Error, SnapshotRoot>,
2551        (handle, Fail{Io{code, message}}))
2552    case Done{size}:
2553      snapshot.root.reservation(handle, Some{path}, generation, size,
2554        delta_bytes, delta, max_bytes)