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
- -defalias
- 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
- inst
- inst-ctor
- into-array>
- let
- letfn>
- load-if-needed
- loop
- method-type
- nilable-param
- non-nil-return
- override-constructor
- override-method
- pred
- print-env
- print-filterset
- ref
- register!
- reset-caches
- statistics
- tc-ignore
- untyped-var
- var-coverage
- warn-on-unannotated-vars
- when-let-fail
clojure.core.typed.hole
This namespace contains easy tools for hole driven development
Public variables and functions:
clojure.core.typed.impl
Public variables and functions:
- ann
- ann-datatype
- ann-interface
- ann-many
- ann-protocol
- ann-record
- cast
- declare-alias-kind
- declare-datatypes
- declare-names
- declare-protocols
- defalias
- dotimes
- envs
- letfn>
- load-if-needed
- method-type
- nilable-param
- non-nil-return
- override-constructor
- override-method
- pred
- register!
- statistics
- untyped-var
- var-coverage
- warn-on-unannotated-vars
- with-current-location
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: