tryGetLayerApiMethod checks if a node references Layer.effect, Layer.succeed, or Layer.sync. Returns the method name ("effect", "succeed", "sync") or

typesEqual checks if two types are bidirectionally assignable.

AllErrorCodes returns all unique error codes handled by any fixable.

AllFixIDs returns all unique fix IDs from all fixables.

AnalyzeEffectDoNotation finds all references to Effect.Do-style helpers.

AnalyzeEffectMapFlatten finds adjacent Effect.map(...), Effect.flatten pairs in pipe/pipeable flows.

AnalyzeOutdatedApi finds all usages of Effect v3 APIs in an Effect v4 project.

ByErrorCode finds all fixables that handle a given error code.

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

DiagnosticsEnabled reports whether Effect diagnostics are enabled for the parsed config in the current program.

DoDocumentSymbolsBaseline generates a .symbols.txt baseline for Effect tests.

DoEffectErrorBaseline generates an error baseline for Effect tests. This writes to our testdata directory instead of typescript-go's.

DoExecutionFlowBaseline generates a .flows.txt index baseline and per-source Mermaid baselines for Effect tests.

DoLayerGraphBaseline generates a .layers.txt baseline for Effect tests.

DoPipingFlowBaseline generates a .pipings.txt baseline for Effect tests.

DoQuickFixBaseline generates a .quickfixes.txt baseline for Effect tests.

DoRefactorBaseline generates a .refactors.txt baseline for Effect refactor tests.

DocumentSymbolTestCasesDir returns the path to the Effect document-symbol test cases directory.

EffectSubtype detects types that have the Effect variance struct AND a "_tag" or "get" marker property (e.g., Exit, Option, Either, Pool). Returns nil

EffectType parses an Effect type and extracts A, E, R parameters.

ExtendsDataTaggedError checks if a class declaration extends Data.TaggedError("key")<Fields>. It detects the pattern: class X extends Data.TaggedErr

ExtendsEffectModelClass checks if a class declaration extends Model.Class<Self>(...)({...}) from the effect/unstable/schema module. It detects the dou

ExtendsEffectSqlModelClass checks if a class declaration extends Model.Class<Self>(...)({...}). It detects the double-call pattern: class X extends

ExtendsSchemaClass checks if a class declaration extends Schema.Class<Self>("name")({}). It detects the double-call pattern: class X extends Schema.

ExtendsSchemaRequestClass checks if a class declaration extends Schema.RequestClass<Self>("name")({}). Same double-call pattern as ExtendsSchemaClass

FiberType detects types that have the Effect variance struct AND both "await" and "poll" properties. Returns nil if the type is not a Fiber.

FilterEdges removes all edges whose data does not satisfy the predicate. All nodes are preserved.

FilterNodes removes all nodes that do not satisfy the predicate. Incident edges of removed nodes are also removed.

FormatLayerGraph renders the full layer graph as a Mermaid flowchart TD with entity-encoded labels. Intentional divergence from .repos reference: this

GetAllowedDuplicatedPackages returns the list of package names allowed to have multiple versions, or nil if none are configured.

GetEffectFn returns the configured effectFn variants, or the default ["span"] when unset/empty.

HandlesCode returns true if this fixable handles the given error code.

HasIndexSignatures checks whether an interface or type alias has index signatures. Used by typeToEffectSchemaClass to determine applicability.

IncomingEdges returns the edge indices for all incoming edges to the given node. The returned indices preserve insertion order.

IsEffectCode returns true if code is in the Effect diagnostic range (377000-377999).

IsEffectSubtype returns true if the type is an Effect subtype (has variance struct + "_tag" or "get").

IsExpressionEffectModule reports whether node resolves to the Effect module namespace (e.g., the `Effect` in `import { Effect } from "effect"`).

IsFiberType returns true if the type is a Fiber type (has variance struct + "await" and "poll").

IsInsideEffectFn checks if a function node is already the first argument of an Effect.fn, Effect.fnGen, or Effect.fnUntraced call.

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

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

IsSafelyPipeableCallee returns true if a callee expression can be safely extracted into a pipe argument without losing `this` context. This is used by

IsYieldableErrorType reports whether the given type is assignable to Cause.YieldableError from the "effect" package. Returns false for never and any t

LayerType parses a Layer type and extracts ROut, E, RIn parameters.

MapEdges applies fn to every edge's data in-place.

Neighbors returns all neighbor node indices (union of outgoing targets and incoming sources), deduplicated and sorted by index for determinism.

NewContext creates a completion Context from the completion callback parameters.

NewContext creates a refactor Context from the refactor provider callback parameters.

NewContext creates a fixable Context from the standard code-fix request parameters.

NewStructuralSchemaGen creates a StructuralSchemaGen for type-checker-based schema generation.

OutgoingEdges returns the edge indices for all outgoing edges from the given node. The returned indices preserve insertion order.

ParseEffectFnOpportunity detects whether a function node can be converted to Effect.fn. Returns nil if the node is not an eligible candidate.

Process generates schema statements for one or more named types. It populates internal state and returns accumulated statements.

ProcessInterfaceDeclaration generates schema statements for an interface declaration. When preferClass is true and there are no index signatures, gene

ProcessTypeAliasDeclaration generates schema statements for a type alias declaration. When preferClass is true and the type is an object literal witho

PromiseType returns t when it is the global Promise type or a reference to it. It intentionally does not match arbitrary thenables or PromiseLike valu

RefactorTestCasesDir returns the path to the Effect refactor test cases directory.

Register wires Effect-specific tsconfig merge hooks into TypeScript-Go.

Run executes Effect diagnostics for a source file and returns diagnostics without emitting them.

ScanExistingSchemas looks for existing schema variables in scope and records them in the hoisted map, so they can be reused instead of regenerated.

TestCasesDir returns the path to the Effect test cases directory for the given version.

analyzeLayerMergeAllCall checks a call expression for Layer.mergeAll interdependencies.

analyzeRunEffectInsideEffectNode checks a single call expression for Effect.run* inside an Effect generator.

analyzeSchemaStructWithTagNode checks a call expression for Schema.Struct({ _tag: Schema.Literal("...") }).

analyzeSchemaUnionOfLiteralsNode checks if a call expression is Schema.Union(...) where all arguments are Schema.Literal(...) calls.