def flush.closed

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

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

154def flush.closed(
155  path: String,
156  result: Result<&1, &1, Db.Error, Unit>
157) -> IO(Result<&1, &1, Error, Unit>):
158  match result:
159    case Fail{error}: cleanup.result(path, Fail{error})
160    case Done{Unit{}}: IO.pure(Result<&1, &1, Error, Unit>, Done{Unit{}})