Result of translating a noogle signature to .tix syntax.

A single lib function entry.

Events sent to the single analysis loop. Mirrors rust-analyzer's closed Event enum pattern — all inputs to the loop are a single enum over one channel

All mutable state for the LSP's analysis pipeline.

Timing breakdown for a single `update_file` call.

Resolved attrpath key context — shared between hover, field doc, and goto-def.

Builder for error-collecting type inference. Always returns partial results — even when errors occur, bindings inferred before the error have types av

Parsed output from `tix --format json check`.

Syntax provider for the CLI. Pre-extracts SyntaxBundles for all known project files during Phase 1 (sequential). Files not in the pre-extracted set (t

Shared options for all `gen-stubs` subcommands.

Pre-compiled context glob patterns for efficient per-file matching. Build once via `CompiledContexts::new()`, then call `find_matching()` per file — a

A projection of a type's top-level constructor, carrying only the information needed for disjointness checks (field keys and openness for attrsets, no

Test setup with context stubs (`.tix` declarations) injected via ProjectConfig. Used by both completion and hover tests that need NixOS module contex

Result of a demand-driven inference for a single file.

Union-find over TyIds built from `TypeStorage::equiv_pairs` at canonicalization time. Collapses variables linked by `constrain_equal` to a single repr

Result of walking up the syntax tree from cursor to callsite.

Cached analysis output for a single open file.

Per-file rendering metadata collected during Phase 1. SyntaxBundles go to the coordinator; this struct holds what Phase 3 needs for diagnostics. The f

State of a file in the coordinator cache. Tracks whether inference is in-progress (so other threads can wait) or complete.

Complete snapshot for a file. Stored in DashMap for lock-free handler access.

Detected flake inputs relevant for `[stubs.generate]`.

Result of successful stub generation: the stubs directory plus the resolved source roots for `@source` annotation resolution.

Options for the `gen-stubs home-manager` subcommand.

Result of resolving all imports in a file.

Intermediate result from inference (before combining with metadata for rendering).

Everything needed to run type inference after the syntax phase (parse, lower, nameres, SCC grouping). This bundle is `Send + Sync` so inference can ru

A layer of SCCs at the same topological depth. All dependencies from prior layers are guaranteed to have cached signatures before this layer runs.