@ddd-ts/freeze 0.0.36 → 0.0.37

package/dist/divergence/divergence.d.ts

@@ -1,87 +1,65 @@
-export type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
-export type PopUnion<U> = UnionToOvlds<U> extends (a: infer A) => void ? A : never;
-export type UnionToArray<T, A extends unknown[] = []> = IsUnion<T> extends true ? UnionToArray<Exclude<T, PopUnion<T>>, [PopUnion<T>, ...A]> : [T, ...A];
+//#region src/divergence/divergence.d.ts
+type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;
+type PopUnion<U> = UnionToOvlds<U> extends ((a: infer A) => void) ? A : never;
+type UnionToArray<T, A extends unknown[] = []> = IsUnion<T> extends true ? UnionToArray<Exclude<T, PopUnion<T>>, [PopUnion<T>, ...A]> : [T, ...A];
 type CountUnion<T> = UnionToArray<T> extends infer U extends any[] ? U["length"] : never;
 type UnshiftUnion<U> = UnionToArray<U> extends [infer F, ...any[]] ? F : never;
 type UnionToOvlds<U> = UnionToIntersection<U extends any ? (f: U) => void : never>;
 type IsUnion<T> = [T] extends [UnionToIntersection<T>] ? false : true;
 type IsStringLiteral<T> = T extends string ? string extends T ? false : true : false;
-type FindBestKeyForMatching<FromUnion, ToUnion> = UnshiftUnion<keyof FromUnion extends infer K ? K extends keyof FromUnion & keyof ToUnion ? CountUnion<Pick<FromUnion, K>[K]> extends CountUnion<FromUnion> ? [IsStringLiteral<FromUnion[K]>, IsStringLiteral<ToUnion[K]>] extends [
-    true,
-    true
-] ? K : never : never : never : never>;
-export type Expand<T> = T extends infer O ? {
-    [K in keyof O]: O[K];
-} & {} : never;
+type FindBestKeyForMatching<FromUnion, ToUnion> = UnshiftUnion<keyof FromUnion extends infer K ? K extends keyof FromUnion & keyof ToUnion ? CountUnion<Pick<FromUnion, K>[K]> extends CountUnion<FromUnion> ? [IsStringLiteral<FromUnion[K]>, IsStringLiteral<ToUnion[K]>] extends [true, true] ? K : never : never : never : never>;
+type Expand<T> = T extends infer O ? { [K in keyof O]: O[K] } & {} : never;
 type Access<T, K> = K extends keyof T ? T[K] : never;
 type OnlyFromKeys<From, To> = Exclude<Exclude<keyof From, keyof To>, symbol>;
 type OnlyToKeys<From, To> = Exclude<Exclude<keyof To, keyof From>, symbol>;
-type OmitNever<T> = {
-    [K in keyof T as T[K] extends never ? never : K]: T[K];
-} & {};
-type ObjectDivergence<From, To, Acc extends any[]> = OmitNever<{
-    [K in keyof From & keyof To]: Divergence<Access<From, K>, Access<To, K>, Acc>;
-} & {
-    [K in OnlyFromKeys<From, To> as `+${K}`]: From[K];
-} & {
-    [K in OnlyToKeys<From, To> as `-${K}`]: To[K];
-}> extends infer Result ? {} extends Result ? never : Result : never;
-type IndexedTypeKey<From, To> = ({
-    [K in keyof From]: K;
-} & {
-    [K in keyof To]: K;
-})[keyof From | keyof To];
+type OmitNever<T> = { [K in keyof T as T[K] extends never ? never : K]: T[K] } & {};
+type ObjectDivergence<From, To, Acc extends any[]> = OmitNever<{ [K in keyof From & keyof To]: Divergence<Access<From, K>, Access<To, K>, Acc> } & { [K in OnlyFromKeys<From, To> as `+${K}`]: From[K] } & { [K in OnlyToKeys<From, To> as `-${K}`]: To[K] }> extends infer Result ? {} extends Result ? never : Result : never;
+type IndexedTypeKey<From, To> = ({ [K in keyof From]: K } & { [K in keyof To]: K })[keyof From | keyof To];
 type IndexedTypeDiff<From, To, Acc extends any[]> = IndexedTypeKey<From, To> extends infer U extends keyof From & keyof To ? Divergence<From[U], To[U], Acc> : never;
 type IsIndexedType<T> = [T] extends [never] ? false : T extends object ? string extends keyof T ? true : number extends keyof T ? true : symbol extends keyof T ? true : false : false;
-type DiffBestMatchForObject<Item, Union, K, Acc extends any[]> = IsNever<K> extends false ? K extends keyof Union & keyof Item ? Extract<Union, {
-    [P in K]: Item[P];
-}> extends infer BestMatch ? IsNever<BestMatch> extends false ? Divergence<Item, BestMatch, Acc> extends infer D ? IsNever<D> extends false ? Expand<{
-    [P in K]: Item[P];
-} & D> : never : never : never : never : never : never;
+type DiffBestMatchForObject<Item, Union, K, Acc extends any[]> = IsNever<K> extends false ? K extends keyof Union & keyof Item ? Extract<Union, { [P in K]: Item[P] }> extends infer BestMatch ? IsNever<BestMatch> extends false ? Divergence<Item, BestMatch, Acc> extends infer D ? IsNever<D> extends false ? Expand<{ [P in K]: Item[P] } & D> : never : never : never : never : never : never;
 type DiffBestMatch<Item, Union, BestKey, Acc extends any[]> = PopUnion<Item extends any[] ? ArrayDivergence<Item, Extract<Union, any[]>, Acc> : Item extends object ? DiffBestMatchForObject<Item, Extract<Union, object>, BestKey, Acc> : never>;
-type PerfectMatch<Item, Union, TotalUnion, Acc extends any[]> = Union extends [
-    infer F,
-    ...infer R
-] ? Divergence<Item, F, Acc> extends infer D ? IsNever<D> extends true ? F : PerfectMatch<Item, R, TotalUnion, Acc> : "!![PerfectMatch] Could not infer D" : never;
+type PerfectMatch<Item, Union, TotalUnion, Acc extends any[]> = Union extends [infer F, ...infer R] ? Divergence<Item, F, Acc> extends infer D ? IsNever<D> extends true ? F : PerfectMatch<Item, R, TotalUnion, Acc> : "!![PerfectMatch] Could not infer D" : never;
 type GetChange<Item, Union, BestKey, Acc extends any[]> = PerfectMatch<Item, UnionToArray<Union>, BestKey, Acc> extends infer P ? IsNever<P> extends false ? never : DiffBestMatch<Item, Union, BestKey, Acc> extends infer D ? IsNever<D> extends false ? {
-    "~": D;
+  "~": D;
 } : {
-    "+": Item;
+  "+": Item;
 } : "!![GetChange] Could not infer D" : "!![GetChange] Could not infer P";
