* Run renderCodeActions and capture all console output lines

verifyLayerMethodAtCall checks if a call expression is a Layer method call (direct or curried) and returns the tag text (e.g., "MyService") or empty s

AffectedLine returns the line number that this directive affects. For regular directives, it affects the same line. For -next-line directives, it affe

AllCodes returns all diagnostic codes from the given rules.

AnalyzeCatchAllToMapError finds all Effect.catch callbacks that simply wrap the error with Effect.fail, which can be simplified to Effect.mapError.

AnalyzeCatchToIgnore finds Effect.catch/catchCause callbacks that return Effect.void where the resulting success channel is void-like, so Effect.ignor

AnalyzeCatchToOrElseSucceed finds Effect.catch callbacks that ignore the error and return Effect.succeed, which can be simplified to Effect.orElseSucc

AnalyzeClassSelfMismatch finds all class declarations where the Self type parameter does not match the class name.

AnalyzeDeterministicKeys finds all class declarations where the key string literal doesn't match the expected deterministic key.

AnalyzeEffectFnIife finds all Effect.fn or Effect.fnUntraced calls that are immediately invoked (IIFE pattern) in the given source file.

AnalyzeEffectFnOpportunity finds all functions that can be converted to Effect.fn in the given source file.

AnalyzeEffectMapVoid finds all Effect.map calls with void callbacks that can be replaced with Effect.asVoid.

AnalyzeEffectSucceedWithVoid finds all Effect.succeed(undefined) and Effect.succeed(void 0) calls that can be replaced with Effect.void.

AnalyzeInstanceOfSchema finds all `value instanceof SchemaClass` expressions where the right-hand side is an Effect Schema type.

AnalyzeLayerMergeAllWithDependencies finds all Layer.mergeAll calls with interdependencies where one layer provides a service required by another.

AnalyzeMissedPipeableOpportunity finds all nested call chains that can be converted to .pipe() style.

AnalyzeMissingEffectError finds all relation errors where an Effect has error types that are not handled by the expected type.

AnalyzeMissingReturnYieldStar finds all yield* expressions inside Effect generators where the yielded Effect never succeeds, suggesting "return yield*

AnalyzeMissingStarInYieldEffectGen finds all yield expressions inside Effect generators that are missing the asterisk (yield instead of yield*).

AnalyzeMultipleEffectProvide finds all consecutive Effect.provide call chains with Layer-typed arguments within piping flows.

AnalyzeOverriddenSchemaConstructor finds all class declarations extending Schema that have an overridden constructor which is not an allowed passthrou

AnalyzeRedundantSchemaTagIdentifier finds all class declarations where the identifier string literal equals the tag value in Schema.TaggedClass/Tagged

AnalyzeReturnEffectInGen finds all return statements inside Effect generators that return an Effect-able type, returning matches with both the diagnos

AnalyzeRunEffectInsideEffect finds all Effect.run* calls inside Effect generators, returning matches with structured data for both diagnostics and qui

AnalyzeSchemaStructWithTag finds all Schema.Struct({ _tag: Schema.Literal("..."), ... }) call expressions and returns match structs for each.

AnalyzeSchemaUnionOfLiterals finds all Schema.Union(...) calls where every argument is a Schema.Literal(...) call, returning matches with captured nod

AnalyzeScopeInLayerEffect finds all Layer.effect*() calls and class declarations with Default layer properties where Scope is in the layer's requireme

AnalyzeServiceNotAsClass finds all const variable declarations using the v4 service constructor that should be class declarations instead. V4-only rul

AnalyzeUnnecessaryFailYieldableError finds all yield* Effect.fail(...) calls where the argument is a yieldable error type that can be yielded directly

AnalyzeUnnecessaryPipe finds all pipe() and .pipe() calls with no transformation arguments, returning matches with both the diagnostic and the parsed

AnalyzeUnnecessaryPipeChain finds all chained pipe() and .pipe() calls (outer pipe whose subject is also a pipe call), returning matches with the diag

BaselineLocalPath returns the path to write local baselines.

BaselineReferencePath returns the path to reference baselines.

CodeToRuleName returns the rule name for a diagnostic code. Returns empty string if the code is not found in any rule.

ConvertOutlineGraphToLayerMagic takes an outline graph and a set of target output types, then computes an ordered list of layer nodes annotated with m

DetectEffectVersionString returns the exact version string of the Effect library. Returns "unknown" if no Effect dependency is found, if the version i

DiscoverDocumentSymbolTestCases finds all .ts test files in the document-symbol test cases directory.

