@ddd-ts/freeze 0.0.35 → 0.0.37

package/dist/{divergence.d.ts → 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

@@ -0,0 +1 @@
+{"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,3 +1,4 @@
-export * from "./freeze.decorator";
-export { type Divergence } from "./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,18 +1,4 @@
-"use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __exportStar = (this && this.__exportStar) || function(m, exports) {
-    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-__exportStar(require("./freeze.decorator"), exports);
-//# 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

@@ -0,0 +1,11 @@
+import { Divergence, Expand, IsNever } from "../divergence/divergence.js";
+
+//#region src/references/freeze.decorator.d.ts
+type Freezable<T> = {
+  serialize(...args: any[]): T;
+};
+type Ctor<T> = abstract new (...args: any[]) => T;
+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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,10 @@
+//#region src/references/freeze.decorator.ts
+function Freeze() {
+	return (target) => {
+		return target;
+	};
+}
+
+//#endregion
+export { Freeze };
+//# sourceMappingURL=freeze.decorator.js.map

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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,11 @@
+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;
+};
+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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,6 @@
+//#region src/references/freeze.function.ts
+function freeze(..._args) {}
+
+//#endregion
+export { freeze };
+//# sourceMappingURL=freeze.function.js.map

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

@@ -0,0 +1 @@
+{"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,17 +1,16 @@
 {
 	"name": "@ddd-ts/freeze",
-	"version": "0.0.35",
-	"main": "dist/index.js",
+	"version": "0.0.37",
 	"types": "dist/index.d.ts",
 	"license": "MIT",
 	"repository": {
 		"url": "git+https://github.com/ddd-ts/monorepo"
 	},
 	"bin": {
-		"freeze": "dist/freeze.js"
+		"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.35",
-		"@ddd-ts/shape": "0.0.35",
-		"@ddd-ts/traits": "0.0.35",
-		"@ddd-ts/types": "0.0.35"
+		"@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.35",
+		"@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.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"divergence.d.ts","sourceRoot":"","sources":["../src/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"}

package/dist/divergence.js

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

package/dist/divergence.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"divergence.js","sourceRoot":"","sources":["../src/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.spec.d.ts

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

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

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

package/dist/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.spec.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"divergence.spec.js","sourceRoot":"","sources":["../src/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/freeze.d.ts

@@ -1,3 +0,0 @@
-import { ts } from "ts-morph";
-export declare function freeze(file: string, getNode: (file: ts.SourceFile, checker: ts.TypeChecker) => ts.Node): string;
-//# sourceMappingURL=freeze.d.ts.map

package/dist/freeze.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"freeze.d.ts","sourceRoot":"","sources":["../src/freeze.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,EAAE,EAAE,MAAM,UAAU,CAAC;AA4BvC,wBAAgB,MAAM,CACpB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,EAAE,CAAC,IAAI,UAenE"}

package/dist/freeze.decorator.d.ts

@@ -1,8 +0,0 @@
-import { Divergence, Expand, IsNever } from "./divergence";
-type Freezable<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 {};
-//# sourceMappingURL=freeze.decorator.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"freeze.decorator.d.ts","sourceRoot":"","sources":["../src/freeze.decorator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE3D,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"}

package/dist/freeze.decorator.js

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

package/dist/freeze.decorator.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"freeze.decorator.js","sourceRoot":"","sources":["../src/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 { Divergence, Expand, IsNever } from \"./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"]}

package/dist/freeze.fn.d.ts

@@ -1,4 +0,0 @@
-import * as ts from "typescript";
-export declare function freeze(file: string, getNode: (file: ts.SourceFile, checker: ts.TypeChecker) => ts.Node): string;
-export declare function exploreType(type: ts.Type, checker: ts.TypeChecker, declarations?: Map<ts.Symbol, string>, seen?: Set<string>): string;
-//# sourceMappingURL=freeze.fn.d.ts.map

package/dist/freeze.fn.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"freeze.fn.d.ts","sourceRoot":"","sources":["../src/freeze.fn.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,wBAAgB,MAAM,CACpB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,EAAE,CAAC,IAAI,UAgBnE;AAqBD,wBAAgB,WAAW,CACzB,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,YAAY,GAAE,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAa,EAChD,IAAI,GAAE,GAAG,CAAC,MAAM,CAA+B,GAC9C,MAAM,CA8BR"}

package/dist/freeze.fn.js

@@ -1,176 +0,0 @@
-"use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || (function () {
-    var ownKeys = function(o) {
-        ownKeys = Object.getOwnPropertyNames || function (o) {
-            var ar = [];
-            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
-            return ar;
-        };
-        return ownKeys(o);
-    };
-    return function (mod) {
-        if (mod && mod.__esModule) return mod;
-        var result = {};
-        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
-        __setModuleDefault(result, mod);
-        return result;
-    };
-})();
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.freeze = freeze;
-exports.exploreType = exploreType;
-const ts = __importStar(require("typescript"));
-function freeze(file, getNode) {
-    const program = ts.createProgram([file], { strictNullChecks: true });
-    const checker = program.getTypeChecker();
-    // biome-ignore lint/style/noNonNullAssertion: <explanation>
-    const sourceFile = program
-        .getSourceFiles()
-        .find((s) => s.fileName.includes(file));
-    const toFreeze = getNode(sourceFile, checker);
-    const type = checker.getTypeAtLocation(toFreeze);
-    // Explore the type definition
-    const other = new Map();
-    const explored = exploreType(type, checker, other);
-    const typeDefinitions = [...other.values()].join("\n");
-    return `${typeDefinitions}\ntype Output = ${explored};`;
-}
-function listTypeFlagsNames(flags) {
-    const names = [];
-    for (const flagName in ts.TypeFlags) {
-        if (ts.TypeFlags[flagName] & flags) {
-            names.push([flagName, ts.TypeFlags[flagName]]);
-        }
-    }
-    return names;
-}
-function listSymbolFlagsNames(flags) {
-    const names = [];
-    for (const flagName in ts.TypeFlags) {
-        if (ts.TypeFlags[flagName] & flags) {
-            names.push([flagName, ts.TypeFlags[flagName]]);
-        }
-    }
-    return names;
-}
-function exploreType(type, checker, declarations = new Map(), seen = new Set(["Date", "Record"])) {
-    // seen.add(type.symbol?.getName() || "");
-    if (type.aliasSymbol && seen.has(type.aliasSymbol.getName())) {
-        const a = type.aliasTypeArguments;
-        return `${type.aliasSymbol.name}${a
-            ? `<${a
-                .map((a) => exploreType(a, checker, declarations, seen))
-                .join(", ")}>`
-            : ""}`;
-    }
-    if (type.aliasSymbol) {
-        const aliasType = checker.getDeclaredTypeOfSymbol(type.aliasSymbol);
-        seen.add(type.aliasSymbol.getName());
-        const definition = exploreNativeType(aliasType, checker, declarations, seen);
-        declarations.set(type.aliasSymbol, `type ${type.aliasSymbol.name} = ${definition}`);
-        return exploreType(aliasType, checker, declarations, seen);
-    }
-    return exploreNativeType(type, checker, declarations, seen);
-}
-const PrimitiveFlag = 402784252;
-function exploreNativeType(type, checker, declarations = new Map(), seen = new Set()) {
-    if (type.flags & ts.TypeFlags.EnumLiteral) {
-        const v = type.value;
-        if (typeof v === "string") {
-            return `"${v}"`;
-        }
-        return v;
-    }
-    if (type.flags & PrimitiveFlag) {
-        return checker.typeToString(type);
-    }
-    if (type.isUnionOrIntersection()) {
-        const operator = type.isUnion() ? "|" : "&";
-        return type.types
-            .map((t) => exploreType(t, checker, declarations, seen))
-            .join(` ${operator} `);
-    }
-    if (type.getSymbol()?.getName() === "ReadonlyArray") {
-        const typeReference = type;
-        const elementType = typeReference.typeArguments
-            ? typeReference.typeArguments[0]
-            : undefined;
-        return elementType
-            ? `readonly (${exploreType(elementType, checker, declarations, seen)})[]`
-            : "ReadonlyArray<any>";
-    }
-    if (checker.isTupleType(type)) {
-        const typeReference = type;
-        const elementTypes = typeReference.typeArguments || [];
-        return `[${elementTypes
-            .map((t) => exploreType(t, checker, declarations, seen))
-            .join(", ")}]`;
-    }
-    if (checker.isArrayType(type)) {
-        const typeReference = type;
-        const elementType = typeReference.typeArguments
-            ? typeReference.typeArguments[0]
-            : undefined;
-        return elementType
-            ? `(${exploreType(elementType, checker, declarations, seen)})[]`
-            : "any[]";
-    }
-    if (type.aliasTypeArguments) {
-        const typeReference = type;
-        const elementTypes = typeReference.aliasTypeArguments || [];
-        return `${type.aliasSymbol?.name}<${elementTypes
-            .map((t) => t.symbol.name)
-            .join(", ")}>`;
-    }
-    if (type.getSymbol()?.getName() === "Date") {
-        return "Date";
-    }
-    if (type.flags & ts.TypeFlags.Object) {
-        const properties = checker.getPropertiesOfType(type);
-        const indexInfos = checker.getIndexInfosOfType(type);
-        let index = "";
-        if (indexInfos.length > 0) {
-            const indexInfo = indexInfos[0];
-            const indexType = indexInfo.keyType;
-            const indexTypeString = exploreType(indexType, checker, declarations, seen);
-            const valueType = indexInfo.type;
-            const valueTypeString = exploreType(valueType, checker, declarations, seen);
-            index = `[key: ${indexTypeString}]: ${valueTypeString}; `;
-        }
-        return `{ ${index}${properties.reduce((acc, property) => {
-            const propertyType = checker.getTypeOfSymbol(property);
-            const optional = property.flags & ts.SymbolFlags.Optional ? "?" : "";
-            const readonly = property
-                .getDeclarations()
-                ?.some((declaration) => ts.isPropertySignature(declaration) &&
-                declaration.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.ReadonlyKeyword))
-                ? "readonly "
-                : "";
-            return `${acc}${readonly}${property.name}${optional}: ${exploreType(propertyType, checker, declarations, seen)}; `;
-        }, "")}}`;
-    }
-    if (type.flags & ts.TypeFlags.TypeParameter) {
-        return type.symbol.name;
-    }
-    return JSON.stringify({
-        name: checker.typeToString(type),
-        flags: listTypeFlagsNames(type.flags),
-    });
-}
-//# sourceMappingURL=freeze.fn.js.map

package/dist/freeze.fn.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"freeze.fn.js","sourceRoot":"","sources":["../src/freeze.fn.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEA,wBAkBC;AAqBD,kCAmCC;AA5ED,+CAAiC;AAEjC,SAAgB,MAAM,CACpB,IAAY,EACZ,OAAkE;IAElE,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,4DAA4D;IAC5D,MAAM,UAAU,GAAG,OAAO;SACvB,cAAc,EAAE;SAChB,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAE,CAAC;IAC3C,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAEjD,8BAA8B;IAC9B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;IACxB,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,OAAO,GAAG,eAAe,mBAAmB,QAAQ,GAAG,CAAC;AAC1D,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,MAAM,KAAK,GAAG,EAAE,CAAC;IACjB,KAAK,MAAM,QAAQ,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;QACpC,IAAK,EAAE,CAAC,SAAS,CAAC,QAAe,CAAS,GAAG,KAAK,EAAE,CAAC;YACnD,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,QAAe,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,oBAAoB,CAAC,KAAa;IACzC,MAAM,KAAK,GAAG,EAAE,CAAC;IACjB,KAAK,MAAM,QAAQ,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;QACpC,IAAK,EAAE,CAAC,SAAS,CAAC,QAAe,CAAS,GAAG,KAAK,EAAE,CAAC;YACnD,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,QAAe,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAgB,WAAW,CACzB,IAAa,EACb,OAAuB,EACvB,eAAuC,IAAI,GAAG,EAAE,EAChD,OAAoB,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAE/C,0CAA0C;IAC1C,IAAI,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QAC7D,MAAM,CAAC,GAAG,IAAI,CAAC,kBAAkB,CAAC;QAClC,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,GAC7B,CAAC;YACC,CAAC,CAAC,IAAI,CAAC;iBACF,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;iBACvD,IAAI,CAAC,IAAI,CAAC,GAAG;YAClB,CAAC,CAAC,EACN,EAAE,CAAC;IACL,CAAC;IAED,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACrB,MAAM,SAAS,GAAG,OAAO,CAAC,uBAAuB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC;QACrC,MAAM,UAAU,GAAG,iBAAiB,CAClC,SAAS,EACT,OAAO,EACP,YAAY,EACZ,IAAI,CACL,CAAC;QACF,YAAY,CAAC,GAAG,CACd,IAAI,CAAC,WAAW,EAChB,QAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,MAAM,UAAU,EAAE,CAChD,CAAC;QACF,OAAO,WAAW,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;IAC7D,CAAC;IAED,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,aAAa,GAAG,SAAS,CAAC;AAEhC,SAAS,iBAAiB,CACxB,IAAa,EACb,OAAuB,EACvB,eAAuC,IAAI,GAAG,EAAE,EAChD,OAAoB,IAAI,GAAG,EAAE;IAE7B,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAI,IAAY,CAAC,KAAK,CAAC;QAC9B,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,IAAI,CAAC,KAAK,GAAG,aAAa,EAAE,CAAC;QAC/B,OAAO,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,IAAI,CAAC,qBAAqB,EAAE,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAC5C,OAAO,IAAI,CAAC,KAAK;aACd,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;aACvD,IAAI,CAAC,IAAI,QAAQ,GAAG,CAAC,CAAC;IAC3B,CAAC;IAED,IAAI,IAAI,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,KAAK,eAAe,EAAE,CAAC;QACpD,MAAM,aAAa,GAAG,IAAwB,CAAC;QAC/C,MAAM,WAAW,GAAG,aAAa,CAAC,aAAa;YAC7C,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC;YAChC,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,WAAW;YAChB,CAAC,CAAC,aAAa,WAAW,CAAC,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,KAAK;YACzE,CAAC,CAAC,oBAAoB,CAAC;IAC3B,CAAC;IAED,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,aAAa,GAAG,IAAwB,CAAC;QAC/C,MAAM,YAAY,GAAG,aAAa,CAAC,aAAa,IAAI,EAAE,CAAC;QACvD,OAAO,IAAI,YAAY;aACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;aACvD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACnB,CAAC;IAED,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,aAAa,GAAG,IAAwB,CAAC;QAC/C,MAAM,WAAW,GAAG,aAAa,CAAC,aAAa;YAC7C,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC;YAChC,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,WAAW;YAChB,CAAC,CAAC,IAAI,WAAW,CAAC,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,KAAK;YAChE,CAAC,CAAC,OAAO,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC5B,MAAM,aAAa,GAAG,IAAwB,CAAC;QAC/C,MAAM,YAAY,GAAG,aAAa,CAAC,kBAAkB,IAAI,EAAE,CAAC;QAC5D,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,YAAY;aAC7C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;aACzB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,KAAK,MAAM,EAAE,CAAC;QAC3C,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAErD,MAAM,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAErD,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAChC,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC;YACpC,MAAM,eAAe,GAAG,WAAW,CACjC,SAAS,EACT,OAAO,EACP,YAAY,EACZ,IAAI,CACL,CAAC;YACF,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC;YACjC,MAAM,eAAe,GAAG,WAAW,CACjC,SAAS,EACT,OAAO,EACP,YAAY,EACZ,IAAI,CACL,CAAC;YACF,KAAK,GAAG,SAAS,eAAe,MAAM,eAAe,IAAI,CAAC;QAC5D,CAAC;QAED,OAAO,KAAK,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE;YACtD,MAAM,YAAY,GAAG,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;YACvD,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACrE,MAAM,QAAQ,GAAG,QAAQ;iBACtB,eAAe,EAAE;gBAClB,EAAE,IAAI,CACJ,CAAC,WAAW,EAAE,EAAE,CACd,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC;gBACnC,WAAW,CAAC,SAAS,EAAE,IAAI,CACzB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAC9D,CACJ;gBACD,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,EAAE,CAAC;YACP,OAAO,GAAG,GAAG,GAAG,QAAQ,GAAG,QAAQ,CAAC,IAAI,GAAG,QAAQ,KAAK,WAAW,CACjE,YAAY,EACZ,OAAO,EACP,YAAY,EACZ,IAAI,CACL,IAAI,CAAC;QACR,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC;IACZ,CAAC;IAED,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;QAC5C,OAAQ,IAAyB,CAAC,MAAM,CAAC,IAAI,CAAC;IAChD,CAAC;IAED,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC;QAChC,KAAK,EAAE,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC;KACtC,CAAC,CAAC;AACL,CAAC","sourcesContent":["import * as ts from \"typescript\";\n\nexport function freeze(\n  file: string,\n  getNode: (file: ts.SourceFile, checker: ts.TypeChecker) => ts.Node,\n) {\n  const program = ts.createProgram([file], { strictNullChecks: true });\n  const checker = program.getTypeChecker();\n  // biome-ignore lint/style/noNonNullAssertion: <explanation>\n  const sourceFile = program\n    .getSourceFiles()\n    .find((s) => s.fileName.includes(file))!;\n  const toFreeze = getNode(sourceFile, checker);\n  const type = checker.getTypeAtLocation(toFreeze);\n\n  // Explore the type definition\n  const other = new Map();\n  const explored = exploreType(type, checker, other);\n  const typeDefinitions = [...other.values()].join(\"\\n\");\n  return `${typeDefinitions}\\ntype Output = ${explored};`;\n}\n\nfunction listTypeFlagsNames(flags: number) {\n  const names = [];\n  for (const flagName in ts.TypeFlags) {\n    if ((ts.TypeFlags[flagName as any] as any) & flags) {\n      names.push([flagName, ts.TypeFlags[flagName as any]]);\n    }\n  }\n  return names;\n}\nfunction listSymbolFlagsNames(flags: number) {\n  const names = [];\n  for (const flagName in ts.TypeFlags) {\n    if ((ts.TypeFlags[flagName as any] as any) & flags) {\n      names.push([flagName, ts.TypeFlags[flagName as any]]);\n    }\n  }\n  return names;\n}\n\nexport function exploreType(\n  type: ts.Type,\n  checker: ts.TypeChecker,\n  declarations: Map<ts.Symbol, string> = new Map(),\n  seen: Set<string> = new Set([\"Date\", \"Record\"]),\n): string {\n  // seen.add(type.symbol?.getName() || \"\");\n  if (type.aliasSymbol && seen.has(type.aliasSymbol.getName())) {\n    const a = type.aliasTypeArguments;\n    return `${type.aliasSymbol.name}${\n      a\n        ? `<${a\n            .map((a) => exploreType(a, checker, declarations, seen))\n            .join(\", \")}>`\n        : \"\"\n    }`;\n  }\n\n  if (type.aliasSymbol) {\n    const aliasType = checker.getDeclaredTypeOfSymbol(type.aliasSymbol);\n    seen.add(type.aliasSymbol.getName());\n    const definition = exploreNativeType(\n      aliasType,\n      checker,\n      declarations,\n      seen,\n    );\n    declarations.set(\n      type.aliasSymbol,\n      `type ${type.aliasSymbol.name} = ${definition}`,\n    );\n    return exploreType(aliasType, checker, declarations, seen);\n  }\n\n  return exploreNativeType(type, checker, declarations, seen);\n}\n\nconst PrimitiveFlag = 402784252;\n\nfunction exploreNativeType(\n  type: ts.Type,\n  checker: ts.TypeChecker,\n  declarations: Map<ts.Symbol, string> = new Map(),\n  seen: Set<string> = new Set(),\n): string {\n  if (type.flags & ts.TypeFlags.EnumLiteral) {\n    const v = (type as any).value;\n    if (typeof v === \"string\") {\n      return `\"${v}\"`;\n    }\n    return v;\n  }\n\n  if (type.flags & PrimitiveFlag) {\n    return checker.typeToString(type);\n  }\n  if (type.isUnionOrIntersection()) {\n    const operator = type.isUnion() ? \"|\" : \"&\";\n    return type.types\n      .map((t) => exploreType(t, checker, declarations, seen))\n      .join(` ${operator} `);\n  }\n\n  if (type.getSymbol()?.getName() === \"ReadonlyArray\") {\n    const typeReference = type as ts.TypeReference;\n    const elementType = typeReference.typeArguments\n      ? typeReference.typeArguments[0]\n      : undefined;\n    return elementType\n      ? `readonly (${exploreType(elementType, checker, declarations, seen)})[]`\n      : \"ReadonlyArray<any>\";\n  }\n\n  if (checker.isTupleType(type)) {\n    const typeReference = type as ts.TypeReference;\n    const elementTypes = typeReference.typeArguments || [];\n    return `[${elementTypes\n      .map((t) => exploreType(t, checker, declarations, seen))\n      .join(\", \")}]`;\n  }\n\n  if (checker.isArrayType(type)) {\n    const typeReference = type as ts.TypeReference;\n    const elementType = typeReference.typeArguments\n      ? typeReference.typeArguments[0]\n      : undefined;\n    return elementType\n      ? `(${exploreType(elementType, checker, declarations, seen)})[]`\n      : \"any[]\";\n  }\n\n  if (type.aliasTypeArguments) {\n    const typeReference = type as ts.TypeReference;\n    const elementTypes = typeReference.aliasTypeArguments || [];\n    return `${type.aliasSymbol?.name}<${elementTypes\n      .map((t) => t.symbol.name)\n      .join(\", \")}>`;\n  }\n\n  if (type.getSymbol()?.getName() === \"Date\") {\n    return \"Date\";\n  }\n\n  if (type.flags & ts.TypeFlags.Object) {\n    const properties = checker.getPropertiesOfType(type);\n\n    const indexInfos = checker.getIndexInfosOfType(type);\n\n    let index = \"\";\n    if (indexInfos.length > 0) {\n      const indexInfo = indexInfos[0];\n      const indexType = indexInfo.keyType;\n      const indexTypeString = exploreType(\n        indexType,\n        checker,\n        declarations,\n        seen,\n      );\n      const valueType = indexInfo.type;\n      const valueTypeString = exploreType(\n        valueType,\n        checker,\n        declarations,\n        seen,\n      );\n      index = `[key: ${indexTypeString}]: ${valueTypeString}; `;\n    }\n\n    return `{ ${index}${properties.reduce((acc, property) => {\n      const propertyType = checker.getTypeOfSymbol(property);\n      const optional = property.flags & ts.SymbolFlags.Optional ? \"?\" : \"\";\n      const readonly = property\n        .getDeclarations()\n        ?.some(\n          (declaration) =>\n            ts.isPropertySignature(declaration) &&\n            declaration.modifiers?.some(\n              (modifier) => modifier.kind === ts.SyntaxKind.ReadonlyKeyword,\n            ),\n        )\n        ? \"readonly \"\n        : \"\";\n      return `${acc}${readonly}${property.name}${optional}: ${exploreType(\n        propertyType,\n        checker,\n        declarations,\n        seen,\n      )}; `;\n    }, \"\")}}`;\n  }\n\n  if (type.flags & ts.TypeFlags.TypeParameter) {\n    return (type as ts.TypeParameter).symbol.name;\n  }\n\n  return JSON.stringify({\n    name: checker.typeToString(type),\n    flags: listTypeFlagsNames(type.flags),\n  });\n}\n"]}

package/dist/freeze.js

@@ -1,119 +0,0 @@
-"use strict";
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.freeze = freeze;
-const ts_morph_1 = require("ts-morph");
-const node_path_1 = require("node:path");
-const freeze_fn_1 = require("./freeze.fn");
-const node_fs_1 = __importDefault(require("node:fs"));
-const cwd = process.cwd();
-const tsConfigFilePath = `${cwd}/tsconfig.json`;
-const project = new ts_morph_1.Project({
-    tsConfigFilePath,
-});
-const decoratorfile = project.getSourceFile(`${__dirname}/freeze.decorator.d.ts`);
-if (!decoratorfile) {
-    throw new Error("The @Freeze decorator is not used in the project.");
-}
-const references = decoratorfile.getFunction("Freeze")?.findReferences();
-if (!references) {
-    throw new Error("The @Freeze decorator is imported, but not used in the project.");
-}
-function freeze(file, getNode) {
-    const program = ts_morph_1.ts.createProgram([file], {});
-    const checker = program.getTypeChecker();
-    const sourceFile = program
-        .getSourceFiles()
-        .find((s) => s.fileName.includes(file));
-    const toFreeze = getNode(sourceFile, checker);
-    const type = checker.getTypeAtLocation(toFreeze);
-    // Explore the type definition
-    const other = new Map();
-    const explored = (0, freeze_fn_1.exploreType)(type, checker, other);
-    const typeDefinitions = [...other.values()].join("\n");
-    return `${typeDefinitions}\ntype Output = ${explored};`;
-}
-function lowercasefirstletter(str) {
-    return str.charAt(0).toLowerCase() + str.slice(1);
-}
-for (const ref of references) {
-    for (const refref of ref.getReferences()) {
-        const decorator = refref
-            .getNode()
-            .getParent()
-            ?.getParent()
-            ?.asKind(ts_morph_1.ts.SyntaxKind.Decorator);
-        if (!decorator)
-            continue;
-        const rpath = (0, node_path_1.relative)(cwd, decorator.getSourceFile().getFilePath());
-        const classDeclaration = decorator.getParentIfKind(ts_morph_1.ts.SyntaxKind.ClassDeclaration);
-        if (!classDeclaration)
-            continue;
-        const typeParameter = decorator.getTypeArguments()[0];
-        if (typeParameter) {
-            console.log(`${classDeclaration.getName()}: Already frozen with <${typeParameter.getText()}>`);
-            continue;
-        }
-        const serializeProperty = classDeclaration
-            .getType()
-            .getProperty("serialize");
-        if (!serializeProperty) {
-            console.log(`${rpath} - ${classDeclaration.getName()}: No serialize property`);
-            continue;
-        }
-        const serializeMethod = project
-            .getTypeChecker()
-            .getTypeOfSymbolAtLocation(serializeProperty, classDeclaration)
-            .getCallSignatures()[0];
-        let serialized = serializeMethod.getReturnType();
-        if (serialized.getSymbol()?.getName() === "Promise") {
-            serialized = serialized.getTypeArguments()[0];
-        }
-        const version = serialized
-            .getProperty("version")
-            ?.getTypeAtLocation(classDeclaration)
-            .getText();
-        if (!version || Number.isNaN(Number(version))) {
-            console.log(`${rpath} - ${classDeclaration.getName()}: No version property (or not a number) : ${version}`);
-            continue;
-        }
-        console.log(`${rpath} - ${classDeclaration.getName()}: Freezing with version ${version}`);
-        const other = new Map();
-        const result = (0, freeze_fn_1.exploreType)(serialized.compilerType, project.getTypeChecker().compilerObject, other);
-        const type = serializeMethod
-            .getParameters()[0]
-            .getTypeAtLocation(classDeclaration);
-        const symbol = type.getSymbol()?.getName();
-        const aliasSymbol = type.getAliasSymbol()?.getName();
-        let name;
-        if (symbol) {
-            name = symbol;
-            console.log(`${rpath} - ${classDeclaration.getName()}: Using symbol ${symbol}`);
-        }
-        else if (aliasSymbol) {
-            name = aliasSymbol;
-            console.log(`${rpath} - ${classDeclaration.getName()}: Using aliasSymbol ${aliasSymbol}`);
-        }
-        if (!name) {
-            console.log(`${rpath} - ${classDeclaration.getName()}: Cannot find name of serialized type`);
-            continue;
-        }
-        const serializedName = `${name}Serialized${version}n`;
-        const serializedFilename = lowercasefirstletter(`${name}.serialized.${version}n`);
-        const directory = refref.getSourceFile().getDirectory();
-        decorator.getSourceFile().addImportDeclaration({
-            moduleSpecifier: `./${serializedFilename}`,
-            namedImports: [serializedName],
-        });
-        decorator.addTypeArgument(serializedName);
-        project.saveSync();
-        const output = [
-            ...other.values(),
-            `export type ${serializedName} = ${result}`,
-        ].join("\n");
-        node_fs_1.default.writeFileSync(`${directory.getPath()}/${serializedFilename}.ts`, output);
-    }
-}
-//# sourceMappingURL=freeze.js.map

package/dist/freeze.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"freeze.js","sourceRoot":"","sources":["../src/freeze.ts"],"names":[],"mappings":";;;;;AA4BA,wBAiBC;AA7CD,uCAAuC;AACvC,yCAAqC;AACrC,2CAA0C;AAC1C,sDAAyB;AAEzB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;AAC1B,MAAM,gBAAgB,GAAG,GAAG,GAAG,gBAAgB,CAAC;AAEhD,MAAM,OAAO,GAAG,IAAI,kBAAO,CAAC;IAC1B,gBAAgB;CACjB,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,CACzC,GAAG,SAAS,wBAAwB,CACrC,CAAC;AAEF,IAAI,CAAC,aAAa,EAAE,CAAC;IACnB,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,GAAG,aAAa,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC;AAEzE,IAAI,CAAC,UAAU,EAAE,CAAC;IAChB,MAAM,IAAI,KAAK,CACb,iEAAiE,CAClE,CAAC;AACJ,CAAC;AAED,SAAgB,MAAM,CACpB,IAAY,EACZ,OAAkE;IAElE,MAAM,OAAO,GAAG,aAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,UAAU,GAAG,OAAO;SACvB,cAAc,EAAE;SAChB,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAE,CAAC;IAC3C,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAEjD,8BAA8B;IAC9B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;IACxB,MAAM,QAAQ,GAAG,IAAA,uBAAW,EAAC,IAAW,EAAE,OAAc,EAAE,KAAK,CAAC,CAAC;IACjE,MAAM,eAAe,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,OAAO,GAAG,eAAe,mBAAmB,QAAQ,GAAG,CAAC;AAC1D,CAAC;AAED,SAAS,oBAAoB,CAAC,GAAW;IACvC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;IAC7B,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,aAAa,EAAE,EAAE,CAAC;QACzC,MAAM,SAAS,GAAG,MAAM;aACrB,OAAO,EAAE;aACT,SAAS,EAAE;YACZ,EAAE,SAAS,EAAE;YACb,EAAE,MAAM,CAAC,aAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS;YAAE,SAAS;QAEzB,MAAM,KAAK,GAAG,IAAA,oBAAQ,EAAC,GAAG,EAAE,SAAS,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QAErE,MAAM,gBAAgB,GAAG,SAAS,CAAC,eAAe,CAChD,aAAE,CAAC,UAAU,CAAC,gBAAgB,CAC/B,CAAC;QACF,IAAI,CAAC,gBAAgB;YAAE,SAAS;QAEhC,MAAM,aAAa,GAAG,SAAS,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,aAAa,EAAE,CAAC;YAClB,OAAO,CAAC,GAAG,CACT,GAAG,gBAAgB,CAAC,OAAO,EAAE,0BAA0B,aAAa,CAAC,OAAO,EAAE,GAAG,CAClF,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,iBAAiB,GAAG,gBAAgB;aACvC,OAAO,EAAE;aACT,WAAW,CAAC,WAAW,CAAC,CAAC;QAC5B,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,CACT,GAAG,KAAK,MAAM,gBAAgB,CAAC,OAAO,EAAE,yBAAyB,CAClE,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,eAAe,GAAG,OAAO;aAC5B,cAAc,EAAE;aAChB,yBAAyB,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;aAC9D,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC;QAE1B,IAAI,UAAU,GAAG,eAAe,CAAC,aAAa,EAAE,CAAC;QACjD,IAAI,UAAU,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,KAAK,SAAS,EAAE,CAAC;YACpD,UAAU,GAAG,UAAU,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC;QAED,MAAM,OAAO,GAAG,UAAU;aACvB,WAAW,CAAC,SAAS,CAAC;YACvB,EAAE,iBAAiB,CAAC,gBAAgB,CAAC;aACpC,OAAO,EAAE,CAAC;QAEb,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAC9C,OAAO,CAAC,GAAG,CACT,GAAG,KAAK,MAAM,gBAAgB,CAAC,OAAO,EAAE,6CAA6C,OAAO,EAAE,CAC/F,CAAC;YACF,SAAS;QACX,CAAC;QAED,OAAO,CAAC,GAAG,CACT,GAAG,KAAK,MAAM,gBAAgB,CAAC,OAAO,EAAE,2BAA2B,OAAO,EAAE,CAC7E,CAAC;QACF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,IAAA,uBAAW,EACxB,UAAU,CAAC,YAAmB,EAC9B,OAAO,CAAC,cAAc,EAAE,CAAC,cAAqB,EAC9C,KAAK,CACN,CAAC;QAEF,MAAM,IAAI,GAAG,eAAe;aACzB,aAAa,EAAE,CAAC,CAAC,CAAC;aAClB,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,CAAC;QAC3C,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,EAAE,EAAE,OAAO,EAAE,CAAC;QACrD,IAAI,IAAwB,CAAC;QAC7B,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,GAAG,MAAM,CAAC;YACd,OAAO,CAAC,GAAG,CACT,GAAG,KAAK,MAAM,gBAAgB,CAAC,OAAO,EAAE,kBAAkB,MAAM,EAAE,CACnE,CAAC;QACJ,CAAC;aAAM,IAAI,WAAW,EAAE,CAAC;YACvB,IAAI,GAAG,WAAW,CAAC;YACnB,OAAO,CAAC,GAAG,CACT,GAAG,KAAK,MAAM,gBAAgB,CAAC,OAAO,EAAE,uBAAuB,WAAW,EAAE,CAC7E,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,CAAC,GAAG,CACT,GAAG,KAAK,MAAM,gBAAgB,CAAC,OAAO,EAAE,uCAAuC,CAChF,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,cAAc,GAAG,GAAG,IAAI,aAAa,OAAO,GAAG,CAAC;QACtD,MAAM,kBAAkB,GAAG,oBAAoB,CAC7C,GAAG,IAAI,eAAe,OAAO,GAAG,CACjC,CAAC;QAEF,MAAM,SAAS,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC,YAAY,EAAE,CAAC;QAExD,SAAS,CAAC,aAAa,EAAE,CAAC,oBAAoB,CAAC;YAC7C,eAAe,EAAE,KAAK,kBAAkB,EAAE;YAC1C,YAAY,EAAE,CAAC,cAAc,CAAC;SAC/B,CAAC,CAAC;QAEH,SAAS,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;QAE1C,OAAO,CAAC,QAAQ,EAAE,CAAC;QAEnB,MAAM,MAAM,GAAG;YACb,GAAG,KAAK,CAAC,MAAM,EAAE;YACjB,eAAe,cAAc,MAAM,MAAM,EAAE;SAC5C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEb,iBAAE,CAAC,aAAa,CAAC,GAAG,SAAS,CAAC,OAAO,EAAE,IAAI,kBAAkB,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9E,CAAC;AACH,CAAC","sourcesContent":["import { Project, ts } from \"ts-morph\";\nimport { relative } from \"node:path\";\nimport { exploreType } from \"./freeze.fn\";\nimport fs from \"node:fs\";\n\nconst cwd = process.cwd();\nconst tsConfigFilePath = `${cwd}/tsconfig.json`;\n\nconst project = new Project({\n  tsConfigFilePath,\n});\n\nconst decoratorfile = project.getSourceFile(\n  `${__dirname}/freeze.decorator.d.ts`,\n);\n\nif (!decoratorfile) {\n  throw new Error(\"The @Freeze decorator is not used in the project.\");\n}\n\nconst references = decoratorfile.getFunction(\"Freeze\")?.findReferences();\n\nif (!references) {\n  throw new Error(\n    \"The @Freeze decorator is imported, but not used in the project.\",\n  );\n}\n\nexport function freeze(\n  file: string,\n  getNode: (file: ts.SourceFile, checker: ts.TypeChecker) => ts.Node,\n) {\n  const program = ts.createProgram([file], {});\n  const checker = program.getTypeChecker();\n  const sourceFile = program\n    .getSourceFiles()\n    .find((s) => s.fileName.includes(file))!;\n  const toFreeze = getNode(sourceFile, checker);\n  const type = checker.getTypeAtLocation(toFreeze);\n\n  // Explore the type definition\n  const other = new Map();\n  const explored = exploreType(type as any, checker as any, other);\n  const typeDefinitions = [...other.values()].join(\"\\n\");\n  return `${typeDefinitions}\\ntype Output = ${explored};`;\n}\n\nfunction lowercasefirstletter(str: string) {\n  return str.charAt(0).toLowerCase() + str.slice(1);\n}\n\nfor (const ref of references) {\n  for (const refref of ref.getReferences()) {\n    const decorator = refref\n      .getNode()\n      .getParent()\n      ?.getParent()\n      ?.asKind(ts.SyntaxKind.Decorator);\n    if (!decorator) continue;\n\n    const rpath = relative(cwd, decorator.getSourceFile().getFilePath());\n\n    const classDeclaration = decorator.getParentIfKind(\n      ts.SyntaxKind.ClassDeclaration,\n    );\n    if (!classDeclaration) continue;\n\n    const typeParameter = decorator.getTypeArguments()[0];\n    if (typeParameter) {\n      console.log(\n        `${classDeclaration.getName()}: Already frozen with <${typeParameter.getText()}>`,\n      );\n      continue;\n    }\n\n    const serializeProperty = classDeclaration\n      .getType()\n      .getProperty(\"serialize\");\n    if (!serializeProperty) {\n      console.log(\n        `${rpath} - ${classDeclaration.getName()}: No serialize property`,\n      );\n      continue;\n    }\n\n    const serializeMethod = project\n      .getTypeChecker()\n      .getTypeOfSymbolAtLocation(serializeProperty, classDeclaration)\n      .getCallSignatures()[0];\n\n    let serialized = serializeMethod.getReturnType();\n    if (serialized.getSymbol()?.getName() === \"Promise\") {\n      serialized = serialized.getTypeArguments()[0];\n    }\n\n    const version = serialized\n      .getProperty(\"version\")\n      ?.getTypeAtLocation(classDeclaration)\n      .getText();\n\n    if (!version || Number.isNaN(Number(version))) {\n      console.log(\n        `${rpath} - ${classDeclaration.getName()}: No version property (or not a number) : ${version}`,\n      );\n      continue;\n    }\n\n    console.log(\n      `${rpath} - ${classDeclaration.getName()}: Freezing with version ${version}`,\n    );\n    const other = new Map();\n    const result = exploreType(\n      serialized.compilerType as any,\n      project.getTypeChecker().compilerObject as any,\n      other,\n    );\n\n    const type = serializeMethod\n      .getParameters()[0]\n      .getTypeAtLocation(classDeclaration);\n    const symbol = type.getSymbol()?.getName();\n    const aliasSymbol = type.getAliasSymbol()?.getName();\n    let name: string | undefined;\n    if (symbol) {\n      name = symbol;\n      console.log(\n        `${rpath} - ${classDeclaration.getName()}: Using symbol ${symbol}`,\n      );\n    } else if (aliasSymbol) {\n      name = aliasSymbol;\n      console.log(\n        `${rpath} - ${classDeclaration.getName()}: Using aliasSymbol ${aliasSymbol}`,\n      );\n    }\n\n    if (!name) {\n      console.log(\n        `${rpath} - ${classDeclaration.getName()}: Cannot find name of serialized type`,\n      );\n      continue;\n    }\n\n    const serializedName = `${name}Serialized${version}n`;\n    const serializedFilename = lowercasefirstletter(\n      `${name}.serialized.${version}n`,\n    );\n\n    const directory = refref.getSourceFile().getDirectory();\n\n    decorator.getSourceFile().addImportDeclaration({\n      moduleSpecifier: `./${serializedFilename}`,\n      namedImports: [serializedName],\n    });\n\n    decorator.addTypeArgument(serializedName);\n\n    project.saveSync();\n\n    const output = [\n      ...other.values(),\n      `export type ${serializedName} = ${result}`,\n    ].join(\"\\n\");\n\n    fs.writeFileSync(`${directory.getPath()}/${serializedFilename}.ts`, output);\n  }\n}\n"]}

package/dist/freeze.spec.d.ts

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

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

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

package/dist/freeze.spec.js

@@ -1,172 +0,0 @@
-"use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || (function () {
-    var ownKeys = function(o) {
-        ownKeys = Object.getOwnPropertyNames || function (o) {
-            var ar = [];
-            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
-            return ar;
-        };
-        return ownKeys(o);
-    };
-    return function (mod) {
-        if (mod && mod.__esModule) return mod;
-        var result = {};
-        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
-        __setModuleDefault(result, mod);
-        return result;
-    };
-})();
-Object.defineProperty(exports, "__esModule", { value: true });
-const ts = __importStar(require("typescript"));
-const freeze_fn_1 = require("./freeze.fn");
-function findCalls(source) {
-    const children = source.getChildren();
-    const innerCalls = children.flatMap((c) => findCalls(c));
-    if (ts.isCallExpression(source)) {
-        innerCalls.push(source);
-    }
-    return innerCalls;
-}
-// biome-ignore lint/suspicious/noExplicitAny: <explanation>
-function testFreeze(id, value) {
-    const file = __filename;
-    return (0, freeze_fn_1.freeze)(file, (source, checker) => {
-        const tests = findCalls(source).filter((c) => c.getText().startsWith("testFreeze"));
-        const test = tests.find((t) => t.arguments[0].getText().includes(id));
-        if (!test) {
-            throw new Error(`Could not find testFreeze call with id ${id}`);
-        }
-        return test.arguments[1];
-    });
-}
-describe("freeze", () => {
-    it("should freeze a value", () => {
-        const result = testFreeze("1", { a: 1, b: new Date() });
-        expect(result).toEqual("\ntype Output = { a: number; b: Date; };");
-    });
-    it("should freeze a value with a nested object", () => {
-        const result = testFreeze("2", {});
-        expect(result).toEqual([
-            "type Thing = { a: number; b: { c: number; }; }",
-            "type Output = Thing;",
-        ].join("\n"));
-    });
-    it("should freeze a value with a nested array", () => {
-        const result = testFreeze("3", {});
-        expect(result).toEqual([
-            "type Thing = { a: number; b: (number)[]; }",
-            "type Output = Thing;",
-        ].join("\n"));
-    });
-    it("should freeze a value referencing another one", () => {
-        const result = testFreeze("4", {});
-        expect(result).toEqual([
-            "type Thing = { a: string; }",
-            "type OtherThing = { b: Thing; }",
-            "type Output = OtherThing;",
-        ].join("\n"));
-    });
-    it("should freeze a value referencing another one 2", () => {
-        const result = testFreeze("41", {});
-        expect(result).toEqual(["type Thing = { a: Thing; }", "type Output = Thing;"].join("\n"));
-    });
-    it("should freeze a cross-recursive value", () => {
-        const result = testFreeze("5", {});
-        expect(result).toEqual([
-            "type Thing = { a: number; b: OtherThing; }",
-            "type OtherThing = { c: Thing; }",
-            "type Output = OtherThing;",
-        ].join("\n"));
-    });
-    it("should freeze a value with a nested union", () => {
-        const result = testFreeze("6", {});
-        expect(result).toEqual([
-            "type Thing = { a: number; b: string | number; c: (string | number)[]; }",
-            "type Output = Thing;",
-        ].join("\n"));
-    });
-    it("should freeze a value with a nested intersection", () => {
-        const result = testFreeze("7", {});
-        expect(result).toEqual([
-            `type Thing = { a: number; b: { a: "1"; } & { b: "2"; }; }`,
-            "type Output = Thing;",
-        ].join("\n"));
-    });
-    it("should freeze a readonly array", () => {
-        const result = testFreeze("9", {});
-        expect(result).toEqual([
-            "type Thing = { a: number; b: readonly (number)[]; }",
-            "type Output = Thing;",
-        ].join("\n"));
-    });
-    it("should freeze a readonly object", () => {
-        const result = testFreeze("10", {});
-        expect(result).toEqual([
-            "type Thing = { readonly a: number; readonly b: readonly ({ readonly c: number; })[]; }",
-            "type Output = Thing;",
-        ].join("\n"));
-    });
-    it.skip("should freeze a value with a nested tuple", () => {
-        const result = testFreeze("8", {});
-        expect(result).toEqual([
-            "type Thing = { a: number; b: [number, number]; c: readonly [number, number]; }",
-            "type Output = Thing;",
-        ].join("\n"));
-    });
-    it("should support indexed object types", () => {
-        const result = testFreeze("11", {});
-        expect(result).toEqual([
-            "type Thing = { [key: string]: number; test: number; }",
-            "type Output = Thing;",
-        ].join("\n"));
-    });
-    it("should support records", () => {
-        const result = testFreeze("12", {});
-        expect(result).toEqual(["", "type Output = Record<string, number>;"].join("\n"));
-    });
-    it("should coalesce enum members to their value", () => {
-        let Thing;
-        (function (Thing) {
-            Thing["A"] = "0";
-            Thing[Thing["B"] = 1] = "B";
-            Thing[Thing["C"] = 2] = "C";
-        })(Thing || (Thing = {}));
-        const resultA = testFreeze("13", Thing.A);
-        expect(resultA).toEqual(["", 'type Output = "0";'].join("\n"));
-        const resultB = testFreeze("14", Thing.B);
-        expect(resultB).toEqual(["", "type Output = 1;"].join("\n"));
-    });
-    // it("should freeze a value referencing a generic", () => {
-    // 	const thing = (a: number) => ({ a });
-    // 	type OtherThing = { b: ReturnType<typeof thing> };
-    // 	const result = testFreeze("13", {} as OtherThing);
-    // 	expect(result).toEqual(
-    // 		["type Thing<T> = { a: T; }", "type Output = Thing<number>;"].join("\n"),
-    // 	);
-    // });
-    it("should freeze string literal types", () => {
-        const result = testFreeze("15", {});
-        expect(result).toEqual(["", 'type Output = undefined | "a";'].join("\n"));
-    });
-    it.skip("should freeze a generic", () => {
-        const result = testFreeze("16", {});
-        expect(result).toEqual(["type Thing<T> = { a: T; }", "type Output = Thing<number>;"].join("\n"));
-    });
-});
-//# sourceMappingURL=freeze.spec.js.map

