def directory.created

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupCursorIo.bend:268

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

268def directory.created(
269  +destination: String,
270  +temporary: String,
271  initial: BackupCursor.Step,
272  fuel: Nat,
273  created: Result<&1, &1, U32 & String, Unit>
274) -> IO(Result<&1, &1, BackupIo.Error, Unit>):
275  match created:
276    case Fail{(code, message)}:
277      match code:
278        case 17: initial.failed(initial, BackupIo.AlreadyExists{})
279        case _: initial.failed(initial, BackupIo.Io{code, message})
280    case Done{Unit{}}:
281      do IO<Result<&1, &1, BackupIo.Error, Unit>>:
282        opened : Result<&1, &1, U32 & String, File> <- File.open(path.clone(temporary ++ "/BACKUP"), "w")
283        file.opened(destination, temporary, initial, fuel, opened)