def over.go

ezx@1.11.0.0 · src/ez/timer.bend:43

import Base

43# whether the run has outstayed its budget, which a run with no budget never
44# has
45def over.go(none: Bool, +deadline: String) -> IO(Bool):
46  match none:
47    case True{}:
48      IO.pure(Bool, False{})
49    case False{}:
50      over.now(deadline)