refactor: treeshakable kind enum (graphql#4270)

closes graphql#4253

Author: jasonkuhrt

integrationTests/ts/package.json

@@ -8,11 +8,6 @@
   "dependencies": {
     "graphql": "file:../graphql.tgz",
     "graphql-esm": "file:../graphql-esm.tgz",
-    "typescript-4.4": "npm:[email protected]",
-    "typescript-4.5": "npm:[email protected]",
-    "typescript-4.6": "npm:[email protected]",
-    "typescript-4.7": "npm:[email protected]",
-    "typescript-4.8": "npm:[email protected]",
     "typescript-4.9": "npm:[email protected]",
     "typescript-5.0": "npm:[email protected]",
     "typescript-5.1": "npm:[email protected]",

src/index.ts

@@ -204,6 +204,9 @@ export type {
 } from './type/index.js';
 
 // Parse and operate on GraphQL language source files.
+// @see https://github.com/typescript-eslint/typescript-eslint/issues/10313
+// eslint-disable-next-line @typescript-eslint/consistent-type-exports
+export { Kind } from './language/kinds.js';
 export {
   Token,
   Source,
@@ -229,7 +232,6 @@ export {
   visitInParallel,
   getEnterLeaveForKind,
   BREAK,
-  Kind,
   DirectiveLocation,
   // Predicates
   isDefinitionNode,

src/language/__tests__/kind-test.ts

@@ -0,0 +1,30 @@
+/* eslint-disable @typescript-eslint/no-unused-expressions */
+import { describe, it } from 'mocha';
+
+import { Kind } from '../index.js';
+
+describe('Kind', () => {
+  it('is a term level namespace with term level enum members', () => {
+    const a: Kind.NAME = Kind.NAME;
+    a;
+    const b: Kind = Kind.NAME;
+    b;
+    const c: Kind = Kind.ARGUMENT;
+    c;
+  });
+
+  it('is a type level namespace with type level enum members', () => {
+    // @ts-expect-error
+    const a: Kind.NAME = 'bad';
+    a;
+    const b: Kind.NAME = 'Name';
+    b;
+    // @ts-expect-error
+    const c: Kind = 'bad';
+    c;
+    const d: Kind = 'Name';
+    d;
+    const e: Kind = 'Argument';
+    e;
+  });
+});

src/language/__tests__/predicates-test.ts

@@ -28,30 +28,30 @@ function filterNodes(predicate: (node: ASTNode) => boolean): Array<string> {
 describe('AST node predicates', () => {
   it('isDefinitionNode', () => {
     expect(filterNodes(isDefinitionNode)).to.deep.equal([
-      'OperationDefinition',
-      'FragmentDefinition',
-      'SchemaDefinition',
-      'ScalarTypeDefinition',
-      'ObjectTypeDefinition',
-      'InterfaceTypeDefinition',
-      'UnionTypeDefinition',
+      'DirectiveDefinition',
       'EnumTypeDefinition',
+      'EnumTypeExtension',
+      'FragmentDefinition',
       'InputObjectTypeDefinition',
-      'DirectiveDefinition',
-      'SchemaExtension',
-      'ScalarTypeExtension',
-      'ObjectTypeExtension',
+      'InputObjectTypeExtension',
+      'InterfaceTypeDefinition',
       'InterfaceTypeExtension',
+      'ObjectTypeDefinition',
+      'ObjectTypeExtension',
+      'OperationDefinition',
+      'ScalarTypeDefinition',
+      'ScalarTypeExtension',
+      'SchemaDefinition',
+      'SchemaExtension',
+      'UnionTypeDefinition',
       'UnionTypeExtension',
-      'EnumTypeExtension',
-      'InputObjectTypeExtension',
     ]);
   });
 
   it('isExecutableDefinitionNode', () => {
     expect(filterNodes(isExecutableDefinitionNode)).to.deep.equal([
-      'OperationDefinition',
       'FragmentDefinition',
+      'OperationDefinition',
     ]);
   });
 
@@ -65,15 +65,15 @@ describe('AST node predicates', () => {
 
   it('isValueNode', () => {
     expect(filterNodes(isValueNode)).to.deep.equal([
-      'Variable',
-      'IntValue',
-      'FloatValue',
-      'StringValue',
       'BooleanValue',
-      'NullValue',
       'EnumValue',
+      'FloatValue',
+      'IntValue',
       'ListValue',
+      'NullValue',
       'ObjectValue',
+      'StringValue',
+      'Variable',
     ]);
   });
 
@@ -90,56 +90,56 @@ describe('AST node predicates', () => {
 
   it('isTypeNode', () => {
     expect(filterNodes(isTypeNode)).to.deep.equal([
-      'NamedType',
       'ListType',
+      'NamedType',
       'NonNullType',
     ]);
   });
 
   it('isTypeSystemDefinitionNode', () => {
     expect(filterNodes(isTypeSystemDefinitionNode)).to.deep.equal([
-      'SchemaDefinition',
-      'ScalarTypeDefinition',
-      'ObjectTypeDefinition',
-      'InterfaceTypeDefinition',
-      'UnionTypeDefinition',
+      'DirectiveDefinition',
       'EnumTypeDefinition',
       'InputObjectTypeDefinition',
-      'DirectiveDefinition',
+      'InterfaceTypeDefinition',
+      'ObjectTypeDefinition',
+      'ScalarTypeDefinition',
+      'SchemaDefinition',
+      'UnionTypeDefinition',
     ]);
   });
 
   it('isTypeDefinitionNode', () => {
     expect(filterNodes(isTypeDefinitionNode)).to.deep.equal([
-      'ScalarTypeDefinition',
-      'ObjectTypeDefinition',
-      'InterfaceTypeDefinition',
-      'UnionTypeDefinition',
       'EnumTypeDefinition',
       'InputObjectTypeDefinition',
+      'InterfaceTypeDefinition',
+      'ObjectTypeDefinition',
+      'ScalarTypeDefinition',
+      'UnionTypeDefinition',
     ]);
   });
 
   it('isTypeSystemExtensionNode', () => {
     expect(filterNodes(isTypeSystemExtensionNode)).to.deep.equal([
-      'SchemaExtension',
-      'ScalarTypeExtension',
-      'ObjectTypeExtension',
-      'InterfaceTypeExtension',
-      'UnionTypeExtension',
       'EnumTypeExtension',
       'InputObjectTypeExtension',
+      'InterfaceTypeExtension',
+      'ObjectTypeExtension',
+      'ScalarTypeExtension',
+      'SchemaExtension',
+      'UnionTypeExtension',
     ]);
   });
 
   it('isTypeExtensionNode', () => {
     expect(filterNodes(isTypeExtensionNode)).to.deep.equal([
-      'ScalarTypeExtension',
-      'ObjectTypeExtension',
-      'InterfaceTypeExtension',
-      'UnionTypeExtension',
       'EnumTypeExtension',
       'InputObjectTypeExtension',
+      'InterfaceTypeExtension',
+      'ObjectTypeExtension',
+      'ScalarTypeExtension',
+      'UnionTypeExtension',
     ]);
   });
 

src/language/index.ts

@@ -5,6 +5,8 @@ export type { SourceLocation } from './location.js';
 
 export { printLocation, printSourceLocation } from './printLocation.js';
 
+// @see https://github.com/typescript-eslint/typescript-eslint/issues/10313
+// eslint-disable-next-line @typescript-eslint/consistent-type-exports
 export { Kind } from './kinds.js';
 
 export { TokenKind } from './tokenKind.js';

src/language/kinds.ts

@@ -1,79 +1,6 @@
-/**
- * The set of allowed kind values for AST nodes.
- */
-export const Kind = {
-  /** Name */
-  NAME: 'Name' as const,
+/* eslint-disable import/no-namespace */
+import type * as Kind_ from './kinds_.js';
 
-  /** Document */
-  DOCUMENT: 'Document' as const,
-  OPERATION_DEFINITION: 'OperationDefinition' as const,
-  VARIABLE_DEFINITION: 'VariableDefinition' as const,
-  SELECTION_SET: 'SelectionSet' as const,
-  FIELD: 'Field' as const,
-  ARGUMENT: 'Argument' as const,
-  FRAGMENT_ARGUMENT: 'FragmentArgument' as const,
+export * as Kind from './kinds_.js';
 
-  /** Fragments */
-  FRAGMENT_SPREAD: 'FragmentSpread' as const,
-  INLINE_FRAGMENT: 'InlineFragment' as const,
-  FRAGMENT_DEFINITION: 'FragmentDefinition' as const,
-
-  /** Values */
-  VARIABLE: 'Variable' as const,
-  INT: 'IntValue' as const,
-  FLOAT: 'FloatValue' as const,
-  STRING: 'StringValue' as const,
-  BOOLEAN: 'BooleanValue' as const,
-  NULL: 'NullValue' as const,
-  ENUM: 'EnumValue' as const,
-  LIST: 'ListValue' as const,
-  OBJECT: 'ObjectValue' as const,
-  OBJECT_FIELD: 'ObjectField' as const,
-
-  /** Directives */
-  DIRECTIVE: 'Directive' as const,
-
-  /** Types */
-  NAMED_TYPE: 'NamedType' as const,
-  LIST_TYPE: 'ListType' as const,
-  NON_NULL_TYPE: 'NonNullType' as const,
-
-  /** Type System Definitions */
-  SCHEMA_DEFINITION: 'SchemaDefinition' as const,
-  OPERATION_TYPE_DEFINITION: 'OperationTypeDefinition' as const,
-
-  /** Type Definitions */
-  SCALAR_TYPE_DEFINITION: 'ScalarTypeDefinition' as const,
-  OBJECT_TYPE_DEFINITION: 'ObjectTypeDefinition' as const,
-  FIELD_DEFINITION: 'FieldDefinition' as const,
-  INPUT_VALUE_DEFINITION: 'InputValueDefinition' as const,
-  INTERFACE_TYPE_DEFINITION: 'InterfaceTypeDefinition' as const,
-  UNION_TYPE_DEFINITION: 'UnionTypeDefinition' as const,
-  ENUM_TYPE_DEFINITION: 'EnumTypeDefinition' as const,
-  ENUM_VALUE_DEFINITION: 'EnumValueDefinition' as const,
-  INPUT_OBJECT_TYPE_DEFINITION: 'InputObjectTypeDefinition' as const,
-
-  /** Directive Definitions */
-  DIRECTIVE_DEFINITION: 'DirectiveDefinition' as const,
-
-  /** Type System Extensions */
-  SCHEMA_EXTENSION: 'SchemaExtension' as const,
-
-  /** Type Extensions */
-  SCALAR_TYPE_EXTENSION: 'ScalarTypeExtension' as const,
-  OBJECT_TYPE_EXTENSION: 'ObjectTypeExtension' as const,
-  INTERFACE_TYPE_EXTENSION: 'InterfaceTypeExtension' as const,
-  UNION_TYPE_EXTENSION: 'UnionTypeExtension' as const,
-  ENUM_TYPE_EXTENSION: 'EnumTypeExtension' as const,
-  INPUT_OBJECT_TYPE_EXTENSION: 'InputObjectTypeExtension' as const,
-
-  /** Schema Coordinates */
-  TYPE_COORDINATE: 'TypeCoordinate' as const,
-  MEMBER_COORDINATE: 'MemberCoordinate' as const,
-  ARGUMENT_COORDINATE: 'ArgumentCoordinate' as const,
-  DIRECTIVE_COORDINATE: 'DirectiveCoordinate' as const,
-  DIRECTIVE_ARGUMENT_COORDINATE: 'DirectiveArgumentCoordinate' as const,
-} as const;
-// eslint-disable-next-line @typescript-eslint/no-redeclare
-export type Kind = (typeof Kind)[keyof typeof Kind];
+export type Kind = (typeof Kind_)[keyof typeof Kind_];