def guard

cswap-bend-cli@0.1.0.0 · act.bend:43

import Base

43# Fail with (code, msg) unless `ok`.
44def guard(ok: Bool, code: U32, msg: String) -> of(Unit):
45  match ok:
46    case True{}:
47      pure(Unit, Unit{})
48    case False{}:
49      fail(Unit, code, msg)