def publish_generation.copied

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

import Base

1204# Publishes a generation from independent copies of its current identifier.
1205def publish_generation.copied(
1206  copies: Nat & Nat,
1207  current_bytes: Nat,
1208  references: Nat
1209) -> GenerationDecision:
1210  match copies:
1211    case (next_source, retained_source):
1212      match references:
1213        case 0n: Published{Nat.add(next_source, 1n), NoRetained{}}
1214        case 1n+rest:
1215          Published{Nat.add(next_source, 1n),
1216            GenerationRetained{retained_source, current_bytes, 1n+rest}}