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
Clojure only.
check-the-var
typed.cljc.checker.check.the-var
check-the-var
clj
(check-the-var expr expected opts)
source
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