def snapshot.root.reservation

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

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

2526def snapshot.root.reservation(
2527  handle: Handle,
2528  path: Maybe<&1, String>,
2529  generation: Maybe<&1, U32>,
2530  sst_bytes: Nat,
2531  delta_bytes: Nat,
2532  delta: List<&1, ByteMemTable.Entry>,
2533  max_bytes: Nat
2534) -> IO(Handle & Result<&1, &1, Error, SnapshotRoot>):
2535  snapshot.root.reservation.result(handle, path, generation, delta,
2536    SnapshotPolicy.reserve(0n, 0n,
2537      Nat.add(sst_bytes, delta_bytes), 1n, max_bytes))