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)

Uses (11)

Used by (1)