typed.cljc.checker.check.fn-methods — org.typedclojure/typed.clj.checker 1.3.0

check-fn-methods clj

(check-fn-methods mthods expected opt opts)

check-fni clj

(check-fni expected
           mthods
           {:keys [validate-expected-fn self-name] :as opt}
           opts)

Check a vector of :method AST nodes mthods against an expected type that is a possibly-polymorphic function intersection.

Returns a vector in the same order as the passed in methods, but each method replaced with a vector of type checked methods.

expected-for-method clj

(expected-for-method {:keys [variadic?] :as method}
                     {:keys [dom rest drest kws pdot prest] :as f}
                     all-methods
                     opts)

Takes a :fn-method or :method AST node and a single Function arity type, and returns the Function if the :method node should be checked against the Function, otherwise returns nil.

function-type-union? clj

function-type? clj

function-types clj

(function-types expected opts)

method->fixed-arity clj

(method->fixed-arity {:keys [fixed-arity] :as method})

method-return? clj

(method-return? opts)

method? clj

methods? clj

opt-map? clj