def write.renamed
mylsm-lsm-store@0.6.0.1 · src/ByteManifestIo.bend:104
import mylsm-lsm-store@0.6.0.1/src/ByteManifestIo.bend as ByteManifestIo
import Base
import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
104def write.renamed(
105 +directory: String,
106 result: Result<&1, &1, U32 & String, Unit>
107) -> IO(Result<&1, &1, U32 & String, Unit>):
108 match result:
109 case Fail{error}: IO.pure(Result<&1, &1, U32 & String, Unit>, Fail{error})
110 case Done{Unit{}}:
111 do IO<Result<&1, &1, U32 & String, Unit>>:
112 renamed : Result<&1, &1, U32 & String, Unit> <- Fs.rename(directory ++ "/MANIFEST.tmp", directory ++ "/MANIFEST")
113 write.directory.synced(directory, renamed)