@eslint-react/ast 1.22.2-next.6 → 1.22.2-next.7

package/dist/index.d.mts

@@ -1,7 +1,8 @@
 import { O } from '@eslint-react/eff';
-import { TSESTree as TSESTree$1, AST_NODE_TYPES as AST_NODE_TYPES$1 } from '@typescript-eslint/types';
+import { TSESTree as TSESTree$1, AST_NODE_TYPES as AST_NODE_TYPES$2 } from '@typescript-eslint/types';
 import { TSESTree } from '@typescript-eslint/utils';
 import { SyntaxKind } from 'typescript';
+import { AST_NODE_TYPES as AST_NODE_TYPES$1 } from '@typescript-eslint/typescript-estree';
 import * as effect_Predicate from 'effect/Predicate';
 
 type TSESTreeFunction = TSESTree.ArrowFunctionExpression | TSESTree.FunctionDeclaration | TSESTree.FunctionExpression;
@@ -2285,6 +2286,16 @@ declare interface YieldExpression extends BaseNode {
  */
 declare const getNestedCallExpressions: (node: Node) => CallExpression[];
 
+/**
+ * Get all nested expressions of type T in an expression like node
+ * @param type The type of the expression to retrieve within the node
+ * @returns A partially applied function bound to a predicate of type T. The returned function can be called passing a
+ * node, and it will return an array of all nested expressions of type T.
+ */
+declare function getNestedExpressionsOfType<T extends AST_NODE_TYPES$1>(type: T): (node: TSESTree$1.Node) => Extract<TSESTree$1.Node, {
+    type: T;
+}>[];
+
 /**
  * Get all nested identifiers in a expression like node
  * @param node The node to get the nested identifiers from
@@ -2308,10 +2319,10 @@ declare function getNestedReturnStatements(node: TSESTree$1.Node): readonly TSES
 
 declare function getTopLevelIdentifier(node: TSESTree$1.Node): O.Option<TSESTree$1.Identifier>;
 
-declare const is: <NodeType extends AST_NODE_TYPES$1>(nodeType: NodeType) => (node: TSESTree.Node | null | undefined) => node is Extract<TSESTree.Node, {
+declare const is: <NodeType extends AST_NODE_TYPES$2>(nodeType: NodeType) => (node: TSESTree.Node | null | undefined) => node is Extract<TSESTree.Node, {
     type: NodeType;
 }>;
-declare const isOneOf: <NodeTypes extends readonly AST_NODE_TYPES$1[]>(nodeTypes: NodeTypes) => (node: TSESTree.Node | null | undefined) => node is Extract<TSESTree.Node, {
+declare const isOneOf: <NodeTypes extends readonly AST_NODE_TYPES$2[]>(nodeTypes: NodeTypes) => (node: TSESTree.Node | null | undefined) => node is Extract<TSESTree.Node, {
     type: NodeTypes[number];
 }>;
 declare const isFunction: (node: TSESTree.Node | null | undefined) => node is TSESTree.ArrowFunctionExpression | TSESTree.FunctionDeclarationWithName | TSESTree.FunctionDeclarationWithOptionalName | TSESTree.FunctionExpression;
@@ -2330,6 +2341,7 @@ declare const isDestructuringPattern: (node: TSESTree.Node | null | undefined) =
 declare const isTypeDeclaration: (node: TSESTree.Node | null | undefined) => node is TSESTree.TSInterfaceDeclaration | TSESTree.TSTypeAliasDeclaration;
 declare const isLeftHandSideExpression: (node: TSESTree.Node | null | undefined) => node is TSESTree.ArrowFunctionExpression | TSESTree.FunctionExpression | TSESTree.ClassExpression | TSESTree.JSXElement | TSESTree.JSXFragment | TSESTree.ArrayPattern | TSESTree.ObjectPattern | TSESTree.CallExpression | TSESTree.ObjectExpression | TSESTree.ArrayExpression | TSESTree.Identifier | TSESTree.BigIntLiteral | TSESTree.BooleanLiteral | TSESTree.NullLiteral | TSESTree.NumberLiteral | TSESTree.RegExpLiteral | TSESTree.StringLiteral | TSESTree.MemberExpressionComputedName | TSESTree.MemberExpressionNonComputedName | TSESTree.MetaProperty | TSESTree.SequenceExpression | TSESTree.Super | TSESTree.TaggedTemplateExpression | TSESTree.TemplateLiteral | TSESTree.ThisExpression;
 declare const isLeftHandSideExpressionType: (node: TSESTree.Node | null | undefined) => node is TSESTree.ArrowFunctionExpression | TSESTree.FunctionExpression | TSESTree.ClassExpression | TSESTree.JSXElement | TSESTree.JSXFragment | TSESTree.ArrayPattern | TSESTree.ObjectPattern | TSESTree.CallExpression | TSESTree.ObjectExpression | TSESTree.ArrayExpression | TSESTree.Identifier | TSESTree.BigIntLiteral | TSESTree.BooleanLiteral | TSESTree.NullLiteral | TSESTree.NumberLiteral | TSESTree.RegExpLiteral | TSESTree.StringLiteral | TSESTree.MemberExpressionComputedName | TSESTree.MemberExpressionNonComputedName | TSESTree.MetaProperty | TSESTree.SequenceExpression | TSESTree.Super | TSESTree.TaggedTemplateExpression | TSESTree.TemplateLiteral | TSESTree.ThisExpression | TSESTree.TSAsExpression | TSESTree.TSNonNullExpression | TSESTree.TSTypeAssertion;
+declare const isTypeExpression: (node: TSESTree.Node | null | undefined) => node is TSESTree.TSAsExpression | TSESTree.TSNonNullExpression | TSESTree.TSSatisfiesExpression | TSESTree.TSTypeAssertion;
 
 declare function isEmptyFunction(node: TSESTreeFunction): boolean;
 
@@ -2424,4 +2436,15 @@ declare const traverseUpGuard: {
     <T extends TSESTree$1.Node>(predicate: (node: TSESTree$1.Node) => node is T): (node: TSESTree$1.Node) => O.Option<T>;
 };
 
-export { type FunctionInitPath, type ReadableNodeType, type TSESTreeArrayTupleType, type TSESTreeClass, type TSESTreeDestructuringPattern, type TSESTreeFunction, type TSESTreeFunctionType, type TSESTreeJSX, type TSESTreeLoop, type TSESTreeProperty, type TSESTreeTypeDeclaration, getClassIdentifier, getFunctionIdentifier, getFunctionInitPath, getIdentifiersFromBinaryExpression, getLiteralValueType, getNestedCallExpressions, getNestedIdentifiers, getNestedNewExpressions, getNestedReturnStatements, getTopLevelIdentifier, hasCallInFunctionInitPath, is, isArrayTupleType, isClass, isConditional, isControlFlow, isDestructuringPattern, isEmptyFunction, isFunction, isFunctionOfClassMethod, isFunctionOfClassProperty, isFunctionOfImmediatelyInvoked, isFunctionOfObjectMethod, isFunctionType, isJSX, isJSXElement, isJSXFragment, isJSXTagNameExpression, isKeyLiteralLike, isLeftHandSideExpression, isLeftHandSideExpressionType, isLoop, isMapCallLoose, isMultiLine, isNodeEqual, isOneOf, isProperty, isRegExpLiteral, isStringLiteral, isThisExpression, isTypeDeclaration, toReadableNodeName, toReadableNodeType, traverseUp, traverseUpGuard };
+/**
+ * Traverses up the AST tree until the predicate returns `true` or the stop node is reached
+ * @param node The AST node to start traversing from
+ * @param stopNode The AST node to stop traversing at
+ * @param predicate The predicate to check each node
+ * @returns The first node that matches the predicate or `null` if no node matches
+ */
+declare function traverseUpStop(node: TSESTree$1.Node, stopNode: TSESTree$1.Node, predicate: (node: TSESTree$1.Node) => boolean): O.Option<TSESTree$1.Node>;
+
+declare function unwrapTypeExpression(node: TSESTree$1.Node): TSESTree$1.Node;
+
+export { type FunctionInitPath, type ReadableNodeType, type TSESTreeArrayTupleType, type TSESTreeClass, type TSESTreeDestructuringPattern, type TSESTreeFunction, type TSESTreeFunctionType, type TSESTreeJSX, type TSESTreeLoop, type TSESTreeProperty, type TSESTreeTypeDeclaration, getClassIdentifier, getFunctionIdentifier, getFunctionInitPath, getIdentifiersFromBinaryExpression, getLiteralValueType, getNestedCallExpressions, getNestedExpressionsOfType, getNestedIdentifiers, getNestedNewExpressions, getNestedReturnStatements, getTopLevelIdentifier, hasCallInFunctionInitPath, is, isArrayTupleType, isClass, isConditional, isControlFlow, isDestructuringPattern, isEmptyFunction, isFunction, isFunctionOfClassMethod, isFunctionOfClassProperty, isFunctionOfImmediatelyInvoked, isFunctionOfObjectMethod, isFunctionType, isJSX, isJSXElement, isJSXFragment, isJSXTagNameExpression, isKeyLiteralLike, isLeftHandSideExpression, isLeftHandSideExpressionType, isLoop, isMapCallLoose, isMultiLine, isNodeEqual, isOneOf, isProperty, isRegExpLiteral, isStringLiteral, isThisExpression, isTypeDeclaration, isTypeExpression, toReadableNodeName, toReadableNodeType, traverseUp, traverseUpGuard, traverseUpStop, unwrapTypeExpression };

package/dist/index.d.ts

@@ -1,7 +1,8 @@
 import { O } from '@eslint-react/eff';
-import { TSESTree as TSESTree$1, AST_NODE_TYPES as AST_NODE_TYPES$1 } from '@typescript-eslint/types';
+import { TSESTree as TSESTree$1, AST_NODE_TYPES as AST_NODE_TYPES$2 } from '@typescript-eslint/types';
 import { TSESTree } from '@typescript-eslint/utils';
 import { SyntaxKind } from 'typescript';
+import { AST_NODE_TYPES as AST_NODE_TYPES$1 } from '@typescript-eslint/typescript-estree';
 import * as effect_Predicate from 'effect/Predicate';
 
 type TSESTreeFunction = TSESTree.ArrowFunctionExpression | TSESTree.FunctionDeclaration | TSESTree.FunctionExpression;
@@ -2285,6 +2286,16 @@ declare interface YieldExpression extends BaseNode {
  */
 declare const getNestedCallExpressions: (node: Node) => CallExpression[];
 
+/**
+ * Get all nested expressions of type T in an expression like node
+ * @param type The type of the expression to retrieve within the node
+ * @returns A partially applied function bound to a predicate of type T. The returned function can be called passing a
+ * node, and it will return an array of all nested expressions of type T.
+ */
+declare function getNestedExpressionsOfType<T extends AST_NODE_TYPES$1>(type: T): (node: TSESTree$1.Node) => Extract<TSESTree$1.Node, {
+    type: T;
+}>[];
+
 /**
  * Get all nested identifiers in a expression like node
  * @param node The node to get the nested identifiers from
@@ -2308,10 +2319,10 @@ declare function getNestedReturnStatements(node: TSESTree$1.Node): readonly TSES
 
 declare function getTopLevelIdentifier(node: TSESTree$1.Node): O.Option<TSESTree$1.Identifier>;
 
-declare const is: <NodeType extends AST_NODE_TYPES$1>(nodeType: NodeType) => (node: TSESTree.Node | null | undefined) => node is Extract<TSESTree.Node, {
+declare const is: <NodeType extends AST_NODE_TYPES$2>(nodeType: NodeType) => (node: TSESTree.Node | null | undefined) => node is Extract<TSESTree.Node, {
     type: NodeType;
 }>;
-declare const isOneOf: <NodeTypes extends readonly AST_NODE_TYPES$1[]>(nodeTypes: NodeTypes) => (node: TSESTree.Node | null | undefined) => node is Extract<TSESTree.Node, {
+declare const isOneOf: <NodeTypes extends readonly AST_NODE_TYPES$2[]>(nodeTypes: NodeTypes) => (node: TSESTree.Node | null | undefined) => node is Extract<TSESTree.Node, {
     type: NodeTypes[number];
 }>;
 declare const isFunction: (node: TSESTree.Node | null | undefined) => node is TSESTree.ArrowFunctionExpression | TSESTree.FunctionDeclarationWithName | TSESTree.FunctionDeclarationWithOptionalName | TSESTree.FunctionExpression;
@@ -2330,6 +2341,7 @@ declare const isDestructuringPattern: (node: TSESTree.Node | null | undefined) =
 declare const isTypeDeclaration: (node: TSESTree.Node | null | undefined) => node is TSESTree.TSInterfaceDeclaration | TSESTree.TSTypeAliasDeclaration;
 declare const isLeftHandSideExpression: (node: TSESTree.Node | null | undefined) => node is TSESTree.ArrowFunctionExpression | TSESTree.FunctionExpression | TSESTree.ClassExpression | TSESTree.JSXElement | TSESTree.JSXFragment | TSESTree.ArrayPattern | TSESTree.ObjectPattern | TSESTree.CallExpression | TSESTree.ObjectExpression | TSESTree.ArrayExpression | TSESTree.Identifier | TSESTree.BigIntLiteral | TSESTree.BooleanLiteral | TSESTree.NullLiteral | TSESTree.NumberLiteral | TSESTree.RegExpLiteral | TSESTree.StringLiteral | TSESTree.MemberExpressionComputedName | TSESTree.MemberExpressionNonComputedName | TSESTree.MetaProperty | TSESTree.SequenceExpression | TSESTree.Super | TSESTree.TaggedTemplateExpression | TSESTree.TemplateLiteral | TSESTree.ThisExpression;
 declare const isLeftHandSideExpressionType: (node: TSESTree.Node | null | undefined) => node is TSESTree.ArrowFunctionExpression | TSESTree.FunctionExpression | TSESTree.ClassExpression | TSESTree.JSXElement | TSESTree.JSXFragment | TSESTree.ArrayPattern | TSESTree.ObjectPattern | TSESTree.CallExpression | TSESTree.ObjectExpression | TSESTree.ArrayExpression | TSESTree.Identifier | TSESTree.BigIntLiteral | TSESTree.BooleanLiteral | TSESTree.NullLiteral | TSESTree.NumberLiteral | TSESTree.RegExpLiteral | TSESTree.StringLiteral | TSESTree.MemberExpressionComputedName | TSESTree.MemberExpressionNonComputedName | TSESTree.MetaProperty | TSESTree.SequenceExpression | TSESTree.Super | TSESTree.TaggedTemplateExpression | TSESTree.TemplateLiteral | TSESTree.ThisExpression | TSESTree.TSAsExpression | TSESTree.TSNonNullExpression | TSESTree.TSTypeAssertion;
+declare const isTypeExpression: (node: TSESTree.Node | null | undefined) => node is TSESTree.TSAsExpression | TSESTree.TSNonNullExpression | TSESTree.TSSatisfiesExpression | TSESTree.TSTypeAssertion;
 
 declare function isEmptyFunction(node: TSESTreeFunction): boolean;
 
@@ -2424,4 +2436,15 @@ declare const traverseUpGuard: {
     <T extends TSESTree$1.Node>(predicate: (node: TSESTree$1.Node) => node is T): (node: TSESTree$1.Node) => O.Option<T>;
 };
 
-export { type FunctionInitPath, type ReadableNodeType, type TSESTreeArrayTupleType, type TSESTreeClass, type TSESTreeDestructuringPattern, type TSESTreeFunction, type TSESTreeFunctionType, type TSESTreeJSX, type TSESTreeLoop, type TSESTreeProperty, type TSESTreeTypeDeclaration, getClassIdentifier, getFunctionIdentifier, getFunctionInitPath, getIdentifiersFromBinaryExpression, getLiteralValueType, getNestedCallExpressions, getNestedIdentifiers, getNestedNewExpressions, getNestedReturnStatements, getTopLevelIdentifier, hasCallInFunctionInitPath, is, isArrayTupleType, isClass, isConditional, isControlFlow, isDestructuringPattern, isEmptyFunction, isFunction, isFunctionOfClassMethod, isFunctionOfClassProperty, isFunctionOfImmediatelyInvoked, isFunctionOfObjectMethod, isFunctionType, isJSX, isJSXElement, isJSXFragment, isJSXTagNameExpression, isKeyLiteralLike, isLeftHandSideExpression, isLeftHandSideExpressionType, isLoop, isMapCallLoose, isMultiLine, isNodeEqual, isOneOf, isProperty, isRegExpLiteral, isStringLiteral, isThisExpression, isTypeDeclaration, toReadableNodeName, toReadableNodeType, traverseUp, traverseUpGuard };
+/**
+ * Traverses up the AST tree until the predicate returns `true` or the stop node is reached
+ * @param node The AST node to start traversing from
+ * @param stopNode The AST node to stop traversing at
+ * @param predicate The predicate to check each node
+ * @returns The first node that matches the predicate or `null` if no node matches
+ */
+declare function traverseUpStop(node: TSESTree$1.Node, stopNode: TSESTree$1.Node, predicate: (node: TSESTree$1.Node) => boolean): O.Option<TSESTree$1.Node>;
+
+declare function unwrapTypeExpression(node: TSESTree$1.Node): TSESTree$1.Node;
+
+export { type FunctionInitPath, type ReadableNodeType, type TSESTreeArrayTupleType, type TSESTreeClass, type TSESTreeDestructuringPattern, type TSESTreeFunction, type TSESTreeFunctionType, type TSESTreeJSX, type TSESTreeLoop, type TSESTreeProperty, type TSESTreeTypeDeclaration, getClassIdentifier, getFunctionIdentifier, getFunctionInitPath, getIdentifiersFromBinaryExpression, getLiteralValueType, getNestedCallExpressions, getNestedExpressionsOfType, getNestedIdentifiers, getNestedNewExpressions, getNestedReturnStatements, getTopLevelIdentifier, hasCallInFunctionInitPath, is, isArrayTupleType, isClass, isConditional, isControlFlow, isDestructuringPattern, isEmptyFunction, isFunction, isFunctionOfClassMethod, isFunctionOfClassProperty, isFunctionOfImmediatelyInvoked, isFunctionOfObjectMethod, isFunctionType, isJSX, isJSXElement, isJSXFragment, isJSXTagNameExpression, isKeyLiteralLike, isLeftHandSideExpression, isLeftHandSideExpressionType, isLoop, isMapCallLoose, isMultiLine, isNodeEqual, isOneOf, isProperty, isRegExpLiteral, isStringLiteral, isThisExpression, isTypeDeclaration, isTypeExpression, toReadableNodeName, toReadableNodeType, traverseUp, traverseUpGuard, traverseUpStop, unwrapTypeExpression };

package/dist/index.js

@@ -230,6 +230,12 @@ var isLeftHandSideExpressionType = isOneOf([
   types.AST_NODE_TYPES.TSNonNullExpression,
   types.AST_NODE_TYPES.TSTypeAssertion
 ]);
+var isTypeExpression = isOneOf([
+  types.AST_NODE_TYPES.TSAsExpression,
+  types.AST_NODE_TYPES.TSTypeAssertion,
+  types.AST_NODE_TYPES.TSNonNullExpression,
+  types.AST_NODE_TYPES.TSSatisfiesExpression
+]);
 
 // src/get-function-identifier.ts
 function getFunctionIdentifier(node) {
@@ -257,9 +263,10 @@ function getFunctionIdentifier(node) {
     // ({MaybeComponent = () => {}} = {});
     case (node.parent.type === types.AST_NODE_TYPES.AssignmentPattern && node.parent.right === node && node.parent.left.type === types.AST_NODE_TYPES.Identifier):
       return eff.O.some(node.parent.left);
+    // const MaybeComponent = (() => {})!;
     // const MaybeComponent = (() => {}) as FunctionComponent;
     // const MaybeComponent = (() => {}) satisfies FunctionComponent;
-    case isOneOf([types.AST_NODE_TYPES.TSAsExpression, types.AST_NODE_TYPES.TSSatisfiesExpression])(node.parent):
+    case isTypeExpression(node.parent):
       return getFunctionIdentifier(node.parent);
   }
   return eff.O.none();
@@ -349,6 +356,14 @@ function getNestedExpressionsOfType(type) {
       const chunk = boundGetNestedExpressionsOfType(node.expression);
       expressions.push(...chunk);
     }
+    if (node.type === typescriptEstree.AST_NODE_TYPES.TSAsExpression) {
+      const chunk = boundGetNestedExpressionsOfType(node.expression);
+      expressions.push(...chunk);
+    }
+    if (node.type === typescriptEstree.AST_NODE_TYPES.TSSatisfiesExpression) {
+      const chunk = boundGetNestedExpressionsOfType(node.expression);
+      expressions.push(...chunk);
+    }
     return expressions;
   };
 }
@@ -408,6 +423,14 @@ function getNestedIdentifiers(node) {
     const chunk = getNestedIdentifiers(node.expression);
     identifiers.push(...chunk);
   }
+  if (node.type === types.AST_NODE_TYPES.TSAsExpression) {
+    const chunk = getNestedIdentifiers(node.expression);
+    identifiers.push(...chunk);
+  }
+  if (node.type === types.AST_NODE_TYPES.TSSatisfiesExpression) {
+    const chunk = getNestedIdentifiers(node.expression);
+    identifiers.push(...chunk);
+  }
   return identifiers;
 }
 var getNestedNewExpressions = getNestedExpressionsOfType(typescriptEstree.AST_NODE_TYPES.NewExpression);
