zod-compare 0.2.0 → 0.3.1

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)
@@ -45,18 +45,19 @@ isCompatibleType(
 
 ### Custom Rules
 
-You can use `createIsSameTypeFn` to create a custom comparison function.
+You can use `createCompareFn` to create a custom comparison function.
 
 ```ts
 import {
-  createIsSameTypeFn,
+  createCompareFn,
   isSameTypePresetRules,
   defineCompareRule,
 } from "zod-compare";
 
 const customRule = defineCompareRule(
-  "custom rule",
+  "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;
     }
@@ -64,7 +65,7 @@ const customRule = defineCompareRule(
   },
 );
 
-const customIsSameType = createIsSameTypeFn([
+const strictIsSameType = createCompareFn([
   customRule,
   ...isSameTypePresetRules,
 ]);
@@ -84,6 +85,7 @@ isSameType(
   context,
 );
 
+// type stacks = { name: string; target: [a: ZodType, b: ZodType]; result: boolean; }[]
 console.log(context.stacks);
 ```
 
@@ -100,15 +102,19 @@ If there is a necessity to compare these types, custom rules can be established
 Compares two Zod schemas and returns `true` if they are the same.
 
 ```ts
-const isSameType: (a: ZodType, b: ZodType, context?: CompareContext) => boolean;
+import { isSameType } from "zod-compare";
+
+type isSameType: (a: ZodType, b: ZodType, context?: CompareContext) => boolean;
 ```
 
-### `createIsSameTypeFn`
+### `createCompareFn`
 
 Creates a custom comparison function.
 
 ```ts
-const defineCompareRule: (
+import { createCompareFn, defineCompareRule } from "zod-compare";
+
+type defineCompareRule = (
   name: string,
   rule: CompareFn,
 ) => {
@@ -116,7 +122,11 @@ const defineCompareRule: (
   rule: CompareFn;
 };
 
-const createIsSameTypeFn: (rules: CompareRule[]) => typeof isSameType;
+type createCompareFn = (rules: CompareRule[]) => typeof isSameType;
+
+// Example
+const isSameType = createCompareFn(isSameTypePresetRules);
+const isCompatibleType = createCompareFn(isCompatibleTypePresetRules);
 ```
 
 ### `isCompatibleType` (Experimental API)
@@ -124,7 +134,24 @@ const createIsSameTypeFn: (rules: CompareRule[]) => typeof isSameType;
 Compares two Zod schemas and returns `true` if they are compatible.
 
 ```ts
-function isCompatibleType(a: ZodType, b: ZodType): boolean;
+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

package/dist/index.cjs

@@ -1,2 +1,2 @@
-"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const r=require("zod"),m=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,u=e=>e.options.flatMap(n=>n instanceof r.z.ZodUnion?u(n):n),S=(e,n)=>({name:e,rule: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)=>m(e)&&m(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 f in a)if(!(f in i)||!o(a[f],i[f]))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=u(e),i=u(n);if(a.length!==i.length)return!1;for(let f of a){let c=i.findIndex(d=>o(f,d));if(c===-1)return!1;i.splice(c,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=e=>{const n=(t,o,a={})=>{let i=-1;const f=c=>{if(c===e.length)throw new Error("Failed to compare type! "+t+" "+o);if(c===i)throw new Error("next() called multiple times");i=c;const d=e[c];return"stacks"in a&&Array.isArray(a.stacks)&&a.stacks.push({name:d.name,target:[t,o]}),d.compare(t,o,()=>f(c+1),(z,_)=>n(z,_,a),a)};return f(0)};return n},Z=l(p),s=(e,n)=>{if(Z(e,n))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 r.z.ZodOptional||n instanceof r.z.ZodNullable)return s(e,n.unwrap());if(e instanceof r.z.ZodUnion&&n instanceof r.z.ZodUnion){const t=u(e),o=u(n);for(let a=0;a<t.length;a++)if(!o.some(f=>s(t[a],f)))return!1;return!0}if(e instanceof r.z.ZodUnion)return u(e).every(o=>s(o,n));if(n instanceof r.z.ZodUnion)return u(n).some(o=>s(e,o));if(e.constructor!==n.constructor)return!1;if(e instanceof r.z.ZodObject&&n instanceof r.z.ZodObject){const t=e.shape,o=n.shape;if(Object.keys(t).length<Object.keys(o).length)return!1;for(const a in o)if(!(a in t)||!s(t[a],o[a]))return!1;return!0}if(e instanceof r.z.ZodArray&&n instanceof r.z.ZodArray)return s(e.element,n.element);if(e instanceof r.z.ZodTuple&&n instanceof r.z.ZodTuple){if(e.items.length<n.items.length)return!1;for(let t=0;t<n.items.length;t++)if(!s(e.items[t],n.items[t]))return!1;return n._def.rest?e._def.rest?s(e._def.rest,n._def.rest):!1:!0}throw new Error("Failed to compare types!"+e._def.typeName+" "+n._def.typeName)};exports.createIsSameTypeFn=l;exports.defineCompareRule=S;exports.isCompatibleType=s;exports.isSameType=Z;exports.isSameTypePresetRules=p;
+"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],d=u.compare(t,o,()=>s(f+1),(y,_)=>n(y,_,a),a);return"stacks"in a&&Array.isArray(a.stacks)&&a.stacks.push({name:u.name,target:[t,o],result:d}),d};return s(0)};return n},h=m,p=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),l=[{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)=>p(e)&&p(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()}}],Z=m(l),z=[{name:"is same type",compare:(e,n,t)=>Z(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()}}],S=m(z),O=(e,n)=>({name:e,rule:n});exports.createCompareFn=m;exports.createIsSameTypeFn=h;exports.defineCompareRule=O;exports.isCompatibleType=S;exports.isCompatibleTypePresetRules=z;exports.isSameType=Z;exports.isSameTypePresetRules=l;
 //# sourceMappingURL=index.cjs.map

package/dist/index.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.cjs","sources":["../src/utils.ts","../src/rules.ts","../src/is-same-type.ts","../src/is-compatible-type.ts"],"sourcesContent":["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 type { CompareFn, CompareRule } from \"./types.ts\";\nimport { flatUnwrapUnion, isPrimitiveType } from \"./utils.ts\";\n\nexport const defineCompareRule = (name: string, rule: CompareFn) => ({\n  name,\n  rule,\n});\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","import type { ZodType } from \"zod\";\nimport { isSameTypePresetRules } from \"./rules.ts\";\nimport { type CompareContext, type CompareRule } from \"./types.ts\";\n\nexport const createIsSameTypeFn = (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 * 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 = createIsSameTypeFn(isSameTypePresetRules);\n","import { z, type ZodType } from \"zod\";\nimport { isSameType } from \"./is-same-type.ts\";\nimport { flatUnwrapUnion } 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): boolean => {\n  if (isSameType(higherType, lowerType)) {\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());\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),\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),\n    );\n  }\n  if (lowerType instanceof z.ZodUnion) {\n    const lowerOptions = flatUnwrapUnion(lowerType);\n    return lowerOptions.some((option: ZodType) =>\n      isCompatibleType(higherType, option),\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])) {\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);\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])) {\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);\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":["isPrimitiveType","a","z","flatUnwrapUnion","t","x","defineCompareRule","name","rule","isSameTypePresetRules","b","next","recheck","aShape","bShape","key","i","aOptions","bOptions","optionA","matchIndex","optionB","optionsA","optionsB","enumA","enumB","createIsSameTypeFn","rules","isSameTypeFn","context","prevIndex","runner","index","isSameType","isCompatibleType","higherType","lowerType","higherOptions","lowerOptions","option","superTypeShape","subTypeShape"],"mappings":"uGAGaA,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,EC7BUC,EAAoB,CAACC,EAAcC,KAAqB,CACnE,KAAAD,EACA,KAAAC,CACF,GAEaC,EAAwB,CACnC,CACE,KAAM,kBACN,QAAS,CAACR,EAAGS,EAAGC,IAAS,CACnB,GAAAV,IAAM,QAAaS,IAAM,OAC3B,MAAM,IAAI,MAAM,2BAA6BT,EAAI,IAAMS,CAAC,EAE1D,OAAOC,EAAK,CACd,CACF,EACA,CACE,KAAM,oBACN,QAAS,CAACV,EAAGS,EAAGC,IACVV,IAAMS,EACD,GAEFC,EAAK,CAEhB,EACA,CACE,KAAM,sBACN,QAAS,CAACV,EAAGS,EAAGC,IAEVV,EAAE,cAAgBS,EAAE,YACf,GAEFC,EAAK,CAEhB,EACA,CACE,KAAM,mBACN,QAAS,CAACV,EAAGS,EAAGC,IAAS,CACvB,GAAI,EAAE,aAAcV,EAAE,OAAS,EAAE,aAAcS,EAAE,MAC/C,MAAM,IAAI,MAAM,2BAA6BT,EAAE,KAAO,IAAMS,EAAE,IAAI,EAEpE,OAAIT,EAAE,KAAK,WAAaS,EAAE,KAAK,SACtB,GAEFC,EAAK,CACd,CACF,EACA,CACE,KAAM,qBACN,QAAS,CAACV,EAAGS,EAAGC,IACVV,aAAaC,EAAAA,EAAE,YAAcQ,aAAaR,EAAAA,EAAE,WAGvC,GAEFS,EAAK,CAEhB,EACA,CACE,KAAM,iBAEN,QAAS,CAACV,EAAGS,EAAGC,EAAMC,IAChB,WAAYX,GAAK,OAAOA,EAAE,QAAW,WACjC,WAAYS,GAAK,OAAOA,EAAE,QAAW,WAGpCE,EAAQX,EAAE,OAAU,EAAAS,EAAE,QAAQ,EAF5B,GAIJC,EAAK,CAEhB,EACA,CACE,KAAM,oBACN,QAAS,CAACV,EAAGS,EAAGC,IAEZX,EAAgBC,CAAC,GACjBD,EAAgBU,CAAC,GACjBT,EAAE,cAAgBS,EAAE,YAEb,GAEFC,EAAK,CAEhB,EACA,CACE,KAAM,oBACN,QAAS,CAACV,EAAGS,EAAGC,EAAMC,IAAY,CAChC,GAAIX,aAAaC,EAAAA,EAAE,WAAaQ,aAAaR,EAAAA,EAAE,UAAW,CACxD,MAAMW,EAASZ,EAAE,MACXa,EAASJ,EAAE,MACb,GAAA,OAAO,KAAKG,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,CAACV,EAAGS,EAAGC,EAAMC,IAChBX,aAAaC,EAAAA,EAAE,UAAYQ,aAAaR,EAAAA,EAAE,SACrCU,EAAQX,EAAE,QAASS,EAAE,OAAO,EAE9BC,EAAK,CAEhB,EACA,CACE,KAAM,mBACN,QAAS,CAACV,EAAGS,EAAGC,EAAMC,IAAY,CAChC,GAAIX,aAAaC,EAAAA,EAAE,UAAYQ,aAAaR,EAAAA,EAAE,SAAU,CACtD,GAAID,EAAE,MAAM,SAAWS,EAAE,MAAM,OAAe,MAAA,GAC9C,QAASM,EAAI,EAAGA,EAAIf,EAAE,MAAM,OAAQe,IAC9B,GAAA,CAACJ,EAAQX,EAAE,MAAMe,CAAC,EAAGN,EAAE,MAAMM,CAAC,CAAC,EAAU,MAAA,GAG/C,OAAIf,EAAE,KAAK,MAAQS,EAAE,KAAK,KAEpB,CAACT,EAAE,KAAK,MAAQ,CAACS,EAAE,KAAK,KAAa,GAClCE,EAAQX,EAAE,KAAK,KAAMS,EAAE,KAAK,IAAI,EAElC,EACT,CACA,OAAOC,EAAK,CACd,CACF,EACA,CACE,KAAM,qBACN,QAAS,CAACV,EAAGS,EAAGC,IACVV,aAAaC,EAAAA,EAAE,YAAcQ,aAAaR,EAAAA,EAAE,WACvCD,EAAE,QAAUS,EAAE,MAEhBC,EAAK,CAEhB,EACA,CACE,KAAM,0BACN,QAAS,CAACV,EAAGS,EAAGC,EAAMC,IAEhBX,aAAaC,EAAAA,EAAE,iBAAmBQ,aAAaR,EAAAA,EAAE,gBAEhDU,EAAQX,EAAE,KAAK,KAAMS,EAAE,KAAK,IAAI,GAC/BE,EAAQX,EAAE,KAAK,MAAOS,EAAE,KAAK,KAAK,GACnCE,EAAQX,EAAE,KAAK,KAAMS,EAAE,KAAK,KAAK,GAChCE,EAAQX,EAAE,KAAK,MAAOS,EAAE,KAAK,IAAI,EAGhCC,EAAK,CAEhB,EACA,CACE,KAAM,mBACN,QAAS,CAACV,EAAGS,EAAGC,EAAMC,IAAY,CAEhC,GAAIX,aAAaC,EAAAA,EAAE,UAAYQ,aAAaR,EAAAA,EAAE,SAAU,CAChD,MAAAe,EAAWd,EAAgBF,CAAkC,EAC7DiB,EAAWf,EAAgBO,CAAkC,EAC/D,GAAAO,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,CAACV,EAAGS,EAAGC,EAAMC,IAChBX,aAAaC,EAAAA,EAAE,aAAeQ,aAAaR,EAAAA,EAAE,YACxCU,EAAQX,EAAE,KAAK,UAAWS,EAAE,KAAK,SAAS,EAE5CC,EAAK,CAEhB,EACA,CACE,KAAM,oBACN,QAAS,CAACV,EAAGS,EAAGC,EAAMC,IAChBX,aAAaC,EAAAA,EAAE,WAAaQ,aAAaR,EAAAA,EAAE,UAE3CU,EAAQX,EAAE,UAAWS,EAAE,SAAS,GAChCE,EAAQX,EAAE,YAAaS,EAAE,WAAW,EAGjCC,EAAK,CAEhB,EACA,CACE,KAAM,iBACN,QAAS,CAACV,EAAGS,EAAGC,EAAMC,IAChBX,aAAaC,EAAAA,EAAE,QAAUQ,aAAaR,EAAAA,EAAE,OAExCU,EAAQX,EAAE,UAAWS,EAAE,SAAS,GAChCE,EAAQX,EAAE,YAAaS,EAAE,WAAW,EAGjCC,EAAK,CAEhB,EACA,CACE,KAAM,iBACN,QAAS,CAACV,EAAGS,EAAGC,EAAMC,IAChBX,aAAaC,EAAAA,EAAE,QAAUQ,aAAaR,EAAAA,EAAE,OACnCU,EAAQX,EAAE,KAAK,UAAWS,EAAE,KAAK,SAAS,EAE5CC,EAAK,CAEhB,EACA,CACE,KAAM,sBACN,QAAS,CAACV,EAAGS,EAAGC,EAAMC,IAChBX,aAAaC,EAAAA,EAAE,aAAeQ,aAAaR,EAAAA,EAAE,YAE7CU,EAAQX,EAAE,WAAW,EAAGS,EAAE,WAAY,CAAA,GACtCE,EAAQX,EAAE,WAAA,EAAcS,EAAE,WAAY,CAAA,EAGnCC,EAAK,CAEhB,EACA,CACE,KAAM,kBACN,QAAS,CAACV,EAAGS,EAAGC,IAAS,CACvB,GAAIV,aAAaC,EAAAA,EAAE,SAAWQ,aAAaR,EAAAA,EAAE,QAAS,CACpD,MAAMoB,EAAkCrB,EAAE,QACpCsB,EAAkCb,EAAE,QACtC,GAAAY,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,CAACV,EAAGS,EAAGC,IAAS,CACvB,GAAIV,aAAaC,EAAAA,EAAE,eAAiBQ,aAAaR,EAAAA,EAAE,cAAe,CAChE,MAAMsB,EAAoBvB,EAAE,KACtBwB,EAAoBf,EAAE,KACxB,GAAA,OAAO,KAAKc,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,ECjQae,EAAsBC,GAAyB,CAC1D,MAAMC,EAAe,CACnB3B,EACAS,EACAmB,EAA0B,CAAA,IACd,CACZ,IAAIC,EAAY,GACV,MAAAC,EAAUC,GAA2B,CACrC,GAAAA,IAAUL,EAAM,OAClB,MAAM,IAAI,MAAM,2BAA6B1B,EAAI,IAAMS,CAAC,EAE1D,GAAIsB,IAAUF,EACN,MAAA,IAAI,MAAM,8BAA8B,EAEpCA,EAAAE,EACN,MAAAxB,EAAOmB,EAAMK,CAAK,EAExB,MAAI,WAAYH,GAAW,MAAM,QAAQA,EAAQ,MAAM,GACrDA,EAAQ,OAAO,KAAK,CAClB,KAAMrB,EAAK,KACX,OAAQ,CAACP,EAAGS,CAAC,CAAA,CACd,EAGIF,EAAK,QACVP,EACAS,EACA,IAAMqB,EAAOC,EAAQ,CAAC,EACtB,CAAC/B,EAAGS,IAAMkB,EAAa3B,EAAGS,EAAGmB,CAAO,EACpCA,CAAA,CACF,EAGF,OAAOE,EAAO,CAAC,CAAA,EAEV,OAAAH,CACT,EAqBaK,EAAaP,EAAmBjB,CAAqB,ECtCrDyB,EAAmB,CAC9BC,EACAC,IACY,CACR,GAAAH,EAAWE,EAAYC,CAAS,EAC3B,MAAA,GAGT,GAAI,EAAE,aAAcD,EAAW,OAAS,EAAE,aAAcC,EAAU,MAChE,MAAM,IAAI,MACR,2BAA6BD,EAAW,KAAO,IAAMC,EAAU,IAAA,EAInE,GACEA,aAAqBlC,EAAAA,EAAE,aACvBkC,aAAqBlC,EAAAA,EAAE,YAEvB,OAAOgC,EAAiBC,EAAYC,EAAU,OAAQ,CAAA,EAIxD,GAAID,aAAsBjC,EAAAA,EAAE,UAAYkC,aAAqBlC,EAAAA,EAAE,SAAU,CACjE,MAAAmC,EAAgBlC,EAAgBgC,CAAU,EAC1CG,EAAenC,EAAgBiC,CAAS,EAC9C,QAASpB,EAAI,EAAGA,EAAIqB,EAAc,OAAQrB,IAIxC,GAAI,CAHUsB,EAAa,KAAMC,GAC/BL,EAAiBG,EAAcrB,CAAC,EAAGuB,CAAM,CAAA,EAExB,MAAA,GAEd,MAAA,EACT,CACI,GAAAJ,aAAsBjC,IAAE,SAE1B,OADsBC,EAAgBgC,CAAU,EAC3B,MAAOI,GAC1BL,EAAiBK,EAAQH,CAAS,CAAA,EAGlC,GAAAA,aAAqBlC,IAAE,SAEzB,OADqBC,EAAgBiC,CAAS,EAC1B,KAAMG,GACxBL,EAAiBC,EAAYI,CAAM,CAAA,EAKnC,GAAAJ,EAAW,cAAgBC,EAAU,YAChC,MAAA,GAIT,GAAID,aAAsBjC,EAAAA,EAAE,WAAakC,aAAqBlC,EAAAA,EAAE,UAAW,CACzE,MAAMsC,EAAiBL,EAAW,MAC5BM,EAAeL,EAAU,MAC3B,GAAA,OAAO,KAAKI,CAAc,EAAE,OAAS,OAAO,KAAKC,CAAY,EAAE,OAC1D,MAAA,GACT,UAAW1B,KAAO0B,EAEZ,GADA,EAAE1B,KAAOyB,IACT,CAACN,EAAiBM,EAAezB,CAAG,EAAG0B,EAAa1B,CAAG,CAAC,EACnD,MAAA,GAGJ,MAAA,EACT,CAGA,GAAIoB,aAAsBjC,EAAAA,EAAE,UAAYkC,aAAqBlC,EAAAA,EAAE,SAC7D,OAAOgC,EAAiBC,EAAW,QAASC,EAAU,OAAO,EAI/D,GAAID,aAAsBjC,EAAAA,EAAE,UAAYkC,aAAqBlC,EAAAA,EAAE,SAAU,CACvE,GAAIiC,EAAW,MAAM,OAASC,EAAU,MAAM,OAAe,MAAA,GAC7D,QAASpB,EAAI,EAAGA,EAAIoB,EAAU,MAAM,OAAQpB,IACtC,GAAA,CAACkB,EAAiBC,EAAW,MAAMnB,CAAC,EAAGoB,EAAU,MAAMpB,CAAC,CAAC,EACpD,MAAA,GAIP,OAAAoB,EAAU,KAAK,KACZD,EAAW,KAAK,KACdD,EAAiBC,EAAW,KAAK,KAAMC,EAAU,KAAK,IAAI,EAD/B,GAG7B,EACT,CAEA,MAAM,IAAI,MACR,2BACED,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      const compareResult = rule.compare(\n        a,\n        b,\n        () => runner(index + 1),\n        (a, b) => isSameTypeFn(a, b, context),\n        context,\n      );\n\n      if (\"stacks\" in context && Array.isArray(context.stacks)) {\n        context.stacks.push({\n          name: rule.name,\n          target: [a, b],\n          result: compareResult,\n        });\n      }\n\n      return compareResult;\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","compareResult","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,EAElBE,EAAgBD,EAAK,QACzBN,EACAC,EACA,IAAMG,EAAOC,EAAQ,CAAC,EACtB,CAACL,EAAGC,IAAMF,EAAaC,EAAGC,EAAGC,CAAO,EACpCA,CAAA,EAGF,MAAI,WAAYA,GAAW,MAAM,QAAQA,EAAQ,MAAM,GACrDA,EAAQ,OAAO,KAAK,CAClB,KAAMI,EAAK,KACX,OAAQ,CAACN,EAAGC,CAAC,EACb,OAAQM,CAAA,CACT,EAGIA,CAAA,EAGT,OAAOH,EAAO,CAAC,CAAA,EAEV,OAAAL,CACT,EAKaS,EAAqBX,EC5CrBY,EAAmBT,GAE5BA,aAAaU,EAAE,EAAA,WACfV,aAAaU,EAAAA,EAAE,WACfV,aAAaU,IAAE,QACfV,aAAaU,IAAE,WACfV,aAAaU,EAAAA,EAAE,YACfV,aAAaU,IAAE,SACfV,aAAaU,EAAA,EAAE,WACfV,aAAaU,EAAAA,EAAE,cACfV,aAAaU,IAAE,SACfV,aAAaU,EAAE,EAAA,QACfV,aAAaU,EAAAA,EAAE,YACfV,aAAaU,EAAE,EAAA,UACfV,aAAaU,EAAE,EAAA,QAMNC,EAGXC,GAEOA,EAAE,QAAQ,QAASC,GACpBA,aAAaH,IAAE,SACVC,EAAgBE,CAAC,EAEnBA,CACR,EC5BUC,EAAwB,CACnC,CACE,KAAM,kBACN,QAAS,CAACd,EAAGC,EAAGc,IAAS,CACnB,GAAAf,IAAM,QAAaC,IAAM,OAC3B,MAAM,IAAI,MAAM,2BAA6BD,EAAI,IAAMC,CAAC,EAE1D,OAAOc,EAAK,CACd,CACF,EACA,CACE,KAAM,oBACN,QAAS,CAACf,EAAGC,EAAGc,IACVf,IAAMC,EACD,GAEFc,EAAK,CAEhB,EACA,CACE,KAAM,sBACN,QAAS,CAACf,EAAGC,EAAGc,IAEVf,EAAE,cAAgBC,EAAE,YACf,GAEFc,EAAK,CAEhB,EACA,CACE,KAAM,mBACN,QAAS,CAACf,EAAGC,EAAGc,IAAS,CACvB,GAAI,EAAE,aAAcf,EAAE,OAAS,EAAE,aAAcC,EAAE,MAC/C,MAAM,IAAI,MAAM,2BAA6BD,EAAE,KAAO,IAAMC,EAAE,IAAI,EAEpE,OAAID,EAAE,KAAK,WAAaC,EAAE,KAAK,SACtB,GAEFc,EAAK,CACd,CACF,EACA,CACE,KAAM,qBACN,QAAS,CAACf,EAAGC,EAAGc,IACVf,aAAaU,EAAAA,EAAE,YAAcT,aAAaS,EAAAA,EAAE,WAGvC,GAEFK,EAAK,CAEhB,EACA,CACE,KAAM,iBAEN,QAAS,CAACf,EAAGC,EAAGc,EAAMC,IAChB,WAAYhB,GAAK,OAAOA,EAAE,QAAW,WACjC,WAAYC,GAAK,OAAOA,EAAE,QAAW,WAGpCe,EAAQhB,EAAE,OAAU,EAAAC,EAAE,QAAQ,EAF5B,GAIJc,EAAK,CAEhB,EACA,CACE,KAAM,oBACN,QAAS,CAACf,EAAGC,EAAGc,IAEZN,EAAgBT,CAAC,GACjBS,EAAgBR,CAAC,GACjBD,EAAE,cAAgBC,EAAE,YAEb,GAEFc,EAAK,CAEhB,EACA,CACE,KAAM,oBACN,QAAS,CAACf,EAAGC,EAAGc,EAAMC,IAAY,CAChC,GAAIhB,aAAaU,EAAAA,EAAE,WAAaT,aAAaS,EAAAA,EAAE,UAAW,CACxD,MAAMO,EAASjB,EAAE,MACXkB,EAASjB,EAAE,MACb,GAAA,OAAO,KAAKgB,CAAM,EAAE,SAAW,OAAO,KAAKC,CAAM,EAAE,OAC9C,MAAA,GACT,UAAWC,KAAOF,EAEZ,GADA,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,CAACf,EAAGC,EAAGc,EAAMC,IAChBhB,aAAaU,EAAAA,EAAE,UAAYT,aAAaS,EAAAA,EAAE,SACrCM,EAAQhB,EAAE,QAASC,EAAE,OAAO,EAE9Bc,EAAK,CAEhB,EACA,CACE,KAAM,mBACN,QAAS,CAACf,EAAGC,EAAGc,EAAMC,IAAY,CAChC,GAAIhB,aAAaU,EAAAA,EAAE,UAAYT,aAAaS,EAAAA,EAAE,SAAU,CACtD,GAAIV,EAAE,MAAM,SAAWC,EAAE,MAAM,OAAe,MAAA,GAC9C,QAASmB,EAAI,EAAGA,EAAIpB,EAAE,MAAM,OAAQoB,IAC9B,GAAA,CAACJ,EAAQhB,EAAE,MAAMoB,CAAC,EAAGnB,EAAE,MAAMmB,CAAC,CAAC,EAAU,MAAA,GAG/C,OAAIpB,EAAE,KAAK,MAAQC,EAAE,KAAK,KAEpB,CAACD,EAAE,KAAK,MAAQ,CAACC,EAAE,KAAK,KAAa,GAClCe,EAAQhB,EAAE,KAAK,KAAMC,EAAE,KAAK,IAAI,EAElC,EACT,CACA,OAAOc,EAAK,CACd,CACF,EACA,CACE,KAAM,qBACN,QAAS,CAACf,EAAGC,EAAGc,IACVf,aAAaU,EAAAA,EAAE,YAAcT,aAAaS,EAAAA,EAAE,WACvCV,EAAE,QAAUC,EAAE,MAEhBc,EAAK,CAEhB,EACA,CACE,KAAM,0BACN,QAAS,CAACf,EAAGC,EAAGc,EAAMC,IAEhBhB,aAAaU,EAAAA,EAAE,iBAAmBT,aAAaS,EAAAA,EAAE,gBAEhDM,EAAQhB,EAAE,KAAK,KAAMC,EAAE,KAAK,IAAI,GAC/Be,EAAQhB,EAAE,KAAK,MAAOC,EAAE,KAAK,KAAK,GACnCe,EAAQhB,EAAE,KAAK,KAAMC,EAAE,KAAK,KAAK,GAChCe,EAAQhB,EAAE,KAAK,MAAOC,EAAE,KAAK,IAAI,EAGhCc,EAAK,CAEhB,EACA,CACE,KAAM,mBACN,QAAS,CAACf,EAAGC,EAAGc,EAAMC,IAAY,CAEhC,GAAIhB,aAAaU,EAAAA,EAAE,UAAYT,aAAaS,EAAAA,EAAE,SAAU,CAChD,MAAAW,EAAWV,EAAgBX,CAAkC,EAC7DsB,EAAWX,EAAgBV,CAAkC,EACnE,GAAIoB,EAAS,SAAWC,EAAS,OAAe,MAAA,GAChD,QAASC,KAAWF,EAAU,CAC5B,IAAIG,EAAaF,EAAS,UAAWG,GACnCT,EAAQO,EAASE,CAAO,CAAA,EAEtB,GAAAD,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,CAACf,EAAGC,EAAGc,EAAMC,IAChBhB,aAAaU,EAAAA,EAAE,aAAeT,aAAaS,EAAAA,EAAE,YACxCM,EAAQhB,EAAE,KAAK,UAAWC,EAAE,KAAK,SAAS,EAE5Cc,EAAK,CAEhB,EACA,CACE,KAAM,oBACN,QAAS,CAACf,EAAGC,EAAGc,EAAMC,IAChBhB,aAAaU,EAAAA,EAAE,WAAaT,aAAaS,EAAAA,EAAE,UAE3CM,EAAQhB,EAAE,UAAWC,EAAE,SAAS,GAChCe,EAAQhB,EAAE,YAAaC,EAAE,WAAW,EAGjCc,EAAK,CAEhB,EACA,CACE,KAAM,iBACN,QAAS,CAACf,EAAGC,EAAGc,EAAMC,IAChBhB,aAAaU,EAAAA,EAAE,QAAUT,aAAaS,EAAAA,EAAE,OAExCM,EAAQhB,EAAE,UAAWC,EAAE,SAAS,GAChCe,EAAQhB,EAAE,YAAaC,EAAE,WAAW,EAGjCc,EAAK,CAEhB,EACA,CACE,KAAM,iBACN,QAAS,CAACf,EAAGC,EAAGc,EAAMC,IAChBhB,aAAaU,EAAAA,EAAE,QAAUT,aAAaS,EAAAA,EAAE,OACnCM,EAAQhB,EAAE,KAAK,UAAWC,EAAE,KAAK,SAAS,EAE5Cc,EAAK,CAEhB,EACA,CACE,KAAM,sBACN,QAAS,CAACf,EAAGC,EAAGc,EAAMC,IAChBhB,aAAaU,EAAAA,EAAE,aAAeT,aAAaS,EAAAA,EAAE,YAE7CM,EAAQhB,EAAE,WAAW,EAAGC,EAAE,WAAY,CAAA,GACtCe,EAAQhB,EAAE,WAAA,EAAcC,EAAE,WAAY,CAAA,EAGnCc,EAAK,CAEhB,EACA,CACE,KAAM,kBACN,QAAS,CAACf,EAAGC,EAAGc,IAAS,CACvB,GAAIf,aAAaU,EAAAA,EAAE,SAAWT,aAAaS,EAAAA,EAAE,QAAS,CACpD,MAAMgB,EAAkC1B,EAAE,QACpC2B,EAAkC1B,EAAE,QAC1C,GAAIyB,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,CAACf,EAAGC,EAAGc,IAAS,CACvB,GAAIf,aAAaU,EAAAA,EAAE,eAAiBT,aAAaS,EAAAA,EAAE,cAAe,CAChE,MAAMkB,EAAoB5B,EAAE,KACtB6B,EAAoB5B,EAAE,KACxB,GAAA,OAAO,KAAK2B,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,EAAajC,EAAgBiB,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,IAIpC,GAAA,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,EAAmB1C,EAAgBkC,CAA2B,ECtJ9DS,EAAoB,CAACC,EAAcnC,KAAqB,CACnE,KAAAmC,EACA,KAAAnC,CACF"}

package/dist/index.d.ts

@@ -1,3 +1,4 @@
+import { CompareContext as CompareContext_2 } from './types.ts';
 import { z } from 'zod';
 import { ZodType } from 'zod';
 
@@ -5,6 +6,7 @@ export declare type CompareContext = {
     stacks?: {
         name: string;
         target: [a: ZodType, b: ZodType];
+        result: boolean;
     }[];
 } & Record<string, unknown>;
 
@@ -15,6 +17,11 @@ export declare type CompareRule = {
     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) => {
@@ -41,7 +48,33 @@ export declare const defineCompareRule: (name: string, rule: CompareFn) => {
  * // true
  * ```
  */
-export declare const isCompatibleType: (higherType: ZodType, lowerType: ZodType) => boolean;
+export declare const isCompatibleType: (a: z.ZodType, b: z.ZodType, context?: CompareContext_2) => boolean;
+
+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, b: z.ZodType) => 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, b: z.ZodType) => 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, b: z.ZodType) => 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, b: z.ZodType) => 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, b: z.ZodType) => boolean) => boolean;
+}];
 
 /**
  * isSameType is a function that checks if two ZodTypes are the same.
@@ -62,7 +95,7 @@ export declare const isCompatibleType: (higherType: ZodType, lowerType: ZodType)
  * isSameType(z.string(), z.number()); // false
  * ```
  */
-export declare const isSameType: (a: ZodType, b: ZodType, context?: CompareContext) => boolean;
+export declare const isSameType: (a: z.ZodType, b: z.ZodType, context?: CompareContext_2) => boolean;
 
 export declare const isSameTypePresetRules: [{
     readonly name: "undefined check";
@@ -81,43 +114,43 @@ export declare const isSameTypePresetRules: [{
     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 compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType, b: z.ZodType) => 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 compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType, b: z.ZodType) => 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 compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType, b: z.ZodType) => 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 compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType, b: z.ZodType) => 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 compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType, b: z.ZodType) => 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 compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType, b: z.ZodType) => 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 compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType, b: z.ZodType) => 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 compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType, b: z.ZodType) => 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 compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType, b: z.ZodType) => 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 compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType, b: z.ZodType) => 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 compare: (a: z.ZodType<any, z.ZodTypeDef, any>, b: z.ZodType<any, z.ZodTypeDef, any>, next: () => boolean, recheck: (a: z.ZodType, b: z.ZodType) => 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;