def write.opened.generation

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

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

209def write.opened.generation(
210  directory: String,
211  file: File,
212  generations: U32 & U32
213) -> IO(Result<&1, &1, Error, U32>):
214  match generations:
215    case (encode_generation, retained_generation):
216      do IO<Result<&1, &1, Error, U32>>:
217        result : File & Result<&1, &1, U32 & String, Unit> <-
218          Fs.write_bytes(file, Generation.u32.bytes(encode_generation))
219        write.closed(directory, retained_generation, result)