Liking cljdoc? Tell your friends :D
Clojure only.
clojure.tools.analyzer.passes.jvm.infer-tag
infer-tagclj
(infer-tag {:keys [tag form] :as ast})Performs local type inference on the AST adds, when possible, one or more of the following keys to the AST:
- :o-tag represents the current type of the expression represented by the node
- :tag represents the type the expression represented by the node is required to have, possibly the same as :o-tag
- :return-tag implies that the node will return a function whose invocation will result in a object of this type
- :arglists implies that the node will return a function with this arglists
- :ignore-tag true when the node is untyped, does not imply that all untyped node will have this
Passes opts:
- :infer-tag/level If :global, infer-tag will perform Var tag inference
Performs local type inference on the AST adds, when possible,
one or more of the following keys to the AST:
* :o-tag represents the current type of the
expression represented by the node
* :tag represents the type the expression represented by the
node is required to have, possibly the same as :o-tag
* :return-tag implies that the node will return a function whose
invocation will result in a object of this type
* :arglists implies that the node will return a function with
this arglists
* :ignore-tag true when the node is untyped, does not imply that
all untyped node will have this
Passes opts:
* :infer-tag/level If :global, infer-tag will perform Var tag
inferencecljdoc is a website building & hosting documentation for Clojure/Script libraries
× close