Module analysis 

Structs

AnalysisDatabase

Persistent query cache for lexing, parsing, and type checking Harn sources.

AnalysisStats

ParseOutput

A parsed source. The text and AST are shared with the database cache, so handing one out costs two reference-count bumps, not a deep copy.

SourceDigest

Deterministic content digest for a source input.

SourceId

Stable source identity used by the incremental analysis cache.

SourceVersion

Monotonic caller-owned version for a source input.

TypeCheckConfig

TypeCheckOutput

One type-check result, shared with the database cache like ParseOutput. Consumers that want to extend diagnostics copy it first.

Enums

AnalysisError

SourceUpdate

Functions

process_stats

Every tokenization, parse, and type check this process has run, whether through an AnalysisDatabase or directly. A driver that analyzes each file once reads one of each per file here, so a second, uncached pass over the same program shows up as a count instead of only as wall time.