~/jendhub

def cancel.fold.loop

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

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

437def cancel.fold.loop(
438  entries: List<&1, Pending>,
439  +target: U32,
440  state: CancelFold
441) -> CancelFold:
442  match entries:
443    case Nil{}: state
444    case Con{pending, rest}:
445      cancel.fold.loop(rest, target,
446        cancel.fold.add(state, pending.cancel.disposition(target, pending)))

Uses (6)

Used by (1)