~/jendhub

def next

mylsm-lsm-store@0.6.0.1 · src/coordinator/OwnerGeneration.bend:55

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

55# Chooses generation one for a new owner state and advances a persisted value.
56def next(current: Maybe<&2, U32>) -> Decision:
57  match current:
58    case None{}: GenerationReady{1}
59    case Some{generation}:
60      next.copies(u32.clone.pair(generation))

Uses (5)

Used by (1)