def temporary.checked

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

import Base
import mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend as Restore
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

400def temporary.checked(
401  +destination: String,
402  +temporary: String,
403  input: Bytes.Bytes,
404  result: Result<&1, &1, U32 & String, Bool>
405) -> IO(Result<&1, &1, Error, Unit>):
406  match result:
407    case Fail{(code, message)}:
408      IO.pure(Result<&1, &1, Error, Unit>, Fail{Io{code, message}})
409    case Done{True{}}:
410      IO.pure(Result<&1, &1, Error, Unit>, Fail{TemporaryExists{}})
411    case Done{False{}}:
412      temporary.decoded(destination, temporary, Restore.decode(input))