def pending.cancel.disposition.id

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

import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol

382def pending.cancel.disposition.id(
383  copies: U32 & U32,
384  accepted_sequence: Nat,
385  deadline_ms: Nat,
386  encoded_bytes: Nat,
387  response_peak: Nat,
388  request: Protocol.Request,
389  +target: U32
390) -> CancelDisposition:
391  match copies:
392    case (connection_id, comparison_id):
393      cancel.disposition(
394        Pending{connection_id, accepted_sequence, deadline_ms,
395          encoded_bytes, response_peak, request},
396        U32.is_eq(target, comparison_id))