applyBarrelRewrite rewrites a fix to a named import from the barrel package.

applyNamespaceRewrite rewrites a named-import fix to a namespace-import fix.

areParametersReferencedIn checks if any of the function's parameter symbols are referenced within the given nodes. Uses declaration position range che

buildEffectFnTransformations builds PipingFlowTransformation slices from Effect.fn trailing arguments. It also returns the subject type (from the firs

buildEffectGenToFnDeclaration wraps the Effect.fn call in the appropriate declaration.

buildEffectGenToFnReplacement builds the replacement node for the effectGenToFn refactor.

buildExpectedSignature constructs the human-readable expected signature string for the diagnostic message. The format matches the reference implementa

buildFunctionToArrowReplacement builds the replacement node for converting a FunctionDeclaration or MethodDeclaration to an arrow function.

buildLayerMagicBuild generates: firstLayer.pipe(Layer.provideMerge(...), Layer.provide(...), ...)

buildLayerMagicPrepare generates: [leaf1, leaf2, ...] as any as Layer.Layer<NewTypes /* ExistingTypes */>

buildMissedPipeableReplacement builds the .pipe() replacement and applies it via tracker.ReplaceNode.

buildPipeTransformations builds PipingFlowTransformation slices from pipe call arguments.

buildProxySignatureText builds the text representation of a proxy function type for a call signature.

buildTsConfigWithTestConfig creates a tsconfig JSON string that merges the default Effect plugin config with any @test-config overrides.

buildWrappedReturnTypeText builds the text representation of the wrapped return type.

checkEffectProvideWithLayer checks if a call expression is Effect.provide(...) with a Layer argument.

checkEffectTryObject matches Effect.try({ try: () => JSON.parse/stringify(...), ... }) - object form.

checkEffectTrySimple matches Effect.try(() => JSON.parse/stringify(...)) - simple thunk form. This pattern is V3-only (the simple thunk form was remov

checkGlobalErrorInEffectCatch checks a single call expression for the global-error-in-catch pattern.

checkGlobalErrorInEffectFailure checks a single new expression for the global-error-in-failure pattern.

checkJsonMethodInEffectGen matches direct JSON.parse/stringify inside an Effect generator (Effect.gen or Effect.fn).

checkPreferSchemaOverJson checks a single call expression for JSON.parse/stringify inside an Effect context (Effect.try or Effect.gen/Effect.fn).

checkReturnEffectInGenScope checks if a return statement inside an Effect generator is returning an Effect-able type (which would cause nested Effect<

checkSchemaSyncInEffect checks a single call expression for Schema sync methods inside an Effect generator.

checkServiceDependencies checks if a class extending Effect.Service has all required service dependencies satisfied.

checkServicePropertyTypes checks if a class extending Effect.Service has option properties that resolve to primitive types.

checkTryCatchScope checks if the try statement is directly inside an Effect generator scope using FindEnclosingScopes.

checkUnknownInEffectCatch checks a single call expression for the unknown-in-catch pattern.

collectDiagnostics runs all enabled rules and collects their diagnostics.

computeDuplicatePackageDiags scans all packages and finds names with multiple distinct versions.

containsAwaitExpression checks if a node tree contains any AwaitExpression.

createDisableFileAction creates a code action to disable the diagnostic for the entire file. It inserts: /** @effect-diagnostics {ruleName}:off */ at

createDisableNextLineAction creates a code action to disable the diagnostic for the next line. It inserts: // @effect-diagnostics-next-line {ruleName}

createHeritageTypeRef creates: <schemaId>.<ns>.<member><typeof <inferFrom>> as an ExpressionWithTypeArguments node for use in interface heritage claus

* Create a minimal LanguageServiceHost for use with ChangeTracker

createSchemaPropertyAccess creates: <schemaId>.<ns>.<member> as a property access expression. Used in ExpressionWithTypeArguments for heritage clauses

createSchemaQualifiedName creates: <schemaId>.<ns>.<member> as a qualified name. Used in TypeReferenceNode for type alias declarations.