def write.opened

mylsm-lsm-store@0.6.0.1 · src/coordinator/OwnerGenerationIo.bend:221

import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/OwnerGeneration.bend as Generation

221def write.opened(
222  directory: String,
223  generation: U32,
224  opened: Result<&1, &1, U32 & String, File>
225) -> IO(Result<&1, &1, Error, U32>):
226  match opened:
227    case Fail{error}:
228      IO.pure(Result<&1, &1, Error, U32>, Fail{host(error)})
229    case Done{file}:
230      write.opened.generation(directory, file,
231        Generation.u32.clone.pair(generation))