graphql-data-generator 0.4.6-alpha.0 → 0.4.6-alpha.2

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "graphql-data-generator",
-  "version": "0.4.6-alpha.0",
+  "version": "0.4.6-alpha.2",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/voces/graphql-data-generator.git"

package/types/extendedTypes.d.ts

@@ -42,17 +42,20 @@ type DefaultOperationTransform<T> = {
         variables: infer V;
     } ? Patch<V> : never;
 };
-type OperationTransform<T> = (b: {
-    data: T extends {
+type AllKeysOf<T> = T extends any ? keyof T : never;
+type ValueOf<T, K extends PropertyKey> = T extends any ? K extends keyof T ? T[K] : never : never;
+type ExcessCheck<R, T> = Record<Exclude<keyof R, AllKeysOf<T>>, never> & {
+    [K in keyof R & AllKeysOf<T>]?: R[K] extends (...args: any[]) => any ? unknown : NonNullable<ValueOf<T, K>> extends any[] ? unknown : NonNullable<R[K]> extends object ? NonNullable<ValueOf<T, K>> extends object ? ExcessCheck<NonNullable<R[K]>, NonNullable<ValueOf<T, K>>> : unknown : unknown;
+};
+type ObjectTransformValue<Value, Obj> = Value extends (...args: any[]) => infer R ? (prev: Obj, ...args: any[]) => Patch<Obj extends Record<string, unknown> ? Obj : never> & ExcessCheck<R, Obj> : DefaultObjectTransform<Obj extends Record<string, unknown> ? Obj : never, Obj extends Record<string, unknown> ? Obj : never> & Record<Exclude<keyof Value, AllKeysOf<Obj>>, never>;
+type OperationTransformValue<Value, Op> = Value extends (...args: any[]) => infer R ? (b: {
+    data: Op extends {
         data: infer U;
     } ? U : never;
-    variables: T extends {
+    variables: Op extends {
         variables: infer U;
     } ? U : never;
-}, ...args: any[]) => Patch<T>;
-type AllKeysOf<T> = T extends any ? keyof T : never;
-type ObjectTransformValue<Value, Obj> = Value extends (...args: any[]) => any ? (prev: Obj, ...args: any[]) => Patch<Obj extends Record<string, unknown> ? Obj : never> : DefaultObjectTransform<Obj extends Record<string, unknown> ? Obj : never, Obj extends Record<string, unknown> ? Obj : never> & Record<Exclude<keyof Value, AllKeysOf<Obj>>, never>;
-type OperationTransformValue<Value, Op> = Value extends (...args: any[]) => any ? OperationTransform<Op> : DefaultOperationTransform<Op> & Record<Exclude<keyof Value, "data" | "variables">, never>;
+}, ...args: any[]) => Patch<Op> & ExcessCheck<R, Op> : DefaultOperationTransform<Op> & Record<Exclude<keyof Value, "data" | "variables">, never>;
 /**
  * Self-referential constraint that ensures:
  * 1. Top-level keys are known type/input/operation names (unknown → never)