typed.cljc.checker.check.def — org.typedclojure/typed.clj.checker 1.3.0

add-checks-normal-def clj

(add-checks-normal-def expr
                       expected
                       {:typed.cljc.checker.check/keys [check-expr] :as opts})

Add runtime checks to a def with an initial value.

check-def clj

(check-def {:keys [var init env] :as expr} expected opts)

Check a def. If it is a declare or a defmacro, don't try and check it.

check-defmacro-or-declare clj

(check-defmacro-or-declare expr expected opts)

To check a defmacro or declare, just assign it the most general Var type and ignore the body.

check-normal-def clj

(check-normal-def {:keys [meta init env] :as expr}
                  expected
                  {:clojure.core.typed.util-vars/keys [check-config]
                   :typed.cljc.checker.check/keys [check-expr]
                   :as opts})

Checks a def that isn't a macro definition.

defmacro-or-declare? clj

(defmacro-or-declare? {:keys [var] :as expr})

Returns true if this :def AST was originally a defmacro or declare.

init-provided? clj

(init-provided? expr)