def verified

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

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

231# Opens and checks the staged database before publication.
232def verified(
233  path: String,
234  expected: Nat,
235  opened: Result<&1, &1, Db.Error, Db.Handle>
236) -> IO(Result<&1, &1, Error, Unit>):
237  match opened:
238    case Fail{error}:
239      do IO<Result<&1, &1, Error, Unit>>:
240        cleanup.directory(path)
241        return Fail{Storage{error}}
242    case Done{handle}: verified.stats(path, expected, Db.stats(handle))