@eslint-react/core 2.0.0-next.13 → 2.0.0-next.131

package/dist/index.d.ts

@@ -2,10 +2,12 @@ import { RuleContext } from '@eslint-react/kit';
 import { TSESTree } from '@typescript-eslint/types';
 import { ESLintUtils, TSESTree as TSESTree$1 } from '@typescript-eslint/utils';
 import * as AST from '@eslint-react/ast';
-import { _ } from '@eslint-react/eff';
+import { unit } from '@eslint-react/eff';
 import * as birecord from 'birecord';
 import { Scope } from '@typescript-eslint/scope-manager';
 import * as VAR from '@eslint-react/var';
+import ts from 'typescript';
+export { isFalseLiteralType, isTrueLiteralType } from 'ts-api-utils';
 
 /**
  * Determines whether inside `createElement`'s children.
@@ -80,10 +82,10 @@ interface SemanticEntry {
 }
 
 interface SemanticNode {
-    id: _ | TSESTree.Identifier | TSESTree.Identifier[];
+    id: unit | TSESTree.Identifier | TSESTree.Identifier[];
     key: string;
     kind: string;
-    name: _ | string;
+    name: unit | string;
     node: TSESTree.Node;
     flag: bigint;
     hint: bigint;
@@ -100,23 +102,23 @@ declare const ComponentFlag: {
 };
 
 interface FunctionComponent extends SemanticNode {
-    id: _ | TSESTree.Identifier | TSESTree.Identifier[];
+    id: unit | TSESTree.Identifier | TSESTree.Identifier[];
     kind: "function";
     node: AST.TSESTreeFunction;
     flag: ComponentFlag;
     hint: ComponentDetectionHint;
-    initPath: _ | AST.FunctionInitPath;
+    initPath: unit | AST.FunctionInitPath;
     hookCalls: TSESTree.CallExpression[];
-    displayName: _ | TSESTree.Expression;
+    displayName: unit | TSESTree.Expression;
 }
 interface ClassComponent extends SemanticNode {
-    id: _ | TSESTree.Identifier;
+    id: unit | TSESTree.Identifier;
     kind: "class";
     node: AST.TSESTreeClass;
     flag: ComponentFlag;
     hint: ComponentDetectionHint;
     methods: AST.TSESTreeMethodOrProperty[];
-    displayName: _ | TSESTree.Expression;
+    displayName: unit | TSESTree.Expression;
 }
 type Component = ClassComponent | FunctionComponent;
 
@@ -136,7 +138,7 @@ declare namespace useComponentCollector {
         ctx: {
             getAllComponents: (node: TSESTree.Program) => Map<string, FunctionComponent>;
             getCurrentEntries: () => FunctionEntry[];
-            getCurrentEntry: () => FunctionEntry | _;
+            getCurrentEntry: () => FunctionEntry | unit;
         };
         listeners: ESLintUtils.RuleListener;
     };
@@ -178,7 +180,7 @@ declare function useComponentCollectorLegacy(): useComponentCollectorLegacy.Retu
 declare function isFunctionOfRenderMethod(node: AST.TSESTreeFunction): boolean;
 declare function isValidComponentDefinition(context: RuleContext, node: AST.TSESTreeFunction, hint: bigint): boolean;
 
-declare function getFunctionComponentId(context: RuleContext, node: AST.TSESTreeFunction): TSESTree.Identifier | TSESTree.Identifier[] | _;
+declare function getFunctionComponentId(context: RuleContext, node: AST.TSESTreeFunction): TSESTree.Identifier | TSESTree.Identifier[] | unit;
 
 declare function getComponentFlagFromInitPath(initPath: FunctionComponent["initPath"]): bigint;
 
@@ -217,7 +219,7 @@ declare function isGetDerivedStateFromError(node: TSESTree.Node): node is AST.TS
 
 declare function isComponentName(name: string): boolean;
 declare function isComponentNameLoose(name: string): boolean;
-declare function getComponentNameFromId(id: TSESTree.Identifier | TSESTree.Identifier[] | _): string | undefined;
+declare function getComponentNameFromId(id: TSESTree.Identifier | TSESTree.Identifier[] | unit): string | undefined;
 declare function hasNoneOrLooseComponentName(context: RuleContext, fn: AST.TSESTreeFunction): boolean;
 
 /**
@@ -332,7 +334,7 @@ declare function isComponentWrapperCallLoose(context: RuleContext, node: TSESTre
 type EffectKind = "useEffect" | "useLayoutEffect" | "useInsertionEffect";
 
 interface Hook extends SemanticNode {
-    id: TSESTree.Identifier | _;
+    id: TSESTree.Identifier | unit;
     node: AST.TSESTreeFunction;
     name: string;
     hookCalls: TSESTree.CallExpression[];
@@ -350,17 +352,17 @@ declare function useHookCollector(): useHookCollector.ReturnType;
 
 declare function isReactHookId(id: TSESTree.Identifier | TSESTree.MemberExpression): boolean;
 
-declare function isReactHook(node: AST.TSESTreeFunction | _): boolean;
+declare function isReactHook(node: AST.TSESTreeFunction | unit): boolean;
 /**
  * Check if the given node is a React Hook call by its name.
  * @param node The node to check.
  * @returns `true` if the node is a React Hook call, `false` otherwise.
  */
-declare function isReactHookCall(node: TSESTree.Node | _): boolean;
-declare function isReactHookCallWithName(context: RuleContext, node: TSESTree.Node | _): (name: string) => boolean;
-declare function isReactHookCallWithNameLoose(node: TSESTree.Node | _): (name: string) => boolean;
-declare function isReactHookCallWithNameAlias(context: RuleContext, name: string, alias?: _ | string[]): (node: TSESTree.CallExpression) => boolean;
-declare function isUseEffectCallLoose(node: TSESTree.Node | _): boolean;
+declare function isReactHookCall(node: TSESTree.Node | unit): boolean;
+declare function isReactHookCallWithName(context: RuleContext, node: TSESTree.Node | unit): (name: string) => boolean;
+declare function isReactHookCallWithNameLoose(node: TSESTree.Node | unit): (name: string) => boolean;
+declare function isReactHookCallWithNameAlias(context: RuleContext, name: string, alias?: unit | string[]): (node: TSESTree.CallExpression) => boolean;
+declare function isUseEffectCallLoose(node: TSESTree.Node | unit): boolean;
 declare const isUseCall: (context: RuleContext, node: TSESTree.Node | undefined) => boolean;
 declare const isUseActionStateCall: (context: RuleContext, node: TSESTree.Node | undefined) => boolean;
 declare const isUseCallbackCall: (context: RuleContext, node: TSESTree.Node | undefined) => boolean;
