def end.at

ezx@1.11.0.0 · src/lock/run.bend:648

import ezx@1.11.0.0/src/lock/run.bend as Run
import Base

648# a status that is 0 ends nothing, so the program runs out and exits 0; any
649# other exits with that status and the reason
650def end.at(zero: Bool, +code: U32, +why: String) -> IO(Unit):
651  match zero:
652    case True{}:
653      IO.pure(Unit, Unit{})
654    case False{}:
655      IO.die(Unit, code, why)

Uses (7)

Used by (3)