hara.typed.xtalk-form
apply-default-type
(apply-default-type base-type default-type)
arrayify-type
(arrayify-type type ctx)
infer-anon-fn
(infer-anon-fn [_ args & body] ctx)
infer-arr-clone
(infer-arr-clone [_ arr-expr] ctx)
infer-blank-container
(infer-blank-container [op type-expr opts-expr] ctx)
infer-body
(infer-body body ctx)
infer-cond
(infer-cond [_ & clauses] ctx)
infer-dot
(infer-dot [_ obj-expr key-or-path] ctx)
infer-fixed-output
(infer-fixed-output out-type)
infer-free
(infer-free [_ & args] ctx)
infer-get-idx
(infer-get-idx [_ obj-expr idx-expr default-expr] ctx)
infer-get-key
(infer-get-key [_ obj-expr key-expr default-expr] ctx)
infer-get-path
(infer-get-path [_ obj-expr path-expr default-expr] ctx)
infer-if
(infer-if [_ cond-expr then-expr else-expr] ctx)
infer-keyword-call
(infer-keyword-call [callee target default-expr] ctx)
infer-let
(infer-let [_ bindings & body] ctx)
infer-make-container
(infer-make-container [op initial-expr type-expr opts-expr] ctx)
infer-map
(infer-map form ctx)
infer-obj-assign
(infer-obj-assign [_ target-expr & source-exprs] ctx)
infer-obj-clone
(infer-obj-clone [_ obj-expr] ctx)
infer-obj-pairs
(infer-obj-pairs [_ obj-expr] ctx)
infer-obj-vals
(infer-obj-vals [_ obj-expr] ctx)
infer-or
(infer-or [_ & args] ctx)
infer-ternary
(infer-ternary [_ cond-expr then-expr else-expr] ctx)
infer-vector
(infer-vector form ctx)
infer-when
(infer-when [_ cond-expr & body] ctx)
infer-while
(infer-while [_ cond-expr & body] ctx)
infer-yield
(infer-yield [_ value-expr] ctx)
merge-open-types
(merge-open-types left right)
merge-record-fields
(merge-record-fields left-fields right-fields)