@@ -381,8 +383,7 @@ declare const isUseStateCall: (context: RuleContext, node: TSESTree.Node | undef
 declare const isUseSyncExternalStoreCall: (context: RuleContext, node: TSESTree.Node | undefined) => boolean;
 declare const isUseTransitionCall: (context: RuleContext, node: TSESTree.Node | undefined) => boolean;
 
-type HookKind = "custom" | "useActionState" | "useCallback" | "useContext" | "useDebugValue" | "useDeferredValue" | "useEffect" | "useId" | "useImperativeHandle" | "useInsertionEffect" | "useLayoutEffect" | "useMemo" | "useOptimistic" | "useReducer" | "useRef" | "useState" | "useSyncExternalStore" | "useTransition";
-
+declare const REACT_BUILTIN_HOOK_NAMES: readonly ["use", "useActionState", "useCallback", "useContext", "useDebugValue", "useDeferredValue", "useEffect", "useFormStatus", "useId", "useImperativeHandle", "useInsertionEffect", "useLayoutEffect", "useMemo", "useOptimistic", "useReducer", "useRef", "useState", "useSyncExternalStore", "useTransition"];
 /**
  * Catch all identifiers that begin with "use" followed by an uppercase Latin
  * character to exclude identifiers like "user".
@@ -399,7 +400,7 @@ declare function isReactHookName(name: string): boolean;
  * @param initialScope The initial scope to use for variable resolution
  * @returns The JSX attribute node or undefined
  */
-declare function getAttribute(context: RuleContext, name: string, attributes: (TSESTree$1.JSXAttribute | TSESTree$1.JSXSpreadAttribute)[], initialScope?: Scope): TSESTree$1.JSXAttribute | TSESTree$1.JSXSpreadAttribute | _;
+declare function getAttribute(context: RuleContext, name: string, attributes: (TSESTree$1.JSXAttribute | TSESTree$1.JSXSpreadAttribute)[], initialScope?: Scope): TSESTree$1.JSXAttribute | TSESTree$1.JSXSpreadAttribute | unit;
 
 /**
  * Get the stringified name of a JSX attribute
@@ -442,7 +443,7 @@ declare const DEFAULT_JSX_DETECTION_HINT: bigint;
  * @param node The AST node to check
  * @returns `true` if the node is a `JSXText` or a `Literal` node
  */
-declare function isJsxText(node: TSESTree$1.Node | null | _): node is TSESTree$1.JSXText | TSESTree$1.Literal;
+declare function isJsxText(node: TSESTree$1.Node | null | unit): node is TSESTree$1.JSXText | TSESTree$1.Literal;
 /**
  * Heuristic decision to determine if a node is a JSX-like node.
  * @param code The sourceCode object
@@ -453,7 +454,10 @@ declare function isJsxText(node: TSESTree$1.Node | null | _): node is TSESTree$1
  */
 declare function isJsxLike(code: {
     getScope: (node: TSESTree$1.Node) => Scope;
-}, node: TSESTree$1.Node | _ | null, hint?: JSXDetectionHint): boolean;
+}, node: TSESTree$1.Node | unit | null, hint?: JSXDetectionHint): boolean;
+
+declare function isHostElement(context: RuleContext, node: TSESTree.Node): boolean;
+declare function isFragmentElement(context: RuleContext, node: TSESTree.Node): node is TSESTree.JSXElement;
 
 /**
  * Get the stringified type of a JSX element
@@ -473,12 +477,7 @@ declare function hasEveryAttribute(context: RuleContext, names: string[], attrib
  * @param test The test to apply to the parent attribute
  * @returns The parent attribute node or undefined
  */
-declare function findParentAttribute(node: TSESTree.Node, test?: (node: TSESTree.JSXAttribute) => boolean): TSESTree.JSXAttribute | _;
-
-declare function isHostElement(context: RuleContext, node: TSESTree.Node): boolean;
-declare function isKeyedElement(context: RuleContext, node: TSESTree.Node, initialScope?: Scope): boolean;
-declare function isFragmentElement(context: RuleContext, node: TSESTree.Node | null | _, allowJSXFragment?: false): node is TSESTree.JSXElement;
-declare function isFragmentElement(context: RuleContext, node: TSESTree.Node | null | _, allowJSXFragment?: true): node is TSESTree.JSXElement | TSESTree.JSXFragment;
+declare function findParentAttribute(node: TSESTree.Node, test?: (node: TSESTree.JSXAttribute) => boolean): TSESTree.JSXAttribute | unit;
 
 /**
  * Get the stringified representation of a JSX node
@@ -487,15 +486,126 @@ declare function isFragmentElement(context: RuleContext, node: TSESTree.Node | n
  */
 declare function stringifyJsx(node: TSESTree$1.JSXIdentifier | TSESTree$1.JSXMemberExpression | TSESTree$1.JSXNamespacedName | TSESTree$1.JSXOpeningElement | TSESTree$1.JSXClosingElement | TSESTree$1.JSXOpeningFragment | TSESTree$1.JSXClosingFragment | TSESTree$1.JSXText): string;
 
