def publish.registry.current

mylsm-lsm-store@0.6.0.1 · src/scan/Snapshot.bend:1226

import Base

1226def publish.registry.current(
1227  current: FileGeneration,
1228  retired: List<&2, FileGeneration>,
1229  next_bytes: Nat
1230) -> GenerationRegistry:
1231  match current:
1232    case FileGeneration{+id, +size, references}:
1233      match references:
1234        case 0n:
1235          GenerationRegistry{FileGeneration{Nat.add(id, 1n),
1236            next_bytes, 0n}, retired}
1237        case 1n+rest:
1238          GenerationRegistry{FileGeneration{Nat.add(id, 1n),
1239            next_bytes, 0n}, Con{FileGeneration{id, size, 1n+rest}, retired}}