def snapshot.resource.duplicate.parts

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

import mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend as Snapshot
import Base

541def snapshot.resource.duplicate.parts(
542  ids: U32 & U32,
543  generations: Nat & Nat,
544  retained: Nat & Nat,
545  cursors: Nat & Nat
546) -> SnapshotResource & SnapshotResource:
547  match ids:
548    case (first_id, second_id):
549      match generations:
550        case (first_generation, second_generation):
551          match retained:
552            case (first_bytes, second_bytes):
553              match cursors:
554                case (first_count, second_count):
555                  (SnapshotResource{first_id, first_generation, first_bytes,
556                    first_count}, SnapshotResource{second_id, second_generation,
557                    second_bytes, second_count})

Uses (5)

Used by (1)