DiscoverRefactorTestCases finds all .ts test files in the refactor test cases directory.

EffectYieldableType resolves both plain Effect types and yieldable wrappers that implement the asEffect() protocol. For v3: delegates directly to Effe

ExtendsContextTag checks if a class declaration extends Context.Tag("key")<Self, Shape>(). It detects the pattern: class X extends Context.Tag("key"

ExtendsSchemaTaggedClass checks if a class declaration extends Schema.TaggedClass<T>("identifier")("tag", { ... }).

ExtendsSchemaTaggedRequest checks if a class declaration extends Schema.TaggedRequest<T>("identifier")("tag", { ... }).

ExtractProvidersAndRequirers extracts summary information about which layers provide or require which services. It uses a two-step algorithm: Step 1:

FindEdge returns the index of the first edge (in index order) matching the predicate. The predicate receives (edgeData, source, target). Returns (0, f

FindEdges returns the indices of all edges matching the predicate, in index order. The predicate receives (edgeData, source, target).

FindNode returns the index of the first node (in index order) matching the predicate. Returns (0, false) if no node matches.

FindNodes returns the indices of all nodes matching the predicate, in index order.

FormatNestedLayerGraph renders the layer graph as a Mermaid flowchart TB with nested subgraphs.

FormatOutlineGraph renders the outline graph as a Mermaid flowchart TD.

FormatQuickInfo renders provider/requirer info as a JSDoc comment.

GetIncludeSuggestionsInTsc returns whether suggestion diagnostics should appear in tsc output. Returns true (include suggestions) when the receiver is

GetKeyPatterns returns the configured key patterns or the defaults if none are configured.

HasEffectTypeId returns true if the type has the Effect type identifier. For v4, this is a quick check for the "~effect/Effect" property. For v3/unkno

IsEffectType returns true if the type has the Effect variance struct.

IsGlobalErrorType reports whether the given type is exactly the global Error type. It performs a bidirectional assignability check to ensure the type

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

IsNodeReferenceToEffectSqlModelModuleApi reports whether node resolves to a member exported by the "@effect/sql" package from a module that exports th

IsScopeType returns true if the type is an Effect Scope type. For v4, this checks for the "~effect/Scope" computed property. For v3/unknown, this chec

IsServiceType returns true if the type has the Service variance struct.

IsSuppressed returns true if the given rule is suppressed (off or skip-file) at the given line.

MapNodes applies fn to every node's data in-place.

New creates a SchemaGen from the given tracker and source file, resolving the Schema import identifier automatically.

NewContext creates a new Context for a rule invocation.

Process converts an interface or type alias declaration into a schema statement. On error, returns a comment node describing the error.

ReconstructPipingFlow reconstructs a piping flow into a string expression by applying transformations sequentially. For example: subject with transfor

Reverse reverses the direction of all edges in the graph in-place.

RunEffectDocumentSymbolsTest executes one document-symbol baseline test case.

RunEffectQuickFixTest executes a single Effect quick-fix baseline test case. It creates a fourslash test instance, collects quick-fix inventory and ap

RunEffectRefactorTest executes a single Effect refactor baseline test case. It creates a fourslash test instance, collects refactor inventory and appl

RunEffectTest executes a single Effect diagnostic test case for the given version.

TestDataPath returns the path to our testdata directory.

UpdateEdge applies fn to the data of the edge at the given index. If the edge does not exist, this is a no-op.

UpdateNode applies fn to the data of the node at the given index. If the node does not exist, this is a no-op.

adjustedNode redirects from a variable/property declaration name to the initializer.

buildEffectFnCall builds: Effect.fn("name")(function*(params) { body })

buildEffectGenCall builds: Effect.gen(function*() { body })

buildFixableCodes returns a set of diagnostic codes that have non-disable fixables.

buildFnDeclaration builds the appropriate declaration wrapping the Effect.fn call. For function declarations: const name = Effect.fn("name")(...) For

buildNonAsyncDeclaration builds a new function declaration/expression/arrow without the async modifier, with the given effectGenCall as the new body.

buildTaggedErrorClass builds: class ErrorN extends Data.TaggedError("ErrorN")<{ cause: unknown }> {}

buildYieldStarPromise builds: yield* Effect.promise(() => expr)

buildYieldStarTryPromise builds: yield* Effect.tryPromise({ try: () => expr, catch: cause => new ErrorN({ cause }) })

categoryToString converts a diagnostic category to its lowercase string representation.