+/** @internal */
+declare const isAnyType: (type: ts.Type) => boolean;
+/** @internal */
+declare const isBigIntType: (type: ts.Type) => boolean;
+/** @internal */
+declare const isBooleanType: (type: ts.Type) => boolean;
+/** @internal */
+declare const isEnumType: (type: ts.Type) => boolean;
+/** @internal */
+declare const isFalsyBigIntType: (type: ts.Type) => type is ts.LiteralType & {
+    freshType: ts.FreshableType;
+    regularType: ts.FreshableType;
+    flags: ts.TypeFlags;
+    symbol: ts.Symbol;
+    pattern?: ts.DestructuringPattern;
+    aliasSymbol?: ts.Symbol;
+    aliasTypeArguments?: readonly ts.Type[];
+    getFlags: () => ts.TypeFlags;
+    getSymbol: () => ts.Symbol | undefined;
+    getProperties: () => ts.Symbol[];
+    getProperty: (propertyName: string) => ts.Symbol | undefined;
+    getApparentProperties: () => ts.Symbol[];
+    getCallSignatures: () => readonly ts.Signature[];
+    getConstructSignatures: () => readonly ts.Signature[];
+    getStringIndexType: () => ts.Type | undefined;
+    getNumberIndexType: () => ts.Type | undefined;
+    getBaseTypes: () => ts.BaseType[] | undefined;
+    getNonNullableType: () => ts.Type;
+    getConstraint: () => ts.Type | undefined;
+    getDefault: () => ts.Type | undefined;
+    isUnion: () => this is ts.UnionType;
+    isIntersection: () => this is ts.IntersectionType;
+    isUnionOrIntersection: () => this is ts.UnionOrIntersectionType;
+    isLiteral: () => this is ts.LiteralType;
+    isStringLiteral: () => this is ts.StringLiteralType;
+    isNumberLiteral: () => this is ts.NumberLiteralType;
+    isTypeParameter: () => this is ts.TypeParameter;
+    isClassOrInterface: () => this is ts.InterfaceType;
+    isClass: () => this is ts.InterfaceType;
+    isIndexType: () => this is ts.IndexType;
+    value: {
+        negative: boolean;
+        base10Value: "0";
+    };
+};
+/** @internal */
+declare const isFalsyNumberType: (type: ts.Type) => boolean;
+/** @internal */
+declare const isFalsyStringType: (type: ts.Type) => boolean;
+/** @internal */
+declare const isNeverType: (type: ts.Type) => boolean;
+/** @internal */
+declare const isNullishType: (type: ts.Type) => boolean;
+/** @internal */
+declare const isNumberType: (type: ts.Type) => boolean;
+/** @internal */
+declare const isObjectType: (type: ts.Type) => boolean;
+/** @internal */
+declare const isStringType: (type: ts.Type) => boolean;
+/** @internal */
+declare const isTruthyBigIntType: (type: ts.Type) => type is ts.LiteralType & {
+    freshType: ts.FreshableType;
+    regularType: ts.FreshableType;
+    flags: ts.TypeFlags;
+    symbol: ts.Symbol;
+    pattern?: ts.DestructuringPattern;
+    aliasSymbol?: ts.Symbol;
+    aliasTypeArguments?: readonly ts.Type[];
+    getFlags: () => ts.TypeFlags;
+    getSymbol: () => ts.Symbol | undefined;
+    getProperties: () => ts.Symbol[];
+    getProperty: (propertyName: string) => ts.Symbol | undefined;
+    getApparentProperties: () => ts.Symbol[];
+    getCallSignatures: () => readonly ts.Signature[];
+    getConstructSignatures: () => readonly ts.Signature[];
+    getStringIndexType: () => ts.Type | undefined;
+    getNumberIndexType: () => ts.Type | undefined;
+    getBaseTypes: () => ts.BaseType[] | undefined;
+    getNonNullableType: () => ts.Type;
+    getConstraint: () => ts.Type | undefined;
+    getDefault: () => ts.Type | undefined;
+    isUnion: () => this is ts.UnionType;
+    isIntersection: () => this is ts.IntersectionType;
+    isUnionOrIntersection: () => this is ts.UnionOrIntersectionType;
+    isLiteral: () => this is ts.LiteralType;
+    isStringLiteral: () => this is ts.StringLiteralType;
+    isNumberLiteral: () => this is ts.NumberLiteralType;
+    isTypeParameter: () => this is ts.TypeParameter;
+    isClassOrInterface: () => this is ts.InterfaceType;
+    isClass: () => this is ts.InterfaceType;
+    isIndexType: () => this is ts.IndexType;
+    value: ts.PseudoBigInt;
+};
+/** @internal */
+declare const isTruthyNumberType: (type: ts.Type) => boolean;
+/** @internal */
+declare const isTruthyStringType: (type: ts.Type) => boolean;
+/** @internal */
+declare const isUnknownType: (type: ts.Type) => boolean;
+
+type TypeVariant = "any" | "bigint" | "boolean" | "enum" | "never" | "nullish" | "number" | "object" | "string" | "unknown" | "falsy bigint" | "falsy boolean" | "falsy number" | "falsy string" | "truthy bigint" | "truthy boolean" | "truthy number" | "truthy string";
+/**
+ * Ported from https://github.com/typescript-eslint/typescript-eslint/blob/eb736bbfc22554694400e6a4f97051d845d32e0b/packages/eslint-plugin/src/rules/strict-boolean-expressions.ts#L826 with some enhancements
+ * Get the variants of an array of types.
+ * @param types The types to get the variants of
+ * @returns The variants of the types
+ * @internal
+ */
+declare function getTypeVariants(types: ts.Type[]): Set<TypeVariant>;
+
 /** @internal */
 declare function getInstanceId(node: TSESTree.Node, prev?: TSESTree.Node): TSESTree.ArrayExpression | TSESTree.ArrayPattern | TSESTree.ArrowFunctionExpression | TSESTree.AssignmentExpression | TSESTree.AwaitExpression | TSESTree.BinaryExpression | TSESTree.CallExpression | TSESTree.ChainExpression | TSESTree.ClassExpression | TSESTree.ConditionalExpression | TSESTree.FunctionExpression | TSESTree.Identifier | TSESTree.ImportExpression | TSESTree.JSXElement | TSESTree.JSXFragment | TSESTree.BigIntLiteral | TSESTree.BooleanLiteral | TSESTree.NullLiteral | TSESTree.NumberLiteral | TSESTree.RegExpLiteral | TSESTree.StringLiteral | TSESTree.LogicalExpression | TSESTree.MemberExpressionComputedName | TSESTree.MemberExpressionNonComputedName | TSESTree.MetaProperty | TSESTree.NewExpression | TSESTree.ObjectExpression | TSESTree.ObjectPattern | TSESTree.PrivateIdentifier | TSESTree.SequenceExpression | TSESTree.Super | TSESTree.TaggedTemplateExpression | TSESTree.TemplateLiteral | TSESTree.ThisExpression | TSESTree.TSAsExpression | TSESTree.TSInstantiationExpression | TSESTree.TSNonNullExpression | TSESTree.TSSatisfiesExpression | TSESTree.TSTypeAssertion | TSESTree.UnaryExpression | TSESTree.UpdateExpression | TSESTree.YieldExpression | undefined;
 
 /**
- * Check if an identifier is initialized from react
+ * Check if an identifier name is initialized from react
  * @param name The top-level identifier's name
  * @param importSource The import source to check against
  * @param initialScope Initial scope to search for the identifier
- * @returns Whether the identifier is initialized from react
+ * @returns Whether the identifier name is initialized from react
+ * @internal
  */
 declare function isInitializedFromReact(name: string, importSource: string, initialScope: Scope): boolean;
 
