def sys.save.next

ezsys@0.1.0.0 · src/sys.bend:139

import Base
import ezsys@0.1.0.0/src/step.bend as Step

139# rename the written temporary file, or answer the write's failure
140def sys.save.next(
141  +path: String,
142  step: Step.Save
143) -> IO(Result<&1, &1, U32 & String, Unit>):
144  match step:
145    case Step.SaveMove{}:
146      ezsys.rename(Step.save.tmp(path), path)
147    case Step.SaveStop{error}:
148      IO.pure(Result<&1, &1, U32 & String, Unit>, Fail{error})