@ddd-ts/freeze 0.0.36 → 0.0.38

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2023 Aetherall
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/dist/index.js

@@ -1,8 +1,6 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.freeze = exports.Freeze = void 0;
-var freeze_decorator_1 = require("./references/freeze.decorator");
-Object.defineProperty(exports, "Freeze", { enumerable: true, get: function () { return freeze_decorator_1.Freeze; } });
-var freeze_function_1 = require("./references/freeze.function");
-Object.defineProperty(exports, "freeze", { enumerable: true, get: function () { return freeze_function_1.freeze; } });
-//# sourceMappingURL=index.js.map
+Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
+const require_freeze_decorator = require('./references/freeze.decorator.js');
+const require_freeze_function = require('./references/freeze.function.js');
+
+exports.Freeze = require_freeze_decorator.Freeze;
+exports.freeze = require_freeze_function.freeze;

package/dist/index.mjs

@@ -0,0 +1,4 @@
+import { Freeze } from "./references/freeze.decorator.mjs";
+import { freeze } from "./references/freeze.function.mjs";
+
+export { Freeze, freeze };

package/dist/references/freeze.decorator.js

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

package/dist/references/freeze.decorator.mjs

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

package/dist/references/freeze.function.js

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

package/dist/references/freeze.function.mjs

@@ -0,0 +1,5 @@
+//#region src/references/freeze.function.ts
+function freeze(..._args) {}
+
+//#endregion
+export { freeze };

package/package.json

