Crate kora_types 

kora-types: name resolution and the checks an editor can run on every keystroke.

This is deliberately not a full type checker. It answers the questions that make an editor useful — what is defined, where, and is this name real — fast enough to run on every change, and without executing anything.

The same index powers hover and go-to-definition, so the editor’s answers and its squiggles can never disagree.

Structs

Analysis

Everything the editor needs about one file.

Diagnostic

Symbol

A definition the editor can jump to and describe.

Enums

Severity

How much a problem matters.

SymbolKind

What kind of thing a name refers to.

Functions

analyze

Analyse a parsed program.

builtin_names

module_functions

The stdlib modules and their exports, for completion.

module_names