typed.clj.checker.test-utils — org.typedclojure/typed.clj.checker 1.1.2

both-sub? clj macro

(both-sub? s t)

both-subtype? clj

(both-subtype? s t)

caught-top-level-errors clj macro

(caught-top-level-errors nfn & body)

check clj

(check & as)

check-opt clj

(check-opt opt)

clj clj macro

(clj & body)

cljs clj macro

(cljs & body)

equal-types clj macro

(equal-types l r)

equal-types-noparse clj macro

(equal-types-noparse l r)

eret clj macro

(eret f)

ety clj macro

(ety f)

extract-error-messages clj

(extract-error-messages tc-err-res)

is-cf clj macro

(is-cf & args)

is-clj clj macro

(is-clj & args)

is-tc-e clj macro

(is-tc-e & body)

is-tc-err clj macro

(is-tc-err & body)

Returns the result of the tc-err call

is-tc-err-messages clj macro

(is-tc-err-messages & body)

Performs an is-tc-err and returns error messages

is-with-aliases clj macro

(is-with-aliases tst)

should-not-reflect clj macro

(should-not-reflect form)

Turn on all warning flags, and test that reflection does not occur (as identified by messages to err).

sub? clj macro

(sub? s t)

sub?-q clj macro

(sub?-q s t)

subtype? clj

(subtype? s t)

tc clj macro

(tc form)

tc-common* clj

(tc-common* frm
            {{:keys [syn provided?]} :expected-syntax
             :keys [expected-ret requires ns-meta check-config]
             :as opt})

tc-e clj macro

(tc-e frm & opts)

Type check an an expression in namespace that :refer's all of clojure.core.typed (aliased to t) and aliases clojure.core to core.

Takes one form and then options, and returns true if the form checks with the expected input/output types according to the provided options.

The first form in the options can be a static type syntax scoped in the new namespace. This is disambiguated with a call to keyword? (literal keywords aren't valid type syntax).

eg. (tc-e (+ 1 1) Num) ;=> Num

Keyword Options:

:expected-ret An expected ret, evaluated in the current namespace (not the new one that refers c.c.t). Cannot be provided in combination with the implicit first option as a type, as above. :ret Check the return TCResult of this expression against this ret. Evaluated in the current namespace. :ns-meta Map to use as ns metadata. :check-config Map specifying check-config.

tc-err clj macro

(tc-err frm & opts)

tc-t clj macro

(tc-t form)

throws-tc-error? clj macro

(throws-tc-error? & body)

with-err-print-writer clj macro

(with-err-print-writer & body)

Evaluate with err pointing to a temporary PrintWriter, and return err contents as a string.

with-err-string-writer clj macro

(with-err-string-writer & body)

Evaluate with err pointing to a temporary StringWriter, and return err contents as a string.

with-typed-load clj macro

(with-typed-load & body)