tur/contract
stdlib/contract.tur
runtime contract macros (assert!, require!, ensure!, ...).
Since: Phase C1
defn
contract-enabled?
(contract-enabled? :)
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] :)
defn
with-contract-handler
(with-contract-handler [h : int body : int] :)
Internal definitions
tur-contract-checktur-contract-check-inv