def table.finished

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

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

122def table.finished(
123  lock: DbLock.Lock,
124  path: String,
125  result: Result<&1, &1, Error, Nat & Nat>
126) -> IO(TableValidation):
127  IO.pure(TableValidation, table.validation(lock, path, result))

Uses (10)

Used by (3)