~/jendhub

def cancel_connection

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

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

468# Handles cancel connection.
469def cancel_connection(queue: Queue, target: U32) -> CancelResult:
470  match queue:
471    case Queue{front, back, _, _}:
472      cancel.result(cancel.fold.loop(
473        append(front, reverse.into(back, Nil{})), target,
474        CancelFold{Nil{}, Nil{}, 0n, 0n}))

Uses (9)

Used by (0)

No other definition uses this definition.