-export type ArrayUnionDivergence<From, To, BestKey, Acc extends any[], Divergences extends {
-    "~": unknown;
-    "+": unknown;
+type ArrayUnionDivergence<From, To, BestKey, Acc extends any[], Divergences extends {
+  "~": unknown;
+  "+": unknown;
 } = {
-    "~": never;
-    "+": never;
+  "~": never;
+  "+": never;
 }> = From extends [infer F, ...infer Rest] ? GetChange<F, To, BestKey, Acc> extends infer Change ? IsNever<Change> extends true ? ArrayUnionDivergence<Rest, To, BestKey, Acc, Divergences> : Change extends {
-    "+": infer A;
+  "+": infer A;
 } ? ArrayUnionDivergence<Rest, To, BestKey, Acc, {
-    "~": Divergences["~"];
-    "+": Divergences["+"] | A;
+  "~": Divergences["~"];
+  "+": Divergences["+"] | A;
 }> : Change extends {
-    "~": infer C;
+  "~": infer C;
 } ? ArrayUnionDivergence<Rest, To, BestKey, Acc, {
-    "~": Divergences["~"] | C;
-    "+": Divergences["+"];
+  "~": Divergences["~"] | C;
+  "+": Divergences["+"];
 }> : never : ArrayUnionDivergence<Rest, To, BestKey, Acc, Divergences> : OmitNever<Divergences> extends infer Result ? {} extends Result ? never : Result : never;
-export type UnionDivergence<From, To, Acc extends any[]> = ArrayUnionDivergence<UnionToArray<From>, To, FindBestKeyForMatching<Extract<To, object>, Extract<From, object>>, Acc>;
+type UnionDivergence<From, To, Acc extends any[]> = ArrayUnionDivergence<UnionToArray<From>, To, FindBestKeyForMatching<Extract<To, object>, Extract<From, object>>, Acc>;
 type IsAtLeastOneUnion<L, R> = IsUnion<L> extends true ? true : IsUnion<R> extends true ? true : false;
-export type IsNever<T> = [T] extends [never] ? true : false;
+type IsNever<T> = [T] extends [never] ? true : false;
 type AtLeastOneEmptyObject<L, R> = {} extends Required<L> ? true : {} extends Required<R> ? true : false;
 type EmptyObjectDivergence<From, To> = [{}, {}] extends [From, To] ? never : [From, "!=", To];
 type SimpleDivergence<From, To> = From extends To ? never : [From, "!=", To];
 type AtLeastOneArray<From, To> = From extends Array<unknown> ? true : To extends Array<unknown> ? true : false;
 type ArrayDivergence<From, To, Acc extends any[]> = From extends Array<infer F> ? To extends Array<infer T> ? Divergence<F, T, Acc> extends infer D ? IsNever<D> extends true ? never : {
-    [key: number]: D;
+  [key: number]: D;
 } : never : ["[]?", Divergence<F, To, Acc>] : To extends Array<infer T> ? ["[]!", Divergence<From, T, Acc>] : never;
 type Equals<T, U> = [T] extends [U] ? ([U] extends [T] ? true : false) : false;
 type Has<Item, Array extends any[]> = Array extends [infer F, ...infer R] ? Equals<Item, F> extends true ? true : Has<Item, R> : false;
 type Primitive = string | number | boolean | null | undefined | Date;
 type AtLeastOnePrimitive<From, To> = From extends Primitive ? true : To extends Primitive ? true : false;
 type PrimitiveDivergence<From, To> = AtLeastOnePrimitive<From, To> extends true ? SimpleDivergence<From, To> : never;
-export type Divergence<From, To, Acc extends any[] = []> = Equals<From, To> extends true ? never : Acc["length"] extends 20 ? {
-    error: "Max depth reached";
+type Divergence<From, To, Acc extends any[] = []> = Equals<From, To> extends true ? never : Acc["length"] extends 20 ? {
+  error: "Max depth reached";
 } : Has<From, [To, ...Acc]> extends true ? never : [IsNever<From>, IsNever<To>] extends [false, false] ? AtLeastOneArray<From, To> extends true ? ArrayDivergence<From, To, [...Acc, From]> : [IsIndexedType<From>, IsIndexedType<To>] extends [true, true] ? IndexedTypeDiff<From, To, [...Acc, From]> : IsAtLeastOneUnion<From, To> extends true ? UnionDivergence<From, To, Acc> : AtLeastOnePrimitive<From, To> extends true ? PrimitiveDivergence<From, To> : AtLeastOneEmptyObject<From, To> extends true ? EmptyObjectDivergence<From, To> : [From, To] extends [object, object] ? ObjectDivergence<From, To, [...Acc, From]> : SimpleDivergence<From, To> : {};
-export {};
+//#endregion
+export { Divergence, Expand, IsNever };
 //# sourceMappingURL=divergence.d.ts.map

package/dist/divergence/divergence.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"divergence.d.ts","sourceRoot":"","sources":["../../src/divergence/divergence.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CACnC,CAAC,SAAS,OAAO,GACb,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GACd,KAAK,CACV,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAC1B,CAAC,GACD,KAAK,CAAC;AACV,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAClE,CAAC,GACD,KAAK,CAAC;AAEV,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,CAAC,SAAS,OAAO,EAAE,GAAG,EAAE,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAC3E,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAC1D,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACd,KAAK,UAAU,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,GAAG,EAAE,GAC9D,CAAC,CAAC,QAAQ,CAAC,GACX,KAAK,CAAC;AAEV,KAAK,YAAY,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE/E,KAAK,YAAY,CAAC,CAAC,IAAI,mBAAmB,CACxC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CACvC,CAAC;AACF,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC;AAEtE,KAAK,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACtC,MAAM,SAAS,CAAC,GACd,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAEV,KAAK,sBAAsB,CAAC,SAAS,EAAE,OAAO,IAAI,YAAY,CAC5D,MAAM,SAAS,SAAS,MAAM,CAAC,GAC3B,CAAC,SAAS,MAAM,SAAS,GAAG,MAAM,OAAO,GACvC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,SAAS,CAAC,GAC7D,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;IACnE,IAAI;IACJ,IAAI;CACL,GACC,CAAC,GACD,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CACV,CAAC;AAGF,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GACrC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,GAC7B,KAAK,CAAC;AACV,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AACrD,KAAK,YAAY,CAAC,IAAI,EAAE,EAAE,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;AAC7E,KAAK,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;AAC3E,KAAK,SAAS,CAAC,CAAC,IAAI;KACjB,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACvD,GAAG,EAAE,CAAC;AAEP,KAAK,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,SAAS,CAC5D;KACG,CAAC,IAAI,MAAM,IAAI,GAAG,MAAM,EAAE,GAAG,UAAU,CACtC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,EACf,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EACb,GAAG,CACJ;CACF,GAAG;KACD,CAAC,IAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;CAClD,GAAG;KACD,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CAC9C,CACF,SAAS,MAAM,MAAM,GAClB,EAAE,SAAS,MAAM,GACf,KAAK,GACL,MAAM,GACR,KAAK,CAAC;AAGV,KAAK,cAAc,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC;KAC9B,CAAC,IAAI,MAAM,IAAI,GAAG,CAAC;CACrB,GAAG;KACD,CAAC,IAAI,MAAM,EAAE,GAAG,CAAC;CACnB,CAAC,CAAC,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,CAAC;AAE1B,KAAK,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,cAAc,CAChE,IAAI,EACJ,EAAE,CACH,SAAS,MAAM,CAAC,SAAS,MAAM,IAAI,GAAG,MAAM,EAAE,GAC3C,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAC/B,KAAK,CAAC;AACV,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvC,KAAK,GACL,CAAC,SAAS,MAAM,GACd,MAAM,SAAS,MAAM,CAAC,GACpB,IAAI,GACJ,MAAM,SAAS,MAAM,CAAC,GACpB,IAAI,GACJ,MAAM,SAAS,MAAM,CAAC,GACpB,IAAI,GACJ,KAAK,GACX,KAAK,CAAC;AAIZ,KAAK,sBAAsB,CACzB,IAAI,EACJ,KAAK,EACL,CAAC,EACD,GAAG,SAAS,GAAG,EAAE,IACf,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,GACxB,CAAC,SAAS,MAAM,KAAK,GAAG,MAAM,IAAI,GAChC,OAAO,CAAC,KAAK,EAAE;KAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;CAAE,CAAC,SAAS,MAAM,SAAS,GAC3D,OAAO,CAAC,SAAS,CAAC,SAAS,KAAK,GAC9B,UAAU,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,MAAM,CAAC,GAC9C,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,GACtB,MAAM,CAAC;KAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;CAAE,GAAG,CAAC,CAAC,GACjC,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEV,KAAK,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,QAAQ,CACpE,IAAI,SAAS,GAAG,EAAE,GACd,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,GACjD,IAAI,SAAS,MAAM,GACjB,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,GAClE,KAAK,CACZ,CAAC;AAEF,KAAK,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,KAAK,SAAS;IAC5E,MAAM,CAAC;IACP,GAAG,MAAM,CAAC;CACX,GACG,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,MAAM,CAAC,GACtC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,CAAC,GACD,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,GACxC,oCAAoC,GACtC,KAAK,CAAC;AAEV,KAAK,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,YAAY,CACpE,IAAI,EACJ,YAAY,CAAC,KAAK,CAAC,EACnB,OAAO,EACP,GAAG,CACJ,SAAS,MAAM,CAAC,GACb,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,GACtB,KAAK,GACL,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,SAAS,MAAM,CAAC,GACtD,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,GACtB;IAAE,GAAG,EAAE,CAAC,CAAA;CAAE,GACV;IAAE,GAAG,EAAE,IAAI,CAAA;CAAE,GACf,iCAAiC,GACrC,iCAAiC,CAAC;AAEtC,MAAM,MAAM,oBAAoB,CAC9B,IAAI,EACJ,EAAE,EACF,OAAO,EACP,GAAG,SAAS,GAAG,EAAE,EACjB,WAAW,SAAS;IAAE,GAAG,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GAAG;IACnD,GAAG,EAAE,KAAK,CAAC;IACX,GAAG,EAAE,KAAK,CAAC;CACZ,IACC,IAAI,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,GACrC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,SAAS,MAAM,MAAM,GACjD,OAAO,CAAC,MAAM,CAAC,SAAS,IAAI,GAC1B,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,CAAC,GACzD,MAAM,SAAS;IAAE,GAAG,EAAE,MAAM,CAAC,CAAA;CAAE,GAC7B,oBAAoB,CAClB,IAAI,EACJ,EAAE,EACF,OAAO,EACP,GAAG,EACH;IAAE,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC;IAAC,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,CACrD,GACD,MAAM,SAAS;IAAE,GAAG,EAAE,MAAM,CAAC,CAAA;CAAE,GAC7B,oBAAoB,CAClB,IAAI,EACJ,EAAE,EACF,OAAO,EACP,GAAG,EACH;IAAE,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAAC,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,CAAA;CAAE,CACrD,GACD,KAAK,GACX,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,CAAC,GAC3D,SAAS,CAAC,WAAW,CAAC,SAAS,MAAM,MAAM,GACzC,EAAE,SAAS,MAAM,GACf,KAAK,GACL,MAAM,GACR,KAAK,CAAC;AAEZ,MAAM,MAAM,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,oBAAoB,CAC7E,YAAY,CAAC,IAAI,CAAC,EAClB,EAAE,EACF,sBAAsB,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAClE,GAAG,CACJ,CAAC;AAEF,KAAK,iBAAiB,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAClD,IAAI,GACJ,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,IAAI,GACJ,KAAK,CAAC;AAEZ,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAE5D,KAAK,qBAAqB,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,GACrD,IAAI,GACJ,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,GACpB,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,qBAAqB,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,GAC9D,KAAK,GACL,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AAErB,KAAK,gBAAgB,CAAC,IAAI,EAAE,EAAE,IAAI,IAAI,SAAS,EAAE,GAAG,KAAK,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AAI7E,KAAK,eAAe,CAAC,IAAI,EAAE,EAAE,IAAI,IAAI,SAAS,KAAK,CAAC,OAAO,CAAC,GACxD,IAAI,GACJ,EAAE,SAAS,KAAK,CAAC,OAAO,CAAC,GACvB,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,IAAI,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAC3E,EAAE,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GACvB,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,MAAM,CAAC,GACnC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,KAAK,GACL;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,CAAA;CAAE,GACtB,KAAK,GACP,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,GACjC,EAAE,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GACvB,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,GACjC,KAAK,CAAC;AAEZ,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAE/E,KAAK,GAAG,CAAC,IAAI,EAAE,KAAK,SAAS,GAAG,EAAE,IAAI,KAAK,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,GACrE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,IAAI,GAC1B,IAAI,GACJ,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,GACd,KAAK,CAAC;AAEV,KAAK,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,CAAC;AAErE,KAAK,mBAAmB,CAAC,IAAI,EAAE,EAAE,IAAI,IAAI,SAAS,SAAS,GACvD,IAAI,GACJ,EAAE,SAAS,SAAS,GAClB,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,mBAAmB,CAAC,IAAI,EAAE,EAAE,IAAI,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GAC3E,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,GAC1B,KAAK,CAAC;AAGV,MAAM,MAAM,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,GAAG,EAAE,IAAI,MAAM,CAC/D,IAAI,EACJ,EAAE,CACH,SAAS,IAAI,GACV,KAAK,GACL,GAAG,CAAC,QAAQ,CAAC,SAAS,EAAE,GACtB;IAAE,KAAK,EAAE,mBAAmB,CAAA;CAAE,GAC9B,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,SAAS,IAAI,GAClC,KAAK,GACL,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,GACjD,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GACpC,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,IAAI,CAAC,CAAC,GACzC,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,GAC3D,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,IAAI,CAAC,CAAC,GACzC,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GACtC,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,GAC9B,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GACxC,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,GAC7B,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GAC1C,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,GAC/B,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GACjC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,IAAI,CAAC,CAAC,GAC1C,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,GACtC,EAAE,CAAC"}
+{"version":3,"file":"divergence.d.ts","names":[],"sources":["../../src/divergence/divergence.ts"],"mappings":";KAAY,mBAAA,OACV,CAAA,oBACK,CAAA,EAAG,CAAA,6BAEC,CAAA,sBACP,CAAA;AAAA,KAEQ,QAAA,MAAc,YAAA,CAAa,CAAA,YAAY,CAAA,sBAC/C,CAAA;AAAA,KAGQ,YAAA,gCAA4C,OAAA,CAAQ,CAAA,iBAC5D,YAAA,CAAa,OAAA,CAAQ,CAAA,EAAG,QAAA,CAAS,CAAA,KAAM,QAAA,CAAS,CAAA,MAAO,CAAA,MACtD,CAAA,KAAM,CAAA;AAAA,KACN,UAAA,MAAgB,YAAA,CAAa,CAAA,kCAC9B,CAAA;AAAA,KAGC,YAAA,MAAkB,YAAA,CAAa,CAAA,gCAAiC,CAAA;AAAA,KAEhE,YAAA,MAAkB,mBAAA,CACrB,CAAA,gBAAiB,CAAA,EAAG,CAAA;AAAA,KAEjB,OAAA,OAAc,CAAA,WAAY,mBAAA,CAAoB,CAAA;AAAA,KAE9C,eAAA,MAAqB,CAAA,iCACP,CAAA;AAAA,KAKd,sBAAA,uBAA6C,YAAA,OAC1C,SAAA,mBACF,CAAA,eAAgB,SAAA,SAAkB,OAAA,GAChC,UAAA,CAAW,IAAA,CAAK,SAAA,EAAW,CAAA,EAAG,CAAA,WAAY,UAAA,CAAW,SAAA,KAClD,eAAA,CAAgB,SAAA,CAAU,CAAA,IAAK,eAAA,CAAgB,OAAA,CAAQ,CAAA,2BAItD,CAAA;AAAA,KAQA,MAAA,MAAY,CAAA,iCACN,CAAA,GAAI,CAAA,CAAE,CAAA;AAAA,KAEnB,MAAA,SAAe,CAAA,eAAgB,CAAA,GAAI,CAAA,CAAE,CAAA;AAAA,KACrC,YAAA,aAAyB,OAAA,CAAQ,OAAA,OAAc,IAAA,QAAY,EAAA;AAAA,KAC3D,UAAA,aAAuB,OAAA,CAAQ,OAAA,OAAc,EAAA,QAAU,IAAA;AAAA,KACvD,SAAA,oBACS,CAAA,IAAK,CAAA,CAAE,CAAA,0BAA2B,CAAA,GAAI,CAAA,CAAE,CAAA;AAAA,KAGjD,gBAAA,gCAAgD,SAAA,eAErC,IAAA,SAAa,EAAA,GAAK,UAAA,CAC5B,MAAA,CAAO,IAAA,EAAM,CAAA,GACb,MAAA,CAAO,EAAA,EAAI,CAAA,GACX,GAAA,cAGI,YAAA,CAAa,IAAA,EAAM,EAAA,SAAW,CAAA,KAAM,IAAA,CAAK,CAAA,cAEzC,UAAA,CAAW,IAAA,EAAM,EAAA,SAAW,CAAA,KAAM,EAAA,CAAG,CAAA,uCAGhC,MAAA,WAET,MAAA;AAAA,KAID,cAAA,4BACS,IAAA,GAAO,CAAA,mBAEP,EAAA,GAAK,CAAA,UACV,IAAA,SAAa,EAAA;AAAA,KAEjB,eAAA,gCAA+C,cAAA,CAClD,IAAA,EACA,EAAA,gCAC8B,IAAA,SAAa,EAAA,GACzC,UAAA,CAAW,IAAA,CAAK,CAAA,GAAI,EAAA,CAAG,CAAA,GAAI,GAAA;AAAA,KAE1B,aAAA,OAAoB,CAAA,4BAErB,CAAA,uCACuB,CAAA,+BAEE,CAAA,+BAEE,CAAA;AAAA,KAO1B,sBAAA,sCAKD,OAAA,CAAQ,CAAA,kBACR,CAAA,eAAgB,KAAA,SAAc,IAAA,GAC5B,OAAA,CAAQ,KAAA,UAAe,CAAA,GAAI,IAAA,CAAK,CAAA,+BAC9B,OAAA,CAAQ,SAAA,kBACN,UAAA,CAAW,IAAA,EAAM,SAAA,EAAW,GAAA,oBAC1B,OAAA,CAAQ,CAAA,kBACN,MAAA,SAAe,CAAA,GAAI,IAAA,CAAK,CAAA,MAAO,CAAA;AAAA,KAQxC,aAAA,4CAAyD,QAAA,CAC5D,IAAA,iBACI,eAAA,CAAgB,IAAA,EAAM,OAAA,CAAQ,KAAA,UAAe,GAAA,IAC7C,IAAA,kBACE,sBAAA,CAAuB,IAAA,EAAM,OAAA,CAAQ,KAAA,WAAgB,OAAA,EAAS,GAAA;AAAA,KAIjE,YAAA,+CAA2D,KAAA,iCAI5D,UAAA,CAAW,IAAA,EAAM,CAAA,EAAG,GAAA,oBAClB,OAAA,CAAQ,CAAA,iBACN,CAAA,GACA,YAAA,CAAa,IAAA,EAAM,CAAA,EAAG,UAAA,EAAY,GAAA;AAAA,KAIrC,SAAA,4CAAqD,YAAA,CACxD,IAAA,EACA,YAAA,CAAa,KAAA,GACb,OAAA,EACA,GAAA,oBAEE,OAAA,CAAQ,CAAA,0BAEN,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,OAAA,EAAS,GAAA,oBAClC,OAAA,CAAQ,CAAA;EACJ,GAAA,EAAK,CAAA;AAAA;EACL,GAAA,EAAK,IAAA;AAAA;AAAA,KAIL,oBAAA;EAKY,GAAA;EAAc,GAAA;AAAA;EAClC,GAAA;EACA,GAAA;AAAA,KAEA,IAAA,oCACA,SAAA,CAAU,CAAA,EAAG,EAAA,EAAI,OAAA,EAAS,GAAA,yBACxB,OAAA,CAAQ,MAAA,iBACN,oBAAA,CAAqB,IAAA,EAAM,EAAA,EAAI,OAAA,EAAS,GAAA,EAAK,WAAA,IAC7C,MAAA;EAAiB,GAAA;AAAA,IACf,oBAAA,CACE,IAAA,EACA,EAAA,EACA,OAAA,EACA,GAAA;EACE,GAAA,EAAK,WAAA;EAAkB,GAAA,EAAK,WAAA,QAAmB,CAAA;AAAA,KAEnD,MAAA;EAAiB,GAAA;AAAA,IACf,oBAAA,CACE,IAAA,EACA,EAAA,EACA,OAAA,EACA,GAAA;EACE,GAAA,EAAK,WAAA,QAAmB,CAAA;EAAG,GAAA,EAAK,WAAA;AAAA,aAG1C,oBAAA,CAAqB,IAAA,EAAM,EAAA,EAAI,OAAA,EAAS,GAAA,EAAK,WAAA,IAC/C,SAAA,CAAU,WAAA,oCACG,MAAA,WAET,MAAA;AAAA,KAGI,eAAA,gCAA+C,oBAAA,CACzD,YAAA,CAAa,IAAA,GACb,EAAA,EACA,sBAAA,CAAuB,OAAA,CAAQ,EAAA,WAAa,OAAA,CAAQ,IAAA,YACpD,GAAA;AAAA,KAGG,iBAAA,SAA0B,OAAA,CAAQ,CAAA,wBAEnC,OAAA,CAAQ,CAAA;AAAA,KAIA,OAAA,OAAc,CAAA;AAAA,KAErB,qBAAA,oBAAyC,QAAA,CAAS,CAAA,sBAExC,QAAA,CAAS,CAAA;AAAA,KAInB,qBAAA,+BAAoD,IAAA,EAAM,EAAA,aAE1D,IAAA,QAAY,EAAA;AAAA,KAEZ,gBAAA,aAA6B,IAAA,SAAa,EAAA,YAAc,IAAA,QAAY,EAAA;AAAA,KAIpE,eAAA,aAA4B,IAAA,SAAa,KAAA,mBAE1C,EAAA,SAAW,KAAA;AAAA,KAIV,eAAA,gCAA+C,IAAA,SAAa,KAAA,YAC7D,EAAA,SAAW,KAAA,YACT,UAAA,CAAW,CAAA,EAAG,CAAA,EAAG,GAAA,oBACf,OAAA,CAAQ,CAAA;EAAA,CAEH,GAAA,WAAc,CAAA;AAAA,oBAEb,UAAA,CAAW,CAAA,EAAG,EAAA,EAAI,GAAA,KAC5B,EAAA,SAAW,KAAA,oBACD,UAAA,CAAW,IAAA,EAAM,CAAA,EAAG,GAAA;AAAA,KAG7B,MAAA,UAAgB,CAAA,WAAY,CAAA,MAAO,CAAA,WAAY,CAAA;AAAA,KAE/C,GAAA,8BAAiC,KAAA,iCAClC,MAAA,CAAO,IAAA,EAAM,CAAA,wBAEX,GAAA,CAAI,IAAA,EAAM,CAAA;AAAA,KAGX,SAAA,kDAA2D,IAAA;AAAA,KAE3D,mBAAA,aAAgC,IAAA,SAAa,SAAA,UAE9C,EAAA,SAAW,SAAA;AAAA,KAIV,mBAAA,aAAgC,mBAAA,CAAoB,IAAA,EAAM,EAAA,iBAC3D,gBAAA,CAAiB,IAAA,EAAM,EAAA;AAAA,KAIf,UAAA,qCAA+C,MAAA,CACzD,IAAA,EACA,EAAA,yBAGE,GAAA;EACI,KAAA;AAAA,IACF,GAAA,CAAI,IAAA,GAAO,EAAA,KAAO,GAAA,2BAEf,OAAA,CAAQ,IAAA,GAAO,OAAA,CAAQ,EAAA,4BACtB,eAAA,CAAgB,IAAA,EAAM,EAAA,iBACpB,eAAA,CAAgB,IAAA,EAAM,EAAA,MAAQ,GAAA,EAAK,IAAA,MAClC,aAAA,CAAc,IAAA,GAAO,aAAA,CAAc,EAAA,0BAClC,eAAA,CAAgB,IAAA,EAAM,EAAA,MAAQ,GAAA,EAAK,IAAA,KACnC,iBAAA,CAAkB,IAAA,EAAM,EAAA,iBACtB,eAAA,CAAgB,IAAA,EAAM,EAAA,EAAI,GAAA,IAC1B,mBAAA,CAAoB,IAAA,EAAM,EAAA,iBACxB,mBAAA,CAAoB,IAAA,EAAM,EAAA,IAC1B,qBAAA,CAAsB,IAAA,EAAM,EAAA,iBAC1B,qBAAA,CAAsB,IAAA,EAAM,EAAA,KAC3B,IAAA,EAAM,EAAA,6BACL,gBAAA,CAAiB,IAAA,EAAM,EAAA,MAAQ,GAAA,EAAK,IAAA,KACpC,gBAAA,CAAiB,IAAA,EAAM,EAAA"}

package/dist/index.d.ts

@@ -1,4 +1,4 @@
-export { Freeze } from "./references/freeze.decorator";
-export { freeze } from "./references/freeze.function";
-export { type Divergence } from "./divergence/divergence";
-//# sourceMappingURL=index.d.ts.map
+import { Divergence } from "./divergence/divergence.js";
+import { Freeze } from "./references/freeze.decorator.js";
+import { freeze } from "./references/freeze.function.js";
+export { type Divergence, Freeze, freeze };

package/dist/index.js

@@ -1,8 +1,4 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.freeze = exports.Freeze = void 0;
-var freeze_decorator_1 = require("./references/freeze.decorator");
-Object.defineProperty(exports, "Freeze", { enumerable: true, get: function () { return freeze_decorator_1.Freeze; } });
-var freeze_function_1 = require("./references/freeze.function");
-Object.defineProperty(exports, "freeze", { enumerable: true, get: function () { return freeze_function_1.freeze; } });
-//# sourceMappingURL=index.js.map
+import { Freeze } from "./references/freeze.decorator.js";
+import { freeze } from "./references/freeze.function.js";
+
+export { Freeze, freeze };

package/dist/references/freeze.decorator.d.ts

@@ -1,8 +1,11 @@
-import type { Divergence, Expand, IsNever } from "../divergence/divergence";
+import { Divergence, Expand, IsNever } from "../divergence/divergence.js";
+
+//#region src/references/freeze.decorator.d.ts
 type Freezable<T> = {
-    serialize(...args: any[]): T;
+  serialize(...args: any[]): T;
 };
 type Ctor<T> = abstract new (...args: any[]) => T;
-export declare function Freeze<Frozen = any>(): <C extends Ctor<Freezable<any>>, Serialized extends Awaited<ReturnType<InstanceType<C>["serialize"]>>>(target: C) => Divergence<Serialized, Frozen> extends infer D ? IsNever<D> extends true ? C : Expand<D> : never;
-export {};
+declare function Freeze<Frozen = any>(): <C extends Ctor<Freezable<any>>, Serialized extends Awaited<ReturnType<InstanceType<C>["serialize"]>>>(target: C) => Divergence<Serialized, Frozen> extends infer D ? IsNever<D> extends true ? C : Expand<D> : never;
+//#endregion
+export { Freeze };
 //# sourceMappingURL=freeze.decorator.d.ts.map

package/dist/references/freeze.decorator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"freeze.decorator.d.ts","sourceRoot":"","sources":["../../src/references/freeze.decorator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAE5E,KAAK,SAAS,CAAC,CAAC,IAAI;IAClB,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;CAC9B,CAAC;AAEF,KAAK,IAAI,CAAC,CAAC,IAAI,QAAQ,MAAM,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;AAElD,wBAAgB,MAAM,CAAC,MAAM,GAAG,GAAG,MAE/B,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAC9B,UAAU,SAAS,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAE5D,CAAC,KACR,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAC7C,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,CAAC,GACD,MAAM,CAAC,CAAC,CAAC,GACX,KAAK,CAGV"}
+{"version":3,"file":"freeze.decorator.d.ts","names":[],"sources":["../../src/references/freeze.decorator.ts"],"mappings":";;;KAEK,SAAA;EACH,SAAA,IAAa,IAAA,UAAc,CAAA;AAAA;AAAA,KAGxB,IAAA,uBAA2B,IAAA,YAAgB,CAAA;AAAA,iBAEhC,MAAA,cAAA,CAAA,cAEF,IAAA,CAAK,SAAA,2BACI,OAAA,CAAQ,UAAA,CAAW,YAAA,CAAa,CAAA,kBAAiB,MAAA,EAE5D,CAAA,KACP,UAAA,CAAW,UAAA,EAAY,MAAA,oBACtB,OAAA,CAAQ,CAAA,iBACN,CAAA,GACA,MAAA,CAAO,CAAA"}

package/dist/references/freeze.decorator.js

@@ -1,9 +1,10 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Freeze = Freeze;
+//#region src/references/freeze.decorator.ts
 function Freeze() {
-    return (target) => {
-        return target;
-    };
+	return (target) => {
+		return target;
+	};
 }
+
+//#endregion
+export { Freeze };
 //# sourceMappingURL=freeze.decorator.js.map

package/dist/references/freeze.decorator.js.map

@@ -1 +1 @@
-{"version":3,"file":"freeze.decorator.js","sourceRoot":"","sources":["../../src/references/freeze.decorator.ts"],"names":[],"mappings":";;AAQA,wBAaC;AAbD,SAAgB,MAAM;IACpB,OAAO,CAIL,MAAS,EAKD,EAAE;QACV,OAAO,MAAa,CAAC;IACvB,CAAC,CAAC;AACJ,CAAC","sourcesContent":["import type { Divergence, Expand, IsNever } from \"../divergence/divergence\";\n\ntype Freezable<T> = {\n  serialize(...args: any[]): T;\n};\n\ntype Ctor<T> = abstract new (...args: any[]) => T;\n\nexport function Freeze<Frozen = any>() {\n  return <\n    C extends Ctor<Freezable<any>>,\n    Serialized extends Awaited<ReturnType<InstanceType<C>[\"serialize\"]>>,\n  >(\n    target: C,\n  ): Divergence<Serialized, Frozen> extends infer D\n    ? IsNever<D> extends true\n      ? C\n      : Expand<D>\n    : never => {\n    return target as any;\n  };\n}\n"]}
+{"version":3,"file":"freeze.decorator.js","names":[],"sources":["../../src/references/freeze.decorator.ts"],"sourcesContent":["import type { Divergence, Expand, IsNever } from \"../divergence/divergence\";\n\ntype Freezable<T> = {\n  serialize(...args: any[]): T;\n};\n\ntype Ctor<T> = abstract new (...args: any[]) => T;\n\nexport function Freeze<Frozen = any>() {\n  return <\n    C extends Ctor<Freezable<any>>,\n    Serialized extends Awaited<ReturnType<InstanceType<C>[\"serialize\"]>>,\n  >(\n    target: C,\n  ): Divergence<Serialized, Frozen> extends infer D\n    ? IsNever<D> extends true\n      ? C\n      : Expand<D>\n    : never => {\n    return target as any;\n  };\n}\n"],"mappings":";AAQA,SAAgB,SAAuB;AACrC,SAIE,WAKW;AACX,SAAO"}

package/dist/references/freeze.function.d.ts

@@ -1,8 +1,11 @@
-import type { Divergence, Expand, IsNever } from "../divergence/divergence";
+import { Divergence, Expand, IsNever } from "../divergence/divergence.js";
+
+//#region src/references/freeze.function.d.ts
 type FreezeParameters<T, NAME extends string> = {
-    type: T;
-    name: NAME;
+  type: T;
+  name: NAME;
 };
-export declare function freeze<T extends FreezeParameters<any, string>, FROZEN = never>(..._args: Divergence<T['type'], NoInfer<FROZEN>> extends infer D ? IsNever<D> extends true ? [{}] : [Expand<D>] : [{}]): void;
-export {};
+declare function freeze<T extends FreezeParameters<any, string>, FROZEN = never>(..._args: Divergence<T['type'], NoInfer<FROZEN>> extends infer D ? IsNever<D> extends true ? [{}] : [Expand<D>] : [{}]): void;
+//#endregion
+export { freeze };
 //# sourceMappingURL=freeze.function.d.ts.map

package/dist/references/freeze.function.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"freeze.function.d.ts","sourceRoot":"","sources":["../../src/references/freeze.function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAE5E,KAAK,gBAAgB,CAAC,CAAC,EAAE,IAAI,SAAS,MAAM,IAAI;IAC9C,IAAI,EAAE,CAAC,CAAC;IACR,IAAI,EAAE,IAAI,CAAC;CACZ,CAAA;AAED,wBAAgB,MAAM,CACpB,CAAC,SAAS,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,EACvC,MAAM,GAAG,KAAK,EAEd,GAAG,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,GAC5D,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACvB,CAAC,EAAE,CAAC,GACJ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GACX,CAAC,EAAE,CAAC,QACL"}
+{"version":3,"file":"freeze.function.d.ts","names":[],"sources":["../../src/references/freeze.function.ts"],"mappings":";;;KAEK,gBAAA;EACH,IAAA,EAAM,CAAA;EACN,IAAA,EAAM,IAAA;AAAA;AAAA,iBAGQ,MAAA,WACJ,gBAAA,8BAAA,CAAA,GAGP,KAAA,EAAO,UAAA,CAAW,CAAA,UAAW,OAAA,CAAQ,MAAA,qBACpC,OAAA,CAAQ,CAAA,yBAEP,MAAA,CAAO,CAAA"}

package/dist/references/freeze.function.js

@@ -1,5 +1,6 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.freeze = freeze;
-function freeze(..._args) { }
+//#region src/references/freeze.function.ts
+function freeze(..._args) {}
+
+//#endregion
+export { freeze };
 //# sourceMappingURL=freeze.function.js.map

package/dist/references/freeze.function.js.map

@@ -1 +1 @@
-{"version":3,"file":"freeze.function.js","sourceRoot":"","sources":["../../src/references/freeze.function.ts"],"names":[],"mappings":";;AAOA,wBASK;AATL,SAAgB,MAAM,CAIpB,GAAG,KAIK,IACN,CAAC","sourcesContent":["import type { Divergence, Expand, IsNever } from \"../divergence/divergence\";\n\ntype FreezeParameters<T, NAME extends string> = {\n  type: T;\n  name: NAME;\n}\n\nexport function freeze<\n  T extends FreezeParameters<any, string>,\n  FROZEN = never,\n>(\n  ..._args: Divergence<T['type'], NoInfer<FROZEN>> extends infer D\n    ? IsNever<D> extends true\n    ? [{}]\n    : [Expand<D>]\n    : [{}]\n) { }\n"]}
+{"version":3,"file":"freeze.function.js","names":[],"sources":["../../src/references/freeze.function.ts"],"sourcesContent":["import type { Divergence, Expand, IsNever } from \"../divergence/divergence\";\n\ntype FreezeParameters<T, NAME extends string> = {\n  type: T;\n  name: NAME;\n}\n\nexport function freeze<\n  T extends FreezeParameters<any, string>,\n  FROZEN = never,\n>(\n  ..._args: Divergence<T['type'], NoInfer<FROZEN>> extends infer D\n    ? IsNever<D> extends true\n    ? [{}]\n    : [Expand<D>]\n    : [{}]\n) { }\n"],"mappings":";AAOA,SAAgB,OAId,GAAG,OAKH"}

package/package.json

@@ -1,7 +1,6 @@
 {
 	"name": "@ddd-ts/freeze",
-	"version": "0.0.36",
-	"main": "dist/index.js",
+	"version": "0.0.37",
 	"types": "dist/index.d.ts",
 	"license": "MIT",
 	"repository": {
@@ -11,7 +10,7 @@
 		"freeze": "dist/entrypoints/freeze.entrypoint.js"
 	},
 	"scripts": {
-		"build": "tsc",
+		"build": "tsdown --config node_modules/@ddd-ts/tools/tsdown.config.js",
 		"test": "jest --config node_modules/@ddd-ts/tools/jest.config.js"
 	},
 	"peerDependencies": {
@@ -19,14 +18,24 @@
 		"typescript": "^5.5.4"
 	},
 	"dependencies": {
-		"@ddd-ts/core": "0.0.36",
-		"@ddd-ts/shape": "0.0.36",
-		"@ddd-ts/traits": "0.0.36",
-		"@ddd-ts/types": "0.0.36"
+		"@ddd-ts/core": "0.0.37",
+		"@ddd-ts/shape": "0.0.37",
+		"@ddd-ts/traits": "0.0.37",
+		"@ddd-ts/types": "0.0.37"
 	},
 	"devDependencies": {
-		"@ddd-ts/tools": "0.0.36",
+		"@ddd-ts/tools": "0.0.37",
 		"@types/jest": "^29.5.1",
 		"@types/node": "^17.0.13"
+	},
+	"exports": {
+		".": "./src/index.ts",
+		"./package.json": "./package.json"
+	},
+	"publishConfig": {
+		"exports": {
+			".": "./dist/index.js",
+			"./package.json": "./package.json"
+		}
 	}
 }

package/dist/divergence/divergence.js

@@ -1,3 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-//# sourceMappingURL=divergence.js.map

package/dist/divergence/divergence.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"divergence.js","sourceRoot":"","sources":["../../src/divergence/divergence.ts"],"names":[],"mappings":"","sourcesContent":["export type UnionToIntersection<U> = (\n  U extends unknown\n    ? (k: U) => void\n    : never\n) extends (k: infer I) => void\n  ? I\n  : never;\nexport type PopUnion<U> = UnionToOvlds<U> extends (a: infer A) => void\n  ? A\n  : never;\n\nexport type UnionToArray<T, A extends unknown[] = []> = IsUnion<T> extends true\n  ? UnionToArray<Exclude<T, PopUnion<T>>, [PopUnion<T>, ...A]>\n  : [T, ...A];\ntype CountUnion<T> = UnionToArray<T> extends infer U extends any[]\n  ? U[\"length\"]\n  : never;\n\ntype UnshiftUnion<U> = UnionToArray<U> extends [infer F, ...any[]] ? F : never;\n\ntype UnionToOvlds<U> = UnionToIntersection<\n  U extends any ? (f: U) => void : never\n>;\ntype IsUnion<T> = [T] extends [UnionToIntersection<T>] ? false : true;\n\ntype IsStringLiteral<T> = T extends string\n  ? string extends T\n    ? false\n    : true\n  : false;\n\ntype FindBestKeyForMatching<FromUnion, ToUnion> = UnshiftUnion<\n  keyof FromUnion extends infer K\n    ? K extends keyof FromUnion & keyof ToUnion\n      ? CountUnion<Pick<FromUnion, K>[K]> extends CountUnion<FromUnion>\n        ? [IsStringLiteral<FromUnion[K]>, IsStringLiteral<ToUnion[K]>] extends [\n            true,\n            true,\n          ]\n          ? K\n          : never\n        : never\n      : never\n    : never\n>;\n\n// OBJECT\nexport type Expand<T> = T extends infer O\n  ? { [K in keyof O]: O[K] } & {}\n  : never;\ntype Access<T, K> = K extends keyof T ? T[K] : never;\ntype OnlyFromKeys<From, To> = Exclude<Exclude<keyof From, keyof To>, symbol>;\ntype OnlyToKeys<From, To> = Exclude<Exclude<keyof To, keyof From>, symbol>;\ntype OmitNever<T> = {\n  [K in keyof T as T[K] extends never ? never : K]: T[K];\n} & {};\n\ntype ObjectDivergence<From, To, Acc extends any[]> = OmitNever<\n  {\n    [K in keyof From & keyof To]: Divergence<\n      Access<From, K>,\n      Access<To, K>,\n      Acc\n    >;\n  } & {\n    [K in OnlyFromKeys<From, To> as `+${K}`]: From[K];\n  } & {\n    [K in OnlyToKeys<From, To> as `-${K}`]: To[K];\n  }\n> extends infer Result\n  ? {} extends Result\n    ? never\n    : Result\n  : never;\n\n// INDEXED\ntype IndexedTypeKey<From, To> = ({\n  [K in keyof From]: K;\n} & {\n  [K in keyof To]: K;\n})[keyof From | keyof To];\n\ntype IndexedTypeDiff<From, To, Acc extends any[]> = IndexedTypeKey<\n  From,\n  To\n> extends infer U extends keyof From & keyof To\n  ? Divergence<From[U], To[U], Acc>\n  : never;\ntype IsIndexedType<T> = [T] extends [never]\n  ? false\n  : T extends object\n    ? string extends keyof T\n      ? true\n      : number extends keyof T\n        ? true\n        : symbol extends keyof T\n          ? true\n          : false\n    : false;\n\n// UNION\n\ntype DiffBestMatchForObject<\n  Item,\n  Union,\n  K,\n  Acc extends any[],\n> = IsNever<K> extends false\n  ? K extends keyof Union & keyof Item\n    ? Extract<Union, { [P in K]: Item[P] }> extends infer BestMatch\n      ? IsNever<BestMatch> extends false\n        ? Divergence<Item, BestMatch, Acc> extends infer D\n          ? IsNever<D> extends false\n            ? Expand<{ [P in K]: Item[P] } & D>\n            : never\n          : never\n        : never\n      : never\n    : never\n  : never;\n\ntype DiffBestMatch<Item, Union, BestKey, Acc extends any[]> = PopUnion<\n  Item extends any[]\n    ? ArrayDivergence<Item, Extract<Union, any[]>, Acc>\n    : Item extends object\n      ? DiffBestMatchForObject<Item, Extract<Union, object>, BestKey, Acc>\n      : never\n>;\n\ntype PerfectMatch<Item, Union, TotalUnion, Acc extends any[]> = Union extends [\n  infer F,\n  ...infer R,\n]\n  ? Divergence<Item, F, Acc> extends infer D\n    ? IsNever<D> extends true\n      ? F\n      : PerfectMatch<Item, R, TotalUnion, Acc>\n    : \"!![PerfectMatch] Could not infer D\"\n  : never; // end of recursion\n\ntype GetChange<Item, Union, BestKey, Acc extends any[]> = PerfectMatch<\n  Item,\n  UnionToArray<Union>,\n  BestKey,\n  Acc\n> extends infer P\n  ? IsNever<P> extends false\n    ? never\n    : DiffBestMatch<Item, Union, BestKey, Acc> extends infer D\n      ? IsNever<D> extends false\n        ? { \"~\": D }\n        : { \"+\": Item }\n      : \"!![GetChange] Could not infer D\"\n  : \"!![GetChange] Could not infer P\";\n\nexport type ArrayUnionDivergence<\n  From,\n  To,\n  BestKey,\n  Acc extends any[],\n  Divergences extends { \"~\": unknown; \"+\": unknown } = {\n    \"~\": never;\n    \"+\": never;\n  },\n> = From extends [infer F, ...infer Rest]\n  ? GetChange<F, To, BestKey, Acc> extends infer Change\n    ? IsNever<Change> extends true\n      ? ArrayUnionDivergence<Rest, To, BestKey, Acc, Divergences>\n      : Change extends { \"+\": infer A }\n        ? ArrayUnionDivergence<\n            Rest,\n            To,\n            BestKey,\n            Acc,\n            { \"~\": Divergences[\"~\"]; \"+\": Divergences[\"+\"] | A }\n          >\n        : Change extends { \"~\": infer C }\n          ? ArrayUnionDivergence<\n              Rest,\n              To,\n              BestKey,\n              Acc,\n              { \"~\": Divergences[\"~\"] | C; \"+\": Divergences[\"+\"] }\n            >\n          : never\n    : ArrayUnionDivergence<Rest, To, BestKey, Acc, Divergences>\n  : OmitNever<Divergences> extends infer Result\n    ? {} extends Result\n      ? never\n      : Result\n    : never;\n\nexport type UnionDivergence<From, To, Acc extends any[]> = ArrayUnionDivergence<\n  UnionToArray<From>,\n  To,\n  FindBestKeyForMatching<Extract<To, object>, Extract<From, object>>,\n  Acc\n>;\n\ntype IsAtLeastOneUnion<L, R> = IsUnion<L> extends true\n  ? true\n  : IsUnion<R> extends true\n    ? true\n    : false;\n\nexport type IsNever<T> = [T] extends [never] ? true : false;\n\ntype AtLeastOneEmptyObject<L, R> = {} extends Required<L>\n  ? true\n  : {} extends Required<R>\n    ? true\n    : false;\n\ntype EmptyObjectDivergence<From, To> = [{}, {}] extends [From, To]\n  ? never\n  : [From, \"!=\", To];\n\ntype SimpleDivergence<From, To> = From extends To ? never : [From, \"!=\", To];\n\n// ARRAY\n\ntype AtLeastOneArray<From, To> = From extends Array<unknown>\n  ? true\n  : To extends Array<unknown>\n    ? true\n    : false;\n\ntype ArrayDivergence<From, To, Acc extends any[]> = From extends Array<infer F>\n  ? To extends Array<infer T>\n    ? Divergence<F, T, Acc> extends infer D\n      ? IsNever<D> extends true\n        ? never\n        : { [key: number]: D }\n      : never\n    : [\"[]?\", Divergence<F, To, Acc>]\n  : To extends Array<infer T>\n    ? [\"[]!\", Divergence<From, T, Acc>]\n    : never;\n\ntype Equals<T, U> = [T] extends [U] ? ([U] extends [T] ? true : false) : false;\n\ntype Has<Item, Array extends any[]> = Array extends [infer F, ...infer R]\n  ? Equals<Item, F> extends true\n    ? true\n    : Has<Item, R>\n  : false;\n\ntype Primitive = string | number | boolean | null | undefined | Date;\n\ntype AtLeastOnePrimitive<From, To> = From extends Primitive\n  ? true\n  : To extends Primitive\n    ? true\n    : false;\n\ntype PrimitiveDivergence<From, To> = AtLeastOnePrimitive<From, To> extends true\n  ? SimpleDivergence<From, To>\n  : never;\n\n// DIVERGENCE\nexport type Divergence<From, To, Acc extends any[] = []> = Equals<\n  From,\n  To\n> extends true\n  ? never\n  : Acc[\"length\"] extends 20\n    ? { error: \"Max depth reached\" }\n    : Has<From, [To, ...Acc]> extends true\n      ? never\n      : [IsNever<From>, IsNever<To>] extends [false, false]\n        ? AtLeastOneArray<From, To> extends true\n          ? ArrayDivergence<From, To, [...Acc, From]>\n          : [IsIndexedType<From>, IsIndexedType<To>] extends [true, true]\n            ? IndexedTypeDiff<From, To, [...Acc, From]>\n            : IsAtLeastOneUnion<From, To> extends true\n              ? UnionDivergence<From, To, Acc>\n              : AtLeastOnePrimitive<From, To> extends true\n                ? PrimitiveDivergence<From, To>\n                : AtLeastOneEmptyObject<From, To> extends true\n                  ? EmptyObjectDivergence<From, To>\n                  : [From, To] extends [object, object]\n                    ? ObjectDivergence<From, To, [...Acc, From]>\n                    : SimpleDivergence<From, To>\n        : {};\n"]}

package/dist/divergence/divergence.spec.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=divergence.spec.d.ts.map

package/dist/divergence/divergence.spec.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"divergence.spec.d.ts","sourceRoot":"","sources":["../../src/divergence/divergence.spec.ts"],"names":[],"mappings":""}