package/dist/freeze.spec.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"freeze.spec.js","sourceRoot":"","sources":["../src/freeze.spec.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,+CAAiC;AACjC,2CAAqC;AAErC,SAAS,SAAS,CAAC,MAAe;IAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACtC,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,4DAA4D;AAC5D,SAAS,UAAU,CAAC,EAAU,EAAE,KAAU;IACxC,MAAM,IAAI,GAAG,UAAU,CAAC;IACxB,OAAO,IAAA,kBAAM,EAAC,IAAI,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE;QACtC,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3C,CAAC,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CACrC,CAAC;QACF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;QACtE,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CAAC,0CAA0C,EAAE,EAAE,CAAC,CAAC;QAClE,CAAC;QAED,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC;AAED,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC;QAExD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QAGpD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,EAAW,CAAC,CAAC;QAE5C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CACpB;YACE,gDAAgD;YAChD,sBAAsB;SACvB,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QAGnD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,EAAW,CAAC,CAAC;QAE5C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CACpB;YACE,4CAA4C;YAC5C,sBAAsB;SACvB,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QAIvD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,EAAgB,CAAC,CAAC;QAEjD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CACpB;YACE,6BAA6B;YAC7B,iCAAiC;YACjC,2BAA2B;SAC5B,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QAEzD,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,EAAW,CAAC,CAAC;QAE7C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CACpB,CAAC,4BAA4B,EAAE,sBAAsB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAClE,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAI/C,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,EAAgB,CAAC,CAAC;QAEjD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CACpB;YACE,4CAA4C;YAC5C,iCAAiC;YACjC,2BAA2B;SAC5B,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QAGnD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,EAAW,CAAC,CAAC;QAE5C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CACpB;YACE,yEAAyE;YACzE,sBAAsB;SACvB,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAG1D,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,EAAW,CAAC,CAAC;QAE5C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CACpB;YACE,2DAA2D;YAC3D,sBAAsB;SACvB,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAGxC,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,EAAW,CAAC,CAAC;QAE5C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CACpB;YACE,qDAAqD;YACrD,sBAAsB;SACvB,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAMzC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,EAAW,CAAC,CAAC;QAE7C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CACpB;YACE,wFAAwF;YACxF,sBAAsB;SACvB,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;QAOxD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,EAAW,CAAC,CAAC;QAE5C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CACpB;YACE,gFAAgF;YAChF,sBAAsB;SACvB,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAE7C,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,EAAW,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CACpB;YACE,uDAAuD;YACvD,sBAAsB;SACvB,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAEhC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,EAAW,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CACpB,CAAC,EAAE,EAAE,uCAAuC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACzD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAK,KAIJ;QAJD,WAAK,KAAK;YACR,gBAAO,CAAA;YACP,2BAAK,CAAA;YACL,2BAAK,CAAA;QACP,CAAC,EAJI,KAAK,KAAL,KAAK,QAIT;QACD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAE/D,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,4DAA4D;IAC5D,yCAAyC;IACzC,sDAAsD;IAEtD,sDAAsD;IAEtD,2BAA2B;IAC3B,8EAA8E;IAC9E,MAAM;IACN,MAAM;IAEN,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,EAAqB,CAAC,CAAC;QACvD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,gCAAgC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;QAGtC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,EAAmB,CAAC,CAAC;QAErD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CACpB,CAAC,2BAA2B,EAAE,8BAA8B,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACzE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC","sourcesContent":["import * as ts from \"typescript\";\nimport { freeze } from \"./freeze.fn\";\n\nfunction findCalls(source: ts.Node): ts.CallExpression[] {\n  const children = source.getChildren();\n  const innerCalls = children.flatMap((c) => findCalls(c));\n  if (ts.isCallExpression(source)) {\n    innerCalls.push(source);\n  }\n  return innerCalls;\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: <explanation>\nfunction testFreeze(id: string, value: any) {\n  const file = __filename;\n  return freeze(file, (source, checker) => {\n    const tests = findCalls(source).filter((c) =>\n      c.getText().startsWith(\"testFreeze\"),\n    );\n    const test = tests.find((t) => t.arguments[0].getText().includes(id));\n    if (!test) {\n      throw new Error(`Could not find testFreeze call with id ${id}`);\n    }\n\n    return test.arguments[1];\n  });\n}\n\ndescribe(\"freeze\", () => {\n  it(\"should freeze a value\", () => {\n    const result = testFreeze(\"1\", { a: 1, b: new Date() });\n\n    expect(result).toEqual(\"\\ntype Output = { a: number; b: Date; };\");\n  });\n\n  it(\"should freeze a value with a nested object\", () => {\n    type Thing = { a: number; b: { c: number } };\n\n    const result = testFreeze(\"2\", {} as Thing);\n\n    expect(result).toEqual(\n      [\n        \"type Thing = { a: number; b: { c: number; }; }\",\n        \"type Output = Thing;\",\n      ].join(\"\\n\"),\n    );\n  });\n\n  it(\"should freeze a value with a nested array\", () => {\n    type Thing = { a: number; b: number[] };\n\n    const result = testFreeze(\"3\", {} as Thing);\n\n    expect(result).toEqual(\n      [\n        \"type Thing = { a: number; b: (number)[]; }\",\n        \"type Output = Thing;\",\n      ].join(\"\\n\"),\n    );\n  });\n\n  it(\"should freeze a value referencing another one\", () => {\n    type Thing = { a: string };\n    type OtherThing = { b: Thing };\n\n    const result = testFreeze(\"4\", {} as OtherThing);\n\n    expect(result).toEqual(\n      [\n        \"type Thing = { a: string; }\",\n        \"type OtherThing = { b: Thing; }\",\n        \"type Output = OtherThing;\",\n      ].join(\"\\n\"),\n    );\n  });\n\n  it(\"should freeze a value referencing another one 2\", () => {\n    type Thing = { a: Thing };\n    const result = testFreeze(\"41\", {} as Thing);\n\n    expect(result).toEqual(\n      [\"type Thing = { a: Thing; }\", \"type Output = Thing;\"].join(\"\\n\"),\n    );\n  });\n\n  it(\"should freeze a cross-recursive value\", () => {\n    type Thing = { a: number; b: OtherThing };\n    type OtherThing = { c: Thing };\n\n    const result = testFreeze(\"5\", {} as OtherThing);\n\n    expect(result).toEqual(\n      [\n        \"type Thing = { a: number; b: OtherThing; }\",\n        \"type OtherThing = { c: Thing; }\",\n        \"type Output = OtherThing;\",\n      ].join(\"\\n\"),\n    );\n  });\n\n  it(\"should freeze a value with a nested union\", () => {\n    type Thing = { a: number; b: string | number; c: (string | number)[] };\n\n    const result = testFreeze(\"6\", {} as Thing);\n\n    expect(result).toEqual(\n      [\n        \"type Thing = { a: number; b: string | number; c: (string | number)[]; }\",\n        \"type Output = Thing;\",\n      ].join(\"\\n\"),\n    );\n  });\n\n  it(\"should freeze a value with a nested intersection\", () => {\n    type Thing = { a: number; b: { a: \"1\" } & { b: \"2\" } };\n\n    const result = testFreeze(\"7\", {} as Thing);\n\n    expect(result).toEqual(\n      [\n        `type Thing = { a: number; b: { a: \"1\"; } & { b: \"2\"; }; }`,\n        \"type Output = Thing;\",\n      ].join(\"\\n\"),\n    );\n  });\n\n  it(\"should freeze a readonly array\", () => {\n    type Thing = { a: number; b: readonly number[] };\n\n    const result = testFreeze(\"9\", {} as Thing);\n\n    expect(result).toEqual(\n      [\n        \"type Thing = { a: number; b: readonly (number)[]; }\",\n        \"type Output = Thing;\",\n      ].join(\"\\n\"),\n    );\n  });\n\n  it(\"should freeze a readonly object\", () => {\n    type Thing = {\n      readonly a: number;\n      readonly b: readonly { readonly c: number }[];\n    };\n\n    const result = testFreeze(\"10\", {} as Thing);\n\n    expect(result).toEqual(\n      [\n        \"type Thing = { readonly a: number; readonly b: readonly ({ readonly c: number; })[]; }\",\n        \"type Output = Thing;\",\n      ].join(\"\\n\"),\n    );\n  });\n\n  it.skip(\"should freeze a value with a nested tuple\", () => {\n    type Thing = {\n      a: number;\n      b: [number, number];\n      c: readonly [number, number];\n    };\n\n    const result = testFreeze(\"8\", {} as Thing);\n\n    expect(result).toEqual(\n      [\n        \"type Thing = { a: number; b: [number, number]; c: readonly [number, number]; }\",\n        \"type Output = Thing;\",\n      ].join(\"\\n\"),\n    );\n  });\n\n  it(\"should support indexed object types\", () => {\n    type Thing = { [key: string]: number; test: number };\n    const result = testFreeze(\"11\", {} as Thing);\n    expect(result).toEqual(\n      [\n        \"type Thing = { [key: string]: number; test: number; }\",\n        \"type Output = Thing;\",\n      ].join(\"\\n\"),\n    );\n  });\n\n  it(\"should support records\", () => {\n    type Thing = Record<string, number>;\n    const result = testFreeze(\"12\", {} as Thing);\n    expect(result).toEqual(\n      [\"\", \"type Output = Record<string, number>;\"].join(\"\\n\"),\n    );\n  });\n\n  it(\"should coalesce enum members to their value\", () => {\n    enum Thing {\n      A = \"0\",\n      B = 1,\n      C = 2,\n    }\n    const resultA = testFreeze(\"13\", Thing.A);\n    expect(resultA).toEqual([\"\", 'type Output = \"0\";'].join(\"\\n\"));\n\n    const resultB = testFreeze(\"14\", Thing.B);\n    expect(resultB).toEqual([\"\", \"type Output = 1;\"].join(\"\\n\"));\n  });\n\n  // it(\"should freeze a value referencing a generic\", () => {\n  // \tconst thing = (a: number) => ({ a });\n  // \ttype OtherThing = { b: ReturnType<typeof thing> };\n\n  // \tconst result = testFreeze(\"13\", {} as OtherThing);\n\n  // \texpect(result).toEqual(\n  // \t\t[\"type Thing<T> = { a: T; }\", \"type Output = Thing<number>;\"].join(\"\\n\"),\n  // \t);\n  // });\n\n  it(\"should freeze string literal types\", () => {\n    const result = testFreeze(\"15\", {} as \"a\" | undefined);\n    expect(result).toEqual([\"\", 'type Output = undefined | \"a\";'].join(\"\\n\"));\n  });\n\n  it.skip(\"should freeze a generic\", () => {\n    type Thing<T> = { a: T };\n\n    const result = testFreeze(\"16\", {} as Thing<number>);\n\n    expect(result).toEqual(\n      [\"type Thing<T> = { a: T; }\", \"type Output = Thing<number>;\"].join(\"\\n\"),\n    );\n  });\n});\n"]}

package/dist/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,cAAc,CAAC"}

package/dist/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,qDAAmC","sourcesContent":["export * from \"./freeze.decorator\";\nexport { type Divergence } from \"./divergence\";\n"]}