zod-compare 0.1.4 → 0.3.0

package/README.md

@@ -1,4 +1,4 @@
-# Zod Compare
+# ⚖️ Zod Compare
 
 [![Build](https://github.com/lawvs/zod-compare/actions/workflows/build.yml/badge.svg)](https://github.com/lawvs/zod-compare/actions/workflows/build.yml)
 [![npm](https://img.shields.io/npm/v/zod-compare)](https://www.npmjs.com/package/zod-compare)
@@ -10,7 +10,14 @@ Compare two [Zod](https://zod.dev/) schemas recursively.
 ## Installation
 
 ```bash
-npm install zod zod-compare --save
+# npm
+npm install zod zod-compare
+
+# yarn
+yarn add zod zod-compare
+
+# pnpm
+pnpm add zod zod-compare
 ```
 
 ## Usage
@@ -36,35 +43,57 @@ isCompatibleType(
 
 ## Advanced Usage
 
-`isSameType` also offers an `interceptor` option, enabling you to tailor the comparison process according to your needs.
+### Custom Rules
+
+You can use `createCompareFn` to create a custom comparison function.
 
 ```ts
-isSameType(
-  z.object({ name: z.string(), other: z.number() }),
-  z.object({ name: z.string() }),
-  {
-    interceptor: (a, b) => {
-      if (a instanceof z.ZodObject && b instanceof z.ZodObject) {
-        // return boolean to override the comparison result
-        return a.shape.name === b.shape.name;
-      }
-      // return other values to use the default comparison
-    },
+import {
+  createCompareFn,
+  isSameTypePresetRules,
+  defineCompareRule,
+} from "zod-compare";
+
+const customRule = defineCompareRule(
+  "compare description",
+  (a, b, next, recheck, context) => {
+    // If the schemas are not having the same description, return false
+    if (a.description !== b.description) {
+      return false;
+    }
+    return next();
   },
 );
-// true
+
+const strictIsSameType = createCompareFn([
+  customRule,
+  ...isSameTypePresetRules,
+]);
 ```
 
-## Caveats
+## Debugging
 
-`zod-compare` is designed to compare Zod schemas created by the developer.
-We do not have plans to support comparing schemas that include custom validation functions or other advanced Zod features.
+You can pass a `context` object to the comparison functions to get more information about the comparison process.
 
-This tool will disregard any custom validations like `min`, `max`, `length`, among others.
+```ts
+const context = {
+  stacks: [],
+};
+isSameType(
+  z.object({ name: z.string(), other: z.number() }),
+  z.object({ name: z.string(), other: z.string() }),
+  context,
+);
+
+// type stacks = { name: string; target: [a: ZodType, b: ZodType]; }[]
+console.log(context.stacks);
+```
+
+## Caveats
 
-Furthermore, it cannot be utilized for comparing `ZodLazy`, `ZodEffects`, `ZodDefault`, `ZodCatch`, `ZodPipeline`, `ZodTransformer`, `ZodError` types.
+The default rules `isSameTypePresetRules` will disregard any custom validations like `min`, `max`, `length`, among others. Additionally, these default rules cannot be utilized for comparing `ZodLazy`, `ZodEffects`, `ZodDefault`, `ZodCatch`, `ZodPipeline`, `ZodTransformer`, `ZodError` types.
 
-But you can use the `interceptor` option to customize the comparison process.
+If there is a necessity to compare these types, custom rules can be established using `defineCompareRule`.
 
 ## API
 
@@ -73,25 +102,80 @@ But you can use the `interceptor` option to customize the comparison process.
 Compares two Zod schemas and returns `true` if they are the same.
 
 ```ts
-function isSameType(
-  a: ZodType,
-  b: ZodType,
-  options?: {
-    interceptor?: (a: ZodType, b: ZodType) => boolean | undefined;
-  },
-): boolean;
+import { isSameType } from "zod-compare";
+
+type isSameType: (a: ZodType, b: ZodType, context?: CompareContext) => boolean;
 ```
 
-### `isCompatibleType` (Unstable API)
+### `createCompareFn`
+
+Creates a custom comparison function.
 
 ```ts
-function isCompatibleType(
+import { createCompareFn, defineCompareRule } from "zod-compare";
+
+type defineCompareRule = (
+  name: string,
+  rule: CompareFn,
+) => {
+  name: string;
+  rule: CompareFn;
+};
+
+type createCompareFn = (rules: CompareRule[]) => typeof isSameType;
+
+// Example
+const isSameType = createCompareFn(isSameTypePresetRules);
+const isCompatibleType = createCompareFn(isCompatibleTypePresetRules);
+```
+
+### `isCompatibleType` (Experimental API)
+
+Compares two Zod schemas and returns `true` if they are compatible.
+
+```ts
+import { isCompatibleType } from "zod-compare";
+// The `higherType` should be a looser type
+// The `lowerType` should be a stricter type
+type isCompatibleType: (higherType: ZodType, lowerType: ZodType) => boolean;
+```
+
+### Preset Rules
+
+You can use the preset rules `isSameTypePresetRules` and `isCompatibleTypePresetRules` to create custom comparison functions.
+
+```ts
+import { isSameTypePresetRules, isCompatibleTypePresetRules } from "zod-compare";
+
+type isSameTypePresetRules: CompareRule[];
+type isCompatibleTypePresetRules: CompareRule[];
+
+// Example
+const yourIsSameType = createCompareFn([customRule, ...isSameTypePresetRules]);
+```
+
+### Types
+
+```ts
+type CompareContext = {
+  stacks?: {
+    name: string;
+    target: [a: ZodType, b: ZodType];
+  }[];
+} & Record<string, unknown>;
+
+type CompareFn = (
   a: ZodType,
   b: ZodType,
-  options?: {
-    interceptor?: (a: ZodType, b: ZodType) => boolean | undefined;
-  },
-): boolean;
+  next: () => boolean,
+  recheck: (a: ZodType, b: ZodType) => boolean,
+  context: CompareContext,
+) => boolean;
+
+type CompareRule = {
+  name: string;
+  compare: CompareFn;
+};
 ```
 
 ## License

package/dist/index.cjs

@@ -1,2 +1,2 @@
-"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const t=require("zod"),m={deep:!0,ignoreOptional:!1,ignoreNullable:!1,ignoreReadOnly:!1,ignoreBranded:!1,ignoreValidations:!0,interceptor:()=>{}},Z=e=>e instanceof t.z.ZodString||e instanceof t.z.ZodNumber||e instanceof t.z.ZodNaN||e instanceof t.z.ZodBigInt||e instanceof t.z.ZodBoolean||e instanceof t.z.ZodDate||e instanceof t.z.ZodSymbol||e instanceof t.z.ZodUndefined||e instanceof t.z.ZodNull||e instanceof t.z.ZodAny||e instanceof t.z.ZodUnknown||e instanceof t.z.ZodNever||e instanceof t.z.ZodVoid,u=e=>e.options.flatMap(n=>n instanceof t.z.ZodUnion?u(n):n),s=(e,n,a)=>{const o={...m,...a},d=o.interceptor(e,n,o);if(d===!0||d===!1)return d;if(e===void 0||n===void 0)throw new Error("Failed to compare type! "+e+" "+n);if(e===n)return!0;if(e.constructor!==n.constructor)return!1;if(!("typeName"in e._def)||!("typeName"in n._def))throw new Error("Failed to compare type! "+e._def+" "+n._def);if(e._def.typeName!==n._def.typeName)return!1;if(o.ignoreBranded)return e instanceof t.z.ZodBranded&&(e=e.unwrap()),n instanceof t.z.ZodBranded&&(n=n.unwrap()),s(e,n,o);if(e instanceof t.z.ZodBranded||n instanceof t.z.ZodBranded)return!1;if("unwrap"in e&&typeof e.unwrap=="function")return"unwrap"in n&&typeof n.unwrap=="function"?s(e.unwrap(),n.unwrap(),o):!1;if(!o.ignoreOptional&&e.isOptional()!==n.isOptional()||!o.ignoreNullable&&e.isNullable()!==n.isNullable())return!1;if(Z(e))return!0;if(e instanceof t.z.ZodObject&&n instanceof t.z.ZodObject){const r=e.shape,i=n.shape;if(Object.keys(r).length!==Object.keys(i).length)return!1;for(const f in r)if(!(f in i)||!s(r[f],i[f],o))return!1;return!0}if(e instanceof t.z.ZodArray&&n instanceof t.z.ZodArray)return s(e.element,n.element,o);if(e instanceof t.z.ZodTuple&&n instanceof t.z.ZodTuple){if(e.items.length!==n.items.length)return!1;for(let r=0;r<e.items.length;r++)if(!s(e.items[r],n.items[r],o))return!1;return e._def.rest||n._def.rest?!e._def.rest||!n._def.rest?!1:s(e._def.rest,n._def.rest,o):!0}if(e instanceof t.z.ZodLiteral&&n instanceof t.z.ZodLiteral)return e.value===n.value;if(e instanceof t.z.ZodIntersection&&n instanceof t.z.ZodIntersection)return s(e._def.left,n._def.left,o)&&s(e._def.right,n._def.right,o)||s(e._def.left,n._def.right,o)&&s(e._def.right,n._def.left,o);if(e instanceof t.z.ZodUnion&&n instanceof t.z.ZodUnion){const r=u(e),i=u(n);if(r.length!==i.length)return!1;for(let f of r){let l=i.findIndex(z=>s(f,z,o));if(l===-1)return!1;i.splice(l,1)}return i.length===0}if(e instanceof t.z.ZodReadonly&&n instanceof t.z.ZodReadonly)return s(e._def.innerType,n._def.innerType,o);if(e instanceof t.z.ZodRecord&&n instanceof t.z.ZodRecord||e instanceof t.z.ZodMap&&n instanceof t.z.ZodMap)return s(e.keySchema,n.keySchema,o)&&s(e.valueSchema,n.valueSchema,o);if(e instanceof t.z.ZodSet&&n instanceof t.z.ZodSet)return s(e._def.valueType,n._def.valueType,o);if(e instanceof t.z.ZodFunction&&n instanceof t.z.ZodFunction)return s(e.parameters(),n.parameters(),o)&&s(e.returnType(),n.returnType(),o);if(e instanceof t.z.ZodEnum&&n instanceof t.z.ZodEnum){const r=e.options,i=n.options;if(r.length!==i.length)return!1;for(let f=0;f<r.length;f++)if(r[f]!==i[f])return!1;return!0}if(e instanceof t.z.ZodNativeEnum&&n instanceof t.z.ZodNativeEnum){const r=e.enum,i=n.enum;if(Object.keys(r).length!==Object.keys(i).length)return!1;for(const f in r)if(r[f]!==i[f])return!1;return!0}throw console.error('Failed to compare type! "'+e,n),new Error("Unknown type! "+e._def.typeName+" "+n._def.typeName)},c=(e,n,a)=>{const o={...m,...a},d=o.interceptor(e,n,o);if(d===!0||d===!1)return d;if(s(e,n,o))return!0;if(!("typeName"in e._def)||!("typeName"in n._def))throw new Error("Failed to compare type! "+e._def+" "+n._def);if(n instanceof t.z.ZodOptional||n instanceof t.z.ZodNullable)return c(e,n.unwrap(),o);if(e instanceof t.z.ZodUnion&&n instanceof t.z.ZodUnion){const r=u(e),i=u(n);for(let f=0;f<r.length;f++)if(!i.some(z=>c(r[f],z,o)))return!1;return!0}if(e instanceof t.z.ZodUnion)return u(e).every(i=>c(i,n,o));if(n instanceof t.z.ZodUnion)return u(n).some(i=>c(e,i,o));if(e.constructor!==n.constructor)return!1;if(e instanceof t.z.ZodObject&&n instanceof t.z.ZodObject){const r=e.shape,i=n.shape;if(Object.keys(r).length<Object.keys(i).length)return!1;for(const f in i)if(!(f in r)||!c(r[f],i[f],o))return!1;return!0}if(e instanceof t.z.ZodArray&&n instanceof t.z.ZodArray)return c(e.element,n.element,o);if(e instanceof t.z.ZodTuple&&n instanceof t.z.ZodTuple){if(e.items.length<n.items.length)return!1;for(let r=0;r<n.items.length;r++)if(!c(e.items[r],n.items[r],o))return!1;return n._def.rest?e._def.rest?c(e._def.rest,n._def.rest,o):!1:!0}throw new Error("Failed to compare types!"+e._def.typeName+" "+n._def.typeName)};exports.isCompatibleType=c;exports.isSameType=s;
+"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const r=require("zod"),m=e=>{const n=(t,o,a={})=>{let i=-1;const s=f=>{if(f===e.length)throw new Error("Failed to compare type! "+t+" "+o);if(f===i)throw new Error("next() called multiple times");i=f;const u=e[f];return"stacks"in a&&Array.isArray(a.stacks)&&a.stacks.push({name:u.name,target:[t,o]}),u.compare(t,o,()=>s(f+1),(z,y)=>n(z,y,a),a)};return s(0)};return n},_=m,d=e=>e instanceof r.z.ZodString||e instanceof r.z.ZodNumber||e instanceof r.z.ZodNaN||e instanceof r.z.ZodBigInt||e instanceof r.z.ZodBoolean||e instanceof r.z.ZodDate||e instanceof r.z.ZodSymbol||e instanceof r.z.ZodUndefined||e instanceof r.z.ZodNull||e instanceof r.z.ZodAny||e instanceof r.z.ZodUnknown||e instanceof r.z.ZodNever||e instanceof r.z.ZodVoid,c=e=>e.options.flatMap(n=>n instanceof r.z.ZodUnion?c(n):n),p=[{name:"undefined check",compare:(e,n,t)=>{if(e===void 0||n===void 0)throw new Error("Failed to compare type! "+e+" "+n);return t()}},{name:"compare reference",compare:(e,n,t)=>e===n?!0:t()},{name:"compare constructor",compare:(e,n,t)=>e.constructor!==n.constructor?!1:t()},{name:"compare typeName",compare:(e,n,t)=>{if(!("typeName"in e._def)||!("typeName"in n._def))throw new Error("Failed to compare type! "+e._def+" "+n._def);return e._def.typeName!==n._def.typeName?!1:t()}},{name:"compare ZodBranded",compare:(e,n,t)=>e instanceof r.z.ZodBranded||n instanceof r.z.ZodBranded?!1:t()},{name:"unwrap ZodType",compare:(e,n,t,o)=>"unwrap"in e&&typeof e.unwrap=="function"?"unwrap"in n&&typeof n.unwrap=="function"?o(e.unwrap(),n.unwrap()):!1:t()},{name:"is same primitive",compare:(e,n,t)=>d(e)&&d(n)&&e.constructor===n.constructor?!0:t()},{name:"compare ZodObject",compare:(e,n,t,o)=>{if(e instanceof r.z.ZodObject&&n instanceof r.z.ZodObject){const a=e.shape,i=n.shape;if(Object.keys(a).length!==Object.keys(i).length)return!1;for(const s in a)if(!(s in i)||!o(a[s],i[s]))return!1;return!0}return t()}},{name:"compare ZodArray",compare:(e,n,t,o)=>e instanceof r.z.ZodArray&&n instanceof r.z.ZodArray?o(e.element,n.element):t()},{name:"compare ZodTuple",compare:(e,n,t,o)=>{if(e instanceof r.z.ZodTuple&&n instanceof r.z.ZodTuple){if(e.items.length!==n.items.length)return!1;for(let a=0;a<e.items.length;a++)if(!o(e.items[a],n.items[a]))return!1;return e._def.rest||n._def.rest?!e._def.rest||!n._def.rest?!1:o(e._def.rest,n._def.rest):!0}return t()}},{name:"compare ZodLiteral",compare:(e,n,t)=>e instanceof r.z.ZodLiteral&&n instanceof r.z.ZodLiteral?e.value===n.value:t()},{name:"compare ZodIntersection",compare:(e,n,t,o)=>e instanceof r.z.ZodIntersection&&n instanceof r.z.ZodIntersection?o(e._def.left,n._def.left)&&o(e._def.right,n._def.right)||o(e._def.left,n._def.right)&&o(e._def.right,n._def.left):t()},{name:"compare ZodUnion",compare:(e,n,t,o)=>{if(e instanceof r.z.ZodUnion&&n instanceof r.z.ZodUnion){const a=c(e),i=c(n);if(a.length!==i.length)return!1;for(let s of a){let f=i.findIndex(u=>o(s,u));if(f===-1)return!1;i.splice(f,1)}return i.length===0}return t()}},{name:"compare ZodReadonly",compare:(e,n,t,o)=>e instanceof r.z.ZodReadonly&&n instanceof r.z.ZodReadonly?o(e._def.innerType,n._def.innerType):t()},{name:"compare ZodRecord",compare:(e,n,t,o)=>e instanceof r.z.ZodRecord&&n instanceof r.z.ZodRecord?o(e.keySchema,n.keySchema)&&o(e.valueSchema,n.valueSchema):t()},{name:"compare ZodMap",compare:(e,n,t,o)=>e instanceof r.z.ZodMap&&n instanceof r.z.ZodMap?o(e.keySchema,n.keySchema)&&o(e.valueSchema,n.valueSchema):t()},{name:"compare ZodSet",compare:(e,n,t,o)=>e instanceof r.z.ZodSet&&n instanceof r.z.ZodSet?o(e._def.valueType,n._def.valueType):t()},{name:"compare ZodFunction",compare:(e,n,t,o)=>e instanceof r.z.ZodFunction&&n instanceof r.z.ZodFunction?o(e.parameters(),n.parameters())&&o(e.returnType(),n.returnType()):t()},{name:"compare ZodEnum",compare:(e,n,t)=>{if(e instanceof r.z.ZodEnum&&n instanceof r.z.ZodEnum){const o=e.options,a=n.options;if(o.length!==a.length)return!1;for(let i=0;i<o.length;i++)if(o[i]!==a[i])return!1;return!0}return t()}},{name:"compare ZodNativeEnum",compare:(e,n,t)=>{if(e instanceof r.z.ZodNativeEnum&&n instanceof r.z.ZodNativeEnum){const o=e.enum,a=n.enum;if(Object.keys(o).length!==Object.keys(a).length)return!1;for(const i in o)if(o[i]!==a[i])return!1;return!0}return t()}}],l=m(p),Z=[{name:"is same type",compare:(e,n,t)=>l(e,n)?!0:t()},{name:"check typeName",compare:(e,n,t)=>{if(!("typeName"in e._def)||!("typeName"in n._def))throw new Error("Failed to compare type! "+e._def+" "+n._def);return t()}},{name:"check ZodOptional/ZodNullable",compare:(e,n,t,o)=>n instanceof r.z.ZodOptional||n instanceof r.z.ZodNullable?o(e,n.unwrap()):t()},{name:"check ZodUnion",compare:(e,n,t,o)=>{if(e instanceof r.z.ZodUnion&&n instanceof r.z.ZodUnion){const a=c(e),i=c(n);for(let s=0;s<a.length;s++)if(!i.some(u=>o(a[s],u)))return!1;return!0}return e instanceof r.z.ZodUnion?c(e).every(i=>o(i,n)):n instanceof r.z.ZodUnion?c(n).some(i=>o(e,i)):t()}},{name:"compare constructor",compare:(e,n,t)=>e.constructor!==n.constructor?!1:t()},{name:"check ZodObject",compare:(e,n,t,o)=>{if(e instanceof r.z.ZodObject&&n instanceof r.z.ZodObject){const a=e.shape,i=n.shape;if(Object.keys(a).length<Object.keys(i).length)return!1;for(const s in i)if(!(s in a)||!o(a[s],i[s]))return!1;return!0}return t()}},{name:"check ZodArray",compare:(e,n,t,o)=>e instanceof r.z.ZodArray&&n instanceof r.z.ZodArray?o(e.element,n.element):t()},{name:"check ZodTuple",compare:(e,n,t,o)=>{if(e instanceof r.z.ZodTuple&&n instanceof r.z.ZodTuple){if(e.items.length<n.items.length)return!1;for(let a=0;a<n.items.length;a++)if(!o(e.items[a],n.items[a]))return!1;return n._def.rest?e._def.rest?o(e._def.rest,n._def.rest):!1:!0}return t()}}],h=m(Z),S=(e,n)=>({name:e,rule:n});exports.createCompareFn=m;exports.createIsSameTypeFn=_;exports.defineCompareRule=S;exports.isCompatibleType=h;exports.isCompatibleTypePresetRules=Z;exports.isSameType=l;exports.isSameTypePresetRules=p;
 //# sourceMappingURL=index.cjs.map

package/dist/index.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.cjs","sources":["../src/utils.ts","../src/is-same-type.ts","../src/is-compatible-type.ts"],"sourcesContent":["import { z, type ZodType } from \"zod\";\n\nexport interface IsSameTypeOptions {\n  deep: true;\n  /**\n   * Ignore all specific validations like min, max, length, email etc.\n   *\n   * You still can use `interceptor` to validate the type manually.\n   */\n  ignoreValidations: true;\n  ignoreOptional: boolean;\n  ignoreNullable: boolean;\n  ignoreReadOnly: false;\n  ignoreBranded: boolean;\n  /**\n   * A function that provides custom logic for comparing two ZodType instances.\n   *\n   * If the function returns `true` or `false`, the result will be used as the comparison result.\n   * Otherwise, the default comparison logic will be used.\n   *\n   */\n  interceptor: (\n    a: ZodType,\n    b: ZodType,\n    options: IsSameTypeOptions,\n  ) => boolean | void;\n}\n\nexport interface IsCompatibleTypeOptions extends IsSameTypeOptions {\n  ignoreOptional: false;\n  ignoreNullable: false;\n}\n\nexport const DEFAULT_COMPARE_TYPE_OPTIONS = {\n  deep: true,\n  ignoreOptional: false,\n  ignoreNullable: false,\n  ignoreReadOnly: false,\n  ignoreBranded: false,\n  ignoreValidations: true,\n  interceptor: () => {},\n} as const satisfies IsSameTypeOptions;\n\n// See ZodFirstPartyTypeKind\nexport const isPrimitiveType = (a: ZodType): boolean => {\n  return (\n    a instanceof z.ZodString ||\n    a instanceof z.ZodNumber ||\n    a instanceof z.ZodNaN ||\n    a instanceof z.ZodBigInt ||\n    a instanceof z.ZodBoolean ||\n    a instanceof z.ZodDate ||\n    a instanceof z.ZodSymbol ||\n    a instanceof z.ZodUndefined ||\n    a instanceof z.ZodNull ||\n    a instanceof z.ZodAny ||\n    a instanceof z.ZodUnknown ||\n    a instanceof z.ZodNever ||\n    a instanceof z.ZodVoid\n  );\n};\n\ntype Mutable<T> = { -readonly [k in keyof T]: T[k] };\n\nexport const flatUnwrapUnion = <\n  T extends z.ZodUnionOptions = readonly [z.ZodTypeAny, ...z.ZodTypeAny[]],\n>(\n  t: z.ZodUnion<T>,\n): Mutable<T> => {\n  return t.options.flatMap((x) => {\n    if (x instanceof z.ZodUnion) {\n      return flatUnwrapUnion(x);\n    }\n    return x;\n  }) as unknown as T;\n};\n","import type { EnumLike, ZodType } from \"zod\";\nimport { z } from \"zod\";\nimport {\n  type IsSameTypeOptions,\n  DEFAULT_COMPARE_TYPE_OPTIONS,\n  isPrimitiveType,\n  flatUnwrapUnion,\n} from \"./utils.ts\";\n\n/**\n * isSameType is a function that checks if two ZodTypes are the same.\n *\n * Caveats:\n * - The function does not validate specific criteria such as min or max values, length, email, etc.\n * - It excludes comparisons involving methods like .describe(), .catch(), .default(), .refine(), and .transform().\n * - When comparing definitions with .or and .and, they are assessed sequentially based on their order.\n *\n * @param a - The first ZodType to compare.\n * @param b - The second ZodType to compare.\n * @returns A boolean indicating whether the two types are the same.\n *\n * @throws Will throw an error if it encounters an unknown type.\n *\n * @example\n * ```ts\n * isSameType(z.string(), z.string()); // true\n * isSameType(z.string(), z.number()); // false\n * ```\n */\nexport const isSameType = (\n  a: ZodType,\n  b: ZodType,\n  options?: Partial<IsSameTypeOptions>,\n): boolean => {\n  const opts = { ...DEFAULT_COMPARE_TYPE_OPTIONS, ...options };\n  const interceptorResult = opts.interceptor(a, b, opts);\n  if (interceptorResult === true || interceptorResult === false) {\n    return interceptorResult;\n  }\n\n  if (a === undefined || b === undefined) {\n    throw new Error(\"Failed to compare type! \" + a + \" \" + b);\n  }\n\n  if (a === b) {\n    return true;\n  }\n\n  // compare constructor\n  if (a.constructor !== b.constructor) {\n    // https://stackoverflow.com/questions/24959862/how-to-tell-if-two-javascript-instances-are-of-the-same-class-type\n    return false;\n  }\n  // See https://github.com/colinhacks/zod/blob/master/src/types.ts\n  if (!(\"typeName\" in a._def) || !(\"typeName\" in b._def)) {\n    throw new Error(\"Failed to compare type! \" + a._def + \" \" + b._def);\n  }\n  if (a._def.typeName !== b._def.typeName) {\n    return false;\n  }\n\n  // ZodBranded\n  if (opts.ignoreBranded) {\n    if (a instanceof z.ZodBranded) {\n      a = a.unwrap();\n    }\n    if (b instanceof z.ZodBranded) {\n      b = b.unwrap();\n    }\n    return isSameType(a, b, opts);\n  } else {\n    if (a instanceof z.ZodBranded || b instanceof z.ZodBranded) {\n      // We can not distinguish different branded type\n      // throw new Error(\"Can not distinguish different branded type!\");\n      return false;\n    }\n  }\n\n  // ZodPromise ZodOptional ZodNullable ZodBranded\n  if (\"unwrap\" in a && typeof a.unwrap === \"function\") {\n    if (!(\"unwrap\" in b && typeof b.unwrap === \"function\")) {\n      return false;\n    }\n    return isSameType(a.unwrap(), b.unwrap(), opts);\n  }\n\n  if (!opts.ignoreOptional && a.isOptional() !== b.isOptional()) return false;\n  if (!opts.ignoreNullable && a.isNullable() !== b.isNullable()) return false;\n\n  if (isPrimitiveType(a)) {\n    // Already assert a and b are the same constructor\n    return true;\n  }\n\n  // ZodObject\n  if (a instanceof z.ZodObject && b instanceof z.ZodObject) {\n    const aShape = a.shape;\n    const bShape = b.shape;\n    if (Object.keys(aShape).length !== Object.keys(bShape).length) return false;\n    for (const key in aShape) {\n      if (!(key in bShape)) return false;\n      if (!isSameType(aShape[key], bShape[key], opts)) return false;\n    }\n    return true;\n  }\n\n  // ZodArray\n  if (a instanceof z.ZodArray && b instanceof z.ZodArray) {\n    return isSameType(a.element, b.element, opts);\n  }\n\n  // ZodTuple\n  if (a instanceof z.ZodTuple && b instanceof z.ZodTuple) {\n    if (a.items.length !== b.items.length) return false;\n    for (let i = 0; i < a.items.length; i++) {\n      if (!isSameType(a.items[i], b.items[i], opts)) return false;\n    }\n    // Compare rest\n    if (a._def.rest || b._def.rest) {\n      // If one has rest, the other must have rest\n      if (!a._def.rest || !b._def.rest) return false;\n      return isSameType(a._def.rest, b._def.rest, opts);\n    }\n    return true;\n  }\n\n  // ZodLiteral\n  if (a instanceof z.ZodLiteral && b instanceof z.ZodLiteral) {\n    return a.value === b.value;\n  }\n\n  // ZodIntersection aka and\n  if (a instanceof z.ZodIntersection && b instanceof z.ZodIntersection) {\n    return (\n      (isSameType(a._def.left, b._def.left, opts) &&\n        isSameType(a._def.right, b._def.right, opts)) ||\n      (isSameType(a._def.left, b._def.right, opts) &&\n        isSameType(a._def.right, b._def.left, opts))\n    );\n  }\n\n  // ZodUnion aka or\n  if (a instanceof z.ZodUnion && b instanceof z.ZodUnion) {\n    const aOptions = flatUnwrapUnion(a as z.ZodUnion<z.ZodUnionOptions>);\n    const bOptions = flatUnwrapUnion(b as z.ZodUnion<z.ZodUnionOptions>);\n    if (aOptions.length !== bOptions.length) return false;\n\n    for (let optionA of aOptions) {\n      let matchIndex = bOptions.findIndex((optionB) =>\n        isSameType(optionA, optionB, opts),\n      );\n      if (matchIndex === -1) return false;\n      bOptions.splice(matchIndex, 1);\n    }\n\n    return bOptions.length === 0;\n  }\n\n  // ZodReadonly\n  if (a instanceof z.ZodReadonly && b instanceof z.ZodReadonly) {\n    return isSameType(a._def.innerType, b._def.innerType, opts);\n  }\n\n  // ZodRecord / ZodMap\n  if (\n    (a instanceof z.ZodRecord && b instanceof z.ZodRecord) ||\n    (a instanceof z.ZodMap && b instanceof z.ZodMap)\n  ) {\n    return (\n      isSameType(a.keySchema, b.keySchema, opts) &&\n      isSameType(a.valueSchema, b.valueSchema, opts)\n    );\n  }\n\n  // ZodSet\n  if (a instanceof z.ZodSet && b instanceof z.ZodSet) {\n    return isSameType(a._def.valueType, b._def.valueType, opts);\n  }\n\n  // ZodFunction\n  if (a instanceof z.ZodFunction && b instanceof z.ZodFunction) {\n    return (\n      isSameType(a.parameters(), b.parameters(), opts) &&\n      isSameType(a.returnType(), b.returnType(), opts)\n    );\n  }\n\n  // ZodEnum\n  if (a instanceof z.ZodEnum && b instanceof z.ZodEnum) {\n    const optionsA: [string, ...string[]] = a.options;\n    const optionsB: [string, ...string[]] = b.options;\n    if (optionsA.length !== optionsB.length) return false;\n    for (let i = 0; i < optionsA.length; i++) {\n      if (optionsA[i] !== optionsB[i]) return false;\n    }\n    return true;\n  }\n\n  // ZodNativeEnum\n  if (a instanceof z.ZodNativeEnum && b instanceof z.ZodNativeEnum) {\n    const enumA: EnumLike = a.enum;\n    const enumB: EnumLike = b.enum;\n    if (Object.keys(enumA).length !== Object.keys(enumB).length) return false;\n    for (const key in enumA) {\n      if (enumA[key] !== enumB[key]) return false;\n    }\n    return true;\n  }\n\n  // ZodLazy\n  // ZodEffects\n  // ZodDefault\n  // ZodCatch\n  // ZodPipeline\n  // ZodTransformer\n  // ZodError\n  console.error('Failed to compare type! \"' + a, b);\n  throw new Error(\"Unknown type! \" + a._def.typeName + \" \" + b._def.typeName);\n};\n","import { z, type ZodType } from \"zod\";\nimport { isSameType } from \"./is-same-type.ts\";\nimport {\n  DEFAULT_COMPARE_TYPE_OPTIONS,\n  flatUnwrapUnion,\n  type IsCompatibleTypeOptions,\n} from \"./utils.ts\";\n\n/**\n * Check if a the higherType matches the lowerType\n *\n * @deprecated This a unstable API and still in development\n *\n * @param higherType The looser type\n * @param lowerType The stricter type\n *\n * @example\n * ```ts\n * isCompatibleType(z.string(), z.string()); // true\n *\n * isCompatibleType(\n *   z.object({ name: z.string(), other: z.number() }),\n *   z.object({ name: z.string() })\n * );\n * // true\n * ```\n */\nexport const isCompatibleType = (\n  higherType: ZodType,\n  lowerType: ZodType,\n  options?: Partial<IsCompatibleTypeOptions>,\n): boolean => {\n  const opts: IsCompatibleTypeOptions = {\n    ...DEFAULT_COMPARE_TYPE_OPTIONS,\n    ...options,\n  };\n  const interceptorResult = opts.interceptor(higherType, lowerType, opts);\n  if (interceptorResult === true || interceptorResult === false) {\n    return interceptorResult;\n  }\n  if (isSameType(higherType, lowerType, opts)) {\n    return true;\n  }\n\n  if (!(\"typeName\" in higherType._def) || !(\"typeName\" in lowerType._def)) {\n    throw new Error(\n      \"Failed to compare type! \" + higherType._def + \" \" + lowerType._def,\n    );\n  }\n\n  if (\n    lowerType instanceof z.ZodOptional ||\n    lowerType instanceof z.ZodNullable\n  ) {\n    return isCompatibleType(higherType, lowerType.unwrap(), opts);\n  }\n\n  // ZodUnion aka or\n  if (higherType instanceof z.ZodUnion && lowerType instanceof z.ZodUnion) {\n    const higherOptions = flatUnwrapUnion(higherType);\n    const lowerOptions = flatUnwrapUnion(lowerType);\n    for (let i = 0; i < higherOptions.length; i++) {\n      const match = lowerOptions.some((option: ZodType) =>\n        isCompatibleType(higherOptions[i], option, opts),\n      );\n      if (!match) return false;\n    }\n    return true;\n  }\n  if (higherType instanceof z.ZodUnion) {\n    const higherOptions = flatUnwrapUnion(higherType);\n    return higherOptions.every((option: ZodType) =>\n      isCompatibleType(option, lowerType, opts),\n    );\n  }\n  if (lowerType instanceof z.ZodUnion) {\n    const lowerOptions = flatUnwrapUnion(lowerType);\n    return lowerOptions.some((option: ZodType) =>\n      isCompatibleType(higherType, option, opts),\n    );\n  }\n\n  // compare constructor\n  if (higherType.constructor !== lowerType.constructor) {\n    return false;\n  }\n\n  // ZodObject\n  if (higherType instanceof z.ZodObject && lowerType instanceof z.ZodObject) {\n    const superTypeShape = higherType.shape;\n    const subTypeShape = lowerType.shape;\n    if (Object.keys(superTypeShape).length < Object.keys(subTypeShape).length)\n      return false;\n    for (const key in subTypeShape) {\n      if (!(key in superTypeShape)) return false;\n      if (!isCompatibleType(superTypeShape[key], subTypeShape[key], opts)) {\n        return false;\n      }\n    }\n    return true;\n  }\n\n  // ZodArray\n  if (higherType instanceof z.ZodArray && lowerType instanceof z.ZodArray) {\n    return isCompatibleType(higherType.element, lowerType.element, opts);\n  }\n\n  // ZodTuple\n  if (higherType instanceof z.ZodTuple && lowerType instanceof z.ZodTuple) {\n    if (higherType.items.length < lowerType.items.length) return false;\n    for (let i = 0; i < lowerType.items.length; i++) {\n      if (!isCompatibleType(higherType.items[i], lowerType.items[i], opts)) {\n        return false;\n      }\n    }\n    // Check rest\n    if (lowerType._def.rest) {\n      if (!higherType._def.rest) return false;\n      return isCompatibleType(higherType._def.rest, lowerType._def.rest, opts);\n    }\n    return true;\n  }\n\n  throw new Error(\n    \"Failed to compare types!\" +\n      higherType._def.typeName +\n      \" \" +\n      lowerType._def.typeName,\n  );\n};\n"],"names":["DEFAULT_COMPARE_TYPE_OPTIONS","isPrimitiveType","a","z","flatUnwrapUnion","t","x","isSameType","b","options","opts","interceptorResult","aShape","bShape","key","i","aOptions","bOptions","optionA","matchIndex","optionB","optionsA","optionsB","enumA","enumB","isCompatibleType","higherType","lowerType","higherOptions","lowerOptions","option","superTypeShape","subTypeShape"],"mappings":"uGAiCaA,EAA+B,CAC1C,KAAM,GACN,eAAgB,GAChB,eAAgB,GAChB,eAAgB,GAChB,cAAe,GACf,kBAAmB,GACnB,YAAa,IAAM,CAAC,CACtB,EAGaC,EAAmBC,GAE5BA,aAAaC,EAAE,EAAA,WACfD,aAAaC,EAAAA,EAAE,WACfD,aAAaC,IAAE,QACfD,aAAaC,IAAE,WACfD,aAAaC,EAAAA,EAAE,YACfD,aAAaC,IAAE,SACfD,aAAaC,EAAA,EAAE,WACfD,aAAaC,EAAAA,EAAE,cACfD,aAAaC,IAAE,SACfD,aAAaC,EAAE,EAAA,QACfD,aAAaC,EAAAA,EAAE,YACfD,aAAaC,EAAE,EAAA,UACfD,aAAaC,EAAE,EAAA,QAMNC,EAGXC,GAEOA,EAAE,QAAQ,QAASC,GACpBA,aAAaH,IAAE,SACVC,EAAgBE,CAAC,EAEnBA,CACR,EC7CUC,EAAa,CACxBL,EACAM,EACAC,IACY,CACZ,MAAMC,EAAO,CAAE,GAAGV,EAA8B,GAAGS,CAAQ,EACrDE,EAAoBD,EAAK,YAAYR,EAAGM,EAAGE,CAAI,EACjD,GAAAC,IAAsB,IAAQA,IAAsB,GAC/C,OAAAA,EAGL,GAAAT,IAAM,QAAaM,IAAM,OAC3B,MAAM,IAAI,MAAM,2BAA6BN,EAAI,IAAMM,CAAC,EAG1D,GAAIN,IAAMM,EACD,MAAA,GAIL,GAAAN,EAAE,cAAgBM,EAAE,YAEf,MAAA,GAGT,GAAI,EAAE,aAAcN,EAAE,OAAS,EAAE,aAAcM,EAAE,MAC/C,MAAM,IAAI,MAAM,2BAA6BN,EAAE,KAAO,IAAMM,EAAE,IAAI,EAEpE,GAAIN,EAAE,KAAK,WAAaM,EAAE,KAAK,SACtB,MAAA,GAIT,GAAIE,EAAK,cACH,OAAAR,aAAaC,IAAE,aACjBD,EAAIA,EAAE,UAEJM,aAAaL,IAAE,aACjBK,EAAIA,EAAE,UAEDD,EAAWL,EAAGM,EAAGE,CAAI,EAE5B,GAAIR,aAAaC,EAAAA,EAAE,YAAcK,aAAaL,EAAAA,EAAE,WAGvC,MAAA,GAKX,GAAI,WAAYD,GAAK,OAAOA,EAAE,QAAW,WACvC,MAAM,WAAYM,GAAK,OAAOA,EAAE,QAAW,WAGpCD,EAAWL,EAAE,OAAA,EAAUM,EAAE,OAAA,EAAUE,CAAI,EAFrC,GAMX,GADI,CAACA,EAAK,gBAAkBR,EAAE,WAAW,IAAMM,EAAE,WAAW,GACxD,CAACE,EAAK,gBAAkBR,EAAE,WAAW,IAAMM,EAAE,WAAW,EAAU,MAAA,GAElE,GAAAP,EAAgBC,CAAC,EAEZ,MAAA,GAIT,GAAIA,aAAaC,EAAAA,EAAE,WAAaK,aAAaL,EAAAA,EAAE,UAAW,CACxD,MAAMS,EAASV,EAAE,MACXW,EAASL,EAAE,MACb,GAAA,OAAO,KAAKI,CAAM,EAAE,SAAW,OAAO,KAAKC,CAAM,EAAE,OAAe,MAAA,GACtE,UAAWC,KAAOF,EAEZ,GADA,EAAEE,KAAOD,IACT,CAACN,EAAWK,EAAOE,CAAG,EAAGD,EAAOC,CAAG,EAAGJ,CAAI,EAAU,MAAA,GAEnD,MAAA,EACT,CAGA,GAAIR,aAAaC,EAAAA,EAAE,UAAYK,aAAaL,EAAAA,EAAE,SAC5C,OAAOI,EAAWL,EAAE,QAASM,EAAE,QAASE,CAAI,EAI9C,GAAIR,aAAaC,EAAAA,EAAE,UAAYK,aAAaL,EAAAA,EAAE,SAAU,CACtD,GAAID,EAAE,MAAM,SAAWM,EAAE,MAAM,OAAe,MAAA,GAC9C,QAASO,EAAI,EAAGA,EAAIb,EAAE,MAAM,OAAQa,IAC9B,GAAA,CAACR,EAAWL,EAAE,MAAMa,CAAC,EAAGP,EAAE,MAAMO,CAAC,EAAGL,CAAI,EAAU,MAAA,GAGxD,OAAIR,EAAE,KAAK,MAAQM,EAAE,KAAK,KAEpB,CAACN,EAAE,KAAK,MAAQ,CAACM,EAAE,KAAK,KAAa,GAClCD,EAAWL,EAAE,KAAK,KAAMM,EAAE,KAAK,KAAME,CAAI,EAE3C,EACT,CAGA,GAAIR,aAAaC,EAAAA,EAAE,YAAcK,aAAaL,EAAAA,EAAE,WACvC,OAAAD,EAAE,QAAUM,EAAE,MAIvB,GAAIN,aAAaC,EAAAA,EAAE,iBAAmBK,aAAaL,EAAAA,EAAE,gBACnD,OACGI,EAAWL,EAAE,KAAK,KAAMM,EAAE,KAAK,KAAME,CAAI,GACxCH,EAAWL,EAAE,KAAK,MAAOM,EAAE,KAAK,MAAOE,CAAI,GAC5CH,EAAWL,EAAE,KAAK,KAAMM,EAAE,KAAK,MAAOE,CAAI,GACzCH,EAAWL,EAAE,KAAK,MAAOM,EAAE,KAAK,KAAME,CAAI,EAKhD,GAAIR,aAAaC,EAAAA,EAAE,UAAYK,aAAaL,EAAAA,EAAE,SAAU,CAChD,MAAAa,EAAWZ,EAAgBF,CAAkC,EAC7De,EAAWb,EAAgBI,CAAkC,EAC/D,GAAAQ,EAAS,SAAWC,EAAS,OAAe,MAAA,GAEhD,QAASC,KAAWF,EAAU,CAC5B,IAAIG,EAAaF,EAAS,UAAWG,GACnCb,EAAWW,EAASE,EAASV,CAAI,CAAA,EAEnC,GAAIS,IAAe,GAAW,MAAA,GACrBF,EAAA,OAAOE,EAAY,CAAC,CAC/B,CAEA,OAAOF,EAAS,SAAW,CAC7B,CAGA,GAAIf,aAAaC,EAAAA,EAAE,aAAeK,aAAaL,EAAAA,EAAE,YAC/C,OAAOI,EAAWL,EAAE,KAAK,UAAWM,EAAE,KAAK,UAAWE,CAAI,EAKzD,GAAAR,aAAaC,EAAE,EAAA,WAAaK,aAAaL,EAAAA,EAAE,WAC3CD,aAAaC,EAAE,EAAA,QAAUK,aAAaL,EAAAA,EAAE,OAEzC,OACEI,EAAWL,EAAE,UAAWM,EAAE,UAAWE,CAAI,GACzCH,EAAWL,EAAE,YAAaM,EAAE,YAAaE,CAAI,EAKjD,GAAIR,aAAaC,EAAAA,EAAE,QAAUK,aAAaL,EAAAA,EAAE,OAC1C,OAAOI,EAAWL,EAAE,KAAK,UAAWM,EAAE,KAAK,UAAWE,CAAI,EAI5D,GAAIR,aAAaC,EAAAA,EAAE,aAAeK,aAAaL,EAAAA,EAAE,YAC/C,OACEI,EAAWL,EAAE,WAAc,EAAAM,EAAE,aAAcE,CAAI,GAC/CH,EAAWL,EAAE,WAAW,EAAGM,EAAE,WAAA,EAAcE,CAAI,EAKnD,GAAIR,aAAaC,EAAAA,EAAE,SAAWK,aAAaL,EAAAA,EAAE,QAAS,CACpD,MAAMkB,EAAkCnB,EAAE,QACpCoB,EAAkCd,EAAE,QACtC,GAAAa,EAAS,SAAWC,EAAS,OAAe,MAAA,GAChD,QAASP,EAAI,EAAGA,EAAIM,EAAS,OAAQN,IACnC,GAAIM,EAASN,CAAC,IAAMO,EAASP,CAAC,EAAU,MAAA,GAEnC,MAAA,EACT,CAGA,GAAIb,aAAaC,EAAAA,EAAE,eAAiBK,aAAaL,EAAAA,EAAE,cAAe,CAChE,MAAMoB,EAAkBrB,EAAE,KACpBsB,EAAkBhB,EAAE,KACtB,GAAA,OAAO,KAAKe,CAAK,EAAE,SAAW,OAAO,KAAKC,CAAK,EAAE,OAAe,MAAA,GACpE,UAAWV,KAAOS,EAChB,GAAIA,EAAMT,CAAG,IAAMU,EAAMV,CAAG,EAAU,MAAA,GAEjC,MAAA,EACT,CASQ,cAAA,MAAM,4BAA8BZ,EAAGM,CAAC,EAC1C,IAAI,MAAM,iBAAmBN,EAAE,KAAK,SAAW,IAAMM,EAAE,KAAK,QAAQ,CAC5E,EC/LaiB,EAAmB,CAC9BC,EACAC,EACAlB,IACY,CACZ,MAAMC,EAAgC,CACpC,GAAGV,EACH,GAAGS,CAAA,EAECE,EAAoBD,EAAK,YAAYgB,EAAYC,EAAWjB,CAAI,EAClE,GAAAC,IAAsB,IAAQA,IAAsB,GAC/C,OAAAA,EAET,GAAIJ,EAAWmB,EAAYC,EAAWjB,CAAI,EACjC,MAAA,GAGT,GAAI,EAAE,aAAcgB,EAAW,OAAS,EAAE,aAAcC,EAAU,MAChE,MAAM,IAAI,MACR,2BAA6BD,EAAW,KAAO,IAAMC,EAAU,IAAA,EAInE,GACEA,aAAqBxB,EAAAA,EAAE,aACvBwB,aAAqBxB,EAAAA,EAAE,YAEvB,OAAOsB,EAAiBC,EAAYC,EAAU,SAAUjB,CAAI,EAI9D,GAAIgB,aAAsBvB,EAAAA,EAAE,UAAYwB,aAAqBxB,EAAAA,EAAE,SAAU,CACjE,MAAAyB,EAAgBxB,EAAgBsB,CAAU,EAC1CG,EAAezB,EAAgBuB,CAAS,EAC9C,QAASZ,EAAI,EAAGA,EAAIa,EAAc,OAAQb,IAIxC,GAAI,CAHUc,EAAa,KAAMC,GAC/BL,EAAiBG,EAAcb,CAAC,EAAGe,EAAQpB,CAAI,CAAA,EAE9B,MAAA,GAEd,MAAA,EACT,CACI,GAAAgB,aAAsBvB,IAAE,SAE1B,OADsBC,EAAgBsB,CAAU,EAC3B,MAAOI,GAC1BL,EAAiBK,EAAQH,EAAWjB,CAAI,CAAA,EAGxC,GAAAiB,aAAqBxB,IAAE,SAEzB,OADqBC,EAAgBuB,CAAS,EAC1B,KAAMG,GACxBL,EAAiBC,EAAYI,EAAQpB,CAAI,CAAA,EAKzC,GAAAgB,EAAW,cAAgBC,EAAU,YAChC,MAAA,GAIT,GAAID,aAAsBvB,EAAAA,EAAE,WAAawB,aAAqBxB,EAAAA,EAAE,UAAW,CACzE,MAAM4B,EAAiBL,EAAW,MAC5BM,EAAeL,EAAU,MAC3B,GAAA,OAAO,KAAKI,CAAc,EAAE,OAAS,OAAO,KAAKC,CAAY,EAAE,OAC1D,MAAA,GACT,UAAWlB,KAAOkB,EAEZ,GADA,EAAElB,KAAOiB,IACT,CAACN,EAAiBM,EAAejB,CAAG,EAAGkB,EAAalB,CAAG,EAAGJ,CAAI,EACzD,MAAA,GAGJ,MAAA,EACT,CAGA,GAAIgB,aAAsBvB,EAAAA,EAAE,UAAYwB,aAAqBxB,EAAAA,EAAE,SAC7D,OAAOsB,EAAiBC,EAAW,QAASC,EAAU,QAASjB,CAAI,EAIrE,GAAIgB,aAAsBvB,EAAAA,EAAE,UAAYwB,aAAqBxB,EAAAA,EAAE,SAAU,CACvE,GAAIuB,EAAW,MAAM,OAASC,EAAU,MAAM,OAAe,MAAA,GAC7D,QAASZ,EAAI,EAAGA,EAAIY,EAAU,MAAM,OAAQZ,IACtC,GAAA,CAACU,EAAiBC,EAAW,MAAMX,CAAC,EAAGY,EAAU,MAAMZ,CAAC,EAAGL,CAAI,EAC1D,MAAA,GAIP,OAAAiB,EAAU,KAAK,KACZD,EAAW,KAAK,KACdD,EAAiBC,EAAW,KAAK,KAAMC,EAAU,KAAK,KAAMjB,CAAI,EADrC,GAG7B,EACT,CAEA,MAAM,IAAI,MACR,2BACEgB,EAAW,KAAK,SAChB,IACAC,EAAU,KAAK,QAAA,CAErB"}
+{"version":3,"file":"index.cjs","sources":["../src/create-compare-fn.ts","../src/utils.ts","../src/is-same-type.ts","../src/is-compatible-type.ts","../src/rules.ts"],"sourcesContent":["import type { ZodType } from \"zod\";\nimport { type CompareContext, type CompareRule } from \"./types.ts\";\n\nexport const createCompareFn = (rules: CompareRule[]) => {\n  const isSameTypeFn = (\n    a: ZodType,\n    b: ZodType,\n    context: CompareContext = {},\n  ): boolean => {\n    let prevIndex = -1;\n    const runner = (index: number): boolean => {\n      if (index === rules.length) {\n        throw new Error(\"Failed to compare type! \" + a + \" \" + b);\n      }\n      if (index === prevIndex) {\n        throw new Error(\"next() called multiple times\");\n      }\n      prevIndex = index;\n      const rule = rules[index];\n\n      if (\"stacks\" in context && Array.isArray(context.stacks)) {\n        context.stacks.push({\n          name: rule.name,\n          target: [a, b],\n        });\n      }\n\n      return rule.compare(\n        a,\n        b,\n        () => runner(index + 1),\n        (a, b) => isSameTypeFn(a, b, context),\n        context,\n      );\n    };\n\n    return runner(0);\n  };\n  return isSameTypeFn;\n};\n\n/**\n * @deprecated Use {@link createCompareFn} instead.\n */\nexport const createIsSameTypeFn = createCompareFn;\n","import { z, type ZodType } from \"zod\";\n\n// See ZodFirstPartyTypeKind\nexport const isPrimitiveType = (a: ZodType): boolean => {\n  return (\n    a instanceof z.ZodString ||\n    a instanceof z.ZodNumber ||\n    a instanceof z.ZodNaN ||\n    a instanceof z.ZodBigInt ||\n    a instanceof z.ZodBoolean ||\n    a instanceof z.ZodDate ||\n    a instanceof z.ZodSymbol ||\n    a instanceof z.ZodUndefined ||\n    a instanceof z.ZodNull ||\n    a instanceof z.ZodAny ||\n    a instanceof z.ZodUnknown ||\n    a instanceof z.ZodNever ||\n    a instanceof z.ZodVoid\n  );\n};\n\ntype Mutable<T> = { -readonly [k in keyof T]: T[k] };\n\nexport const flatUnwrapUnion = <\n  T extends z.ZodUnionOptions = readonly [z.ZodTypeAny, ...z.ZodTypeAny[]],\n>(\n  t: z.ZodUnion<T>,\n): Mutable<T> => {\n  return t.options.flatMap((x) => {\n    if (x instanceof z.ZodUnion) {\n      return flatUnwrapUnion(x);\n    }\n    return x;\n  }) as unknown as T;\n};\n","import { z } from \"zod\";\nimport { createCompareFn } from \"./create-compare-fn.ts\";\nimport type { CompareRule } from \"./types.ts\";\nimport { flatUnwrapUnion, isPrimitiveType } from \"./utils.ts\";\n\nexport const isSameTypePresetRules = [\n  {\n    name: \"undefined check\",\n    compare: (a, b, next) => {\n      if (a === undefined || b === undefined) {\n        throw new Error(\"Failed to compare type! \" + a + \" \" + b);\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare reference\",\n    compare: (a, b, next) => {\n      if (a === b) {\n        return true;\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare constructor\",\n    compare: (a, b, next) => {\n      // https://stackoverflow.com/questions/24959862/how-to-tell-if-two-javascript-instances-are-of-the-same-class-type\n      if (a.constructor !== b.constructor) {\n        return false;\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare typeName\",\n    compare: (a, b, next) => {\n      if (!(\"typeName\" in a._def) || !(\"typeName\" in b._def)) {\n        throw new Error(\"Failed to compare type! \" + a._def + \" \" + b._def);\n      }\n      if (a._def.typeName !== b._def.typeName) {\n        return false;\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare ZodBranded\",\n    compare: (a, b, next) => {\n      if (a instanceof z.ZodBranded || b instanceof z.ZodBranded) {\n        // We can not distinguish different branded type\n        // throw new Error(\"Can not distinguish different branded type!\");\n        return false;\n      }\n      return next();\n    },\n  },\n  {\n    name: \"unwrap ZodType\",\n    // ZodPromise ZodOptional ZodNullable ZodBranded\n    compare: (a, b, next, recheck) => {\n      if (\"unwrap\" in a && typeof a.unwrap === \"function\") {\n        if (!(\"unwrap\" in b && typeof b.unwrap === \"function\")) {\n          return false;\n        }\n        return recheck(a.unwrap(), b.unwrap());\n      }\n      return next();\n    },\n  },\n  {\n    name: \"is same primitive\",\n    compare: (a, b, next) => {\n      if (\n        isPrimitiveType(a) &&\n        isPrimitiveType(b) &&\n        a.constructor === b.constructor\n      ) {\n        return true;\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare ZodObject\",\n    compare: (a, b, next, recheck) => {\n      if (a instanceof z.ZodObject && b instanceof z.ZodObject) {\n        const aShape = a.shape;\n        const bShape = b.shape;\n        if (Object.keys(aShape).length !== Object.keys(bShape).length)\n          return false;\n        for (const key in aShape) {\n          if (!(key in bShape)) return false;\n          if (!recheck(aShape[key], bShape[key])) return false;\n        }\n        return true;\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare ZodArray\",\n    compare: (a, b, next, recheck) => {\n      if (a instanceof z.ZodArray && b instanceof z.ZodArray) {\n        return recheck(a.element, b.element);\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare ZodTuple\",\n    compare: (a, b, next, recheck) => {\n      if (a instanceof z.ZodTuple && b instanceof z.ZodTuple) {\n        if (a.items.length !== b.items.length) return false;\n        for (let i = 0; i < a.items.length; i++) {\n          if (!recheck(a.items[i], b.items[i])) return false;\n        }\n        // Compare rest\n        if (a._def.rest || b._def.rest) {\n          // If one has rest, the other must have rest\n          if (!a._def.rest || !b._def.rest) return false;\n          return recheck(a._def.rest, b._def.rest);\n        }\n        return true;\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare ZodLiteral\",\n    compare: (a, b, next) => {\n      if (a instanceof z.ZodLiteral && b instanceof z.ZodLiteral) {\n        return a.value === b.value;\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare ZodIntersection\",\n    compare: (a, b, next, recheck) => {\n      // ZodIntersection aka and\n      if (a instanceof z.ZodIntersection && b instanceof z.ZodIntersection) {\n        return (\n          (recheck(a._def.left, b._def.left) &&\n            recheck(a._def.right, b._def.right)) ||\n          (recheck(a._def.left, b._def.right) &&\n            recheck(a._def.right, b._def.left))\n        );\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare ZodUnion\",\n    compare: (a, b, next, recheck) => {\n      // ZodUnion aka or\n      if (a instanceof z.ZodUnion && b instanceof z.ZodUnion) {\n        const aOptions = flatUnwrapUnion(a as z.ZodUnion<z.ZodUnionOptions>);\n        const bOptions = flatUnwrapUnion(b as z.ZodUnion<z.ZodUnionOptions>);\n        if (aOptions.length !== bOptions.length) return false;\n        for (let optionA of aOptions) {\n          let matchIndex = bOptions.findIndex((optionB) =>\n            recheck(optionA, optionB),\n          );\n          if (matchIndex === -1) return false;\n          bOptions.splice(matchIndex, 1);\n        }\n        return bOptions.length === 0;\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare ZodReadonly\",\n    compare: (a, b, next, recheck) => {\n      if (a instanceof z.ZodReadonly && b instanceof z.ZodReadonly) {\n        return recheck(a._def.innerType, b._def.innerType);\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare ZodRecord\",\n    compare: (a, b, next, recheck) => {\n      if (a instanceof z.ZodRecord && b instanceof z.ZodRecord) {\n        return (\n          recheck(a.keySchema, b.keySchema) &&\n          recheck(a.valueSchema, b.valueSchema)\n        );\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare ZodMap\",\n    compare: (a, b, next, recheck) => {\n      if (a instanceof z.ZodMap && b instanceof z.ZodMap) {\n        return (\n          recheck(a.keySchema, b.keySchema) &&\n          recheck(a.valueSchema, b.valueSchema)\n        );\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare ZodSet\",\n    compare: (a, b, next, recheck) => {\n      if (a instanceof z.ZodSet && b instanceof z.ZodSet) {\n        return recheck(a._def.valueType, b._def.valueType);\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare ZodFunction\",\n    compare: (a, b, next, recheck) => {\n      if (a instanceof z.ZodFunction && b instanceof z.ZodFunction) {\n        return (\n          recheck(a.parameters(), b.parameters()) &&\n          recheck(a.returnType(), b.returnType())\n        );\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare ZodEnum\",\n    compare: (a, b, next) => {\n      if (a instanceof z.ZodEnum && b instanceof z.ZodEnum) {\n        const optionsA: [string, ...string[]] = a.options;\n        const optionsB: [string, ...string[]] = b.options;\n        if (optionsA.length !== optionsB.length) return false;\n        for (let i = 0; i < optionsA.length; i++) {\n          if (optionsA[i] !== optionsB[i]) return false;\n        }\n        return true;\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare ZodNativeEnum\",\n    compare: (a, b, next) => {\n      if (a instanceof z.ZodNativeEnum && b instanceof z.ZodNativeEnum) {\n        const enumA: z.EnumLike = a.enum;\n        const enumB: z.EnumLike = b.enum;\n        if (Object.keys(enumA).length !== Object.keys(enumB).length)\n          return false;\n        for (const key in enumA) {\n          if (enumA[key] !== enumB[key]) return false;\n        }\n        return true;\n      }\n      return next();\n    },\n  },\n] as const satisfies CompareRule[];\n\nexport const strictIsSameTypeRules = [\n  {\n    name: \"compare optional\",\n    compare: (a, b, next) => {\n      if (a.isOptional() !== b.isOptional()) return false;\n      return next();\n    },\n  },\n  {\n    name: \"compare nullable\",\n    compare: (a, b, next) => {\n      if (a.isNullable() !== b.isNullable()) return false;\n      return next();\n    },\n  },\n  {\n    name: \"compare corece\",\n    compare: (a, b, next) => {\n      if (\"corece\" in a._def && \"corece\" in b._def) {\n        if (a._def.corece !== b._def.corece) {\n          return false;\n        }\n      }\n      if (\"corece\" in a._def) {\n        return false;\n      }\n      if (\"corece\" in b._def) {\n        return false;\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare description\",\n    compare: (a, b, next) => {\n      if (a.description !== b.description) {\n        return false;\n      }\n      return next();\n    },\n  },\n] as const satisfies CompareRule[];\n\n/**\n * isSameType is a function that checks if two ZodTypes are the same.\n *\n * Caveats:\n * - The function does not validate specific criteria such as min or max values, length, email, etc.\n * - It excludes comparisons involving methods like .describe(), .catch(), .default(), .refine(), and .transform().\n *\n * @param a - The first ZodType to compare.\n * @param b - The second ZodType to compare.\n * @returns A boolean indicating whether the two types are the same.\n *\n * @throws Will throw an error if it encounters an unknown type.\n *\n * @example\n * ```ts\n * isSameType(z.string(), z.string()); // true\n * isSameType(z.string(), z.number()); // false\n * ```\n */\nexport const isSameType = createCompareFn(isSameTypePresetRules);\n","import { z, type ZodType } from \"zod\";\nimport { createCompareFn } from \"./create-compare-fn.ts\";\nimport { isSameType } from \"./is-same-type.ts\";\nimport type { CompareRule } from \"./types.ts\";\nimport { flatUnwrapUnion } from \"./utils.ts\";\n\nexport const isCompatibleTypePresetRules = [\n  {\n    name: \"is same type\",\n    compare: (higherType, lowerType, next) => {\n      if (isSameType(higherType, lowerType)) {\n        return true;\n      }\n      return next();\n    },\n  },\n  {\n    name: \"check typeName\",\n    compare: (higherType, lowerType, next) => {\n      if (!(\"typeName\" in higherType._def) || !(\"typeName\" in lowerType._def)) {\n        throw new Error(\n          \"Failed to compare type! \" + higherType._def + \" \" + lowerType._def,\n        );\n      }\n      return next();\n    },\n  },\n  {\n    name: \"check ZodOptional/ZodNullable\",\n    compare: (higherType, lowerType, next, recheck) => {\n      if (\n        lowerType instanceof z.ZodOptional ||\n        lowerType instanceof z.ZodNullable\n      ) {\n        return recheck(higherType, lowerType.unwrap());\n      }\n      return next();\n    },\n  },\n  {\n    name: \"check ZodUnion\",\n    compare: (higherType, lowerType, next, recheck) => {\n      if (higherType instanceof z.ZodUnion && lowerType instanceof z.ZodUnion) {\n        const higherOptions = flatUnwrapUnion(higherType);\n        const lowerOptions = flatUnwrapUnion(lowerType);\n        for (let i = 0; i < higherOptions.length; i++) {\n          const match = lowerOptions.some((option: ZodType) =>\n            recheck(higherOptions[i], option),\n          );\n          if (!match) return false;\n        }\n        return true;\n      }\n      if (higherType instanceof z.ZodUnion) {\n        const higherOptions = flatUnwrapUnion(higherType);\n        return higherOptions.every((option: ZodType) =>\n          recheck(option, lowerType),\n        );\n      }\n      if (lowerType instanceof z.ZodUnion) {\n        const lowerOptions = flatUnwrapUnion(lowerType);\n        return lowerOptions.some((option: ZodType) =>\n          recheck(higherType, option),\n        );\n      }\n      return next();\n    },\n  },\n  {\n    name: \"compare constructor\",\n    compare: (higherType, lowerType, next) => {\n      // We have already checked if the types are ZodUnion or ZodOptional/ZodNullable before\n      if (higherType.constructor !== lowerType.constructor) {\n        return false;\n      }\n      return next();\n    },\n  },\n  {\n    name: \"check ZodObject\",\n    compare: (higherType, lowerType, next, recheck) => {\n      if (\n        higherType instanceof z.ZodObject &&\n        lowerType instanceof z.ZodObject\n      ) {\n        const superTypeShape = higherType.shape;\n        const subTypeShape = lowerType.shape;\n        if (\n          Object.keys(superTypeShape).length < Object.keys(subTypeShape).length\n        )\n          return false;\n        for (const key in subTypeShape) {\n          if (!(key in superTypeShape)) return false;\n          if (!recheck(superTypeShape[key], subTypeShape[key])) {\n            return false;\n          }\n        }\n        return true;\n      }\n      return next();\n    },\n  },\n  {\n    name: \"check ZodArray\",\n    compare: (higherType, lowerType, next, recheck) => {\n      if (higherType instanceof z.ZodArray && lowerType instanceof z.ZodArray) {\n        return recheck(higherType.element, lowerType.element);\n      }\n      return next();\n    },\n  },\n  {\n    name: \"check ZodTuple\",\n    compare: (higherType, lowerType, next, recheck) => {\n      if (higherType instanceof z.ZodTuple && lowerType instanceof z.ZodTuple) {\n        if (higherType.items.length < lowerType.items.length) return false;\n        for (let i = 0; i < lowerType.items.length; i++) {\n          if (!recheck(higherType.items[i], lowerType.items[i])) {\n            return false;\n          }\n        }\n        // Check rest\n        if (lowerType._def.rest) {\n          if (!higherType._def.rest) return false;\n          return recheck(higherType._def.rest, lowerType._def.rest);\n        }\n        return true;\n      }\n      return next();\n    },\n  },\n] as const satisfies CompareRule[];\n\n/**\n * Check if a the higherType matches the lowerType\n *\n * @deprecated This a unstable API and still in development\n *\n * @param higherType The looser type\n * @param lowerType The stricter type\n *\n * @example\n * ```ts\n * isCompatibleType(z.string(), z.string()); // true\n *\n * isCompatibleType(\n *   z.object({ name: z.string(), other: z.number() }),\n *   z.object({ name: z.string() })\n * );\n * // true\n * ```\n */\nexport const isCompatibleType = createCompareFn(isCompatibleTypePresetRules);\n","import type { CompareFn } from \"./types.ts\";\n\nexport const defineCompareRule = (name: string, rule: CompareFn) => ({\n  name,\n  rule,\n});\n"],"names":["createCompareFn","rules","isSameTypeFn","a","b","context","prevIndex","runner","index","rule","createIsSameTypeFn","isPrimitiveType","z","flatUnwrapUnion","t","x","isSameTypePresetRules","next","recheck","aShape","bShape","key","i","aOptions","bOptions","optionA","matchIndex","optionB","optionsA","optionsB","enumA","enumB","isSameType","isCompatibleTypePresetRules","higherType","lowerType","higherOptions","lowerOptions","option","superTypeShape","subTypeShape","isCompatibleType","defineCompareRule","name"],"mappings":"uGAGaA,EAAmBC,GAAyB,CACvD,MAAMC,EAAe,CACnBC,EACAC,EACAC,EAA0B,CAAA,IACd,CACZ,IAAIC,EAAY,GACV,MAAAC,EAAUC,GAA2B,CACrC,GAAAA,IAAUP,EAAM,OAClB,MAAM,IAAI,MAAM,2BAA6BE,EAAI,IAAMC,CAAC,EAE1D,GAAII,IAAUF,EACN,MAAA,IAAI,MAAM,8BAA8B,EAEpCA,EAAAE,EACN,MAAAC,EAAOR,EAAMO,CAAK,EAExB,MAAI,WAAYH,GAAW,MAAM,QAAQA,EAAQ,MAAM,GACrDA,EAAQ,OAAO,KAAK,CAClB,KAAMI,EAAK,KACX,OAAQ,CAACN,EAAGC,CAAC,CAAA,CACd,EAGIK,EAAK,QACVN,EACAC,EACA,IAAMG,EAAOC,EAAQ,CAAC,EACtB,CAACL,EAAGC,IAAMF,EAAaC,EAAGC,EAAGC,CAAO,EACpCA,CAAA,CACF,EAGF,OAAOE,EAAO,CAAC,CAAA,EAEV,OAAAL,CACT,EAKaQ,EAAqBV,ECzCrBW,EAAmBR,GAE5BA,aAAaS,EAAE,EAAA,WACfT,aAAaS,EAAAA,EAAE,WACfT,aAAaS,IAAE,QACfT,aAAaS,IAAE,WACfT,aAAaS,EAAAA,EAAE,YACfT,aAAaS,IAAE,SACfT,aAAaS,EAAA,EAAE,WACfT,aAAaS,EAAAA,EAAE,cACfT,aAAaS,IAAE,SACfT,aAAaS,EAAE,EAAA,QACfT,aAAaS,EAAAA,EAAE,YACfT,aAAaS,EAAE,EAAA,UACfT,aAAaS,EAAE,EAAA,QAMNC,EAGXC,GAEOA,EAAE,QAAQ,QAASC,GACpBA,aAAaH,IAAE,SACVC,EAAgBE,CAAC,EAEnBA,CACR,EC5BUC,EAAwB,CACnC,CACE,KAAM,kBACN,QAAS,CAACb,EAAGC,EAAGa,IAAS,CACnB,GAAAd,IAAM,QAAaC,IAAM,OAC3B,MAAM,IAAI,MAAM,2BAA6BD,EAAI,IAAMC,CAAC,EAE1D,OAAOa,EAAK,CACd,CACF,EACA,CACE,KAAM,oBACN,QAAS,CAACd,EAAGC,EAAGa,IACVd,IAAMC,EACD,GAEFa,EAAK,CAEhB,EACA,CACE,KAAM,sBACN,QAAS,CAACd,EAAGC,EAAGa,IAEVd,EAAE,cAAgBC,EAAE,YACf,GAEFa,EAAK,CAEhB,EACA,CACE,KAAM,mBACN,QAAS,CAACd,EAAGC,EAAGa,IAAS,CACvB,GAAI,EAAE,aAAcd,EAAE,OAAS,EAAE,aAAcC,EAAE,MAC/C,MAAM,IAAI,MAAM,2BAA6BD,EAAE,KAAO,IAAMC,EAAE,IAAI,EAEpE,OAAID,EAAE,KAAK,WAAaC,EAAE,KAAK,SACtB,GAEFa,EAAK,CACd,CACF,EACA,CACE,KAAM,qBACN,QAAS,CAACd,EAAGC,EAAGa,IACVd,aAAaS,EAAAA,EAAE,YAAcR,aAAaQ,EAAAA,EAAE,WAGvC,GAEFK,EAAK,CAEhB,EACA,CACE,KAAM,iBAEN,QAAS,CAACd,EAAGC,EAAGa,EAAMC,IAChB,WAAYf,GAAK,OAAOA,EAAE,QAAW,WACjC,WAAYC,GAAK,OAAOA,EAAE,QAAW,WAGpCc,EAAQf,EAAE,OAAU,EAAAC,EAAE,QAAQ,EAF5B,GAIJa,EAAK,CAEhB,EACA,CACE,KAAM,oBACN,QAAS,CAACd,EAAGC,EAAGa,IAEZN,EAAgBR,CAAC,GACjBQ,EAAgBP,CAAC,GACjBD,EAAE,cAAgBC,EAAE,YAEb,GAEFa,EAAK,CAEhB,EACA,CACE,KAAM,oBACN,QAAS,CAACd,EAAGC,EAAGa,EAAMC,IAAY,CAChC,GAAIf,aAAaS,EAAAA,EAAE,WAAaR,aAAaQ,EAAAA,EAAE,UAAW,CACxD,MAAMO,EAAShB,EAAE,MACXiB,EAAShB,EAAE,MACb,GAAA,OAAO,KAAKe,CAAM,EAAE,SAAW,OAAO,KAAKC,CAAM,EAAE,OAC9C,MAAA,GACT,UAAWC,KAAOF,EAEhB,GADI,EAAEE,KAAOD,IACT,CAACF,EAAQC,EAAOE,CAAG,EAAGD,EAAOC,CAAG,CAAC,EAAU,MAAA,GAE1C,MAAA,EACT,CACA,OAAOJ,EAAK,CACd,CACF,EACA,CACE,KAAM,mBACN,QAAS,CAACd,EAAGC,EAAGa,EAAMC,IAChBf,aAAaS,EAAAA,EAAE,UAAYR,aAAaQ,EAAAA,EAAE,SACrCM,EAAQf,EAAE,QAASC,EAAE,OAAO,EAE9Ba,EAAK,CAEhB,EACA,CACE,KAAM,mBACN,QAAS,CAACd,EAAGC,EAAGa,EAAMC,IAAY,CAChC,GAAIf,aAAaS,EAAAA,EAAE,UAAYR,aAAaQ,EAAAA,EAAE,SAAU,CACtD,GAAIT,EAAE,MAAM,SAAWC,EAAE,MAAM,OAAe,MAAA,GAC9C,QAASkB,EAAI,EAAGA,EAAInB,EAAE,MAAM,OAAQmB,IAC9B,GAAA,CAACJ,EAAQf,EAAE,MAAMmB,CAAC,EAAGlB,EAAE,MAAMkB,CAAC,CAAC,EAAU,MAAA,GAG/C,OAAInB,EAAE,KAAK,MAAQC,EAAE,KAAK,KAEpB,CAACD,EAAE,KAAK,MAAQ,CAACC,EAAE,KAAK,KAAa,GAClCc,EAAQf,EAAE,KAAK,KAAMC,EAAE,KAAK,IAAI,EAElC,EACT,CACA,OAAOa,EAAK,CACd,CACF,EACA,CACE,KAAM,qBACN,QAAS,CAACd,EAAGC,EAAGa,IACVd,aAAaS,EAAAA,EAAE,YAAcR,aAAaQ,EAAAA,EAAE,WACvCT,EAAE,QAAUC,EAAE,MAEhBa,EAAK,CAEhB,EACA,CACE,KAAM,0BACN,QAAS,CAACd,EAAGC,EAAGa,EAAMC,IAEhBf,aAAaS,EAAAA,EAAE,iBAAmBR,aAAaQ,EAAAA,EAAE,gBAEhDM,EAAQf,EAAE,KAAK,KAAMC,EAAE,KAAK,IAAI,GAC/Bc,EAAQf,EAAE,KAAK,MAAOC,EAAE,KAAK,KAAK,GACnCc,EAAQf,EAAE,KAAK,KAAMC,EAAE,KAAK,KAAK,GAChCc,EAAQf,EAAE,KAAK,MAAOC,EAAE,KAAK,IAAI,EAGhCa,EAAK,CAEhB,EACA,CACE,KAAM,mBACN,QAAS,CAACd,EAAGC,EAAGa,EAAMC,IAAY,CAEhC,GAAIf,aAAaS,EAAAA,EAAE,UAAYR,aAAaQ,EAAAA,EAAE,SAAU,CAChD,MAAAW,EAAWV,EAAgBV,CAAkC,EAC7DqB,EAAWX,EAAgBT,CAAkC,EAC/D,GAAAmB,EAAS,SAAWC,EAAS,OAAe,MAAA,GAChD,QAASC,KAAWF,EAAU,CAC5B,IAAIG,EAAaF,EAAS,UAAWG,GACnCT,EAAQO,EAASE,CAAO,CAAA,EAE1B,GAAID,IAAe,GAAW,MAAA,GACrBF,EAAA,OAAOE,EAAY,CAAC,CAC/B,CACA,OAAOF,EAAS,SAAW,CAC7B,CACA,OAAOP,EAAK,CACd,CACF,EACA,CACE,KAAM,sBACN,QAAS,CAACd,EAAGC,EAAGa,EAAMC,IAChBf,aAAaS,EAAAA,EAAE,aAAeR,aAAaQ,EAAAA,EAAE,YACxCM,EAAQf,EAAE,KAAK,UAAWC,EAAE,KAAK,SAAS,EAE5Ca,EAAK,CAEhB,EACA,CACE,KAAM,oBACN,QAAS,CAACd,EAAGC,EAAGa,EAAMC,IAChBf,aAAaS,EAAAA,EAAE,WAAaR,aAAaQ,EAAAA,EAAE,UAE3CM,EAAQf,EAAE,UAAWC,EAAE,SAAS,GAChCc,EAAQf,EAAE,YAAaC,EAAE,WAAW,EAGjCa,EAAK,CAEhB,EACA,CACE,KAAM,iBACN,QAAS,CAACd,EAAGC,EAAGa,EAAMC,IAChBf,aAAaS,EAAAA,EAAE,QAAUR,aAAaQ,EAAAA,EAAE,OAExCM,EAAQf,EAAE,UAAWC,EAAE,SAAS,GAChCc,EAAQf,EAAE,YAAaC,EAAE,WAAW,EAGjCa,EAAK,CAEhB,EACA,CACE,KAAM,iBACN,QAAS,CAACd,EAAGC,EAAGa,EAAMC,IAChBf,aAAaS,EAAAA,EAAE,QAAUR,aAAaQ,EAAAA,EAAE,OACnCM,EAAQf,EAAE,KAAK,UAAWC,EAAE,KAAK,SAAS,EAE5Ca,EAAK,CAEhB,EACA,CACE,KAAM,sBACN,QAAS,CAACd,EAAGC,EAAGa,EAAMC,IAChBf,aAAaS,EAAAA,EAAE,aAAeR,aAAaQ,EAAAA,EAAE,YAE7CM,EAAQf,EAAE,WAAW,EAAGC,EAAE,WAAY,CAAA,GACtCc,EAAQf,EAAE,WAAA,EAAcC,EAAE,WAAY,CAAA,EAGnCa,EAAK,CAEhB,EACA,CACE,KAAM,kBACN,QAAS,CAACd,EAAGC,EAAGa,IAAS,CACvB,GAAId,aAAaS,EAAAA,EAAE,SAAWR,aAAaQ,EAAAA,EAAE,QAAS,CACpD,MAAMgB,EAAkCzB,EAAE,QACpC0B,EAAkCzB,EAAE,QACtC,GAAAwB,EAAS,SAAWC,EAAS,OAAe,MAAA,GAChD,QAAS,EAAI,EAAG,EAAID,EAAS,OAAQ,IACnC,GAAIA,EAAS,CAAC,IAAMC,EAAS,CAAC,EAAU,MAAA,GAEnC,MAAA,EACT,CACA,OAAOZ,EAAK,CACd,CACF,EACA,CACE,KAAM,wBACN,QAAS,CAACd,EAAGC,EAAGa,IAAS,CACvB,GAAId,aAAaS,EAAAA,EAAE,eAAiBR,aAAaQ,EAAAA,EAAE,cAAe,CAChE,MAAMkB,EAAoB3B,EAAE,KACtB4B,EAAoB3B,EAAE,KACxB,GAAA,OAAO,KAAK0B,CAAK,EAAE,SAAW,OAAO,KAAKC,CAAK,EAAE,OAC5C,MAAA,GACT,UAAWV,KAAOS,EAChB,GAAIA,EAAMT,CAAG,IAAMU,EAAMV,CAAG,EAAU,MAAA,GAEjC,MAAA,EACT,CACA,OAAOJ,EAAK,CACd,CACF,CACF,EAgEae,EAAahC,EAAgBgB,CAAqB,EC3TlDiB,EAA8B,CACzC,CACE,KAAM,eACN,QAAS,CAACC,EAAYC,EAAWlB,IAC3Be,EAAWE,EAAYC,CAAS,EAC3B,GAEFlB,EAAK,CAEhB,EACA,CACE,KAAM,iBACN,QAAS,CAACiB,EAAYC,EAAWlB,IAAS,CACxC,GAAI,EAAE,aAAciB,EAAW,OAAS,EAAE,aAAcC,EAAU,MAChE,MAAM,IAAI,MACR,2BAA6BD,EAAW,KAAO,IAAMC,EAAU,IAAA,EAGnE,OAAOlB,EAAK,CACd,CACF,EACA,CACE,KAAM,gCACN,QAAS,CAACiB,EAAYC,EAAWlB,EAAMC,IAEnCiB,aAAqBvB,EAAAA,EAAE,aACvBuB,aAAqBvB,EAAAA,EAAE,YAEhBM,EAAQgB,EAAYC,EAAU,OAAQ,CAAA,EAExClB,EAAK,CAEhB,EACA,CACE,KAAM,iBACN,QAAS,CAACiB,EAAYC,EAAWlB,EAAMC,IAAY,CACjD,GAAIgB,aAAsBtB,EAAAA,EAAE,UAAYuB,aAAqBvB,EAAAA,EAAE,SAAU,CACjE,MAAAwB,EAAgBvB,EAAgBqB,CAAU,EAC1CG,EAAexB,EAAgBsB,CAAS,EAC9C,QAASb,EAAI,EAAGA,EAAIc,EAAc,OAAQd,IAIxC,GAAI,CAHUe,EAAa,KAAMC,GAC/BpB,EAAQkB,EAAcd,CAAC,EAAGgB,CAAM,CAAA,EAEf,MAAA,GAEd,MAAA,EACT,CACI,OAAAJ,aAAsBtB,IAAE,SACJC,EAAgBqB,CAAU,EAC3B,MAAOI,GAC1BpB,EAAQoB,EAAQH,CAAS,CAAA,EAGzBA,aAAqBvB,IAAE,SACJC,EAAgBsB,CAAS,EAC1B,KAAMG,GACxBpB,EAAQgB,EAAYI,CAAM,CAAA,EAGvBrB,EAAK,CACd,CACF,EACA,CACE,KAAM,sBACN,QAAS,CAACiB,EAAYC,EAAWlB,IAE3BiB,EAAW,cAAgBC,EAAU,YAChC,GAEFlB,EAAK,CAEhB,EACA,CACE,KAAM,kBACN,QAAS,CAACiB,EAAYC,EAAWlB,EAAMC,IAAY,CACjD,GACEgB,aAAsBtB,EAAAA,EAAE,WACxBuB,aAAqBvB,EAAAA,EAAE,UACvB,CACA,MAAM2B,EAAiBL,EAAW,MAC5BM,EAAeL,EAAU,MAE7B,GAAA,OAAO,KAAKI,CAAc,EAAE,OAAS,OAAO,KAAKC,CAAY,EAAE,OAExD,MAAA,GACT,UAAWnB,KAAOmB,EAEZ,GADA,EAAEnB,KAAOkB,IACT,CAACrB,EAAQqB,EAAelB,CAAG,EAAGmB,EAAanB,CAAG,CAAC,EAC1C,MAAA,GAGJ,MAAA,EACT,CACA,OAAOJ,EAAK,CACd,CACF,EACA,CACE,KAAM,iBACN,QAAS,CAACiB,EAAYC,EAAWlB,EAAMC,IACjCgB,aAAsBtB,EAAAA,EAAE,UAAYuB,aAAqBvB,EAAAA,EAAE,SACtDM,EAAQgB,EAAW,QAASC,EAAU,OAAO,EAE/ClB,EAAK,CAEhB,EACA,CACE,KAAM,iBACN,QAAS,CAACiB,EAAYC,EAAWlB,EAAMC,IAAY,CACjD,GAAIgB,aAAsBtB,EAAAA,EAAE,UAAYuB,aAAqBvB,EAAAA,EAAE,SAAU,CACvE,GAAIsB,EAAW,MAAM,OAASC,EAAU,MAAM,OAAe,MAAA,GAC7D,QAASb,EAAI,EAAGA,EAAIa,EAAU,MAAM,OAAQb,IACtC,GAAA,CAACJ,EAAQgB,EAAW,MAAMZ,CAAC,EAAGa,EAAU,MAAMb,CAAC,CAAC,EAC3C,MAAA,GAIP,OAAAa,EAAU,KAAK,KACZD,EAAW,KAAK,KACdhB,EAAQgB,EAAW,KAAK,KAAMC,EAAU,KAAK,IAAI,EADtB,GAG7B,EACT,CACA,OAAOlB,EAAK,CACd,CACF,CACF,EAqBawB,EAAmBzC,EAAgBiC,CAA2B,ECtJ9DS,EAAoB,CAACC,EAAclC,KAAqB,CACnE,KAAAkC,EACA,KAAAlC,CACF"}

package/dist/index.d.ts

@@ -1,5 +1,33 @@
+import { CompareContext as CompareContext_2 } from './types.ts';
+import { z } from 'zod';
 import { ZodType } from 'zod';
 
+export declare type CompareContext = {
+    stacks?: {
+        name: string;
+        target: [a: ZodType, b: ZodType];
+    }[];
+} & Record<string, unknown>;
+
+export declare type CompareFn = (a: ZodType, b: ZodType, next: () => boolean, recheck: (a: ZodType, b: ZodType) => boolean, context: CompareContext) => boolean;
+
+export declare type CompareRule = {
+    name: string;
+    compare: CompareFn;
+};
+
+export declare const createCompareFn: (rules: CompareRule[]) => (a: ZodType, b: ZodType, context?: CompareContext) => boolean;
+
+/**
+ * @deprecated Use {@link createCompareFn} instead.
+ */
+export declare const createIsSameTypeFn: (rules: CompareRule[]) => (a: ZodType, b: ZodType, context?: CompareContext) => boolean;
+
+export declare const defineCompareRule: (name: string, rule: CompareFn) => {
+    name: string;
+    rule: CompareFn;
+};
+
 /**
  * Check if a the higherType matches the lowerType
  *
@@ -19,12 +47,33 @@ import { ZodType } from 'zod';
  * // true
  * ```
  */
-export declare const isCompatibleType: (higherType: ZodType, lowerType: ZodType, options?: Partial<IsCompatibleTypeOptions>) => boolean;
+export declare const isCompatibleType: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, context?: CompareContext_2) => boolean;
 
-declare interface IsCompatibleTypeOptions extends IsSameTypeOptions {
-    ignoreOptional: false;
-    ignoreNullable: false;
-}
+export declare const isCompatibleTypePresetRules: [{
+    readonly name: "is same type";
+    readonly compare: (higherType: z.ZodType<any, z.ZodTypeDef, any>, lowerType: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean) => boolean;
+}, {
+    readonly name: "check typeName";
+    readonly compare: (higherType: z.ZodType<any, z.ZodTypeDef, any>, lowerType: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean) => boolean;
+}, {
+    readonly name: "check ZodOptional/ZodNullable";
+    readonly compare: (higherType: z.ZodType<any, z.ZodTypeDef, any>, lowerType: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => boolean;
+}, {
+    readonly name: "check ZodUnion";
+    readonly compare: (higherType: z.ZodType<any, z.ZodTypeDef, any>, lowerType: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => any;
+}, {
+    readonly name: "compare constructor";
+    readonly compare: (higherType: z.ZodType<any, z.ZodTypeDef, any>, lowerType: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean) => boolean;
+}, {
+    readonly name: "check ZodObject";
+    readonly compare: (higherType: z.ZodType<any, z.ZodTypeDef, any>, lowerType: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => boolean;
+}, {
+    readonly name: "check ZodArray";
+    readonly compare: (higherType: z.ZodType<any, z.ZodTypeDef, any>, lowerType: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => boolean;
+}, {
+    readonly name: "check ZodTuple";
+    readonly compare: (higherType: z.ZodType<any, z.ZodTypeDef, any>, lowerType: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => boolean;
+}];
 
 /**
  * isSameType is a function that checks if two ZodTypes are the same.
@@ -32,7 +81,6 @@ declare interface IsCompatibleTypeOptions extends IsSameTypeOptions {
  * Caveats:
  * - The function does not validate specific criteria such as min or max values, length, email, etc.
  * - It excludes comparisons involving methods like .describe(), .catch(), .default(), .refine(), and .transform().
- * - When comparing definitions with .or and .and, they are assessed sequentially based on their order.
  *
  * @param a - The first ZodType to compare.
  * @param b - The second ZodType to compare.
@@ -46,28 +94,68 @@ declare interface IsCompatibleTypeOptions extends IsSameTypeOptions {
  * isSameType(z.string(), z.number()); // false
  * ```
  */
-export declare const isSameType: (a: ZodType, b: ZodType, options?: Partial<IsSameTypeOptions>) => boolean;
+export declare const isSameType: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, context?: CompareContext_2) => boolean;
 
-export declare interface IsSameTypeOptions {
-    deep: true;
-    /**
-     * Ignore all specific validations like min, max, length, email etc.
-     *
-     * You still can use `interceptor` to validate the type manually.
-     */
-    ignoreValidations: true;
-    ignoreOptional: boolean;
-    ignoreNullable: boolean;
-    ignoreReadOnly: false;
-    ignoreBranded: boolean;
-    /**
-     * A function that provides custom logic for comparing two ZodType instances.
-     *
-     * If the function returns `true` or `false`, the result will be used as the comparison result.
-     * Otherwise, the default comparison logic will be used.
-     *
-     */
-    interceptor: (a: ZodType, b: ZodType, options: IsSameTypeOptions) => boolean | void;
-}
+export declare const isSameTypePresetRules: [{
+    readonly name: "undefined check";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean) => boolean;
+}, {
+    readonly name: "compare reference";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean) => boolean;
+}, {
+    readonly name: "compare constructor";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean) => boolean;
+}, {
+    readonly name: "compare typeName";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean) => boolean;
+}, {
+    readonly name: "compare ZodBranded";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean) => boolean;
+}, {
+    readonly name: "unwrap ZodType";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => boolean;
+}, {
+    readonly name: "is same primitive";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean) => boolean;
+}, {
+    readonly name: "compare ZodObject";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => boolean;
+}, {
+    readonly name: "compare ZodArray";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => boolean;
+}, {
+    readonly name: "compare ZodTuple";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => boolean;
+}, {
+    readonly name: "compare ZodLiteral";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean) => boolean;
+}, {
+    readonly name: "compare ZodIntersection";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => boolean;
+}, {
+    readonly name: "compare ZodUnion";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => boolean;
+}, {
+    readonly name: "compare ZodReadonly";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => boolean;
+}, {
+    readonly name: "compare ZodRecord";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => boolean;
+}, {
+    readonly name: "compare ZodMap";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => boolean;
+}, {
+    readonly name: "compare ZodSet";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => boolean;
+}, {
+    readonly name: "compare ZodFunction";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>) => boolean) => boolean;
+}, {
+    readonly name: "compare ZodEnum";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean) => boolean;
+}, {
+    readonly name: "compare ZodNativeEnum";
+    readonly compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean) => boolean;
+}];
 
 export { }