~/jendhub

def idle

bend-kit-runner@0.13.0.1 · runner.bend:1422

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

1422# No ticket is pending or running. Dead tickets wait for a Revive, so they do not count.
1423def idle(-A: Data, s: State<A>) -> Bool:
1424  State{Q.State{n, h, run}, ts, ds, bs} = s
1425  Bool.and(empty.heap(A, h), empty.list(A, run))

Uses (6)

Used by (1)