tur/contract
stdlib/contract.tur
runtime contract macros (assert!, require!, ensure!, ...).
Since: Phase C1
defn
contract-enabled?
(contract-enabled? :bool)
defmacro
assert!
(assert! [condition])
defmacro
assert-msg!
(assert-msg! [condition msg])
defmacro
require!
(require! [condition])
defmacro
require-msg!
(require-msg! [condition msg])
defmacro
ensure!
(ensure! [condition])
defmacro
ensure-msg!
(ensure-msg! [condition msg])
defmacro
invariant!
(invariant! [obj predicate])
defmacro
invariant-msg!
(invariant-msg! [obj predicate msg])
defn
set-contract-handler!
(set-contract-handler! [handler :int] :void)
defn
with-contract-handler
(with-contract-handler [h :int body :int] :int)
Internal definitions
tur-contract-checktur-contract-check-inv