def next.decision
mylsm-lsm-store@0.6.0.1 · src/coordinator/OwnerGenerationIo.bend:248
import mylsm-lsm-store@0.6.0.1/src/coordinator/OwnerGenerationIo.bend as OwnerGenerationIo
import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/OwnerGeneration.bend as Generation
248def next.decision(
249 directory: String,
250 decision: Generation.Decision
251) -> IO(Result<&1, &1, Error, U32>):
252 match decision:
253 case Generation.GenerationExhausted{}:
254 IO.pure(Result<&1, &1, Error, U32>, Fail{Exhausted{}})
255 case Generation.GenerationReady{generation}: write(directory, generation)