@@ -490,26 +513,36 @@ function isMultiLine(node) {
   return node.loc.start.line !== node.loc.end.line;
 }
 var isNodeEqual = eff.F.dual(2, (a, b) => {
-  if (a.type !== b.type) return false;
-  if (a.type === types.AST_NODE_TYPES.ThisExpression && b.type === types.AST_NODE_TYPES.ThisExpression) return true;
-  if (a.type === types.AST_NODE_TYPES.Literal && b.type === types.AST_NODE_TYPES.Literal) return a.value === b.value;
-  if (a.type === types.AST_NODE_TYPES.TemplateElement && b.type === types.AST_NODE_TYPES.TemplateElement) {
-    return a.value.raw === b.value.raw;
-  }
-  if (a.type === types.AST_NODE_TYPES.TemplateLiteral && b.type === types.AST_NODE_TYPES.TemplateLiteral) {
-    if (a.quasis.length !== b.quasis.length || a.expressions.length !== b.expressions.length) return false;
-    if (!types$1.zip(a.quasis, b.quasis).every(([a2, b2]) => isNodeEqual(a2, b2))) return false;
-    if (!types$1.zip(a.expressions, b.expressions).every(([a2, b2]) => isNodeEqual(a2, b2))) return false;
-    return true;
-  }
-  if (a.type === types.AST_NODE_TYPES.Identifier && b.type === types.AST_NODE_TYPES.Identifier) return a.name === b.name;
-  if (a.type === types.AST_NODE_TYPES.PrivateIdentifier && b.type === types.AST_NODE_TYPES.PrivateIdentifier) {
-    return a.name === b.name;
-  }
-  if (a.type === types.AST_NODE_TYPES.MemberExpression && b.type === types.AST_NODE_TYPES.MemberExpression) {
-    return isNodeEqual(a.property, b.property) && isNodeEqual(a.object, b.object);
-  }
-  return false;
+  switch (true) {
+    case a === b:
+      return true;
+    case a.type !== b.type:
+      return false;
+    case (a.type === types.AST_NODE_TYPES.Literal && b.type === types.AST_NODE_TYPES.Literal):
+      return a.value === b.value;
+    case (a.type === types.AST_NODE_TYPES.TemplateElement && b.type === types.AST_NODE_TYPES.TemplateElement):
+      return a.value.raw === b.value.raw;
+    case (a.type === types.AST_NODE_TYPES.TemplateLiteral && b.type === types.AST_NODE_TYPES.TemplateLiteral):
+      if (a.quasis.length !== b.quasis.length || a.expressions.length !== b.expressions.length) return false;
+      if (!types$1.zip(a.quasis, b.quasis).every(([a2, b2]) => isNodeEqual(a2, b2))) return false;
+      if (!types$1.zip(a.expressions, b.expressions).every(([a2, b2]) => isNodeEqual(a2, b2))) return false;
+      return true;
+    case (a.type === types.AST_NODE_TYPES.Identifier && b.type === types.AST_NODE_TYPES.Identifier):
+      return a.name === b.name;
+    case (a.type === types.AST_NODE_TYPES.PrivateIdentifier && b.type === types.AST_NODE_TYPES.PrivateIdentifier):
+      return a.name === b.name;
+    case (a.type === types.AST_NODE_TYPES.MemberExpression && b.type === types.AST_NODE_TYPES.MemberExpression):
+      return isNodeEqual(a.property, b.property) && isNodeEqual(a.object, b.object);
+    case (a.type === types.AST_NODE_TYPES.JSXAttribute && b.type === types.AST_NODE_TYPES.JSXAttribute): {
+      if (a.name.name !== b.name.name) return false;
+      if (a.value === null || b.value === null) return a.value === b.value;
+      return isNodeEqual(a.value, b.value);
+    }
+    case (a.type === types.AST_NODE_TYPES.ThisExpression && b.type === types.AST_NODE_TYPES.ThisExpression):
+      return true;
+    default:
+      return false;
+  }
 });
 function isRegExpLiteral(node) {
   return node.type === types.AST_NODE_TYPES.Literal && "regex" in node;
@@ -518,7 +551,7 @@ function isStringLiteral(node) {
   return node.type === types.AST_NODE_TYPES.Literal && eff.isString(node.value);
 }
 function isThisExpression(node) {
-  if (node.type === types.AST_NODE_TYPES.TSAsExpression) {
+  if (isTypeExpression(node)) {
     return isThisExpression(node.expression);
   }
   return node.type === types.AST_NODE_TYPES.ThisExpression;
@@ -558,6 +591,17 @@ var traverseUp = eff.F.dual(2, (node, predicate) => {
   if (!parent || parent.type === types.AST_NODE_TYPES.Program) return eff.O.none();
   return predicate(parent) ? eff.O.some(parent) : traverseUp(parent, predicate);
 });
+function traverseUpStop(node, stopNode, predicate) {
+  const { parent } = node;
+  if (!parent || parent === stopNode || parent.type === types.AST_NODE_TYPES.Program) return eff.O.none();
+  return predicate(parent) ? eff.O.some(parent) : traverseUpStop(parent, stopNode, predicate);
+}
+
+// src/unwrap-type-expression.ts
+function unwrapTypeExpression(node) {
+  if (isTypeExpression(node)) return unwrapTypeExpression(node.expression);
+  return node;
+}
 
 exports.getClassIdentifier = getClassIdentifier;
 exports.getFunctionIdentifier = getFunctionIdentifier;
@@ -565,6 +609,7 @@ exports.getFunctionInitPath = getFunctionInitPath;
 exports.getIdentifiersFromBinaryExpression = getIdentifiersFromBinaryExpression;
 exports.getLiteralValueType = getLiteralValueType;
 exports.getNestedCallExpressions = getNestedCallExpressions;
+exports.getNestedExpressionsOfType = getNestedExpressionsOfType;
 exports.getNestedIdentifiers = getNestedIdentifiers;
 exports.getNestedNewExpressions = getNestedNewExpressions;
 exports.getNestedReturnStatements = getNestedReturnStatements;
@@ -600,7 +645,10 @@ exports.isRegExpLiteral = isRegExpLiteral;
 exports.isStringLiteral = isStringLiteral;
 exports.isThisExpression = isThisExpression;
 exports.isTypeDeclaration = isTypeDeclaration;
+exports.isTypeExpression = isTypeExpression;
 exports.toReadableNodeName = toReadableNodeName;
 exports.toReadableNodeType = toReadableNodeType;
 exports.traverseUp = traverseUp;
 exports.traverseUpGuard = traverseUpGuard;
+exports.traverseUpStop = traverseUpStop;
+exports.unwrapTypeExpression = unwrapTypeExpression;

package/dist/index.mjs

@@ -228,6 +228,12 @@ var isLeftHandSideExpressionType = isOneOf([
   AST_NODE_TYPES.TSNonNullExpression,
   AST_NODE_TYPES.TSTypeAssertion
 ]);
+var isTypeExpression = isOneOf([
+  AST_NODE_TYPES.TSAsExpression,
+  AST_NODE_TYPES.TSTypeAssertion,
+  AST_NODE_TYPES.TSNonNullExpression,
+  AST_NODE_TYPES.TSSatisfiesExpression
+]);
 
 // src/get-function-identifier.ts
 function getFunctionIdentifier(node) {
@@ -255,9 +261,10 @@ function getFunctionIdentifier(node) {
     // ({MaybeComponent = () => {}} = {});
     case (node.parent.type === AST_NODE_TYPES.AssignmentPattern && node.parent.right === node && node.parent.left.type === AST_NODE_TYPES.Identifier):
       return O.some(node.parent.left);
+    // const MaybeComponent = (() => {})!;
     // const MaybeComponent = (() => {}) as FunctionComponent;
     // const MaybeComponent = (() => {}) satisfies FunctionComponent;
-    case isOneOf([AST_NODE_TYPES.TSAsExpression, AST_NODE_TYPES.TSSatisfiesExpression])(node.parent):
+    case isTypeExpression(node.parent):
       return getFunctionIdentifier(node.parent);
   }
   return O.none();
@@ -347,6 +354,14 @@ function getNestedExpressionsOfType(type) {
       const chunk = boundGetNestedExpressionsOfType(node.expression);
       expressions.push(...chunk);
     }
+    if (node.type === AST_NODE_TYPES$1.TSAsExpression) {
+      const chunk = boundGetNestedExpressionsOfType(node.expression);
+      expressions.push(...chunk);
+    }
+    if (node.type === AST_NODE_TYPES$1.TSSatisfiesExpression) {
+      const chunk = boundGetNestedExpressionsOfType(node.expression);
+      expressions.push(...chunk);
+    }
     return expressions;
   };
 }
@@ -406,6 +421,14 @@ function getNestedIdentifiers(node) {
     const chunk = getNestedIdentifiers(node.expression);
     identifiers.push(...chunk);
   }
+  if (node.type === AST_NODE_TYPES.TSAsExpression) {
+    const chunk = getNestedIdentifiers(node.expression);
+    identifiers.push(...chunk);
+  }
+  if (node.type === AST_NODE_TYPES.TSSatisfiesExpression) {
+    const chunk = getNestedIdentifiers(node.expression);
+    identifiers.push(...chunk);
+  }
   return identifiers;
 }
 var getNestedNewExpressions = getNestedExpressionsOfType(AST_NODE_TYPES$1.NewExpression);
@@ -488,26 +511,36 @@ function isMultiLine(node) {
   return node.loc.start.line !== node.loc.end.line;
 }
 var isNodeEqual = F.dual(2, (a, b) => {
-  if (a.type !== b.type) return false;
-  if (a.type === AST_NODE_TYPES.ThisExpression && b.type === AST_NODE_TYPES.ThisExpression) return true;
-  if (a.type === AST_NODE_TYPES.Literal && b.type === AST_NODE_TYPES.Literal) return a.value === b.value;
-  if (a.type === AST_NODE_TYPES.TemplateElement && b.type === AST_NODE_TYPES.TemplateElement) {
-    return a.value.raw === b.value.raw;
-  }
-  if (a.type === AST_NODE_TYPES.TemplateLiteral && b.type === AST_NODE_TYPES.TemplateLiteral) {
-    if (a.quasis.length !== b.quasis.length || a.expressions.length !== b.expressions.length) return false;
-    if (!zip(a.quasis, b.quasis).every(([a2, b2]) => isNodeEqual(a2, b2))) return false;
-    if (!zip(a.expressions, b.expressions).every(([a2, b2]) => isNodeEqual(a2, b2))) return false;
-    return true;
-  }
-  if (a.type === AST_NODE_TYPES.Identifier && b.type === AST_NODE_TYPES.Identifier) return a.name === b.name;
-  if (a.type === AST_NODE_TYPES.PrivateIdentifier && b.type === AST_NODE_TYPES.PrivateIdentifier) {
-    return a.name === b.name;
-  }
-  if (a.type === AST_NODE_TYPES.MemberExpression && b.type === AST_NODE_TYPES.MemberExpression) {
-    return isNodeEqual(a.property, b.property) && isNodeEqual(a.object, b.object);
-  }
-  return false;
+  switch (true) {
+    case a === b:
+      return true;
+    case a.type !== b.type:
+      return false;
+    case (a.type === AST_NODE_TYPES.Literal && b.type === AST_NODE_TYPES.Literal):
+      return a.value === b.value;
+    case (a.type === AST_NODE_TYPES.TemplateElement && b.type === AST_NODE_TYPES.TemplateElement):
+      return a.value.raw === b.value.raw;
+    case (a.type === AST_NODE_TYPES.TemplateLiteral && b.type === AST_NODE_TYPES.TemplateLiteral):
+      if (a.quasis.length !== b.quasis.length || a.expressions.length !== b.expressions.length) return false;
+      if (!zip(a.quasis, b.quasis).every(([a2, b2]) => isNodeEqual(a2, b2))) return false;
+      if (!zip(a.expressions, b.expressions).every(([a2, b2]) => isNodeEqual(a2, b2))) return false;
+      return true;
+    case (a.type === AST_NODE_TYPES.Identifier && b.type === AST_NODE_TYPES.Identifier):
+      return a.name === b.name;
+    case (a.type === AST_NODE_TYPES.PrivateIdentifier && b.type === AST_NODE_TYPES.PrivateIdentifier):
+      return a.name === b.name;
+    case (a.type === AST_NODE_TYPES.MemberExpression && b.type === AST_NODE_TYPES.MemberExpression):
+      return isNodeEqual(a.property, b.property) && isNodeEqual(a.object, b.object);
+    case (a.type === AST_NODE_TYPES.JSXAttribute && b.type === AST_NODE_TYPES.JSXAttribute): {
+      if (a.name.name !== b.name.name) return false;
+      if (a.value === null || b.value === null) return a.value === b.value;
+      return isNodeEqual(a.value, b.value);
+    }
+    case (a.type === AST_NODE_TYPES.ThisExpression && b.type === AST_NODE_TYPES.ThisExpression):
+      return true;
+    default:
+      return false;
+  }
 });
 function isRegExpLiteral(node) {
   return node.type === AST_NODE_TYPES.Literal && "regex" in node;
@@ -516,7 +549,7 @@ function isStringLiteral(node) {
   return node.type === AST_NODE_TYPES.Literal && isString(node.value);
 }
 function isThisExpression(node) {
-  if (node.type === AST_NODE_TYPES.TSAsExpression) {
+  if (isTypeExpression(node)) {
     return isThisExpression(node.expression);
   }
   return node.type === AST_NODE_TYPES.ThisExpression;
@@ -556,5 +589,16 @@ var traverseUp = F.dual(2, (node, predicate) => {
   if (!parent || parent.type === AST_NODE_TYPES.Program) return O.none();
   return predicate(parent) ? O.some(parent) : traverseUp(parent, predicate);
 });
+function traverseUpStop(node, stopNode, predicate) {
+  const { parent } = node;
+  if (!parent || parent === stopNode || parent.type === AST_NODE_TYPES.Program) return O.none();
+  return predicate(parent) ? O.some(parent) : traverseUpStop(parent, stopNode, predicate);
+}
+
+// src/unwrap-type-expression.ts
+function unwrapTypeExpression(node) {
+  if (isTypeExpression(node)) return unwrapTypeExpression(node.expression);
+  return node;
+}
 
-export { getClassIdentifier, getFunctionIdentifier, getFunctionInitPath, getIdentifiersFromBinaryExpression, getLiteralValueType, getNestedCallExpressions, getNestedIdentifiers, getNestedNewExpressions, getNestedReturnStatements, getTopLevelIdentifier, hasCallInFunctionInitPath, is, isArrayTupleType, isClass, isConditional, isControlFlow, isDestructuringPattern, isEmptyFunction, isFunction, isFunctionOfClassMethod, isFunctionOfClassProperty, isFunctionOfImmediatelyInvoked, isFunctionOfObjectMethod, isFunctionType, isJSX, isJSXElement, isJSXFragment, isJSXTagNameExpression, isKeyLiteralLike, isLeftHandSideExpression, isLeftHandSideExpressionType, isLoop, isMapCallLoose, isMultiLine, isNodeEqual, isOneOf, isProperty, isRegExpLiteral, isStringLiteral, isThisExpression, isTypeDeclaration, toReadableNodeName, toReadableNodeType, traverseUp, traverseUpGuard };
+export { getClassIdentifier, getFunctionIdentifier, getFunctionInitPath, getIdentifiersFromBinaryExpression, getLiteralValueType, getNestedCallExpressions, getNestedExpressionsOfType, getNestedIdentifiers, getNestedNewExpressions, getNestedReturnStatements, getTopLevelIdentifier, hasCallInFunctionInitPath, is, isArrayTupleType, isClass, isConditional, isControlFlow, isDestructuringPattern, isEmptyFunction, isFunction, isFunctionOfClassMethod, isFunctionOfClassProperty, isFunctionOfImmediatelyInvoked, isFunctionOfObjectMethod, isFunctionType, isJSX, isJSXElement, isJSXFragment, isJSXTagNameExpression, isKeyLiteralLike, isLeftHandSideExpression, isLeftHandSideExpressionType, isLoop, isMapCallLoose, isMultiLine, isNodeEqual, isOneOf, isProperty, isRegExpLiteral, isStringLiteral, isThisExpression, isTypeDeclaration, isTypeExpression, toReadableNodeName, toReadableNodeType, traverseUp, traverseUpGuard, traverseUpStop, unwrapTypeExpression };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@eslint-react/ast",
-  "version": "1.22.2-next.6",
+  "version": "1.22.2-next.7",
   "description": "ESLint React's TSESTree AST utility module.",
   "homepage": "https://github.com/rEl1cx/eslint-react",
   "bugs": {
@@ -38,8 +38,8 @@
     "@typescript-eslint/utils": "^8.18.2",
     "string-ts": "^2.2.0",
     "ts-pattern": "^5.6.0",
-    "@eslint-react/types": "1.22.2-next.6",
-    "@eslint-react/eff": "1.22.2-next.6"
+    "@eslint-react/eff": "1.22.2-next.7",
+    "@eslint-react/types": "1.22.2-next.7"
   },
   "devDependencies": {
     "tsup": "^8.3.5",