def wal.exists

mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateIo.bend:629

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

629# Requires the legacy WAL path to be readable without changing it.
630def wal.exists(
631  lock: DbLock.Lock,
632  result: Result<&1, &1, U32 & String, Bool>,
633  path: String
634) -> IO(Result<&1, &1, Error, Nat>):
635  match result:
636    case Fail{error}: host.failed(lock, error, path)
637    case Done{present}: wal.present(lock, present, path)