Liking cljdoc? Tell your friends :D

typed.clj.analyzer.passes.infer-tag


-infer-tagcljmultimethod


=-arglists?clj

(=-arglists? a1 a2)

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
                    inference
raw docstring

cljdoc is a website building & hosting documentation for Clojure/Script libraries

× close