def cancel.fold.retained

mylsm-lsm-store@0.6.0.1 · src/coordinator/RequestQueue.bend:409

import Base

409def cancel.fold.retained(
410  state: CancelFold,
411  measured: Pending & Nat
412) -> CancelFold:
413  match state:
414    case CancelFold{kept, cancelled, count, bytes}:
415      match measured:
416        case (pending, size):
417          CancelFold{Con{pending, kept}, cancelled,
418            Nat.add(count, 1n), Nat.add(bytes, size)}