ResolveToGlobalSymbol follows aliases and up to two simple variable indirections so rules can recognize references to the original global symbol.

compileAndGetCheckerAndSourceFileInternal is a copy of compileAndGetCheckerAndSourceFile for use in internal (package typeparser) tests that need acce

extractInvariantType gets the type argument from an invariant property. Invariant<A> is encoded as (_: A) => A, so we extract the return type (same as

runEffectBaseline compares actual output with reference baseline. It only writes to the filesystem when the actual content differs from the reference

unsupportedComment creates a placeholder identifier for unsupported conversions. This produces /* Not supported conversion: <text> */ in the emitted o

walkLeavesMatching performs a BFS from the given start node indices, walking outgoing edges. For each node, it checks if any outgoing neighbors match

ContextTag parses a v3 Context.Tag type and extracts Identifier, Shape parameters. Returns nil if the type is not a v3 Context.Tag.

DFS performs an iterative pre-order depth-first search, yielding (index, data) pairs. Neighbors are visited in deterministic edge-index order.

FindEffectModuleIdentifier finds the local name for the Effect module from imports. It checks both namespace imports (import * as X from "effect/Effec

GetBarrelImportPackages returns normalized package names configured for barrel imports. Defaults to an empty list when unset.

GetImportAliases returns normalized import aliases keyed by lower-cased package names. Defaults to an empty map when unset.

GetNamespaceImportPackages returns normalized package names configured for namespace imports. Defaults to an empty list when unset.

GetTopLevelNamedReexports returns the normalized top-level named reexports mode. Defaults to "ignore" when unset or invalid.

RemoveNode removes the node at the given index and all its incident edges.

createOpaqueTypeAlias creates: export type <name> = <schemaId>.<ns>.<member><typeof inferFrom>

extractNodeInfo computes the LayerGraphNodeInfo for a given AST node.

processNode recursively converts a TypeScript type AST node into a Schema expression.

replaceExpressionViaStatement replaces an expression node by finding its containing VariableStatement, rebuilding it with the new expression as initia

AcquireProgram acquires a slot from the program semaphore.

EncodeMermaidURL encodes a Mermaid diagram string into a pako-compatible URL fragment. It JSON-serializes {"code": diagram}, compresses with zlib at m

ExtractLayerGraph builds a directed graph of Layer composition from the given AST nodes. It performs a DFS with a two-pass approach using an explicit

ExtractOutlineGraph builds a simplified dependency graph from the full layer graph. It keeps only leaf nodes (deduplicated by symbol) and connects the

ParseLazyExpression parses an arrow function or function expression, extracting its inner expression. When thunk is true, the function must have zero

ReleaseProgram releases a slot back to the program semaphore, clears per-program caches to allow GC of the program, and triggers GC.

ResolveEffectPluginOptionsForSourceFile resolves ordered path-scoped diagnostic overrides for a file.

StrictEffectType returns the parsed Effect type only if the type's symbol name is "Effect". This filters out types like Stream, Layer, HttpApp.Default

* Delete a node from a list (array or object properties), handling commas properly

effectFnCloneNodeList deep-clones all nodes in a NodeList, returning a new synthesized NodeList.

getFirstVariableDeclarationType finds the first variable declaration in the source file and returns its type and the declaration node (for use as atLo

imul emulates JavaScript's Math.imul: 32-bit integer multiplication that discards overflow (keeps only the lower 32 bits).

processNodeList processes a list of type nodes, converting each to a Schema expression.

BFS performs a breadth-first search traversal, yielding (index, data) pairs level by level. Neighbors are visited in deterministic edge-index order.

ByName finds a rule by name in a slice. Returns nil if not found.

Edges iterates all edges as (index, edge) pairs, sorted by index.

ExtendsEffectV3Service checks if a class declaration extends Effect.Service<Self>()(key, options). It detects the double-call pattern: class X exten

GetEdge returns the edge at the given index. The second return value is false if the edge does not exist.

GetLayerGraphFollowDepth returns the configured layer graph follow depth, or 0 if not set.

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

IsOff returns true if the severity disables the diagnostic.

IsPipeableType returns true if the type has a callable "pipe" property, indicating it supports the pipeable pattern (e.g., value.pipe(f1, f2, ...)).

IsSchemaType returns true if the type is a Schema type (v4 or v3).

IsSkipFile returns true if a skip-file directive applies to the given rule. Unlike IsSuppressed, this only considers true file-level skip-file directi

PackageJsonForSourceFile returns the nearest package.json contents for a source file, or nil. Results are cached per source file on EffectLinks for th

ParseSeverity parses a severity string into a Severity constant. Valid values: "off", "warning", "warn", "error", "suggestion", "message", "skip-file"

ServiceType parses a v4 service type and extracts Identifier, Shape parameters. Returns nil if the type is not a v4 service.

StrictIsEffectType returns true if the type has the Effect variance struct AND the type's symbol name is "Effect". This filters out types like Stream,

Topo performs a topological sort using Kahn's algorithm, yielding (index, data) pairs. Only meaningful for acyclic graphs. For cyclic graphs, nodes in

buildChainGraph creates: A→B→C

compareNodesByOrder compares two nodes by provides count descending, then requires count descending.

effectFnBuildReplacement builds the complete Effect.fn/fnUntraced replacement AST node and applies it via tracker.ReplaceNode.

escapeNewlines replaces newlines with \n for baseline display.

getNodeSourceFile walks up the parent chain to find the SourceFile ancestor.

isEmpty returns true if no style preferences are configured.

mermaidEntityEncode replaces Mermaid-special characters with Mermaid HTML entity codes. Uses single-pass character-by-character replacement to avoid d

parseTestUnits parses a test file into multiple test units based on @filename directives.

sortedNeighborsDirected returns neighbor node indices reachable via edges in the given direction, sorted by edge index for deterministic traversal ord

Cyrb53 computes a fast non-cryptographic hash of the input string, producing a 16-character zero-padded hex string from two uint32 halves. This is a G