org.typedclojure/typed.clj.checker
1.4.0-SNAPSHOT
cljdoc
typedclojure/typedclojure
Liking cljdoc? Tell your friends :D
Current release is
1.3.0
Articles
Readme
Changelog
Historical repository organization
TODO
Upgrading from 0.7.x to monorepo
Typed Clojure Update 1 of 2
Typed Clojure Update 2 of 2
Typed Clojure Update 1 of 2
Typed Clojure Update 2 of 2
Public interface for type errors as data
Implementation detail of type inference
unsoundness
Releases
Tutorial on Type Inference
Namespaces
typed
clj
checker
array-ops
assoc-utils
base-env
check-ns
check
deftype
field
host-interop
method
reify
type-hints
ctor-override-env
experimental
infer-vars
field-override-env
file-mapping
method-override-env
method-param-nilables
method-return-nilables
statistics
tc-equiv
test-utils
cljc
checker
abo
base-env-common
base-env-helper
check-below
check-ns-common
check
app-error
apply
binding
cache
case
catch
cli
const
def
do
fn-method-one
fn-methods
get
ignore
invoke
invoke-kw
letfn
local
loop
meta-ann
monitor
multi
new
print-env
quote
recur
seq-ops
set
set-bang
special
cast
loop
the-var
throw
try
var
vector
with-meta
collect-utils
constant-type
declared-kind-env
def-utils
fold-rep
hset-utils
indirect-ops
init
local-result
runtime-check
test-utils
trans
update
dir
doc
clojure
main
typed.cljc.checker.check-below
bad-proposition-delayed-error
check-below
filter-better?
maybe-check-below
simple-proposition-better?
typed.cljc.checker.check-ns-common
*register-clj-anns
check-ns
check-ns-info
typed.cljc.checker.check.app-error
app-type-error
app-type-error-kw
domain-subtype?
plainapp-type-error
polyapp-type-error
trim-arities
typed.cljc.checker.check.apply
maybe-check-apply
typed.cljc.checker.check.binding
check-binding
typed.cljc.checker.check.cache
cache-info-id
check-top-level-expr
monitored-checker-map
need-to-check-top-level-expr?
ns-check-cached?
remove-stale-cache-entries
retrieve-form-cache-info
with-recorded-deps
typed.cljc.checker.check.case
check-case-thens
typed.cljc.checker.check.catch
check-catch
typed.cljc.checker.check.cli
parse-cli-spec
parse-fn-return-type
vector-args
typed.cljc.checker.check.const
check-const
filter-for-value
typed.cljc.checker.check.def
add-checks-normal-def
check-def
check-defmacro-or-declare
check-normal-def
defmacro-or-declare?
init-provided?
typed.cljc.checker.check.do
check-do
enforce-do-folding
internal-form?
typed.cljc.checker.check.fn-method-one
check-fn-method1
typed.cljc.checker.check.fn-methods
check-fn-methods
check-fni
expected-for-method
function-type-union?
function-type?
function-types
method->fixed-arity
method-return?
method?
methods?
opt-map?
typed.cljc.checker.check.get
invoke-get
typed.cljc.checker.check.ignore
tc-ignore-expr
typed.cljc.checker.check.invoke
check-invoke
normal-invoke
typed.cljc.checker.check.invoke-kw
invoke-keyword
typed.cljc.checker.check.letfn
check-letfn
typed.cljc.checker.check.local
check-local
typed.cljc.checker.check.loop
check-loop
inline-annotations
parse-annotation
typed.cljc.checker.check.meta-ann
check-meta-ann
check-meta-debug
check-meta-ignore
check-meta-inst
check-meta-unsafe-cast
maybe-check-meta-ann
meta-keys
typed.cljc.checker.check.monitor
check-monitor
typed.cljc.checker.check.multi
call-expected-dispatch-type*
expected-dispatch-type
IExpectedDispatchType
typed.cljc.checker.check.new
check-new
typed.cljc.checker.check.print-env
print-env*
typed.cljc.checker.check.quote
check-quote
typed.cljc.checker.check.recur
check-recur
typed.cljc.checker.check.seq-ops
concat-types
cons-types
type-to-seq
typed.cljc.checker.check.set
check-set
typed.cljc.checker.check.set-bang
check-set!
typed.cljc.checker.check.special.cast
check-cast
typed.cljc.checker.check.special.loop
check-special-loop
typed.cljc.checker.check.the-var
check-the-var
typed.cljc.checker.check.throw
check-throw
typed.cljc.checker.check.try
check-try
combine-rets
typed.cljc.checker.check.var
check-var
typed.cljc.checker.check.vector
check-vector
typed.cljc.checker.check.with-meta
check-with-meta
visit-tail-pos
cljdoc
builds & hosts documentation for Clojure/Script libraries
Keyboard shortcuts
Ctrl
+
k
Jump to recent docs
←
Move to previous article
→
Move to next article
Ctrl
+
/
Jump to the search field
Raise an issue
Browse cljdoc source
Chat on Slack
× close