gql.tada 1.3.0 → 1.3.1

package/dist/gql-tada.d.ts

@@ -259,6 +259,30 @@ type IntrospectionLikeType = {
   };
 };
 
+declare const enum Token {
+  Name = 0,
+  Var = 1,
+  Directive = 2,
+  Spread = 3,
+  Exclam = 4,
+  Equal = 5,
+  Colon = 6,
+  BraceOpen = 7,
+  BraceClose = 8,
+  ParenOpen = 9,
+  ParenClose = 10,
+  BracketOpen = 11,
+  BracketClose = 12,
+  BlockString = 13,
+  String = 14,
+  Integer = 15,
+  Float = 16,
+}
+interface _match$1<Out extends string, In extends string> {
+  out: Out;
+  in: In;
+}
+type ignored = ' ' | '\n' | '\t' | '\r' | ',' | '\ufeff';
 type digit = '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9';
 type letter =
   | 'A'
@@ -313,291 +337,423 @@ type letter =
   | 'x'
   | 'y'
   | 'z';
-type skipIgnored<In> = In extends `#${infer _}\n${infer In}`
-  ? skipIgnored<In>
-  : In extends `${' ' | '\n' | '\t' | '\r' | ',' | '\ufeff'}${infer In}`
-    ? skipIgnored<In>
-    : In extends string
-      ? In
-      : never;
 type skipDigits<In> = In extends `${digit}${infer In}` ? skipDigits<In> : In;
-type skipInt<In> = In extends `${'-'}${digit}${infer In}`
-  ? skipDigits<In>
-  : In extends `${digit}${infer In}`
-    ? skipDigits<In>
-    : void;
-type skipExponent<In> = In extends `${'e' | 'E'}${'+' | '-'}${infer In}`
-  ? skipDigits<In>
-  : In extends `${'e' | 'E'}${infer In}`
-    ? skipDigits<In>
-    : In;
 type skipFloat<In> = In extends `${'.'}${infer In}`
   ? In extends `${digit}${infer In}`
-    ? skipExponent<skipDigits<In>>
+    ? In extends `${'e' | 'E'}${infer In}`
+      ? skipDigits<In extends `${'+' | '-'}${infer In}` ? In : In>
+      : In
     : void
-  : In extends `${'e' | 'E'}${infer _}`
-    ? skipExponent<In>
+  : In extends `${'e' | 'E'}${infer In}`
+    ? skipDigits<In extends `${'+' | '-'}${infer In}` ? In : In>
     : void;
 type skipBlockString<In> = In extends `${infer Hd}${'"""'}${infer In}`
-  ? Hd extends `${infer _}${'\\'}`
-    ? skipBlockString<skipIgnored<In>>
+  ? Hd extends `${string}${'\\'}`
+    ? skipBlockString<In>
     : In
-  : void;
+  : In;
 type skipString<In> = In extends `${infer Hd}${'"'}${infer In}`
-  ? Hd extends `${infer _}${'\\'}`
+  ? Hd extends `${string}${'\\'}`
     ? skipString<In>
     : In
-  : void;
-type _takeNameLiteralRec<PrevMatch extends string, In> = In extends `${infer Match}${infer Out}`
+  : In;
+type takeNameLiteralRec<
+  PrevMatch extends string,
+  In extends string,
+> = In extends `${infer Match}${infer Out}`
   ? Match extends letter | digit | '_'
