def by.effect

ezx@1.11.0.0 · src/ez/clock.bend:19

import Base

19# the deadline as the run effect wants it: an absolute second, or "0" when
20# there is no budget to keep. The effect is what queues the jobs, so it is what
21# keeps the deadline; a job bounded by what was left when its batch started is
22# not bounded at all once it waits its turn behind three others.
23def by.effect(+deadline: String) -> String:
24  Bool.pick(String, String.is_empty(deadline), "0", deadline)