AddNode adds a node with the given data and returns its index.

NewDiagnostic creates a diagnostic using the context's source file and default severity. The loc is the pre-computed error range, message provides the

GetTypeAtLocation wraps checker.GetTypeAtLocation with node-kind and JSX safety guards. It returns nil when the node is nil, not an expression/type-no

AddEdge adds a directed edge from source to target with the given data. It panics if either source or target does not exist.

New creates an empty directed graph.

IsNodeReferenceToEffectModuleApi reports whether node resolves to a member exported by the "effect" package.

NewFixAction creates a tracker, runs the action's edit closure, and returns a *ls.CodeAction wrapping the resulting edits for the current SourceFile.

Cached checks the store for an existing value. On miss, it calls compute, stores the result, and returns it. This correctly caches zero/nil values as

String returns the string representation of the Effect major version.

buildDiamondGraph creates: A→B, A→C, B→D, C→D

GetErrorRange computes the error range for a node in the context's source file. Use this in rules that don't have Analyze functions to get a location

makeDiag creates a minimal diagnostic with the given code and category.

SupportedEffectVersion returns the normalized supported Effect major version. It returns EffectMajorV4 when v4 is detected, and EffectMajorV3 for all

collectValues collects the values from an iter.Seq2 into a slice.

makePluginMap creates an *OrderedMap for testing with the given key-value pairs.

EffectType parses an Effect type and extracts A, E, R parameters. Returns nil if the type is not an Effect. The detection strategy is chosen based on

NewRefactorAction creates a tracker, runs the action's edit closure, and returns a *ls.CodeAction wrapping the resulting edits for the current SourceF

EdgeCount returns the number of edges in the graph.

NodeCount returns the number of nodes in the graph.

* Helper to create an Assessment.Input and run assess() + computeChanges()

UnrollUnionMembers returns the constituent types of a union type, or a single-element slice containing the type itself if it's not a union.

ParseFromPlugins parses the @effect/language-service plugin config from the plugins array. The plugins parameter is the value of compilerOptions.plugi

cloneNodeList deep-clones a NodeList if non-nil.

makePlugins wraps plugin maps into the []any structure expected by ParseFromPlugins.

LayerType parses a Layer type and extracts ROut, E, RIn parameters. Returns nil if the type is not a Layer. The detection strategy is chosen based on

FindModuleIdentifier resolves the imported identifier name for the given export from the "effect" package. Falls back to the provided exportName if no

* Find a property in an object literal expression by name

nodeText extracts the source text of a node from the source file.

CollectEffectDirectives scans the source text and returns all Effect directives found.

String returns the string representation of a Severity.

BuildDirectiveSet creates a DirectiveSet from a slice of directives for efficient lookup.

NewTypeParser builds a checker-backed TypeParser.

* Create a test assessment input from plain objects

* Helper to test setup changes and generate snapshots

makeNodeInfo creates a minimal LayerGraphNodeInfo for testing walkLeavesMatching. When hasTag is true, Provides gets a non-empty slice so the predicat

newStylePolicy creates a stylePolicy from the given resolved options. Package names are lowercased for case-insensitive matching.

makeExtendsCompletionItem creates a CompletionItem for an extends-clause completion. It sets FilterText to accessedText.label so VS Code can filter co

Apply transforms a fix based on the export's package and the configured style. Returns nil if the fix should be suppressed (e.g., ignored top-level re

GetTypeOfPropertyByName returns the type of a property by name. Prefer this when only the property type is needed.

PipingFlows returns all piping flows found in a source file, sorted by source position.

createApiCall creates Schema.<name>(...args) (e.g., Schema.Array(Schema.String)).

createApiCall creates Schema.<name>(...args).

FilterDiagnosticsForExitCode filters out Effect diagnostics whose category should be ignored for exit-code determination, based on the exit-code confi

compileAndGetCheckerAndSourceFile compiles a TypeScript source string and returns the checker, type parser, source file, and a done function to releas

createApiPropertyAccess creates Schema.<name> (e.g., Schema.String).

ExpectedAndRealTypes walks the AST of a source file using breadth-first traversal and collects pairs of expected vs actual types at assignment sites.

GetNode returns the data for the node at the given index. The second return value is false if the node does not exist.

IsNodeReferenceToEffectSchemaModuleApi reports whether node resolves to a member exported by the "effect" package from a module that exports the Schem

Nodes iterates all nodes as (index, data) pairs, sorted by index.

byteSpanToRange converts a byte offset span to an LSP Range.

* Insert a node at the end of a list (array or object properties), handling commas properly

BytePosToLSPPosition converts a single byte offset in the context's SourceFile to an lsproto.Position using ECMA line/character position.

EffectFnIncludes checks if a variant is in the configured (or default) effectFn list.

EffectGenCall parses a node as Effect.gen(<generator>). Returns nil when the node is not an Effect.gen call.

ParseDataForExtendsClassCompletion parses position context for a completion in the extends clause of a class declaration. It calls ParseAccessedExpres

createApiPropertyAccess creates Schema.<name>.

BytePosToLSPPosition converts a single byte offset in the context's SourceFile to an lsproto.Position using ECMA line/character position.

GetEffectiveSeverity returns the effective severity for a rule at a given line. It checks file-level suppressions first, then next-line directives, th

makeCompletionItem creates a CompletionItem with snippet format and a text edit.

Clone returns a deep copy of the graph. Node and edge data values are shallow-copied, but all internal maps and slices are independently allocated.

DetectEffectVersion detects the major version of the Effect library from the program's source files. Returns EffectMajorUnknown if no Effect dependenc

ParsePipeCall detects pipe() and .pipe() call patterns. Returns nil when the node is not a recognized pipe call.

ToMermaid renders the graph as a Mermaid flowchart diagram string.

extractCovariantType gets the type argument from a covariant property. Covariant<A> is encoded as () => A, so we get the return type.

makeOutlineNode creates a LayerOutlineGraphNodeInfo for testing with the given number of provides and requires (using nil pointers, sufficient for ord

processType converts a TypeScript type to a Schema expression, with hoisting support.

* Render a single line with consistent formatting * @param lineNum - Line number (1-based) or undefined for lines without numbers (changes) * @par

ClassNameText returns the text of the class name node.

FindModuleIdentifierForPackage resolves the imported identifier name for the given module from an arbitrary package. It checks: - Namespace imports: i

HasNode returns true if a node with the given index exists.

AccessedObjectText returns the text of the accessed object node.

EffectFnCall parses a node as an Effect.fn-family call. It supports fn, fnUntraced, and fnUntracedEager, both regular and generator forms.

Externals returns all nodes with no edges in the given direction, in index order. Externals(Outgoing) yields sink/leaf nodes (no outgoing edges). Exte

GetFunctionLikeBody returns the body node from a function-like node. Handles FunctionDeclaration, FunctionExpression, ArrowFunction, and MethodDeclara

HasEdge returns true if there is an edge from source to target.

IsCommandLineMode reports whether the process is currently running in CLI (tsc) mode, as opposed to LSP or other flows.