package/dist/divergence/divergence.spec.js

@@ -1,117 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-{
-    // it should return never when left and right are the same
-    const a = {};
-    const b = {};
-    const c = {};
-    // const d: never = {} as Divergence<[], []>;
-    const e = {};
-    const f = {};
-    const g = {};
-}
-{
-    const error = ["", "!=", 0];
-}
-{
-    const error = {
-        a: ["", "!=", 0],
-    };
-}
-{
-    const error = {
-        b: {
-            c: [0, "!=", ""],
-        },
-    };
-}
-{
-    const error = {
-        a: [{}, "!=", ""],
-    };
-}
-{
-    const error = {
-        a: ["", "!=", { a: true }],
-    };
-}
-{
-    const error = {
-        b: {
-            "-d": "",
-        },
-    };
-}
-{
-    const error = {
-        a: ["", "!=", 0],
-        b: {
-            c: [0, "!=", ""],
-        },
-    };
-}
-{
-    const a = undefined;
-}
-{
-    const error = {
-        a: {
-            b: {
-                c: {
-                    "+": { e: "" },
-                },
-            },
-        },
-    };
-}
-{
-    const error = {
-        a: {
-            b: {
-                c: {
-                    d: {
-                        "+": "",
-                    },
-                },
-            },
-        },
-    };
-}
-{
-    const check = true;
-}
-{
-    const error = {
-        a: {
-            b: [
-                {
-                    c: {
-                        "~": { b: [0, "!=", ""], type: "b" },
-                    },
-                },
-            ],
-        },
-    };
-}
-{
-    const check = true;
-}
-{
-    const check = true;
-}
-{
-    const check = {};
-}
-{
-    const check = true;
-}
-{
-    const check = true;
-}
-{
-    const check = true;
-}
-it("this is a type test file", () => {
-    expect(true).toBe(true);
-});
-//# sourceMappingURL=divergence.spec.js.map

