Format a document.

Collect all free type variables in this type.

Generate a single custom system by invoking the current tix binary as a subprocess with `stubs generate module`. Subprocess invocation mirrors the CLI

Generate the complete lib.tix file content.

Get the entry for a TyId.

Return the set of files that import the given path.

Look up or create an implicit nested `MergingSet` for a static key.

Get the global val declarations map.

Convenience wrapper for use from `server.rs` — calls `workspace_symbols` with the locked state. Separated so the handler can remain thin.

Check whether any module path has chunks assigned to different files.

DFS cycle detection for alias references.

Check whether the syntax node already has a doc comment annotation. Walks backward through preceding siblings/tokens looking for a comment that conta

Check whether the file has a `no-module` directive in its leading comments. Scans the first tokens of the syntax tree for a comment containing `no-mo

Returns `true` if the file contains a `# tix-nocheck` comment anywhere.

Returns true if any Lambda has a non-primitive param type.

Returns true if any TyVar index appears in Lambda param position more than once across distinct Lambdas.

Infer bindings (for let-in or attrset bodies). Returns nothing for let-in, returns the AttrSetTy for attrsets.

Like infer_bindings, but also constructs the AttrSetTy for use in attrset expressions.

Infer an SCC group, returning any errors that occurred. Cleanup (level exit, deferred overload bookkeeping, poly_type_env updates) always runs regardl

Inner logic for SCC group inference. Returns the inferred (name, ty) pairs and any errors that occurred. Inference continues past errors — a failed bi

Returns (PhaseResult, Option<stdout>) — stdout contains the generated tix.toml on success.

Initialize the tracing subscriber (replaces env_logger). When `show_timing` is true, enables span-level timing events so that tracing spans automatic

Wrap the user's options expression in the generic `extract-options.nix` helper, then run `nix eval --json` and return the parsed tree.

Invoke `nix eval --json` to classify nixpkgs attributes recursively.

Recursive helper for `is_builtin_call`. The `depth` parameter prevents infinite loops through pathological alias chains.

Check whether an ExprId refers to something named `callPackage`. Matches two patterns: - `callPackage` — a bare `Reference("callPackage")` - `pkgs.ca

Check if the signature contains pseudo-code or other untranslatable notation.

Check if a type is a function (Lambda), unwrapping Named wrappers.

Returns true if this type is an intersection where every member is a lambda. Such annotations declare overloaded function types that can't be verified

Check if the body expression looks like a NixOS/HM module return shape: typically an attrset with keys like `options`, `config`, `imports`, `meta`.

Check if a file is a pass-through barrel for the given origin path. A pass-through file imports origin_path and returns the result directly.

Check whether a syntax node is an attrpath element inside a Select expression. Returns true when the node is a child of an `Attrpath` whose parent is

Check if a type is "set-like" — submodule, attrsOf, or freeform union. These types almost always have non-null defaults (`{}`) when a default is decla

Determine whether `target` is a top-level export of this file. A name is considered a top-level export when it appears as a field in the file's root

Check if a name's binding value is a trivial literal (int, float, string, bool, path) whose type is obvious from the syntax.

Whether a concrete type can be used in Nix string interpolation. In Nix, `"${expr}"` works for strings, paths, and attrsets (derivations). It does NO

Recursively lift all pre-allocated expression TyId slots under `expr` to the current level. This ensures that during extrusion, these slots are treate

Walk the type graph reachable from `ty_id` and lift any variables below the current level to the current level. This ensures that variables from stub

Convert a byte offset to a 0-indexed line number.

Link a freshly extruded variable to the original polymorphic variable. Per the SimpleSub paper, we use direct bounds manipulation rather than constra

Get the element type of a list type. Returns `Any` if not a known list type.

Register a single inline type alias (from a doc comment in a .nix file). Inline aliases shadow any existing alias with the same name.

Build noogle data-json via nix and load the JSON.

Returns the static name string if `name` is a known global builtin (i.e. available without the `builtins.` prefix in Nix).

Convert lowering-phase diagnostics into `TixDiagnostic`s. Lowering diagnostics carry their own `AstPtr` spans (they don't have an `ExprId` location).

Determine how well `name_lower` matches `query_lower`. Returns `None` if the name doesn't match at all.

Merge individual files that share the same filename across sibling directories into a filename-specific glob like `ancestor/**/name.nix`. For example

Recursively walk a multi-segment attribute path like `a.b.c = val`, creating implicit nested attrsets for intermediate segments.

Get the parent directory for merging purposes. - `dir/**/*.nix` → dir's parent - `dir/file.nix` → dir (the file's parent directory)

Recursively merge two parsed attrsets. For each field in `new`: - If both old and new have a field and both are `AttrSet`, recurse (nested module merg

Try to merge sibling `dir/**/*.nix` globs (and individual files) into a broader `parent/**/*.nix` glob. Iterates until no more merges are possible, ha

Translate a [`ModuleSource`] into a Nix syntax fragment suitable for splicing into a `modules` list passed to `evalModules` or `eval-config.nix`. - `

Resolve the pinned nixpkgs path via the flake. Same mechanism as `nixpkgs_lib.rs::nixpkgs_src` — duplicated intentionally (see SESSION.md for the shar

Resolve the pinned nixpkgs path via `nix eval --raw .#nixpkgs-src`.

Parse a `context: <name>` annotation from a doc comment string. A doc comment like `/** context: nixos */` is stored as the string `"context: nixos"`

Parse a type expression through the doc comment parser (collect.rs). Wraps the expression in a `type: x :: <expr>` doc comment.

Parse a type expression through the .tix parser (tix_collect.rs). Wraps the expression in a `val x :: <expr>;` declaration.

Count the function arity (number of arrows along the spine) of a ParsedTy. For example, `a -> b -> c` has arity 2, and `int` has arity 0.

Peel off `n` Lambda layers from a type and return the resulting return TyRef.

Build a pipeline function reference string based on access pattern.

Process noogle data into module-grouped entries and top-level re-exports. Returns: (modules, top_level) where modules is {module_name: [e