Namespaces
clojure.core.typed
This namespace contains typed wrapper macros, type aliases and functions for type checking Clojure code. check-ns is the interface for checking namespaces, cf for checking individual forms.
Public variables and functions:
- ann
- ann-datatype
- ann-form
- ann-interface
- ann-many
- ann-protocol
- ann-record
- atom
- cast
- cf
- check-form*
- check-form-info
- check-ns
- check-ns-info
- check-ns2
- declare-alias-kind
- declare-datatypes
- declare-names
- declare-protocols
- def
- defalias
- default-check-config
- defn
- defprotocol
- dotimes
- envs
- fn
- infer-unannotated-vars
- inst
- inst-ctor
- install
- into-array>
- let
- letfn>
- load-if-needed
- loop
- method-type
- nilable-param
- non-nil-return
- override-constructor
- override-method
- pred
- prepare-infer-ns
- print-env
- print-filterset
- ref
- refresh-runtime-infer
- register!
- reset-caches
- runtime-infer
- spec-infer
- statistics
- tc-ignore
- typed-deps
- untyped-var
- var-coverage
- var>
- warn-on-unannotated-vars
- when-let-fail
clojure.core.typed.expand
Rewriting rules for custom expansions, to improve type checking error messages and reduce local annotations.
Public variables and functions:
- -expand-inline
- -expand-macro
- check-expected
- check-if-empty-body
- check-let-destructure
- check-let-destructure-no-op
- custom-expansion?
- custom-inline?
- expand-inline
- expand-macro
- expand-typed-fn-macro
- expected-type-as
- ignore-expected-if
- inline-assoc-in
- inline-get-in
- inline-map-colls
- inline-map-transducer
- inline-update-in
- map-colls-fallthrough
- parse-fn-sigs
- require-expected
- solve
- type-error
- with-post-blame-context
clojure.core.typed.hole
This namespace contains easy tools for hole driven development
Public variables and functions:
clojure.core.typed.load
Front end for actual implementation in clojure.core.typed.load1.
Public variables and functions:
typed.clojure
Wrapper macros that do the right thing for each platform. See typed.clojure.jvm for jvm-specific ops.
Public variables and functions:
typed.clojure.jvm
JVM-specific annotations and operations. See typed.clojure for cross-platform ops.
Public variables and functions: