createTypeAliasTypeRef creates: <schemaId>.<ns>.<member><typeof <inferFrom>> as a TypeReferenceNode for use in type alias declarations.

detectEffectVersionUncached performs the actual version detection logic.

detectFloatingEffect checks if a node is an expression statement containing an Effect type that is neither yielded nor assigned. Returns nil if the no

diagnosticCodeString formats the diagnostic code for display.

discoverPackagesUncached performs the actual source file scan.

effectFnBuildGenBody builds a generator function expression for a gen opportunity: function*<TypeParams>(params) { ...generatorBody... }

effectFnBuildLayerMemberReturnStatement rebuilds a `return { ... }` statement, replacing the target property's initializer with the synthesized Effect

effectFnBuildRegularBody builds the body function for a regular (non-gen) opportunity. For function declarations and arrow functions, creates an anony

effectFnBuildVarStatement wraps a call expression in a variable statement: [export] const name = callExpr

effectFnBuildVarStatementFromEnclosing builds a replacement VariableStatement from an existing one, replacing the target node's initializer with callE

effectFnFindEnclosingReturnedObject returns the enclosing ReturnStatement when the target node is the initializer of a PropertyAssignment inside a ret

effectFnFindEnclosingVarStatement navigates up from a target node (which should be the initializer of a VariableDeclaration) to find the enclosing Var

entityNameToDataTypeName maps a type name to a recognized data type name.

evaluatePreview creates an in-memory program for a preview fixture and runs the specified rule directly to collect diagnostics. We bypass the checker

extractSelfTypeName extracts the name text from a Self type node. For TypeReferenceNode with Identifier typeName → identifier text. For TypeReferenceN

filterNonPrimitiveTypes filters out primitive types (number, string, boolean, literals).

findFunctionReturningEffectGen walks from the token up the ancestor chain to find a function-like node whose body directly returns an Effect.gen call,

findLayerModuleName resolves the imported identifier name for the "Layer" export from the "effect" package. Falls back to "Layer" if not found.

findPreviewFile locates the preview fixture for a rule, checking v4 first then v3. Returns the version, file path, and source text.

findSubjectNodeAtDepth traverses the flow node into arguments to find the subject at the right depth, then deep-clones it.

findUnhandledContexts returns the source context types that are not assignable to the target context type.

findUnhandledErrors returns the source error types that are not assignable to the target error type.

findUnhandledLayerContexts returns the source Layer RIn types that are not assignable to the target RIn type.

firstAvailableFixName determines which fix variant would be first (highest priority) for the given match, matching the reference implementation's fix

formatContextTypes formats a slice of context types as a union string (e.g., "EnvA | EnvB").

formatErrorTypes formats a slice of error types as a union string (e.g., "ErrorA | ErrorB").

formatLayerContextTypes formats a slice of Layer context types as a union string (e.g., "ServiceA | ServiceB").

formatLayerHover builds the Layer hover documentation including providers/requirers summary, Mermaid diagram links, and Layer type parameters.

generateAccessors generates accessor text directly via InsertText.

generateErrorBaseline creates an error baseline string matching the TypeScript harness format.

generateLayerGraphBaseline creates a layer graph baseline string.

generatePipingFlowBaseline creates a piping flow baseline string.

generateQuickFixBaseline creates the content for a *.quickfixes.txt baseline file.

generateRefactorBaseline creates the content for a *.refactors.txt baseline file.

getAdjustedNode extracts the initializer expression from a declaration node to follow during symbol resolution.

getBodyExpression gets the single return expression from a function body. For arrow functions with expression bodies, returns the expression directly.

getCompletionPackageJsonDirectory gets the package.json directory for a source file.

getDisplayNode returns the node used for display purposes. If the node's parent is a variable declaration and the node is the initializer, use the var

getEffectConfig retrieves the Effect plugin configuration from the program's compiler options. Returns nil if no Effect config is present.

getFunctionLikeType returns the return type node from a function-like declaration.

getFunctionParameters returns the parameter nodes of a function.

getIndentationAtPosition returns the whitespace characters from line start to the first non-whitespace.

getInferredReturnTypeFromChecker extracts the return type from a function-like declaration using the type checker. It handles overloaded functions and

getInferredTraceName computes a context-aware inferred trace name for a function. It checks (in priority order): 1. Layer service context (ServiceTag.

getLineStartPositionForPosition finds the start of the line containing the given position.

* Get lines from source file text

getNodeModifiers returns the modifier list from a function-like node.

getNodeTextForPropertyLookup extracts the text from an identifier or string literal node for use in property type lookup.

getObjectLiteralElementName returns the name node of an object literal element (PropertyAssignment, ShorthandPropertyAssignment, etc.), or nil.

getPackageJsonDirectory gets the package.json directory for a source file from its metadata.

getParamNamesString extracts parameter names from a function node and returns a string like "x, y" or "" if there are no parameters. For destructuring

getSubjectText extracts the subject text for the diagnostic message. If the pipeable segment starts at index 0, uses the subject node text directly. O

getTypeParamString extracts type parameter names from a function node and returns a string like "<T, U>" or "" if there are no type parameters.