hara.typed
declaration
(declaration ctx sym kind)Returns one typed declaration from a context by declaration kind.
function-def
(function-def ctx fn-ref)Resolves an xtalk function definition from a context.
function-input
(function-input ctx fn-ref)(function-input ctx fn-ref arg-sym)Returns all input types as data, or one input type by argument symbol.
function-output
(function-output ctx fn-ref)Returns the declared xtalk output type as data.
function-report
(function-report ctx fn-ref)Returns the xtalk type-check report for a function in a context.
load-analysis
(load-analysis analysis)Creates an xtalk typed context from parsed analysis.
load-registry
(load-registry)(load-registry registry)Creates an xtalk typed context from a registry map, defaulting to the current registry.
namespace-report
(namespace-report ctx)Returns type-check reports for every function in a context namespace.
register-spec-form!
(register-spec-form! sym type-form spec-meta)(register-spec-form! sym type-form spec-meta aliases)with-context-registry
(with-context-registry ctx f)Runs f with the context registry visible to existing checking internals.