def publish.result

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

import mylsm-lsm-store@0.6.0.1/src/transfer/RestoreIo.bend as RestoreIo

import Base

352def publish.result(
353  destination: String,
354  temporary: String,
355  expected: Nat,
356  populated: Result<&1, &1, Error, Unit>
357) -> IO(Result<&1, &1, Error, Unit>):
358  match populated:
359    case Fail{error}: IO.pure(Result<&1, &1, Error, Unit>, Fail{error})
360    case Done{Unit{}}: publish(destination, temporary, expected)

Uses (8)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/transfer/RestoreIo:temporary.create