def close.failed.cleaned

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupIo.bend:38

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

38def close.failed.cleaned(
39  +directory: String,
40  error: U32 & String
41) -> IO(Result<&1, &1, Error, Unit>):
42  match error:
43    case (code, message):
44      do IO<Result<&1, &1, Error, Unit>>:
45        cleanup(directory)
46        return Fail{Io{code, message}}

Uses (11)

Used by (1)