chore: Refactor several internal types

.changeset/tender-plants-stare.md

@@ -0,0 +1,5 @@
+---
+'gql.tada': patch
+---
+
+Refactor several internal utility types.

src/api.ts

@@ -336,19 +336,19 @@ export type mirrorFragmentTypeRec<Fragment, Data> = Fragment extends (infer Valu
         ? undefined
         : Data;
 
-type fragmentRefsOfFragmentsRec<Fragments extends readonly any[]> = Fragments extends readonly [
-  infer Fragment,
-  ...infer Rest,
-]
-  ? obj<makeFragmentRef<Fragment> & fragmentRefsOfFragmentsRec<Rest>>
-  : {};
-
-type resultOfFragmentsRec<Fragments extends readonly any[]> = Fragments extends readonly [
-  infer Fragment,
-  ...infer Rest,
-]
-  ? ResultOf<Fragment> & resultOfFragmentsRec<Rest>
-  : {};
+type fragmentRefsOfFragmentsRec<
+  Fragments extends readonly any[],
+  FragmentRefs = {},
+> = Fragments extends readonly [infer Fragment, ...infer Rest]
+  ? fragmentRefsOfFragmentsRec<Rest, makeFragmentRef<Fragment> & FragmentRefs>
+  : obj<FragmentRefs>;
+
+type resultOfFragmentsRec<
+  Fragments extends readonly any[],
+  Result = {},
+> = Fragments extends readonly [infer Fragment, ...infer Rest]
+  ? resultOfFragmentsRec<Rest, ResultOf<Fragment> & Result>
+  : Result;
 
 type fragmentOfTypeRec<Document extends makeDefinitionDecoration> =
   | readonly fragmentOfTypeRec<Document>[]

src/namespace.ts

@@ -49,34 +49,37 @@ type decorateFragmentDef<Document extends DocumentNodeLike> = Document['definiti
     }
   : void;
 
-type getFragmentsOfDocumentsRec<Documents> = Documents extends readonly [
+type getFragmentsOfDocumentsRec<Documents, Fragments = {}> = Documents extends readonly [
   infer Document,
   ...infer Rest,
 ]
-  ? (Document extends { [$tada.definition]?: any }
-      ? Exclude<Document[$tada.definition], undefined> extends infer Definition extends
-          FragmentDefDecorationLike
-        ? {
-            [Name in Definition['fragment']]: {
-              kind: Kind.FRAGMENT_DEFINITION;
-              name: {
-                kind: Kind.NAME;
-                value: Definition['fragment'];
-              };
-              typeCondition: {
-                kind: Kind.NAMED_TYPE;
+  ? getFragmentsOfDocumentsRec<
+      Rest,
+      (Document extends { [$tada.definition]?: any }
+        ? Exclude<Document[$tada.definition], undefined> extends infer Definition extends
+            FragmentDefDecorationLike
+          ? {
+              [Name in Definition['fragment']]: {
+                kind: Kind.FRAGMENT_DEFINITION;
                 name: {
                   kind: Kind.NAME;
-                  value: Definition['on'];
+                  value: Definition['fragment'];
+                };
+                typeCondition: {
+                  kind: Kind.NAMED_TYPE;
+                  name: {
+                    kind: Kind.NAME;
+                    value: Definition['on'];
+                  };
                 };
+                [$tada.ref]: makeFragmentRef<Document>;
               };
-              [$tada.ref]: makeFragmentRef<Document>;
-            };
-          }
-        : {}
-      : {}) &
-      getFragmentsOfDocumentsRec<Rest>
-  : {};
+            }
+          : {}
+        : {}) &
+        Fragments
+    >
+  : Fragments;
 
 type makeFragmentRef<Document> = Document extends { [$tada.definition]?: infer Definition }
   ? Definition extends FragmentDefDecorationLike

src/selection.ts

@@ -224,11 +224,16 @@ type getDocumentType<
       : never
   : never;
 
-type getFragmentMapRec<Definitions> = Definitions extends readonly [infer Definition, ...infer Rest]
-  ? (Definition extends { kind: Kind.FRAGMENT_DEFINITION; name: any }
-      ? { [Name in Definition['name']['value']]: Definition }
-      : {}) &
-      getFragmentMapRec<Rest>
-  : {};
+type getFragmentMapRec<Definitions, FragmentMap = {}> = Definitions extends readonly [
+  infer Definition,
+  ...infer Rest,
+]
+  ? getFragmentMapRec<
+      Rest,
+      Definition extends { kind: Kind.FRAGMENT_DEFINITION; name: any }
+        ? { [Name in Definition['name']['value']]: Definition } & FragmentMap
+        : FragmentMap
+    >
+  : FragmentMap;
 
 export type { getDocumentType, getFragmentMapRec };