law cancel_running_absent

bend-kit-scheduler@0.4.1.0 · queue_laws.bend:154

import Base
import bend-kit-scheduler@0.4.1.0/queue.bend as Q

154law cancel_running_absent:
155  for ~A: Data
156  for i: Nat
157  for s: Q.State<A>
158  absent.list(A, Q.running(A, Q.cancel(~A, i, s)), i)