def cancel.result.values

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

import Base

448def cancel.result.values(
449  kept: List<&1, Pending>,
450  cancelled: List<&1, Pending>,
451  counts: Nat & Nat,
452  byte_counts: Nat & Nat
453) -> CancelResult:
454  match counts:
455    case (queue_count, result_count):
456      match byte_counts:
457        case (queue_bytes, result_bytes):
458          CancelResult{
459            Queue{reverse.into(kept, Nil{}), Nil{}, queue_count, queue_bytes},
460            reverse.into(cancelled, Nil{}), result_count, result_bytes}