Project

Namespaces

Public Vars

hara.typed.xtalk-call

+builtin-rules+

view source

call-arg-errors

(call-arg-errors arg-results expected-inputs args ctx)
view source

call-arity?

(call-arity? input-types provided-count ctx)
view source

callable-types

(callable-types type ctx)
view source

expected-call-arity

(expected-call-arity input-types ctx)
view source

expected-call-inputs

(expected-call-inputs input-types provided-count)
view source

infer-builtin-form

(infer-builtin-form builtin-entry form ctx)
view source

infer-function-call

(infer-function-call [callee & args :as form] ctx)
view source

infer-op-spec-form

(infer-op-spec-form builtin-entry form ctx)
view source

optional-arity?

(optional-arity? input-types provided-count ctx)
view source

rest-input-type?

(rest-input-type? type)
view source

split-call-inputs

(split-call-inputs input-types)
view source

wildcard-callable?

(wildcard-callable? type ctx)
view source