-    ? _takeNameLiteralRec<`${PrevMatch}${Match}`, Out>
-    : [PrevMatch, In]
-  : [PrevMatch, In];
-type takeNameLiteral<In> = In extends `${infer Match}${infer In}`
-  ? Match extends letter | '_'
-    ? _takeNameLiteralRec<Match, In>
-    : void
-  : void;
-type takeName<In> = takeNameLiteral<In> extends [infer Out, infer In]
-  ? [
-      {
-        kind: Kind.NAME;
-        value: Out;
-      },
-      In,
-    ]
-  : void;
-type takeOptionalName<In> = takeNameLiteral<In> extends [infer Out, infer In]
-  ? [
+    ? takeNameLiteralRec<`${PrevMatch}${Match}`, Out>
+    : _match$1<PrevMatch, In>
+  : _match$1<PrevMatch, In>;
+interface VarTokenNode<Name extends string = string> {
+  kind: Token.Var;
+  name: Name;
+}
+interface NameTokenNode<Name extends string = string> {
+  kind: Token.Name;
+  name: Name;
+}
+interface DirectiveTokenNode<Name extends string = string> {
+  kind: Token.Directive;
+  name: Name;
+}
+type TokenNode = Token | NameTokenNode | VarTokenNode | DirectiveTokenNode;
+interface _state<In extends string, Out extends TokenNode[]> {
+  out: Out;
+  in: In;
+}
+type tokenizeRec<State> = State extends _state<'', any>
+  ? State['out']
+  : State extends _state<infer In, infer Out>
+    ? tokenizeRec<
+        In extends `#${string}\n${infer In}`
+          ? _state<In, Out>
+          : In extends `${ignored}${infer In}`
+            ? _state<In, Out>
+            : In extends `...${infer In}`
+              ? _state<In, [...Out, Token.Spread]>
+              : In extends `!${infer In}`
+                ? _state<In, [...Out, Token.Exclam]>
+                : In extends `=${infer In}`
+                  ? _state<In, [...Out, Token.Equal]>
+                  : In extends `:${infer In}`
+                    ? _state<In, [...Out, Token.Colon]>
+                    : In extends `{${infer In}`
+                      ? _state<In, [...Out, Token.BraceOpen]>
+                      : In extends `}${infer In}`
+                        ? _state<In, [...Out, Token.BraceClose]>
+                        : In extends `(${infer In}`
+                          ? _state<In, [...Out, Token.ParenOpen]>
+                          : In extends `)${infer In}`
+                            ? _state<In, [...Out, Token.ParenClose]>
+                            : In extends `[${infer In}`
+                              ? _state<In, [...Out, Token.BracketOpen]>
+                              : In extends `]${infer In}`
+                                ? _state<In, [...Out, Token.BracketClose]>
+                                : In extends `"""${infer In}`
+                                  ? _state<skipBlockString<In>, [...Out, Token.BlockString]>
+                                  : In extends `"${infer In}`
+                                    ? _state<skipString<In>, [...Out, Token.String]>
+                                    : In extends `-${digit}${infer In}`
+                                      ? skipFloat<skipDigits<In>> extends `${infer In}`
+                                        ? _state<In, [...Out, Token.Float]>
+                                        : _state<skipDigits<In>, [...Out, Token.Integer]>
+                                      : In extends `${digit}${infer In}`
+                                        ? skipFloat<skipDigits<In>> extends `${infer In}`
+                                          ? _state<In, [...Out, Token.Float]>
+                                          : _state<skipDigits<In>, [...Out, Token.Integer]>
+                                        : In extends `$${infer In}`
+                                          ? takeNameLiteralRec<'', In> extends _match$1<
+                                              infer Match,
+                                              infer In
+                                            >
+                                            ? _state<In, [...Out, VarTokenNode<Match>]>
+                                            : void
+                                          : In extends `@${infer In}`
+                                            ? takeNameLiteralRec<'', In> extends _match$1<
+                                                infer Match,
+                                                infer In
+                                              >
+                                              ? _state<In, [...Out, DirectiveTokenNode<Match>]>
+                                              : void
+                                            : In extends `${letter | '_'}${string}`
+                                              ? takeNameLiteralRec<'', In> extends _match$1<
+                                                  infer Match,
+                                                  infer In
+                                                >
+                                                ? _state<In, [...Out, NameTokenNode<Match>]>
+                                                : void
+                                              : void
+      >
+    : [];
+type tokenize<In extends string> = tokenizeRec<_state<In, []>>;
+
+interface _match<Out, In extends any[]> {
+  out: Out;
+  in: In;
+}
+type takeOptionalName<In extends any[]> = In extends [
+  {
+    kind: Token.Name;
+    name: infer Name;
+  },
+  ...infer In,
+]
+  ? _match<
       {
         kind: Kind.NAME;
-        value: Out;
+        value: Name;
       },
-      In,
-    ]
-  : [undefined, In];
-type takeEnum<In> = takeNameLiteral<In> extends [infer Out, infer In]
-  ? [
+      In
+    >
+  : _match<undefined, In>;
+type takeValue<In extends any[], Const extends boolean> = In extends [Token.Float, ...infer In]
+  ? _match<
       {
-        kind: Kind.ENUM;
-        value: Out;
+        kind: Kind.FLOAT;
+        value: string;
       },
-      In,
-    ]
-  : void;
-type TakeVariable<In, Const> = Const extends false
-  ? In extends `${'$'}${infer In}`
-    ? takeNameLiteral<In> extends [infer Out, infer In]
-      ? [
-          {
-            kind: Kind.VARIABLE;
-            name: {
-              kind: Kind.NAME;
-              value: Out;
-            };
-          },
-          In,
-        ]
-      : void
-    : void
-  : void;
-type takeNumber<In> = skipInt<In> extends `${infer In}`
-  ? skipFloat<In> extends `${infer In}`
-    ? [
-        {
-          kind: Kind.FLOAT;
-          value: string;
-        },
-        In,
-      ]
-    : [
+      In
+    >
+  : In extends [Token.Integer, ...infer In]
+    ? _match<
         {
           kind: Kind.INT;
           value: string;
         },
-        In,
-      ]
-  : void;
-type takeString<In> = In extends `${'"""'}${infer In}`
-  ? skipBlockString<In> extends `${infer In}`
-    ? [
-        {
-          kind: Kind.STRING;
-          value: string;
-          block: true;
-        },
-        In,
-      ]
-    : void
-  : In extends `${'"'}${infer In}`
-    ? skipString<In> extends `${infer In}`
-      ? [
+        In
+      >
+    : In extends [Token.String, ...infer In]
+      ? _match<
           {
             kind: Kind.STRING;
             value: string;
             block: false;
           },
-          In,
-        ]
-      : void
-    : void;
-type takeLiteral<In> = In extends `${'null'}${infer In}`
-  ? [
-      {
-        kind: Kind.NULL;
-      },
-      In,
-    ]
-  : In extends `${'true' | 'false'}${infer In}`
-    ? [
-        {
-          kind: Kind.BOOLEAN;
-          value: boolean;
-        },
-        In,
-      ]
-    : void;
-type takeValue<In, Const> = takeLiteral<In> extends [infer Node, infer Rest]
-  ? [Node, Rest]
-  : TakeVariable<In, Const> extends [infer Node, infer Rest]
-    ? [Node, Rest]
-    : takeNumber<In> extends [infer Node, infer Rest]
-      ? [Node, Rest]
-      : takeEnum<In> extends [infer Node, infer Rest]
-        ? [Node, Rest]
-        : takeString<In> extends [infer Node, infer Rest]
-          ? [Node, Rest]
-          : takeList<In, Const> extends [infer Node, infer Rest]
-            ? [Node, Rest]
-            : takeObject<In, Const> extends [infer Node, infer Rest]
-              ? [Node, Rest]
-              : void;
-type _takeListRec<Nodes extends any[], In, Const> = In extends `${']'}${infer In}`
-  ? [
+          In
+        >
+      : In extends [Token.BlockString, ...infer In]
+        ? _match<
+            {
+              kind: Kind.STRING;
+              value: string;
+              block: true;
+            },
+            In
+          >
+        : In extends [
+              {
+                kind: Token.Name;
+                name: 'null';
+              },
+              ...infer In,
+            ]
+          ? _match<
+              {
+                kind: Kind.NULL;
+              },
+              In
+            >
+          : In extends [
+                {
+                  kind: Token.Name;
+                  name: 'true' | 'false';
+                },
+                ...infer In,
+              ]
+            ? _match<
+                {
+                  kind: Kind.BOOLEAN;
+                  value: boolean;
+                },
+                In
+              >
+            : In extends [
+                  {
+                    kind: Token.Name;
+                    name: infer Name;
+                  },
+                  ...infer In,
+                ]
+              ? _match<
+                  {
+                    kind: Kind.ENUM;
+                    value: Name;
+                  },
+                  In
+                >
+              : In extends [Token.BracketOpen, ...infer In]
+                ? takeListRec<[], In, Const>
+                : In extends [Token.BraceOpen, ...infer In]
+                  ? takeObjectRec<[], In, Const>
+                  : Const extends false
+                    ? In extends [
+                        {
+                          kind: Token.Var;
+                          name: infer Name;
+                        },
+                        ...infer In,
+                      ]
+                      ? _match<
+                          {
+                            kind: Kind.VARIABLE;
+                            name: {
+                              kind: Kind.NAME;
+                              value: Name;
+                            };
+                          },
+                          In
+                        >
+                      : void
+                    : void;
+type takeListRec<Nodes extends any[], In extends any[], Const extends boolean> = In extends [
+  Token.BracketClose,
+  ...infer In,
+]
+  ? _match<
       {
         kind: Kind.LIST;
         values: Nodes;
       },
-      In,
-    ]
-  : takeValue<skipIgnored<In>, Const> extends [infer Node, infer In]
-    ? _takeListRec<[...Nodes, Node], skipIgnored<In>, Const>
+      In
+    >
+  : takeValue<In, Const> extends _match<infer Node, infer In>
+    ? takeListRec<[...Nodes, Node], In, Const>
     : void;