@@ -504,15 +614,15 @@ declare function isInstanceIdEqual(context: RuleContext, a: TSESTree.Node, b: TS
 
 declare namespace isReactAPI {
     type ReturnType = {
-        (context: RuleContext, node: _ | null | TSESTree.Node): node is TSESTree.Identifier | TSESTree.MemberExpression;
-        (context: RuleContext): (node: _ | null | TSESTree.Node) => node is TSESTree.MemberExpression | TSESTree.Identifier;
+        (context: RuleContext, node: unit | null | TSESTree.Node): node is TSESTree.Identifier | TSESTree.MemberExpression;
+        (context: RuleContext): (node: unit | null | TSESTree.Node) => node is TSESTree.MemberExpression | TSESTree.Identifier;
     };
 }
 declare function isReactAPI(api: string): isReactAPI.ReturnType;
 declare namespace isReactAPICall {
     type ReturnType = {
-        (context: RuleContext, node: _ | null | TSESTree.Node): node is TSESTree.CallExpression;
-        (context: RuleContext): (node: _ | null | TSESTree.Node) => node is TSESTree.CallExpression;
+        (context: RuleContext, node: unit | null | TSESTree.Node): node is TSESTree.CallExpression;
+        (context: RuleContext): (node: unit | null | TSESTree.Node) => node is TSESTree.CallExpression;
     };
 }
 declare function isReactAPICall(api: string): isReactAPICall.ReturnType;
@@ -543,4 +653,4 @@ declare const isForwardRefCall: isReactAPICall.ReturnType;
 declare const isMemoCall: isReactAPICall.ReturnType;
 declare const isLazyCall: isReactAPICall.ReturnType;
 
-export { type ClassComponent, type Component, ComponentDetectionHint, type ComponentEffectPhaseKind, ComponentFlag, type ComponentKind, type ComponentLifecyclePhaseKind, type ComponentPhaseKind, ComponentPhaseRelevance, type ComponentStateKind, DEFAULT_COMPONENT_DETECTION_HINT, DEFAULT_JSX_DETECTION_HINT, type EffectKind, type FunctionComponent, type Hook, type HookKind, JSXDetectionHint, type SemanticEntry, type SemanticNode, findParentAttribute, getAttribute, getAttributeName, getAttributeValue, getComponentFlagFromInitPath, getComponentNameFromId, getElementType, getFunctionComponentId, getInstanceId, hasAnyAttribute, hasAttribute, hasEveryAttribute, hasNoneOrLooseComponentName, isAssignmentToThisState, isCaptureOwnerStack, isCaptureOwnerStackCall, isChildrenCount, isChildrenCountCall, isChildrenForEach, isChildrenForEachCall, isChildrenMap, isChildrenMapCall, isChildrenOfCreateElement, isChildrenOnly, isChildrenOnlyCall, isChildrenToArray, isChildrenToArrayCall, isClassComponent, isCloneElement, isCloneElementCall, isComponentDidCatch, isComponentDidMount, isComponentDidUpdate, isComponentName, isComponentNameLoose, isComponentWillMount, isComponentWillReceiveProps, isComponentWillUnmount, isComponentWillUpdate, isComponentWrapperCall, isComponentWrapperCallLoose, isCreateContext, isCreateContextCall, isCreateElement, isCreateElementCall, isCreateRef, isCreateRefCall, isDeclaredInRenderPropLoose, isDirectValueOfRenderPropertyLoose, isForwardRef, isForwardRefCall, isFragmentElement, isFunctionOfRender, isFunctionOfRenderMethod, isGetChildContext, isGetDefaultProps, isGetDerivedStateFromError, isGetDerivedStateFromProps, isGetInitialState, isGetSnapshotBeforeUpdate, isHostElement, isInitializedFromReact, isInstanceIdEqual, isInversePhase, isJsxLike, isJsxText, isKeyedElement, isLazy, isLazyCall, isMemo, isMemoCall, isPureComponent, isReactAPI, isReactAPICall, isReactHook, isReactHookCall, isReactHookCallWithName, isReactHookCallWithNameAlias, isReactHookCallWithNameLoose, isReactHookId, isReactHookName, isRenderFunctionLoose, isRenderLike, isRenderMethodLike, isRenderPropLoose, isShouldComponentUpdate, isThisSetState, isUnsafeComponentWillMount, isUnsafeComponentWillReceiveProps, isUnsafeComponentWillUpdate, isUseActionStateCall, isUseCall, isUseCallbackCall, isUseContextCall, isUseDebugValueCall, isUseDeferredValueCall, isUseEffectCall, isUseEffectCallLoose, isUseFormStatusCall, isUseIdCall, isUseImperativeHandleCall, isUseInsertionEffectCall, isUseLayoutEffectCall, isUseMemoCall, isUseOptimisticCall, isUseReducerCall, isUseRefCall, isUseStateCall, isUseSyncExternalStoreCall, isUseTransitionCall, isValidComponentDefinition, stringifyJsx, useComponentCollector, useComponentCollectorLegacy, useHookCollector };
+export { type ClassComponent, type Component, ComponentDetectionHint, type ComponentEffectPhaseKind, ComponentFlag, type ComponentKind, type ComponentLifecyclePhaseKind, type ComponentPhaseKind, ComponentPhaseRelevance, type ComponentStateKind, DEFAULT_COMPONENT_DETECTION_HINT, DEFAULT_JSX_DETECTION_HINT, type EffectKind, type FunctionComponent, type Hook, JSXDetectionHint, REACT_BUILTIN_HOOK_NAMES, type SemanticEntry, type SemanticNode, type TypeVariant, findParentAttribute, getAttribute, getAttributeName, getAttributeValue, getComponentFlagFromInitPath, getComponentNameFromId, getElementType, getFunctionComponentId, getInstanceId, getTypeVariants, hasAnyAttribute, hasAttribute, hasEveryAttribute, hasNoneOrLooseComponentName, isAnyType, isAssignmentToThisState, isBigIntType, isBooleanType, isCaptureOwnerStack, isCaptureOwnerStackCall, isChildrenCount, isChildrenCountCall, isChildrenForEach, isChildrenForEachCall, isChildrenMap, isChildrenMapCall, isChildrenOfCreateElement, isChildrenOnly, isChildrenOnlyCall, isChildrenToArray, isChildrenToArrayCall, isClassComponent, isCloneElement, isCloneElementCall, isComponentDidCatch, isComponentDidMount, isComponentDidUpdate, isComponentName, isComponentNameLoose, isComponentWillMount, isComponentWillReceiveProps, isComponentWillUnmount, isComponentWillUpdate, isComponentWrapperCall, isComponentWrapperCallLoose, isCreateContext, isCreateContextCall, isCreateElement, isCreateElementCall, isCreateRef, isCreateRefCall, isDeclaredInRenderPropLoose, isDirectValueOfRenderPropertyLoose, isEnumType, isFalsyBigIntType, isFalsyNumberType, isFalsyStringType, isForwardRef, isForwardRefCall, isFragmentElement, isFunctionOfRender, isFunctionOfRenderMethod, isGetChildContext, isGetDefaultProps, isGetDerivedStateFromError, isGetDerivedStateFromProps, isGetInitialState, isGetSnapshotBeforeUpdate, isHostElement, isInitializedFromReact, isInstanceIdEqual, isInversePhase, isJsxLike, isJsxText, isLazy, isLazyCall, isMemo, isMemoCall, isNeverType, isNullishType, isNumberType, isObjectType, isPureComponent, isReactAPI, isReactAPICall, isReactHook, isReactHookCall, isReactHookCallWithName, isReactHookCallWithNameAlias, isReactHookCallWithNameLoose, isReactHookId, isReactHookName, isRenderFunctionLoose, isRenderLike, isRenderMethodLike, isRenderPropLoose, isShouldComponentUpdate, isStringType, isThisSetState, isTruthyBigIntType, isTruthyNumberType, isTruthyStringType, isUnknownType, isUnsafeComponentWillMount, isUnsafeComponentWillReceiveProps, isUnsafeComponentWillUpdate, isUseActionStateCall, isUseCall, isUseCallbackCall, isUseContextCall, isUseDebugValueCall, isUseDeferredValueCall, isUseEffectCall, isUseEffectCallLoose, isUseFormStatusCall, isUseIdCall, isUseImperativeHandleCall, isUseInsertionEffectCall, isUseLayoutEffectCall, isUseMemoCall, isUseOptimisticCall, isUseReducerCall, isUseRefCall, isUseStateCall, isUseSyncExternalStoreCall, isUseTransitionCall, isValidComponentDefinition, stringifyJsx, useComponentCollector, useComponentCollectorLegacy, useHookCollector };

package/dist/index.js

@@ -1,11 +1,14 @@
 import { AST_NODE_TYPES } from '@typescript-eslint/types';
 import * as AST14 from '@eslint-react/ast';
-import { flip, dual, constFalse, identity, constTrue, _ } from '@eslint-react/eff';
+import { flip, dual, constFalse, identity, constTrue, unit } from '@eslint-react/eff';
 import { RegExp, Selector } from '@eslint-react/kit';
 import { coerceSettings, DEFAULT_ESLINT_REACT_SETTINGS, getId } from '@eslint-react/shared';
 import * as VAR3 from '@eslint-react/var';
 import { isMatching, P, match } from 'ts-pattern';
 import birecord from 'birecord';
+import { isTypeFlagSet, isFalseLiteralType, isTrueLiteralType } from 'ts-api-utils';
+export { isFalseLiteralType, isTrueLiteralType } from 'ts-api-utils';
+import ts from 'typescript';
 
 // src/component/component-children.ts
 function isReactAPI(api) {
@@ -70,7 +73,7 @@ function getInstanceId(node, prev) {
     case (node.type === AST_NODE_TYPES.PropertyDefinition && node.value === prev):
       return node.key;
     case (node.type === AST_NODE_TYPES.BlockStatement || node.type === AST_NODE_TYPES.Program || node.parent === node):
-      return _;
+      return unit;
     default:
       return getInstanceId(node.parent, node);
   }
@@ -108,6 +111,27 @@ function isInstanceIdEqual(context, a, b) {
 }
 
 // src/hook/hook-name.ts
+var REACT_BUILTIN_HOOK_NAMES = [
+  "use",
+  "useActionState",
+  "useCallback",
+  "useContext",
+  "useDebugValue",
+  "useDeferredValue",
+  "useEffect",
+  "useFormStatus",
+  "useId",
+  "useImperativeHandle",
+  "useInsertionEffect",
+  "useLayoutEffect",
+  "useMemo",
+  "useOptimistic",
+  "useReducer",
+  "useRef",
+  "useState",
+  "useSyncExternalStore",
+  "useTransition"
+];
 function isReactHookName(name) {
   return name === "use" || /^use[A-Z0-9]/.test(name);
 }
@@ -411,6 +435,9 @@ function isJsxLike(code, node, hint = DEFAULT_JSX_DETECTION_HINT) {
       return !(hint & JSXDetectionHint.SkipStringLiteral);
     }
     case AST_NODE_TYPES.ArrayExpression: {
+      if (node.elements.length === 0) {
+        return !(hint & JSXDetectionHint.SkipEmptyArray);
+      }
       if (hint & JSXDetectionHint.StrictArray) {
         return node.elements.every((n) => isJsxLike(code, n, hint));
       }
@@ -480,6 +507,15 @@ function getElementType(context, node) {
   return stringifyJsx(node.openingElement.name);
 }
 
+// src/jsx/jsx-element-is.ts
+function isHostElement(context, node) {
+  return node.type === AST_NODE_TYPES.JSXElement && node.openingElement.name.type === AST_NODE_TYPES.JSXIdentifier && /^[a-z]/u.test(node.openingElement.name.name);
+}
+function isFragmentElement(context, node) {
+  if (node.type !== AST_NODE_TYPES.JSXElement) return false;
+  return getElementType(context, node).split(".").at(-1) === "Fragment";
+}
+
 // src/jsx/jsx-has.ts
 function hasAttribute(context, name, attributes, initialScope) {
   return getAttribute(context, name, attributes, initialScope) != null;
@@ -496,18 +532,6 @@ function findParentAttribute(node, test = constTrue) {
   };
   return AST14.findParentNode(node, guard);
 }
-function isHostElement(context, node) {
-  return node.type === AST_NODE_TYPES.JSXElement && node.openingElement.name.type === AST_NODE_TYPES.JSXIdentifier && /^[a-z]/u.test(node.openingElement.name.name);
-}
-function isKeyedElement(context, node, initialScope) {
-  return node.type === AST_NODE_TYPES.JSXElement && hasAttribute(context, "key", node.openingElement.attributes, initialScope);
-}
-function isFragmentElement(context, node, allowJSXFragment = false) {
-  if (node == null) return false;
-  if (node.type !== AST_NODE_TYPES.JSXElement && node.type !== AST_NODE_TYPES.JSXFragment) return false;
-  if (node.type === AST_NODE_TYPES.JSXFragment) return allowJSXFragment;
-  return getElementType(context, node).split(".").at(-1) === "Fragment";
-}
 
 // src/component/component-detection-hint.ts
 var ComponentDetectionHint = {
@@ -643,7 +667,7 @@ function getFunctionComponentId(context, node) {
   if (parent.type === AST_NODE_TYPES.CallExpression && isComponentWrapperCallLoose(context, parent) && parent.parent.type === AST_NODE_TYPES.CallExpression && isComponentWrapperCallLoose(context, parent.parent) && parent.parent.parent.type === AST_NODE_TYPES.VariableDeclarator && parent.parent.parent.id.type === AST_NODE_TYPES.Identifier) {
     return parent.parent.parent.id;
   }
-  return _;
+  return unit;
 }
 
 // src/component/component-flag.ts
@@ -674,7 +698,7 @@ function isComponentNameLoose(name) {
   return RegExp.COMPONENT_NAME_LOOSE.test(name);
 }
 function getComponentNameFromId(id) {
-  if (id == null) return _;
+  if (id == null) return unit;
   return Array.isArray(id) ? id.map((n) => n.name).join(".") : id.name;
 }
 function hasNoneOrLooseComponentName(context, fn) {
@@ -702,11 +726,15 @@ function useComponentCollector(context, options = {}) {
     const entry = functionEntries.at(-1);
     if (entry == null) return;
     if (!entry.isComponent) return functionEntries.pop();
-    const shouldDrop = AST14.getNestedReturnStatements(entry.node.body).slice().reverse().some((r) => {
-      return context.sourceCode.getScope(r).block === entry.node && r.argument != null && !isJsxLike(context.sourceCode, r.argument, hint);
-    });
-    if (shouldDrop) {
-      components.delete(entry.key);
+    const rets = AST14.getNestedReturnStatements(entry.node.body);
+    for (let i = rets.length - 1; i >= 0; i--) {
+      const ret = rets[i];
+      if (ret == null) continue;
+      const shouldDrop = context.sourceCode.getScope(ret).block === entry.node && ret.argument != null && !isJsxLike(context.sourceCode, ret.argument, hint);
+      if (shouldDrop) {
+        components.delete(entry.key);
+        break;
+      }
     }
     return functionEntries.pop();
   };
@@ -739,7 +767,7 @@ function useComponentCollector(context, options = {}) {
         kind: "function",
         name,
         node: entry.node,
-        displayName: _,
+        displayName: unit,
         flag: getComponentFlagFromInitPath(initPath),
         hint,
         hookCalls: entry.hookCalls,
@@ -750,7 +778,7 @@ function useComponentCollector(context, options = {}) {
       [Selector.DISPLAY_NAME_ASSIGNMENT_EXPRESSION](node) {
         const { left, right } = node;
         if (left.type !== AST_NODE_TYPES.MemberExpression) return;
-        const componentName = left.object.type === AST_NODE_TYPES.Identifier ? left.object.name : _;
+        const componentName = left.object.type === AST_NODE_TYPES.Identifier ? left.object.name : unit;
         const component = [...components.values()].findLast(({ name }) => name != null && name === componentName);
         if (component == null) return;
         component.displayName = right;
@@ -779,7 +807,7 @@ function useComponentCollector(context, options = {}) {
         kind: "function",
         name,
         node: entry.node,
-        displayName: _,
+        displayName: unit,
         flag: getComponentFlagFromInitPath(initPath),
         hint,
         hookCalls: entry.hookCalls,
@@ -813,7 +841,7 @@ function useComponentCollectorLegacy() {
         name: id?.name,
         node,
         // TODO: Get displayName of class component
-        displayName: _,
+        displayName: unit,
         flag,
         hint: 0n,
         // TODO: Get methods of class component
@@ -933,5 +961,73 @@ function isAssignmentToThisState(node) {
   const { left } = node;
   return left.type === AST_NODE_TYPES.MemberExpression && AST14.isThisExpression(left.object) && AST14.getPropertyName(left.property) === "state";
 }
+var isAnyType = (type) => isTypeFlagSet(type, ts.TypeFlags.TypeParameter | ts.TypeFlags.Any);
+var isBigIntType = (type) => isTypeFlagSet(type, ts.TypeFlags.BigIntLike);
+var isBooleanType = (type) => isTypeFlagSet(type, ts.TypeFlags.BooleanLike);
+var isEnumType = (type) => isTypeFlagSet(type, ts.TypeFlags.EnumLike);
+var isFalsyBigIntType = (type) => type.isLiteral() && isMatching({ value: { base10Value: "0" } }, type);
+var isFalsyNumberType = (type) => type.isNumberLiteral() && type.value === 0;
+var isFalsyStringType = (type) => type.isStringLiteral() && type.value === "";
+var isNeverType = (type) => isTypeFlagSet(type, ts.TypeFlags.Never);
+var isNullishType = (type) => isTypeFlagSet(type, ts.TypeFlags.Null | ts.TypeFlags.Undefined | ts.TypeFlags.VoidLike);
+var isNumberType = (type) => isTypeFlagSet(type, ts.TypeFlags.NumberLike);
+var isObjectType = (type) => !isTypeFlagSet(
+  type,
+  ts.TypeFlags.Null | ts.TypeFlags.Undefined | ts.TypeFlags.VoidLike | ts.TypeFlags.BooleanLike | ts.TypeFlags.StringLike | ts.TypeFlags.NumberLike | ts.TypeFlags.BigIntLike | ts.TypeFlags.TypeParameter | ts.TypeFlags.Any | ts.TypeFlags.Unknown | ts.TypeFlags.Never
+);
+var isStringType = (type) => isTypeFlagSet(type, ts.TypeFlags.StringLike);
+var isTruthyBigIntType = (type) => type.isLiteral() && isMatching({ value: { base10Value: P.not("0") } }, type);
+var isTruthyNumberType = (type) => type.isNumberLiteral() && type.value !== 0;
+var isTruthyStringType = (type) => type.isStringLiteral() && type.value !== "";
+var isUnknownType = (type) => isTypeFlagSet(type, ts.TypeFlags.Unknown);
+function getTypeVariants(types) {
+  const variants = /* @__PURE__ */ new Set();
+  if (types.some(isUnknownType)) {
+    variants.add("unknown");
+    return variants;
+  }
+  if (types.some(isNullishType)) {
+    variants.add("nullish");
+  }
+  const booleans = types.filter(isBooleanType);
+  const boolean0 = booleans[0];
+  if (booleans.length === 1 && boolean0 != null) {
+    if (isFalseLiteralType(boolean0)) {
+      variants.add("falsy boolean");
+    } else if (isTrueLiteralType(boolean0)) {
+      variants.add("truthy boolean");
+    }
+  } else if (booleans.length === 2) {
+    variants.add("boolean");
+  }
+  const strings = types.filter(isStringType);
+  if (strings.length > 0) {
+    const evaluated = match(strings).when((types2) => types2.every(isTruthyStringType), () => "truthy string").when((types2) => types2.every(isFalsyStringType), () => "falsy string").otherwise(() => "string");
+    variants.add(evaluated);
+  }
+  const bigints = types.filter(isBigIntType);
+  if (bigints.length > 0) {
+    const evaluated = match(bigints).when((types2) => types2.every(isTruthyBigIntType), () => "truthy bigint").when((types2) => types2.every(isFalsyBigIntType), () => "falsy bigint").otherwise(() => "bigint");
+    variants.add(evaluated);
+  }
+  const numbers = types.filter(isNumberType);
+  if (numbers.length > 0) {
+    const evaluated = match(numbers).when((types2) => types2.every(isTruthyNumberType), () => "truthy number").when((types2) => types2.every(isFalsyNumberType), () => "falsy number").otherwise(() => "number");
+    variants.add(evaluated);
+  }
+  if (types.some(isEnumType)) {
+    variants.add("enum");
+  }
+  if (types.some(isObjectType)) {
+    variants.add("object");
+  }
+  if (types.some(isAnyType)) {
+    variants.add("any");
+  }
+  if (types.some(isNeverType)) {
+    variants.add("never");
+  }
+  return variants;
+}
 
-export { ComponentDetectionHint, ComponentFlag, ComponentPhaseRelevance, DEFAULT_COMPONENT_DETECTION_HINT, DEFAULT_JSX_DETECTION_HINT, JSXDetectionHint, findParentAttribute, getAttribute, getAttributeName, getAttributeValue, getComponentFlagFromInitPath, getComponentNameFromId, getElementType, getFunctionComponentId, getInstanceId, hasAnyAttribute, hasAttribute, hasEveryAttribute, hasNoneOrLooseComponentName, isAssignmentToThisState, isCaptureOwnerStack, isCaptureOwnerStackCall, isChildrenCount, isChildrenCountCall, isChildrenForEach, isChildrenForEachCall, isChildrenMap, isChildrenMapCall, isChildrenOfCreateElement, isChildrenOnly, isChildrenOnlyCall, isChildrenToArray, isChildrenToArrayCall, isClassComponent, isCloneElement, isCloneElementCall, isComponentDidCatch, isComponentDidMount, isComponentDidUpdate, isComponentName, isComponentNameLoose, isComponentWillMount, isComponentWillReceiveProps, isComponentWillUnmount, isComponentWillUpdate, isComponentWrapperCall, isComponentWrapperCallLoose, isCreateContext, isCreateContextCall, isCreateElement, isCreateElementCall, isCreateRef, isCreateRefCall, isDeclaredInRenderPropLoose, isDirectValueOfRenderPropertyLoose, isForwardRef, isForwardRefCall, isFragmentElement, isFunctionOfRender, isFunctionOfRenderMethod, isGetChildContext, isGetDefaultProps, isGetDerivedStateFromError, isGetDerivedStateFromProps, isGetInitialState, isGetSnapshotBeforeUpdate, isHostElement, isInitializedFromReact, isInstanceIdEqual, isInversePhase, isJsxLike, isJsxText, isKeyedElement, isLazy, isLazyCall, isMemo, isMemoCall, isPureComponent, isReactAPI, isReactAPICall, isReactHook, isReactHookCall, isReactHookCallWithName, isReactHookCallWithNameAlias, isReactHookCallWithNameLoose, isReactHookId, isReactHookName, isRenderFunctionLoose, isRenderLike, isRenderMethodLike, isRenderPropLoose, isShouldComponentUpdate, isThisSetState, isUnsafeComponentWillMount, isUnsafeComponentWillReceiveProps, isUnsafeComponentWillUpdate, isUseActionStateCall, isUseCall, isUseCallbackCall, isUseContextCall, isUseDebugValueCall, isUseDeferredValueCall, isUseEffectCall, isUseEffectCallLoose, isUseFormStatusCall, isUseIdCall, isUseImperativeHandleCall, isUseInsertionEffectCall, isUseLayoutEffectCall, isUseMemoCall, isUseOptimisticCall, isUseReducerCall, isUseRefCall, isUseStateCall, isUseSyncExternalStoreCall, isUseTransitionCall, isValidComponentDefinition, stringifyJsx, useComponentCollector, useComponentCollectorLegacy, useHookCollector };
+export { ComponentDetectionHint, ComponentFlag, ComponentPhaseRelevance, DEFAULT_COMPONENT_DETECTION_HINT, DEFAULT_JSX_DETECTION_HINT, JSXDetectionHint, REACT_BUILTIN_HOOK_NAMES, findParentAttribute, getAttribute, getAttributeName, getAttributeValue, getComponentFlagFromInitPath, getComponentNameFromId, getElementType, getFunctionComponentId, getInstanceId, getTypeVariants, hasAnyAttribute, hasAttribute, hasEveryAttribute, hasNoneOrLooseComponentName, isAnyType, isAssignmentToThisState, isBigIntType, isBooleanType, isCaptureOwnerStack, isCaptureOwnerStackCall, isChildrenCount, isChildrenCountCall, isChildrenForEach, isChildrenForEachCall, isChildrenMap, isChildrenMapCall, isChildrenOfCreateElement, isChildrenOnly, isChildrenOnlyCall, isChildrenToArray, isChildrenToArrayCall, isClassComponent, isCloneElement, isCloneElementCall, isComponentDidCatch, isComponentDidMount, isComponentDidUpdate, isComponentName, isComponentNameLoose, isComponentWillMount, isComponentWillReceiveProps, isComponentWillUnmount, isComponentWillUpdate, isComponentWrapperCall, isComponentWrapperCallLoose, isCreateContext, isCreateContextCall, isCreateElement, isCreateElementCall, isCreateRef, isCreateRefCall, isDeclaredInRenderPropLoose, isDirectValueOfRenderPropertyLoose, isEnumType, isFalsyBigIntType, isFalsyNumberType, isFalsyStringType, isForwardRef, isForwardRefCall, isFragmentElement, isFunctionOfRender, isFunctionOfRenderMethod, isGetChildContext, isGetDefaultProps, isGetDerivedStateFromError, isGetDerivedStateFromProps, isGetInitialState, isGetSnapshotBeforeUpdate, isHostElement, isInitializedFromReact, isInstanceIdEqual, isInversePhase, isJsxLike, isJsxText, isLazy, isLazyCall, isMemo, isMemoCall, isNeverType, isNullishType, isNumberType, isObjectType, isPureComponent, isReactAPI, isReactAPICall, isReactHook, isReactHookCall, isReactHookCallWithName, isReactHookCallWithNameAlias, isReactHookCallWithNameLoose, isReactHookId, isReactHookName, isRenderFunctionLoose, isRenderLike, isRenderMethodLike, isRenderPropLoose, isShouldComponentUpdate, isStringType, isThisSetState, isTruthyBigIntType, isTruthyNumberType, isTruthyStringType, isUnknownType, isUnsafeComponentWillMount, isUnsafeComponentWillReceiveProps, isUnsafeComponentWillUpdate, isUseActionStateCall, isUseCall, isUseCallbackCall, isUseContextCall, isUseDebugValueCall, isUseDeferredValueCall, isUseEffectCall, isUseEffectCallLoose, isUseFormStatusCall, isUseIdCall, isUseImperativeHandleCall, isUseInsertionEffectCall, isUseLayoutEffectCall, isUseMemoCall, isUseOptimisticCall, isUseReducerCall, isUseRefCall, isUseStateCall, isUseSyncExternalStoreCall, isUseTransitionCall, isValidComponentDefinition, stringifyJsx, useComponentCollector, useComponentCollectorLegacy, useHookCollector };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@eslint-react/core",
-  "version": "2.0.0-next.13",
+  "version": "2.0.0-next.131",
   "description": "ESLint React's ESLint utility module for static analysis of React core APIs and patterns.",
   "homepage": "https://github.com/Rel1cx/eslint-react",
   "bugs": {
@@ -27,24 +27,24 @@
     "./package.json"
   ],
   "dependencies": {
-    "@typescript-eslint/scope-manager": "^8.31.1",
-    "@typescript-eslint/type-utils": "^8.31.1",
-    "@typescript-eslint/types": "^8.31.1",
-    "@typescript-eslint/utils": "^8.31.1",
+    "@typescript-eslint/scope-manager": "^8.39.1",
+    "@typescript-eslint/type-utils": "^8.39.1",
+    "@typescript-eslint/types": "^8.39.1",
+    "@typescript-eslint/utils": "^8.39.1",
     "birecord": "^0.1.1",
-    "ts-pattern": "^5.7.0",
-    "@eslint-react/ast": "2.0.0-next.13",
-    "@eslint-react/shared": "2.0.0-next.13",
-    "@eslint-react/var": "2.0.0-next.13",
-    "@eslint-react/eff": "2.0.0-next.13",
-    "@eslint-react/kit": "2.0.0-next.13"
+    "ts-api-utils": "^2.1.0",
+    "ts-pattern": "^5.8.0",
+    "@eslint-react/ast": "2.0.0-next.131",
+    "@eslint-react/eff": "2.0.0-next.131",
+    "@eslint-react/shared": "2.0.0-next.131",
+    "@eslint-react/var": "2.0.0-next.131",
+    "@eslint-react/kit": "2.0.0-next.131"
   },
   "devDependencies": {
-    "tsup": "^8.4.0",
+    "tsup": "^8.5.0",
     "@local/configs": "0.0.0"
   },
   "engines": {
-    "bun": ">=1.0.15",
     "node": ">=20.19.0"
   },
   "scripts": {