Create Fulfilled Meta Field

Author: mjmahone

src/__testUtils__/kitchenSinkQuery.ts

@@ -65,4 +65,9 @@ fragment frag on Friend @onFragmentDefinition {
 query {
   __typename
 }
+
+query Fulfilled {
+  __fulfilled
+  a: __fulfilled(label: "a")
+}
 `;

src/execution/__tests__/union-interface-test.ts

@@ -265,7 +265,9 @@ describe('Execute: Union and intersection types', () => {
         name
         pets {
           __typename
+          __fulfilled
           ... on Dog {
+            isDog: __fulfilled(label: "Dog")
             name
             barks
           }
@@ -284,11 +286,14 @@ describe('Execute: Union and intersection types', () => {
         pets: [
           {
             __typename: 'Cat',
+            __fulfilled: true,
             name: 'Garfield',
             meows: false,
           },
           {
             __typename: 'Dog',
+            __fulfilled: true,
+            isDog: true,
             name: 'Odie',
             barks: true,
           },
@@ -341,6 +346,7 @@ describe('Execute: Union and intersection types', () => {
           }
 
           ... on Mammal {
+            isMammal: __fulfilled(label: "Mammal")
             mother {
               __typename
               ... on Dog {
@@ -364,11 +370,13 @@ describe('Execute: Union and intersection types', () => {
         friends: [
           {
             __typename: 'Person',
+            isMammal: true,
             name: 'Liz',
             mother: null,
           },
           {
             __typename: 'Dog',
+            isMammal: true,
             name: 'Odie',
             barks: true,
             mother: { __typename: 'Dog', name: "Odie's Mom", barks: true },
@@ -396,6 +404,7 @@ describe('Execute: Union and intersection types', () => {
       }
 
       fragment  CatMeows on Cat {
+        catMeowsFulfilled: __fulfilled(label: "CatMeows")
         meows
       }
     `);

src/execution/execute.ts

@@ -39,6 +39,7 @@ import type {
 } from '../type/definition';
 import { assertValidSchema } from '../type/validate';
 import {
+  FulfilledMetaFieldDef,
   SchemaMetaFieldDef,
   TypeMetaFieldDef,
   TypeNameMetaFieldDef,
@@ -1016,12 +1017,12 @@ export const defaultFieldResolver: GraphQLFieldResolver<unknown, unknown> =
 
 /**
  * This method looks up the field on the given type definition.
- * It has special casing for the three introspection fields,
- * __schema, __type and __typename. __typename is special because
- * it can always be queried as a field, even in situations where no
- * other fields are allowed, like on a Union. __schema and __type
- * could get automatically added to the query type, but that would
- * require mutating type definitions, which would cause issues.
+ * It has special casing for the four introspection fields,
+ * __schema, __type, __typename and __fulfilled. __typename and __fulfilled
+ * are special because they can always be queried as a field, even in
+ * situations where no other fields are allowed, like on a Union.
+ * __schema and __type could get automatically added to the query type,
+ * but that would require mutating type definitions, which would cause issues.
  *
  * @internal
  */
@@ -1044,6 +1045,8 @@ export function getFieldDef(
     return TypeMetaFieldDef;
   } else if (fieldName === TypeNameMetaFieldDef.name) {
     return TypeNameMetaFieldDef;
+  } else if (fieldName === FulfilledMetaFieldDef.name) {
+    return FulfilledMetaFieldDef;
   }
   return parentType.getFields()[fieldName];
 }

src/language/__tests__/printer-test.ts

@@ -237,6 +237,11 @@ describe('Printer: Query document', () => {
       {
         __typename
       }
+
+      query Fulfilled {
+        __fulfilled
+        a: __fulfilled(label: "a")
+      }
     `),
     );
   });

src/language/__tests__/visitor-test.ts

@@ -931,6 +931,28 @@ describe('Visitor', () => {
       ['leave', 'Field', 0, undefined],
       ['leave', 'SelectionSet', 'selectionSet', 'OperationDefinition'],
       ['leave', 'OperationDefinition', 5, undefined],
+      ['enter', 'OperationDefinition', 6, undefined],
+      ['enter', 'Name', 'name', 'OperationDefinition'],
+      ['leave', 'Name', 'name', 'OperationDefinition'],
+      ['enter', 'SelectionSet', 'selectionSet', 'OperationDefinition'],
+      ['enter', 'Field', 0, undefined],
+      ['enter', 'Name', 'name', 'Field'],
+      ['leave', 'Name', 'name', 'Field'],
+      ['leave', 'Field', 0, undefined],
+      ['enter', 'Field', 1, undefined],
+      ['enter', 'Name', 'alias', 'Field'],
+      ['leave', 'Name', 'alias', 'Field'],
+      ['enter', 'Name', 'name', 'Field'],
+      ['leave', 'Name', 'name', 'Field'],
+      ['enter', 'Argument', 0, undefined],
+      ['enter', 'Name', 'name', 'Argument'],
+      ['leave', 'Name', 'name', 'Argument'],
+      ['enter', 'StringValue', 'value', 'Argument'],
+      ['leave', 'StringValue', 'value', 'Argument'],
+      ['leave', 'Argument', 0, undefined],
+      ['leave', 'Field', 1, undefined],
+      ['leave', 'SelectionSet', 'selectionSet', 'OperationDefinition'],
+      ['leave', 'OperationDefinition', 6, undefined],
       ['leave', 'Document', undefined, undefined],
     ]);
   });

src/type/introspection.ts

@@ -528,6 +528,27 @@ export const TypeNameMetaFieldDef: GraphQLField<unknown, unknown> = {
   astNode: undefined,
 };
 
+export const FulfilledMetaFieldDef: GraphQLField<unknown, unknown> = {
+  name: '__fulfilled',
+  type: new GraphQLNonNull(GraphQLBoolean),
+  description: 'If the current selection was included at runtime.',
+  args: [
+    {
+      name: 'label',
+      description: undefined,
+      type: GraphQLString,
+      defaultValue: undefined,
+      deprecationReason: undefined,
+      extensions: undefined,
+      astNode: undefined,
+    },
+  ],
+  resolve: (_source, _args, _context, _info) => true,
+  deprecationReason: undefined,
+  extensions: undefined,
+  astNode: undefined,
+};
+
 export const introspectionTypes: ReadonlyArray<GraphQLNamedType> =
   Object.freeze([
     __Schema,

src/utilities/TypeInfo.ts

@@ -31,6 +31,7 @@ import {
   getNamedType,
 } from '../type/definition';
 import {
+  FulfilledMetaFieldDef,
   SchemaMetaFieldDef,
   TypeMetaFieldDef,
   TypeNameMetaFieldDef,
@@ -327,6 +328,9 @@ function getFieldDef(
   if (name === TypeNameMetaFieldDef.name && isCompositeType(parentType)) {
     return TypeNameMetaFieldDef;
   }
+  if (name === FulfilledMetaFieldDef.name && isCompositeType(parentType)) {
+    return FulfilledMetaFieldDef;
+  }
   if (isObjectType(parentType) || isInterfaceType(parentType)) {
     return parentType.getFields()[name];
   }