-type takeList<In, Const> = In extends `${'['}${infer In}`
-  ? _takeListRec<[], skipIgnored<In>, Const>
-  : void;
-type takeObjectField<In, Const> = takeName<In> extends [infer Name, infer In]
-  ? skipIgnored<In> extends `${':'}${infer In}`
-    ? takeValue<skipIgnored<In>, Const> extends [infer Value, infer In]
-      ? [
-          {
-            kind: Kind.OBJECT_FIELD;
-            name: Name;
-            value: Value;
-          },
-          In,
-        ]
-      : void
+type takeObjectField<In extends any[], Const extends boolean> = In extends [
+  {
+    kind: Token.Name;
+    name: infer FieldName;
+  },
+  Token.Colon,
+  ...infer In,
+]
+  ? takeValue<In, Const> extends _match<infer Value, infer In>
+    ? _match<
+        {
+          kind: Kind.OBJECT_FIELD;
+          name: {
+            kind: Kind.NAME;
+            value: FieldName;
+          };
+          value: Value;
+        },
+        In
+      >
     : void
   : void;
-type _takeObjectRec<Fields extends any[], In, Const> = In extends `${'}'}${infer In}`
-  ? [
+type takeObjectRec<Fields extends any[], In extends any[], Const extends boolean> = In extends [
+  Token.BraceClose,
+  ...infer In,
+]
+  ? _match<
       {
         kind: Kind.OBJECT;
         fields: Fields;
       },
-      In,
-    ]
-  : takeObjectField<skipIgnored<In>, Const> extends [infer Field, infer In]
-    ? _takeObjectRec<[...Fields, Field], skipIgnored<In>, Const>
+      In
+    >
+  : takeObjectField<In, Const> extends _match<infer Field, infer In>
+    ? takeObjectRec<[...Fields, Field], In, Const>
     : void;