package/dist/divergence/divergence.spec.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"divergence.spec.js","sourceRoot":"","sources":["../../src/divergence/divergence.spec.ts"],"names":[],"mappings":";;AAIA,CAAC;IACC,0DAA0D;IAC1D,MAAM,CAAC,GAAU,EAAgC,CAAC;IAClD,MAAM,CAAC,GAAU,EAAgC,CAAC;IAClD,MAAM,CAAC,GAAU,EAAwB,CAAC;IAC1C,6CAA6C;IAC7C,MAAM,CAAC,GAAU,EAA4B,CAAC;IAC9C,MAAM,CAAC,GAAU,EAAkD,CAAC;IAIpE,MAAM,CAAC,GAAU,EAAwB,CAAC;AAC5C,CAAC;AAED,CAAC;IAMC,MAAM,KAAK,GAAM,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,CAAC;IAMC,MAAM,KAAK,GAAM;QACf,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;KACjB,CAAC;AACJ,CAAC;AAED,CAAC;IAMC,MAAM,KAAK,GAAM;QACf,CAAC,EAAE;YACD,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;SACjB;KACF,CAAC;AACJ,CAAC;AAED,CAAC;IAMC,MAAM,KAAK,GAAM;QACf,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC;KAClB,CAAC;AACJ,CAAC;AAED,CAAC;IAMC,MAAM,KAAK,GAAM;QACf,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;KAC3B,CAAC;AACJ,CAAC;AAED,CAAC;IAMC,MAAM,KAAK,GAAM;QACf,CAAC,EAAE;YACD,IAAI,EAAE,EAAE;SACT;KACF,CAAC;AACJ,CAAC;AAED,CAAC;IAMC,MAAM,KAAK,GAAM;QACf,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAChB,CAAC,EAAE;YACD,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;SACjB;KACF,CAAC;AACJ,CAAC;AAED,CAAC;IAQC,MAAM,CAAC,GAAM,SAAkB,CAAC;AAClC,CAAC;AAED,CAAC;IAMC,MAAM,KAAK,GAAM;QACf,CAAC,EAAE;YACD,CAAC,EAAE;gBACD,CAAC,EAAE;oBACD,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE;iBACf;aACF;SACF;KACF,CAAC;AACJ,CAAC;AAED,CAAC;IAKC,MAAM,KAAK,GAAM;QACf,CAAC,EAAE;YACD,CAAC,EAAE;gBACD,CAAC,EAAE;oBACD,CAAC,EAAE;wBACD,GAAG,EAAE,EAAE;qBACR;iBACF;aACF;SACF;KACF,CAAC;AACJ,CAAC;AAED,CAAC;IAeC,MAAM,KAAK,GAAwB,IAAI,CAAC;AAC1C,CAAC;AAED,CAAC;IAqBC,MAAM,KAAK,GAAM;QACf,CAAC,EAAE;YACD,CAAC,EAAE;gBACD;oBACE,CAAC,EAAE;wBACD,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;qBACrC;iBACF;aACF;SACF;KACF,CAAC;AACJ,CAAC;AAED,CAAC;IAUC,MAAM,KAAK,GAAwB,IAAI,CAAC;AAC1C,CAAC;AAED,CAAC;IA8BC,MAAM,KAAK,GAAwB,IAAI,CAAC;AAC1C,CAAC;AAED,CAAC;IAwBC,MAAM,KAAK,GAAwB,EAAW,CAAC;AACjD,CAAC;AAED,CAAC;IASC,MAAM,KAAK,GAAwB,IAAI,CAAC;AAC1C,CAAC;AAED,CAAC;IAiBC,MAAM,KAAK,GAAwB,IAAI,CAAC;AAC1C,CAAC;AAED,CAAC;IAiCC,MAAM,KAAK,GAAwB,IAAI,CAAC;AAC1C,CAAC;AAED,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;IAClC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC,CAAC","sourcesContent":["import { Divergence, type UnionDivergence } from \"./divergence\";\n\ntype Equals<X, Y> = [X] extends [Y] ? ([Y] extends [X] ? true : false) : false;\n\n{\n  // it should return never when left and right are the same\n  const a: never = {} as Divergence<string, string>;\n  const b: never = {} as Divergence<number, number>;\n  const c: never = {} as Divergence<{}, {}>;\n  // const d: never = {} as Divergence<[], []>;\n  const e: never = {} as Divergence<true, true>;\n  const f: never = {} as Divergence<string | number, number | string>;\n\n  type ga = { a: string | number } | { b: string };\n  type gb = { a: number | string } | { b: string };\n  const g: never = {} as Divergence<ga, gb>;\n}\n\n{\n  // it should detect top level differences\n  type L = string;\n  type R = number;\n  type D = Divergence<L, R>;\n\n  const error: D = [\"\", \"!=\", 0];\n}\n\n{\n  // it should detect shallow differences\n  type L = { a: string };\n  type R = { a: number };\n  type D = Divergence<L, R>;\n\n  const error: D = {\n    a: [\"\", \"!=\", 0],\n  };\n}\n\n{\n  // it should detect deep differences\n  type L = { a: string; b: { c: number } };\n  type R = { a: string; b: { c: string } };\n  type D = Divergence<L, R>;\n\n  const error: D = {\n    b: {\n      c: [0, \"!=\", \"\"],\n    },\n  };\n}\n\n{\n  // it should detect when left is an object but right isnt\n  type L = { a: {} };\n  type R = { a: string };\n  type D = Divergence<L, R>;\n\n  const error: D = {\n    a: [{}, \"!=\", \"\"],\n  };\n}\n\n{\n  // it should detect when right is an object but left isnt\n  type L = { a: string };\n  type R = { a: { a: true } };\n  type D = Divergence<L, R>;\n\n  const error: D = {\n    a: [\"\", \"!=\", { a: true }],\n  };\n}\n\n{\n  // it should detect missing properties\n  type L = { a: string; b: { c: number } };\n  type R = { a: string; b: { c: number; d: string } };\n  type D = Divergence<L, R>;\n\n  const error: D = {\n    b: {\n      \"-d\": \"\",\n    },\n  };\n}\n\n{\n  // it should detect multiple differences\n  type L = { a: string; b: { c: number } };\n  type R = { a: number; b: { c: string } };\n  type D = Divergence<L, R>;\n\n  const error: D = {\n    a: [\"\", \"!=\", 0],\n    b: {\n      c: [0, \"!=\", \"\"],\n    },\n  };\n}\n\n{\n  // it should not detect unions with compatible types\n  type L = { type: \"room\"; thing: true } | { type: \"folder\"; other: true };\n  type R =\n    | { type: \"room\"; thing: true }\n    | { type: \"folder\"; other: true | false };\n\n  type D = Divergence<L, R>;\n  const a: D = undefined as never;\n}\n\n{\n  // it should detect deep unions with uncompatible types\n  type L = { a: { b: { c: { d: number } | { e: string } } } };\n  type R = { a: { b: { c: { d: number } | { e: number } } } };\n  type D = Divergence<L, R>;\n\n  const error: D = {\n    a: {\n      b: {\n        c: {\n          \"+\": { e: \"\" },\n        },\n      },\n    },\n  };\n}\n\n{\n  type L = { a: { b: { c: { d: number | string } } } };\n  type R = { a: { b: { c: { d: number } } } };\n  type D = Divergence<L, R>;\n\n  const error: D = {\n    a: {\n      b: {\n        c: {\n          d: {\n            \"+\": \"\",\n          },\n        },\n      },\n    },\n  };\n}\n\n{\n  // it should detect diffs in unions\n\n  type L = { type: \"a\"; a: string } | { type: \"b\"; b: number };\n  type R = { type: \"a\"; a: string } | { type: \"b\"; b: string } | undefined;\n\n  type D = Divergence<L, R>;\n\n  type expected = {\n    \"~\": {\n      type: \"b\";\n      b: [number, \"!=\", string];\n    };\n  };\n\n  const check: Equals<D, expected> = true;\n}\n\n{\n  type L = {\n    a: {\n      b: {\n        c: { type: \"a\"; a: string } | { type: \"b\"; b: number };\n      }[];\n    };\n  };\n\n  type R = {\n    a: {\n      b: {\n        c: { type: \"a\"; a: string } | { type: \"b\"; b: string };\n      }[];\n    };\n  };\n\n  type D = Divergence<L, R>;\n\n  type check = D;\n\n  const error: D = {\n    a: {\n      b: [\n        {\n          c: {\n            \"~\": { b: [0, \"!=\", \"\"], type: \"b\" },\n          },\n        },\n      ],\n    },\n  };\n}\n\n{\n  type Rec<T> = { next: Rec<T>; value: T };\n\n  type R = Rec<number>;\n  type L = Rec<string>;\n\n  type D = Divergence<L, R>;\n\n  type expected = { value: [string, \"!=\", number] };\n\n  const check: Equals<D, expected> = true;\n}\n\n{\n  type Option<T> = { type: T; a: T };\n  type Options =\n    | Option<string>\n    | Option<number>\n    | Option<boolean>\n    | Option<null>\n    | Option<{\n        a: string;\n        b: number;\n      }>;\n\n  type Rec<T> = { next: Rec<T>; value: T };\n\n  type L = {\n    id: string;\n    options: Rec<Options>;\n  };\n\n  type R = {\n    id: string;\n    options: Options;\n  };\n\n  type D = Divergence<L[\"options\"], R[\"options\"]>;\n\n  type expected = {\n    \"+\": Rec<Options>;\n  };\n\n  const check: Equals<D, expected> = true;\n}\n\n{\n  type Recursive = {\n    name: string;\n    children: undefined | Recursive[];\n  };\n\n  type L = {\n    a: Recursive[];\n  };\n\n  type R = {\n    a: Recursive[];\n    b: true;\n  };\n\n  // type Narrow<T extends A | B> = T;\n\n  // type L = Narrow<B>;\n  // type R = Narrow<A>;\n\n  type D = Divergence<L, R>;\n\n  type expected = never;\n\n  const check: Equals<D, expected> = {} as never;\n}\n\n{\n  // should not infinite recurse when no best key on union\n\n  type L = { type: string; e: boolean };\n  type R = { type: \"a\"; e: boolean } | { type: \"b\"; e: boolean };\n\n  type D = Divergence<L, R>;\n\n  type expected = { \"+\": L };\n  const check: Equals<D, expected> = true;\n}\n\n{\n  // should work with optional properties\n\n  type L = { a?: { value: 1 } | { value: 2 } };\n  type R = { a: { value: 1 } | { value: 3 } };\n\n  type D = Divergence<L, R>;\n\n  type expected = {\n    a: {\n      \"+\":\n        | {\n            value: 2;\n          }\n        | undefined;\n    };\n  };\n  const check: Equals<D, expected> = true;\n}\n\n{\n  type L =\n    | undefined\n    | ({ type: \"a\"; value: 1 } | { type: \"b\"; value: 2 } | { type: \"c\" })[]\n    | ({ type: \"d\" } | { type: \"e\"; value: 4 })[];\n\n  type R =\n    | undefined\n    | ({ type: \"a\"; value: 1 } | { type: \"b\"; value: 3 } | { type: \"c\" })[]\n    | ({ type: \"d\" } | { type: \"e\" })[];\n\n  type D = UnionDivergence<L, R, []>;\n\n  type expected = {\n    \"~\":\n      | {\n          [key: number]: {\n            \"~\": {\n              type: \"b\";\n              value: [2, \"!=\", 3];\n            };\n          };\n        }\n      | {\n          [key: number]: {\n            \"~\": {\n              type: \"e\";\n              \"+value\": 4;\n            };\n          };\n        };\n  };\n\n  const check: Equals<D, expected> = true;\n}\n\nit(\"this is a type test file\", () => {\n  expect(true).toBe(true);\n});\n"]}

package/dist/entrypoints/freeze-decorator.entrypoint.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=freeze-decorator.entrypoint.d.ts.map

package/dist/entrypoints/freeze-decorator.entrypoint.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"freeze-decorator.entrypoint.d.ts","sourceRoot":"","sources":["../../src/entrypoints/freeze-decorator.entrypoint.ts"],"names":[],"mappings":""}