def initialized.manifest

mylsm-lsm-store@0.6.0.1 · src/ByteDurableDb.bend:179

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteManifest.bend as ByteManifest
import mylsm-lsm-store@0.6.0.1/src/ByteManifestIo.bend as ByteManifestIo
import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock

179def initialized.manifest(
180  +path: String,
181  lock: DbLock.Lock,
182  result: Result<&1, &1, U32 & String, Unit>
183) -> IO(Result<&1, &1, Error, Handle>):
184  match result:
185    case Fail{error}: initialization.failed(path, lock, error)
186    case Done{Unit{}}:
187      do IO<Result<&1, &1, Error, Handle>>:
188        published : Result<&1, &1, U32 & String, Unit> <-
189          ByteManifestIo.write_atomic(path, ByteManifest.GenerationEmpty{})
190        initialized(path, lock, published)