-type takeObject<In, Const> = In extends `${'{'}${infer In}`
-  ? _takeObjectRec<[], skipIgnored<In>, Const>
-  : void;
-type takeArgument<In, Const> = takeName<In> extends [infer Name, infer In]
-  ? skipIgnored<In> extends `${':'}${infer In}`
-    ? takeValue<skipIgnored<In>, Const> extends [infer Value, infer In]
-      ? [
-          {
-            kind: Kind.ARGUMENT;
-            name: Name;
-            value: Value;
-          },
-          In,
-        ]
-      : void
+type takeArgument<In extends any[], Const extends boolean> = In extends [
+  {
+    kind: Token.Name;
+    name: infer ArgName;
+  },
+  Token.Colon,
+  ...infer In,
+]
+  ? takeValue<In, Const> extends _match<infer Value, infer In>
+    ? _match<
+        {
+          kind: Kind.ARGUMENT;
+          name: {
+            kind: Kind.NAME;
+            value: ArgName;
+          };
+          value: Value;
+        },
+        In
+      >
     : void
   : void;
-type _takeArgumentsRec<Arguments extends any[], In, Const> = In extends `${')'}${infer In}`
-  ? Arguments extends []
-    ? void
-    : [Arguments, In]
-  : takeArgument<In, Const> extends [infer Argument, infer In]
-    ? _takeArgumentsRec<[...Arguments, Argument], skipIgnored<In>, Const>
+type _takeArgumentsRec<
+  Arguments extends any[],
+  In extends any[],
+  Const extends boolean,
+> = In extends [Token.ParenClose, ...infer In]
+  ? _match<Arguments, In>
+  : takeArgument<In, Const> extends _match<infer Argument, infer In>
+    ? _takeArgumentsRec<[...Arguments, Argument], In, Const>
     : void;
-type takeArguments<In, Const> = In extends `${'('}${infer In}`
-  ? _takeArgumentsRec<[], skipIgnored<In>, Const>
-  : [[], In];
-type takeDirective<In, Const> = In extends `${'@'}${infer In}`
-  ? takeName<In> extends [infer Name, infer In]
-    ? takeArguments<skipIgnored<In>, Const> extends [infer Arguments, infer In]
-      ? [
-          {
-            kind: Kind.DIRECTIVE;
-            name: Name;
-            arguments: Arguments;
-          },
-          In,
-        ]
-      : void
+type takeArguments<In extends any[], Const extends boolean> = In extends [
+  Token.ParenOpen,
+  ...infer In,
+]
+  ? _takeArgumentsRec<[], In, Const>
+  : _match<[], In>;
+type takeDirective<In extends any[], Const extends boolean> = In extends [
+  {
+    kind: Token.Directive;
+    name: infer DirectiveName;
+  },
+  ...infer In,
+]
+  ? takeArguments<In, Const> extends _match<infer Arguments, infer In>
+    ? _match<
+        {
+          kind: Kind.DIRECTIVE;
+          name: {
+            kind: Kind.NAME;
+            value: DirectiveName;
+          };
+          arguments: Arguments;
+        },
+        In
+      >
     : void
   : void;
