hasAccessorsTrue checks if an options object literal has `accessors: true`.

hasLeakableServiceAnnotation checks if a type's declarations contain the @effect-leakable-service JSDoc annotation.

hasReturnTypeAnnotation checks if a function node has an explicit return type annotation.

intersectStringSlices returns the elements that appear in both slices.

isAllowedConstructor checks if a constructor is a passthrough that simply forwards exactly 2 parameters to super(). This pattern is used internally by

isAsAnyAsLayerForm checks if a node is already in the `(expr as any) as Layer.Layer<T>` form.

isAssignmentExpression checks if an expression is an assignment (=, ??=, &&=, ||=).

isCatchCallee checks if a node references one of the Effect module catch functions.

isDeclarationName checks whether the given node is the name node of a variable or property declaration. This is used to restrict layer hover enrichmen

isDisableStyleFix returns true if the fix title matches the disable-style pattern: "Disable ... for this line" or "Disable ... for entire file".

isGlobalErrorCatchCallee checks if a node references one of the Effect module catch APIs.

isInHeritageClause checks if a node is inside a heritage clause (extends/implements).

isInsideTypeOnlyHeritageExpression reports whether node is an ExpressionWithTypeArguments or one of its identifier/property-access sub-expressions ins

isLayerModuleCall checks if a call expression's callee is a Layer module API call (e.g., Layer.provide, Layer.merge, etc.).

isPipeCallNode checks if a synthesized node is a pipe(...) call by checking if the expression is an identifier named "pipe".

isPipeableAtIndex checks if the type at a given index in a flow is pipeable. Index 0 = subject, index > 0 = transformations[index - 1].outType

isPromiseTypeString checks if the type string represents a Promise<T> and extracts the inner type string.

isSimpleIdentifier checks if a node is a simple identifier or a chain of property accesses with simple identifiers (e.g., `a`, `a.b`, `a.b.c`).

isUnknownCatchCallee checks if a node references one of the Effect module catch APIs.

isVoidCallback checks if a callback argument is a "void callback": either an empty function (block body with zero statements) or a lazy void expressio

matchClassPattern tries to match a class declaration against the supported patterns. Priority: service targets first, then error targets, then custom.

matchClassWithDefaultLayer checks if a class declaration has a Default layer property with Scope in RIn.

matchCustomPattern checks heritage clause nodes for call expressions with string literal arguments whose parameter declarations contain the @effect-id

matchEffectGenCall tries all four Effect generator call patterns and returns the generator function and body for the first match.

matchLayerEffectCall checks if a call expression is Layer.effect*() with Scope in RIn.

matchRunEffectApi checks if the node references one of the Effect.run* APIs and returns the method name. Returns empty string if no match.

matchSchemaSyncMethod checks if the node references one of the Schema sync methods via either the ParseResult module (V3) or the SchemaParser module (

packageNameFromSpecifier extracts the npm package name from a bare module specifier. For scoped packages like "@scope/pkg/sub", returns "@scope/pkg".

parseEffectFnCall detects Effect.fn-family calls with trailing transformation arguments. It reuses the dedicated Effect.fn parsers and only adapts the

parseEffectFnOpportunityInner contains the actual parsing logic for ParseEffectFnOpportunity.

parseLeakedRequirements analyzes the service shape to find requirement types that are shared across all effect-typed members. This is the "leaking req

parsePreviewUnits parses a preview file into test units. Reuses the same logic as effecttest.parseTestUnits.

parseRefactorComment scans the test file content for a first-line "// refactor: L:C-L:C,L:C-L:C,..." comment (1-based lines and columns). Multiple ran

parseServiceVarianceStruct extracts Identifier and Shape from a Service variance struct type.

parseSingleArgCall detects single-argument call patterns like f(arg). Returns nil when the node is not a single-argument call.

parseTestConfig extracts a @test-config JSON object from source comments. Returns a map of extra config to merge into the Effect plugin options.

processIntersectionType converts intersection types to Schema.extend chains.