def stats.aggregate.copies

mylsm-lsm-store@0.6.0.1 · src/ByteDurableDb.bend:3116

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock
import mylsm-lsm-store@0.6.0.1/src/scan/VisibleStats.bend as VisibleStats

3116def stats.aggregate.copies(
3117  +path: String,
3118  lock: DbLock.Lock,
3119  state: HandleState,
3120  original: List<&1, ByteMemTable.Entry>,
3121  copies: VisibleStats.Stats & VisibleStats.Stats,
3122  delta_stats: VisibleStats.Stats
3123) -> Handle & Stats:
3124  match copies:
3125    case (measured_base, retained_base):
3126      match measured_base:
3127        case VisibleStats.Stats{base_entries, base_payload}:
3128          match delta_stats:
3129            case VisibleStats.Stats{delta_entries, delta_payload}:
3130              (Handle{path, lock, ByteMemTable.Table{original}, state, retained_base},
3131                Stats{Nat.add(base_entries, delta_entries),
3132                  Nat.add(base_payload, delta_payload)})