-type takeDirectives<In, Const> = takeDirective<In, Const> extends [infer Directive, infer In]
-  ? takeDirectives<skipIgnored<In>, Const> extends [[...infer Directives], infer In]
-    ? [[Directive, ...Directives], In]
-    : [[], In]
-  : [[], In];
-type takeFieldName<In> = takeName<In> extends [infer MaybeAlias, infer In]
-  ? skipIgnored<In> extends `${':'}${infer In}`
-    ? takeName<skipIgnored<In>> extends [infer Name, infer In]
-      ? [MaybeAlias, Name, In]
-      : void
-    : [undefined, MaybeAlias, In]
-  : void;
-type takeField<In> = takeFieldName<In> extends [infer Alias, infer Name, infer In]
-  ? takeArguments<skipIgnored<In>, false> extends [infer Arguments, infer In]
-    ? takeDirectives<skipIgnored<In>, false> extends [infer Directives, infer In]
-      ? takeSelectionSet<skipIgnored<In>> extends [infer SelectionSet, infer In]
-        ? [
+type takeDirectives<
+  In extends any[],
+  Const extends boolean,
+  Directives extends any[] = [],
+> = takeDirective<In, Const> extends _match<infer Directive, infer In>
+  ? takeDirectives<In, Const, [...Directives, Directive]>
+  : _match<Directives, In>;
+type _takeField<In extends any[], Alias> = In extends [
+  Token.Colon,
+  {
+    kind: Token.Name;
+    name: infer Name;
+  },
+  ...infer In,
+]
+  ? takeArguments<In, false> extends _match<infer Arguments, infer In>
+    ? takeDirectives<In, false> extends _match<infer Directives, infer In>
+      ? takeSelectionSet<In> extends _match<infer SelectionSet, infer In>
+        ? _match<
             {
               kind: Kind.FIELD;
               alias: Alias;
-              name: Name;
+              name: {
+                kind: Kind.NAME;
+                value: Name;
+              };
               arguments: Arguments;
               directives: Directives;
               selectionSet: SelectionSet;
             },
-            In,
-          ]
-        : [
+            In
+          >
+        : _match<
             {
               kind: Kind.FIELD;
               alias: Alias;
-              name: Name;
+              name: {
+                kind: Kind.NAME;
+                value: Name;
+              };
               arguments: Arguments;
               directives: Directives;
               selectionSet: undefined;
             },
-            In,
-          ]
+            In
+          >
       : void
     : void
-  : void;
-type takeType<In> = In extends `${'['}${infer In}`
-  ? takeType<skipIgnored<In>> extends [infer Subtype, infer In]
-    ? In extends `${']'}${infer In}`
-      ? skipIgnored<In> extends `${'!'}${infer In}`
-        ? [
+  : takeArguments<In, false> extends _match<infer Arguments, infer In>
+    ? takeDirectives<In, false> extends _match<infer Directives, infer In>
+      ? takeSelectionSet<In> extends _match<infer SelectionSet, infer In>
+        ? _match<
+            {
+              kind: Kind.FIELD;
+              alias: undefined;
+              name: Alias;
+              arguments: Arguments;
+              directives: Directives;
+              selectionSet: SelectionSet;
+            },
+            In
+          >
+        : _match<
+            {
+              kind: Kind.FIELD;
+              alias: undefined;
+              name: Alias;
+              arguments: Arguments;
+              directives: Directives;
+              selectionSet: undefined;
+            },
+            In
+          >
+      : void
+    : void;
+type takeType<In extends any[]> = In extends [Token.BracketOpen, ...infer In]
+  ? takeType<In> extends _match<infer Subtype, infer In>
+    ? In extends [Token.BracketClose, ...infer In]
+      ? In extends [Token.Exclam, ...infer In]
+        ? _match<
             {
               kind: Kind.NON_NULL_TYPE;
               type: {
@@ -605,183 +761,285 @@ type takeType<In> = In extends `${'['}${infer In}`
                 type: Subtype;
               };
             },
-            In,
-          ]
-        : [
+            In
+          >
+        : _match<
             {
               kind: Kind.LIST_TYPE;
               type: Subtype;
             },
-            In,
-          ]
+            In
+          >
       : void
     : void
-  : takeName<skipIgnored<In>> extends [infer Name, infer In]
-    ? skipIgnored<In> extends `${'!'}${infer In}`
-      ? [
+  : In extends [
+        {
+          kind: Token.Name;
+          name: infer Name;
+        },
+        ...infer In,
+      ]
+    ? In extends [Token.Exclam, ...infer In]
+      ? _match<
           {
             kind: Kind.NON_NULL_TYPE;
             type: {
               kind: Kind.NAMED_TYPE;
-              name: Name;
+              name: {
+                kind: Kind.NAME;
+                value: Name;
+              };
             };
           },
-          In,
-        ]
-      : [
+          In
+        >
+      : _match<
           {
             kind: Kind.NAMED_TYPE;
-            name: Name;
+            name: {
+              kind: Kind.NAME;
+              value: Name;
+            };
           },
-          In,
-        ]
+          In
+        >
     : void;
