def verified.stats

mylsm-lsm-store@0.6.0.1 · src/transfer/RestoreIo.bend:220

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

220def verified.stats(
221  path: String,
222  expected: Nat,
223  pair: Db.Handle & Db.Stats
224) -> IO(Result<&1, &1, Error, Unit>):
225  match pair:
226    case (handle, Db.Stats{entries, _}):
227      do IO<Result<&1, &1, Error, Unit>>:
228        closed : Result<&1, &1, Db.Error, Unit> <- Db.close(handle)
229        verified.closed(path, expected, entries, closed)