@@ -1,32 +1,43 @@
 {
-	"name": "@ddd-ts/freeze",
-	"version": "0.0.36",
-	"main": "dist/index.js",
-	"types": "dist/index.d.ts",
-	"license": "MIT",
-	"repository": {
-		"url": "git+https://github.com/ddd-ts/monorepo"
-	},
-	"bin": {
-		"freeze": "dist/entrypoints/freeze.entrypoint.js"
-	},
-	"scripts": {
-		"build": "tsc",
-		"test": "jest --config node_modules/@ddd-ts/tools/jest.config.js"
-	},
-	"peerDependencies": {
-		"ts-morph": "^23.0.0",
-		"typescript": "^5.5.4"
-	},
-	"dependencies": {
-		"@ddd-ts/core": "0.0.36",
-		"@ddd-ts/shape": "0.0.36",
-		"@ddd-ts/traits": "0.0.36",
-		"@ddd-ts/types": "0.0.36"
-	},
-	"devDependencies": {
-		"@ddd-ts/tools": "0.0.36",
-		"@types/jest": "^29.5.1",
-		"@types/node": "^17.0.13"
-	}
-}
+  "name": "@ddd-ts/freeze",
+  "version": "0.0.38",
+  "types": "dist/index.d.ts",
+  "license": "MIT",
+  "repository": {
+    "url": "git+https://github.com/ddd-ts/monorepo"
+  },
+  "files": [
+    "dist"
+  ],
+  "bin": {
+    "freeze": "dist/entrypoints/freeze.entrypoint.js"
+  },
+  "peerDependencies": {
+    "ts-morph": "^23.0.0",
+    "typescript": "^5.5.4"
+  },
+  "dependencies": {
+    "@ddd-ts/core": "0.0.38",
+    "@ddd-ts/shape": "0.0.38",
+    "@ddd-ts/traits": "0.0.38",
+    "@ddd-ts/types": "0.0.38"
+  },
+  "devDependencies": {
+    "@ddd-ts/tools": "0.0.38",
+    "@types/jest": "^29.5.1",
+    "@types/node": "^17.0.13"
+  },
+  "exports": {
+    ".": {
+      "import": "./dist/index.mjs",
+      "require": "./dist/index.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "main": "./dist/index.js",
+  "module": "./dist/index.mjs",
+  "scripts": {
+    "build": "tsdown --config node_modules/@ddd-ts/tools/tsdown.config.js",
+    "test": "jest --config node_modules/@ddd-ts/tools/jest.config.js"
+  }
+}

package/dist/divergence/divergence.js

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

package/dist/divergence/divergence.js.map

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

package/dist/divergence/divergence.spec.js

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

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

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

package/dist/entrypoints/freeze-decorator.entrypoint.js

@@ -1,101 +0,0 @@
-"use strict";
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-const ts_morph_1 = require("ts-morph");
-const node_path_1 = require("node:path");
-const explore_type_1 = require("../utils/explore-type");
-const node_fs_1 = __importDefault(require("node:fs"));
-const project_1 = require("./project");
-const cwd = process.cwd();
-const decoratorFile = project_1.project.getSourceFile(`${__dirname}/../references/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 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_1.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, explore_type_1.exploreType)(serialized.compilerType, project_1.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_1.project.saveSync();
-        const output = [
-            ...other.values(),
-            `export type ${serializedName} = ${result}`,
-        ].join("\n");
-        node_fs_1.default.writeFileSync(`${directory.getPath()}/${serializedFilename}.ts`, output);
-    }
-}
-//# sourceMappingURL=freeze-decorator.entrypoint.js.map

package/dist/entrypoints/freeze-decorator.entrypoint.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"freeze-decorator.entrypoint.js","sourceRoot":"","sources":["../../src/entrypoints/freeze-decorator.entrypoint.ts"],"names":[],"mappings":";;;;;AAAA,uCAA8B;AAC9B,yCAAqC;AACrC,wDAAoD;AACpD,sDAAyB;AACzB,uCAAoC;AAEpC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;AAE1B,MAAM,aAAa,GAAG,iBAAO,CAAC,aAAa,CAAC,GAAG,SAAS,sCAAsC,CAAC,CAAC;AAChG,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,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,iBAAO;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,0BAAW,EACxB,UAAU,CAAC,YAAmB,EAC9B,iBAAO,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,iBAAO,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 { ts } from \"ts-morph\";\nimport { relative } from \"node:path\";\nimport { exploreType } from \"../utils/explore-type\";\nimport fs from \"node:fs\";\nimport { project } from \"./project\";\n\nconst cwd = process.cwd();\n\nconst decoratorFile = project.getSourceFile(`${__dirname}/../references/freeze.decorator.d.ts`);\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\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/entrypoints/freeze-function.entrypoint.js

@@ -1,87 +0,0 @@
-"use strict";
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-const ts_morph_1 = require("ts-morph");
-const node_path_1 = require("node:path");
-const node_fs_1 = __importDefault(require("node:fs"));
-const explore_type_1 = require("../utils/explore-type");
-const get_pretty_type_1 = require("../utils/get-pretty-type");
-const project_1 = require("./project");
-const cwd = process.cwd();
-const functionFile = project_1.project.getSourceFile(`${__dirname}/../references/freeze.function.d.ts`);
-if (!functionFile) {
-    throw new Error("The freeze function is not used in the project.");
-}
-const references = functionFile.getFunction("freeze")?.findReferences();
-if (!references) {
-    throw new Error("The freeze function is imported, but not used in the project.");
-}
-function lowercasefirstletter(str) {
-    return str.charAt(0).toLowerCase() + str.slice(1);
-}
-for (const ref of references) {
-    for (const refref of ref.getReferences()) {
-        const callExpression = refref
-            .getNode()
-            .getParentIfKind(ts_morph_1.ts.SyntaxKind.CallExpression);
-        if (!callExpression)
-            continue;
-        const rpath = (0, node_path_1.relative)(cwd, callExpression.getSourceFile().getFilePath());
-        const typeArguments = callExpression.getTypeArguments();
-        const freezeParameters = typeArguments[0].asKind(ts_morph_1.ts.SyntaxKind.TypeLiteral);
-        const alreadyFrozen = typeArguments[1];
-        if (!freezeParameters) {
-            console.log(`${rpath}:${callExpression.getStartLineNumber()}: No freeze parameters`);
-            continue;
-        }
-        const nameProperty = freezeParameters.getProperty("name");
-        if (!nameProperty) {
-            console.log(`${rpath}:${callExpression.getStartLineNumber()}: No name property`);
-            continue;
-        }
-        const name = nameProperty.getType().getLiteralValue();
-        if (typeof name !== "string") {
-            console.log(`${rpath}:${callExpression.getStartLineNumber()}: Name is not a string literal`);
-            continue;
-        }
-        if (alreadyFrozen) {
-            console.log(`${rpath} - ${name}: Already frozen with <${alreadyFrozen.getText()}>`);
-            continue;
-        }
-        const typeProperty = freezeParameters.getProperty("type");
-        if (!typeProperty) {
-            console.log(`${rpath} - ${name}: No type property`);
-            continue;
-        }
-        const type = typeProperty.getType();
-        const prettyType = (0, get_pretty_type_1.getPrettyType)(type, callExpression);
-        const other = new Map();
-        let result = (0, explore_type_1.exploreType)(prettyType.type.compilerType, project_1.project.getTypeChecker().compilerObject, other);
-        const aliasName = prettyType.alias.getName();
-        prettyType.dispose();
-        for (const [key, value] of other) {
-            if (key.name !== aliasName)
-                continue;
-            result = result.replace(new RegExp(`\\b${aliasName}\\b`, "g"), value.replace(new RegExp(`^type ${aliasName} = `), ""));
-            other.delete(key);
-        }
-        const serializedName = name;
-        const serializedFilename = lowercasefirstletter(`${name}.serialized`);
-        const directory = refref.getSourceFile().getDirectory();
-        callExpression.getSourceFile().addImportDeclaration({
-            moduleSpecifier: `./${serializedFilename}`,
-            namedImports: [serializedName],
-        });
-        callExpression.addTypeArgument(serializedName);
-        project_1.project.saveSync();
-        const output = [
-            ...other.values(),
-            `export type ${serializedName} = ${result}`,
-        ].join("\n");
-        node_fs_1.default.writeFileSync(`${directory.getPath()}/${serializedFilename}.ts`, output);
-        console.log(`${rpath} - ${name}: Frozen as ${serializedName} in ${serializedFilename}.ts`);
-    }
-}
-//# sourceMappingURL=freeze-function.entrypoint.js.map

package/dist/entrypoints/freeze-function.entrypoint.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"freeze-function.entrypoint.js","sourceRoot":"","sources":["../../src/entrypoints/freeze-function.entrypoint.ts"],"names":[],"mappings":";;;;;AAAA,uCAA8B;AAC9B,yCAAqC;AACrC,sDAAyB;AACzB,wDAAoD;AACpD,8DAAyD;AACzD,uCAAoC;AAEpC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;AAE1B,MAAM,YAAY,GAAG,iBAAO,CAAC,aAAa,CAAC,GAAG,SAAS,qCAAqC,CAAC,CAAC;AAC9F,IAAI,CAAC,YAAY,EAAE,CAAC;IAClB,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,GAAG,YAAY,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC;AAExE,IAAI,CAAC,UAAU,EAAE,CAAC;IAChB,MAAM,IAAI,KAAK,CACb,+DAA+D,CAChE,CAAC;AACJ,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,cAAc,GAAG,MAAM;aAC1B,OAAO,EAAE;aACT,eAAe,CAAC,aAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;QACjD,IAAI,CAAC,cAAc;YAAE,SAAS;QAE9B,MAAM,KAAK,GAAG,IAAA,oBAAQ,EAAC,GAAG,EAAE,cAAc,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QAE1E,MAAM,aAAa,GAAG,cAAc,CAAC,gBAAgB,EAAE,CAAC;QAExD,MAAM,gBAAgB,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,aAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QAC5E,MAAM,aAAa,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAEvC,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,OAAO,CAAC,GAAG,CACT,GAAG,KAAK,IAAI,cAAc,CAAC,kBAAkB,EAAE,wBAAwB,CACxE,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,YAAY,GAAG,gBAAgB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,CAAC,GAAG,CACT,GAAG,KAAK,IAAI,cAAc,CAAC,kBAAkB,EAAE,oBAAoB,CACpE,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC,eAAe,EAAE,CAAC;QACtD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,CAAC,GAAG,CACT,GAAG,KAAK,IAAI,cAAc,CAAC,kBAAkB,EAAE,gCAAgC,CAChF,CAAC;YACF,SAAS;QACX,CAAC;QAED,IAAI,aAAa,EAAE,CAAC;YAClB,OAAO,CAAC,GAAG,CACT,GAAG,KAAK,MAAM,IAAI,0BAA0B,aAAa,CAAC,OAAO,EAAE,GAAG,CACvE,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,YAAY,GAAG,gBAAgB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,CAAC,GAAG,CACT,GAAG,KAAK,MAAM,IAAI,oBAAoB,CACvC,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC;QAEpC,MAAM,UAAU,GAAG,IAAA,+BAAa,EAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAEvD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;QACxB,IAAI,MAAM,GAAG,IAAA,0BAAW,EACtB,UAAU,CAAC,IAAI,CAAC,YAAY,EAC5B,iBAAO,CAAC,cAAc,EAAE,CAAC,cAAc,EACvC,KAAK,CACN,CAAC;QACF,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QAC7C,UAAU,CAAC,OAAO,EAAE,CAAC;QACrB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;YACjC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;gBAAE,SAAS;YACrC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,MAAM,SAAS,KAAK,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,SAAS,SAAS,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACvH,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;QAED,MAAM,cAAc,GAAG,IAAI,CAAC;QAC5B,MAAM,kBAAkB,GAAG,oBAAoB,CAC7C,GAAG,IAAI,aAAa,CACrB,CAAC;QAEF,MAAM,SAAS,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC,YAAY,EAAE,CAAC;QAExD,cAAc,CAAC,aAAa,EAAE,CAAC,oBAAoB,CAAC;YAClD,eAAe,EAAE,KAAK,kBAAkB,EAAE;YAC1C,YAAY,EAAE,CAAC,cAAc,CAAC;SAC/B,CAAC,CAAC;QAEH,cAAc,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;QAE/C,iBAAO,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;QAE5E,OAAO,CAAC,GAAG,CACT,GAAG,KAAK,MAAM,IAAI,eAAe,cAAc,OAAO,kBAAkB,KAAK,CAC9E,CAAC;IACJ,CAAC;AACH,CAAC","sourcesContent":["import { ts } from \"ts-morph\";\nimport { relative } from \"node:path\";\nimport fs from \"node:fs\";\nimport { exploreType } from \"../utils/explore-type\";\nimport { getPrettyType } from \"../utils/get-pretty-type\";\nimport { project } from \"./project\";\n\nconst cwd = process.cwd();\n\nconst functionFile = project.getSourceFile(`${__dirname}/../references/freeze.function.d.ts`);\nif (!functionFile) {\n  throw new Error(\"The freeze function is not used in the project.\");\n}\n\nconst references = functionFile.getFunction(\"freeze\")?.findReferences();\n\nif (!references) {\n  throw new Error(\n    \"The freeze function is imported, but not used in the project.\",\n  );\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 callExpression = refref\n      .getNode()\n      .getParentIfKind(ts.SyntaxKind.CallExpression);\n    if (!callExpression) continue;\n\n    const rpath = relative(cwd, callExpression.getSourceFile().getFilePath());\n\n    const typeArguments = callExpression.getTypeArguments();\n\n    const freezeParameters = typeArguments[0].asKind(ts.SyntaxKind.TypeLiteral);\n    const alreadyFrozen = typeArguments[1];\n\n    if (!freezeParameters) {\n      console.log(\n        `${rpath}:${callExpression.getStartLineNumber()}: No freeze parameters`,\n      );\n      continue;\n    }\n\n    const nameProperty = freezeParameters.getProperty(\"name\");\n    if (!nameProperty) {\n      console.log(\n        `${rpath}:${callExpression.getStartLineNumber()}: No name property`,\n      );\n      continue;\n    }\n    const name = nameProperty.getType().getLiteralValue();\n    if (typeof name !== \"string\") {\n      console.log(\n        `${rpath}:${callExpression.getStartLineNumber()}: Name is not a string literal`,\n      );\n      continue;\n    }\n\n    if (alreadyFrozen) {\n      console.log(\n        `${rpath} - ${name}: Already frozen with <${alreadyFrozen.getText()}>`,\n      );\n      continue;\n    }\n\n    const typeProperty = freezeParameters.getProperty(\"type\");\n    if (!typeProperty) {\n      console.log(\n        `${rpath} - ${name}: No type property`,\n      );\n      continue;\n    }\n    const type = typeProperty.getType();\n\n    const prettyType = getPrettyType(type, callExpression);\n\n    const other = new Map();\n    let result = exploreType(\n      prettyType.type.compilerType,\n      project.getTypeChecker().compilerObject,\n      other,\n    );\n    const aliasName = prettyType.alias.getName();\n    prettyType.dispose();\n    for (const [key, value] of other) {\n      if (key.name !== aliasName) continue;\n      result = result.replace(new RegExp(`\\\\b${aliasName}\\\\b`, \"g\"), value.replace(new RegExp(`^type ${aliasName} = `), \"\"));\n      other.delete(key);\n    }\n\n    const serializedName = name;\n    const serializedFilename = lowercasefirstletter(\n      `${name}.serialized`,\n    );\n\n    const directory = refref.getSourceFile().getDirectory();\n\n    callExpression.getSourceFile().addImportDeclaration({\n      moduleSpecifier: `./${serializedFilename}`,\n      namedImports: [serializedName],\n    });\n\n    callExpression.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    console.log(\n      `${rpath} - ${name}: Frozen as ${serializedName} in ${serializedFilename}.ts`,\n    );\n  }\n}\n"]}

package/dist/entrypoints/freeze.entrypoint.js

@@ -1,5 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-require("./freeze-decorator.entrypoint");
-require("./freeze-function.entrypoint");
-//# sourceMappingURL=freeze.entrypoint.js.map

package/dist/entrypoints/freeze.entrypoint.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"freeze.entrypoint.js","sourceRoot":"","sources":["../../src/entrypoints/freeze.entrypoint.ts"],"names":[],"mappings":";;AAAA,yCAAuC;AACvC,wCAAsC","sourcesContent":["import './freeze-decorator.entrypoint';\nimport './freeze-function.entrypoint';\n"]}

package/dist/entrypoints/project.js

@@ -1,10 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.project = void 0;
-const ts_morph_1 = require("ts-morph");
-const cwd = process.cwd();
-const tsConfigFilePath = `${cwd}/tsconfig.json`;
-exports.project = new ts_morph_1.Project({
-    tsConfigFilePath,
-});
-//# sourceMappingURL=project.js.map

package/dist/entrypoints/project.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"project.js","sourceRoot":"","sources":["../../src/entrypoints/project.ts"],"names":[],"mappings":";;;AAAA,uCAAmC;AAEnC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;AAC1B,MAAM,gBAAgB,GAAG,GAAG,GAAG,gBAAgB,CAAC;AAEnC,QAAA,OAAO,GAAG,IAAI,kBAAO,CAAC;IACjC,gBAAgB;CACjB,CAAC,CAAC","sourcesContent":["import { Project } from \"ts-morph\";\n\nconst cwd = process.cwd();\nconst tsConfigFilePath = `${cwd}/tsconfig.json`;\n\nexport const project = new Project({\n  tsConfigFilePath,\n});\n"]}

package/dist/freeze.spec.js

@@ -1,184 +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;
-    };
-})();
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-const ts = __importStar(require("typescript"));
-const explore_type_1 = require("./utils/explore-type");
-const node_assert_1 = __importDefault(require("node:assert"));
-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;
-    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 test = findCalls(sourceFile).find((c) => c.getText().startsWith("testFreeze") &&
-        c.arguments[0].getText().includes(id));
-    node_assert_1.default.ok(test, `Could not find testFreeze call with id ${id}`);
-    const toFreeze = test.arguments[1];
-    const type = checker.getTypeAtLocation(toFreeze);
-    // Explore the type definition
-    const other = new Map();
-    const explored = (0, explore_type_1.exploreType)(type, checker, other);
-    const typeDefinitions = [...other.values()].join("\n");
-    return `${typeDefinitions}\ntype Output = ${explored};`;
-}
-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,uDAAmD;AACnD,8DAAiC;AAEjC,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;IAExB,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;IAEzC,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;IAE3C,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5C,CAAC,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QACpC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CACtC,CAAC;IACF,qBAAM,CAAC,EAAE,CAAC,IAAI,EAAE,0CAA0C,EAAE,EAAE,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAEnC,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,0BAAW,EAAC,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,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 { exploreType } from \"./utils/explore-type\";\nimport assert from \"node:assert\";\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\n  const program = ts.createProgram([file], { strictNullChecks: true });\n  const checker = program.getTypeChecker();\n\n  // biome-ignore lint/style/noNonNullAssertion: <explanation>\n  const sourceFile = program\n    .getSourceFiles()\n    .find((s) => s.fileName.includes(file))!;\n\n  const test = findCalls(sourceFile).find((c) =>\n    c.getText().startsWith(\"testFreeze\") &&\n    c.arguments[0].getText().includes(id),\n  );\n  assert.ok(test, `Could not find testFreeze call with id ${id}`);\n  const toFreeze = test.arguments[1];\n\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\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.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;AAAA,kEAAuD;AAA9C,0GAAA,MAAM,OAAA;AACf,gEAAsD;AAA7C,yGAAA,MAAM,OAAA","sourcesContent":["export { Freeze } from \"./references/freeze.decorator\";\nexport { freeze } from \"./references/freeze.function\";\nexport { type Divergence } from \"./divergence/divergence\";\n"]}

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

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

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

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

package/dist/utils/explore-type.js

@@ -1,151 +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.exploreType = exploreType;
-const ts = __importStar(require("typescript"));
-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),
-    });
-}
-function listTypeFlagsNames(flags) {
-    const names = [];
-    for (const flagName in ts.TypeFlags) {
-        if (ts.TypeFlags[flagName] & flags) {
-            names.push([flagName, ts.TypeFlags[flagName]]);
-        }
-    }
-    return names;
-}
-//# sourceMappingURL=explore-type.js.map

package/dist/utils/explore-type.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"explore-type.js","sourceRoot":"","sources":["../../src/utils/explore-type.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEA,kCAmCC;AArCD,+CAAiC;AAEjC,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;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","sourcesContent":["import * as ts from \"typescript\";\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\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}\n"]}

package/dist/utils/get-pretty-type.js

@@ -1,24 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.getPrettyType = getPrettyType;
-const ts_morph_1 = require("ts-morph");
-function getPrettyType(type, contextNode) {
-    const project = contextNode.getProject();
-    const checker = project.getTypeChecker().compilerObject;
-    const typeTextForEmbedding = checker.typeToString(type.compilerType, contextNode.compilerNode, ts_morph_1.ts.TypeFormatFlags.NoTruncation |
-        ts_morph_1.ts.TypeFormatFlags.UseFullyQualifiedType |
-        ts_morph_1.ts.TypeFormatFlags.InTypeAlias);
-    const fileName = `__pretty_${Date.now()}_${Math.random().toString(16).slice(2)}.ts`;
-    const sf = project.createSourceFile(fileName, `
-      type Pretty<T> = { [K in keyof T]: T[K] } & {};
-      declare const __v: ${typeTextForEmbedding};
-      export type __X = Pretty<typeof __v>;
-    `, { overwrite: true });
-    const alias = sf.getTypeAliasOrThrow("__X");
-    const pretty = alias.getType();
-    const dispose = () => {
-        project.removeSourceFile(sf);
-    };
-    return { type: pretty, alias, dispose };
-}
-//# sourceMappingURL=get-pretty-type.js.map

package/dist/utils/get-pretty-type.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"get-pretty-type.js","sourceRoot":"","sources":["../../src/utils/get-pretty-type.ts"],"names":[],"mappings":";;AAEA,sCAmCC;AArCD,uCAAyE;AAEzE,SAAgB,aAAa,CAAC,IAAU,EAAE,WAAiB;IAKzD,MAAM,OAAO,GAAY,WAAW,CAAC,UAAU,EAAE,CAAC;IAClD,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC,cAAc,CAAC;IAExD,MAAM,oBAAoB,GAAG,OAAO,CAAC,YAAY,CAC/C,IAAI,CAAC,YAAY,EACjB,WAAW,CAAC,YAAY,EACxB,aAAE,CAAC,eAAe,CAAC,YAAY;QAC/B,aAAE,CAAC,eAAe,CAAC,qBAAqB;QACxC,aAAE,CAAC,eAAe,CAAC,WAAW,CAC/B,CAAC;IAEF,MAAM,QAAQ,GAAG,YAAY,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IACpF,MAAM,EAAE,GAAG,OAAO,CAAC,gBAAgB,CACjC,QAAQ,EACR;;2BAEuB,oBAAoB;;KAE1C,EACD,EAAE,SAAS,EAAE,IAAI,EAAE,CACpB,CAAC;IAEF,MAAM,KAAK,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;IAE/B,MAAM,OAAO,GAAG,GAAG,EAAE;QACnB,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC1C,CAAC","sourcesContent":["import { Type, TypeAliasDeclaration, Project, ts, Node } from \"ts-morph\";\n\nexport function getPrettyType(type: Type, contextNode: Node): {\n  type: Type;\n  alias: TypeAliasDeclaration;\n  dispose: () => void;\n} {\n  const project: Project = contextNode.getProject();\n  const checker = project.getTypeChecker().compilerObject;\n\n  const typeTextForEmbedding = checker.typeToString(\n    type.compilerType,\n    contextNode.compilerNode,\n    ts.TypeFormatFlags.NoTruncation |\n    ts.TypeFormatFlags.UseFullyQualifiedType |\n    ts.TypeFormatFlags.InTypeAlias\n  );\n\n  const fileName = `__pretty_${Date.now()}_${Math.random().toString(16).slice(2)}.ts`;\n  const sf = project.createSourceFile(\n    fileName,\n    `\n      type Pretty<T> = { [K in keyof T]: T[K] } & {};\n      declare const __v: ${typeTextForEmbedding};\n      export type __X = Pretty<typeof __v>;\n    `,\n    { overwrite: true }\n  );\n\n  const alias = sf.getTypeAliasOrThrow(\"__X\");\n  const pretty = alias.getType();\n\n  const dispose = () => {\n    project.removeSourceFile(sf);\n  };\n\n  return { type: pretty, alias, dispose };\n}\n"]}