-type takeTypeCondition<In> = In extends `${'on'}${infer In}`
-  ? takeName<skipIgnored<In>> extends [infer Name, infer In]
-    ? [
+type _takeFragmentSpread<In extends any[]> = In extends [
+  {
+    kind: Token.Name;
+    name: 'on';
+  },
+  {
+    kind: Token.Name;
+    name: infer Type;
+  },
+  ...infer In,
+]
+  ? takeDirectives<In, false> extends _match<infer Directives, infer In>
+    ? takeSelectionSet<In> extends _match<infer SelectionSet, infer In>
+      ? _match<
+          {
+            kind: Kind.INLINE_FRAGMENT;
+            typeCondition: {
+              kind: Kind.NAMED_TYPE;
+              name: {
+                kind: Kind.NAME;
+                value: Type;
+              };
+            };
+            directives: Directives;
+            selectionSet: SelectionSet;
+          },
+          In
+        >
+      : void
+    : void
+  : In extends [
         {
-          kind: Kind.NAMED_TYPE;
-          name: Name;
+          kind: Token.Name;
+          name: infer Name;
         },
-        In,
+        ...infer In,
       ]
-    : void
-  : void;
-type takeFragmentSpread<In> = In extends `${'...'}${infer In}`
-  ? skipIgnored<In> extends `${'on'}${infer In}`
-    ? takeName<skipIgnored<In>> extends [infer Name, infer In]
-      ? takeDirectives<skipIgnored<In>, false> extends [infer Directives, infer In]
-        ? takeSelectionSet<skipIgnored<In>> extends [infer SelectionSet, infer In]
-          ? [
-              {
-                kind: Kind.INLINE_FRAGMENT;
-                typeCondition: {
-                  kind: Kind.NAMED_TYPE;
-                  name: Name;
-                };
-                directives: Directives;
-                selectionSet: SelectionSet;
-              },
-              In,
-            ]
-          : void
-        : void
+    ? takeDirectives<In, false> extends _match<infer Directives, infer In>
+      ? _match<
+          {
+            kind: Kind.FRAGMENT_SPREAD;
+            name: {
+              kind: Kind.NAME;
+              value: Name;
+            };
+            directives: Directives;
+          },
+          In
+        >
       : void
-    : takeName<skipIgnored<In>> extends [infer Name, infer In]
-      ? takeDirectives<skipIgnored<In>, false> extends [infer Directives, infer In]
-        ? [
+    : takeDirectives<In, false> extends _match<infer Directives, infer In>
+      ? takeSelectionSet<In> extends _match<infer SelectionSet, infer In>
+        ? _match<
             {
-              kind: Kind.FRAGMENT_SPREAD;
-              name: Name;
+              kind: Kind.INLINE_FRAGMENT;
+              typeCondition: undefined;
               directives: Directives;
+              selectionSet: SelectionSet;
             },
-            In,
-          ]
-        : void
-      : takeDirectives<skipIgnored<In>, false> extends [infer Directives, infer In]
-        ? takeSelectionSet<skipIgnored<In>> extends [infer SelectionSet, infer In]
-          ? [
-              {
-                kind: Kind.INLINE_FRAGMENT;
-                typeCondition: undefined;
-                directives: Directives;
-                selectionSet: SelectionSet;
-              },
-              In,
-            ]
-          : void
+            In
+          >
         : void
-  : void;
-type _takeSelectionRec<Selections extends any[], In> = In extends `${'}'}${infer In}`
-  ? [
-      {
-        kind: Kind.SELECTION_SET;
-        selections: Selections;
-      },
-      In,
-    ]
-  : takeFragmentSpread<skipIgnored<In>> extends [infer Selection, infer In]
-    ? _takeSelectionRec<[...Selections, Selection], skipIgnored<In>>
-    : takeField<skipIgnored<In>> extends [infer Selection, infer In]
-      ? _takeSelectionRec<[...Selections, Selection], skipIgnored<In>>
       : void;
-type takeSelectionSet<In> = In extends `${'{'}${infer In}`
-  ? _takeSelectionRec<[], skipIgnored<In>>
+type _takeSelectionRec<Selections extends any[], In extends any[]> = In extends [
+  Token.Spread,
+  ...infer In,
+]
+  ? _takeFragmentSpread<In> extends _match<infer Selection, infer In>
+    ? _takeSelectionRec<[...Selections, Selection], In>
+    : void
+  : In extends [
+        {
+          kind: Token.Name;
+          name: infer Alias;
+        },
+        ...infer In,
+      ]
+    ? _takeField<
+        In,
+        {
+          kind: Kind.NAME;
+          value: Alias;
+        }
+      > extends _match<infer Selection, infer In>
+      ? _takeSelectionRec<[...Selections, Selection], In>
+      : void
+    : In extends [Token.BraceClose, ...infer In]
+      ? _match<
+          {
+            kind: Kind.SELECTION_SET;
+            selections: Selections;
+          },
+          In
+        >
+      : void;
+type takeSelectionSet<In extends any[]> = In extends [Token.BraceOpen, ...infer In]
+  ? _takeSelectionRec<[], In>
   : void;
-type takeVarDefinition<In> = TakeVariable<In, false> extends [infer Variable, infer In]
-  ? skipIgnored<In> extends `${':'}${infer In}`
-    ? takeType<skipIgnored<In>> extends [infer Type, infer In]
-      ? skipIgnored<In> extends `${'='}${infer In}`
-        ? takeValue<skipIgnored<In>, true> extends [infer DefaultValue, infer In]
-          ? takeDirectives<skipIgnored<In>, true> extends [infer Directives, infer In]
-            ? [
-                {
-                  kind: Kind.VARIABLE_DEFINITION;
-                  variable: Variable;
-                  type: Type;
-                  defaultValue: DefaultValue;
-                  directives: Directives;
-                },
-                In,
-              ]
-            : void
-          : void
-        : takeDirectives<skipIgnored<In>, true> extends [infer Directives, infer In]
-          ? [
+type takeVarDefinition<In extends any[]> = In extends [
+  {
+    kind: Token.Var;
+    name: infer VarName;
+  },
+  Token.Colon,
+  ...infer In,
+]
+  ? takeType<In> extends _match<infer Type, infer In>
+    ? In extends [Token.Equal, ...infer In]
+      ? takeValue<In, true> extends _match<infer DefaultValue, infer In>
+        ? takeDirectives<In, true> extends _match<infer Directives, infer In>
+          ? _match<
               {
                 kind: Kind.VARIABLE_DEFINITION;
-                variable: Variable;
+                variable: {
+                  kind: Kind.VARIABLE;
+                  name: {
+                    kind: Kind.NAME;
+                    value: VarName;
+                  };
+                };
                 type: Type;
-                defaultValue: undefined;
+                defaultValue: DefaultValue;
                 directives: Directives;
               },
-              In,
-            ]
+              In
+            >
           : void
-      : void
+        : void
+      : takeDirectives<In, true> extends _match<infer Directives, infer In>
+        ? _match<
+            {
+              kind: Kind.VARIABLE_DEFINITION;
+              variable: {
+                kind: Kind.VARIABLE;
+                name: {
+                  kind: Kind.NAME;
+                  value: VarName;
+                };
+              };
+              type: Type;
+              defaultValue: undefined;
+              directives: Directives;
+            },
+            In
+          >
+        : void
     : void
   : void;
-type _takeVarDefinitionRec<Definitions extends any[], In> = In extends `${')'}${infer In}`
-  ? [Definitions, In]
-  : takeVarDefinition<In> extends [infer Definition, infer In]
-    ? _takeVarDefinitionRec<[...Definitions, Definition], skipIgnored<In>>
+type _takeVarDefinitionRec<Definitions extends any[], In extends any[]> = In extends [
+  Token.ParenClose,
+  ...infer In,
+]
+  ? _match<Definitions, In>
+  : takeVarDefinition<In> extends _match<infer Definition, infer In>
+    ? _takeVarDefinitionRec<[...Definitions, Definition], In>
     : void;
-type takeVarDefinitions<In> = skipIgnored<In> extends `${'('}${infer In}`
-  ? _takeVarDefinitionRec<[], skipIgnored<In>>
-  : [[], In];
-type takeFragmentDefinition<In> = In extends `${'fragment'}${infer In}`
-  ? takeName<skipIgnored<In>> extends [infer Name, infer In]
-    ? takeTypeCondition<skipIgnored<In>> extends [infer TypeCondition, infer In]
-      ? takeDirectives<skipIgnored<In>, true> extends [infer Directives, infer In]
-        ? takeSelectionSet<skipIgnored<In>> extends [infer SelectionSet, infer In]
-          ? [
-              {
-                kind: Kind.FRAGMENT_DEFINITION;
-                name: Name;
-                typeCondition: TypeCondition;
-                directives: Directives;
-                selectionSet: SelectionSet;
-              },
-              In,
-            ]
-          : void
-        : void
+type takeVarDefinitions<In extends any[]> = In extends [Token.ParenOpen, ...infer In]
+  ? _takeVarDefinitionRec<[], In>
+  : _match<[], In>;
+type takeFragmentDefinition<In extends any[]> = In extends [
+  {
+    kind: Token.Name;
+    name: 'fragment';
+  },
+  {
+    kind: Token.Name;
+    name: infer Name;
+  },
+  {
+    kind: Token.Name;
+    name: 'on';
+  },
+  {
+    kind: Token.Name;
+    name: infer Type;
+  },
+  ...infer In,
+]
+  ? takeDirectives<In, true> extends _match<infer Directives, infer In>
+    ? takeSelectionSet<In> extends _match<infer SelectionSet, infer In>
+      ? _match<
+          {
+            kind: Kind.FRAGMENT_DEFINITION;
+            name: {
+              kind: Kind.NAME;
+              value: Name;
+            };
+            typeCondition: {
+              kind: Kind.NAMED_TYPE;
+              name: {
+                kind: Kind.NAME;
+                value: Type;
+              };
+            };
+            directives: Directives;
+            selectionSet: SelectionSet;
+          },
+          In
+        >
       : void
     : void
   : void;
-type TakeOperation<In> = In extends `${'query'}${infer In}`
-  ? [OperationTypeNode.QUERY, In]
-  : In extends `${'mutation'}${infer In}`
-    ? [OperationTypeNode.MUTATION, In]
-    : In extends `${'subscription'}${infer In}`
-      ? [OperationTypeNode.SUBSCRIPTION, In]
+type takeOperation<In extends any[]> = In extends [
+  {
+    kind: Token.Name;
+    name: 'query';
+  },
+  ...infer In,
+]
+  ? _match<OperationTypeNode.QUERY, In>
+  : In extends [
+        {
+          kind: Token.Name;
+          name: 'mutation';
+        },
+        ...infer In,
+      ]
+    ? _match<OperationTypeNode.MUTATION, In>
+    : In extends [
+          {
+            kind: Token.Name;
+            name: 'subscription';
+          },
+          ...infer In,
+        ]
+      ? _match<OperationTypeNode.SUBSCRIPTION, In>
       : void;
-type takeOperationDefinition<In> = TakeOperation<In> extends [infer Operation, infer In]
-  ? takeOptionalName<skipIgnored<In>> extends [infer Name, infer In]
-    ? takeVarDefinitions<skipIgnored<In>> extends [infer VarDefinitions, infer In]
-      ? takeDirectives<skipIgnored<In>, false> extends [infer Directives, infer In]
-        ? takeSelectionSet<skipIgnored<In>> extends [infer SelectionSet, infer In]
-          ? [
+type takeOperationDefinition<In extends any[]> = takeOperation<In> extends _match<
+  infer Operation,
+  infer In
+>
+  ? takeOptionalName<In> extends _match<infer Name, infer In>
+    ? takeVarDefinitions<In> extends _match<infer VarDefinitions, infer In>
+      ? takeDirectives<In, false> extends _match<infer Directives, infer In>
+        ? takeSelectionSet<In> extends _match<infer SelectionSet, infer In>
+          ? _match<
               {
                 kind: Kind.OPERATION_DEFINITION;
                 operation: Operation;
@@ -790,14 +1048,14 @@ type takeOperationDefinition<In> = TakeOperation<In> extends [infer Operation, i
                 directives: Directives;
                 selectionSet: SelectionSet;
               },
-              In,
-            ]
+              In
+            >
           : void
         : void
       : void
     : void
-  : takeSelectionSet<skipIgnored<In>> extends [infer SelectionSet, infer In]
-    ? [
+  : takeSelectionSet<In> extends _match<infer SelectionSet, infer In>
+    ? _match<
         {
           kind: Kind.OPERATION_DEFINITION;
           operation: OperationTypeNode.QUERY;
@@ -806,21 +1064,21 @@ type takeOperationDefinition<In> = TakeOperation<In> extends [infer Operation, i
           directives: [];
           selectionSet: SelectionSet;
         },
-        In,
-      ]
+        In
+      >
     : void;
-type _takeDocumentRec<Definitions extends any[], In> = takeFragmentDefinition<In> extends [
-  infer Definition,
-  infer In,
-]
-  ? _takeDocumentRec<[...Definitions, Definition], skipIgnored<In>>
-  : takeOperationDefinition<In> extends [infer Definition, infer In]
-    ? _takeDocumentRec<[...Definitions, Definition], skipIgnored<In>>
-    : [Definitions, In];
-type parseDocument<In> = _takeDocumentRec<[], skipIgnored<In>> extends [
+type _takeDocumentRec<
+  Definitions extends any[],
+  In extends any[],
+> = takeFragmentDefinition<In> extends _match<infer Definition, infer In>
+  ? _takeDocumentRec<[...Definitions, Definition], In>
+  : takeOperationDefinition<In> extends _match<infer Definition, infer In>
+    ? _takeDocumentRec<[...Definitions, Definition], In>
+    : _match<Definitions, In>;
+type parseDocument<In extends string> = _takeDocumentRec<[], tokenize<In>> extends _match<
   [...infer Definitions],
-  infer _Rest,
-]
+  any
+>
   ? Definitions extends []
     ? never
     : {

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "gql.tada",
   "description": "The spec-compliant & magical GraphQL query language engine in the TypeScript type system",
-  "version": "1.3.0",
+  "version": "1.3.1",
   "author": "0no.co <hi@0no.co>",
   "source": "./src/index.ts",
   "main": "./dist/gql-tada",