def swap.written

bend-kit-runner@0.13.0.1 · runner.bend:1465

import Base
import bend-kit-journal@0.3.0.1/journal.bend as J
import bend-kit-files@0.3.0.0/files.bend as Files

1465def swap.written(+path: String, +tmp: String, +limit: U32, x: J.Journal & Out(Unit)) -> IO(Swap):
1466  match x:
1467    case (t, Fail{e}):
1468      do IO<Swap>:
1469        J.close(t)
1470        return Kept{e}
1471    case (t, Done{u}):
1472      do IO<Swap>:
1473        J.close(t)
1474        y : Out(Unit) <- Files.rename(tmp, path)
1475        swap.renamed(path, limit, y)