typed.clojure.main — org.typedclojure/typed.clj.checker 1.1.4

-main clj

(-main & args)

Same args as exec.

exec clj

(exec {:keys [parallel shell-command] :or {shell-command "bin/typed"} :as m})

Type check namespaces. Plural options may be provided as a vector.

:dirs string(s) naming directories to find namespaces to type check :focus symbol(s) naming namespaces to type check (overrides :dirs) (default: nil) :platform platform(s) to check: :clj{s} (default: :clj) :refresh if true (or if :refresh-dirs option is provided) refresh with tools.namespace before rechecking (default: nil) :refresh-dirs string(s) naming directories to refresh if repl/refresh-dirs is empty. (default: use :dirs) :watch if true, recheck on changes to :watch-dirs. :watch-dirs string(s) naming extra directories to watch to trigger rechecking. (default: use :dirs + :refresh-dirs) :split a pair [this-split num-splits]. Evenly and deterministically split checkable namespaces into num-splits segments, then check this-split segment (zero-based). eg., [0 1] ;; check everything [0 2] ;; check the first half of all namespaces [1 2] ;; check the second half of all namespaces [2 5] ;; check the 3rd split of 5 splits (default: [0 1]) :shell-command shell command to parallelize via :parallel option (default: "bin/typed") :parallel evenly parallelize :exec-command to check namespaces using GNU Parallel. In combination with :split, assumes all splits have same parallelism.