@ddd-ts/freeze 0.0.35 → 0.0.36

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

@@ -0,0 +1 @@
+{"version":3,"file":"divergence.d.ts","sourceRoot":"","sources":["../../src/divergence/divergence.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CACnC,CAAC,SAAS,OAAO,GACb,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GACd,KAAK,CACV,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAC1B,CAAC,GACD,KAAK,CAAC;AACV,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAClE,CAAC,GACD,KAAK,CAAC;AAEV,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,CAAC,SAAS,OAAO,EAAE,GAAG,EAAE,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAC3E,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAC1D,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACd,KAAK,UAAU,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,GAAG,EAAE,GAC9D,CAAC,CAAC,QAAQ,CAAC,GACX,KAAK,CAAC;AAEV,KAAK,YAAY,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE/E,KAAK,YAAY,CAAC,CAAC,IAAI,mBAAmB,CACxC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CACvC,CAAC;AACF,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC;AAEtE,KAAK,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACtC,MAAM,SAAS,CAAC,GACd,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAEV,KAAK,sBAAsB,CAAC,SAAS,EAAE,OAAO,IAAI,YAAY,CAC5D,MAAM,SAAS,SAAS,MAAM,CAAC,GAC3B,CAAC,SAAS,MAAM,SAAS,GAAG,MAAM,OAAO,GACvC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,SAAS,CAAC,GAC7D,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;IACnE,IAAI;IACJ,IAAI;CACL,GACC,CAAC,GACD,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CACV,CAAC;AAGF,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GACrC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,GAC7B,KAAK,CAAC;AACV,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AACrD,KAAK,YAAY,CAAC,IAAI,EAAE,EAAE,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;AAC7E,KAAK,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;AAC3E,KAAK,SAAS,CAAC,CAAC,IAAI;KACjB,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACvD,GAAG,EAAE,CAAC;AAEP,KAAK,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,SAAS,CAC5D;KACG,CAAC,IAAI,MAAM,IAAI,GAAG,MAAM,EAAE,GAAG,UAAU,CACtC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,EACf,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EACb,GAAG,CACJ;CACF,GAAG;KACD,CAAC,IAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;CAClD,GAAG;KACD,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CAC9C,CACF,SAAS,MAAM,MAAM,GAClB,EAAE,SAAS,MAAM,GACf,KAAK,GACL,MAAM,GACR,KAAK,CAAC;AAGV,KAAK,cAAc,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC;KAC9B,CAAC,IAAI,MAAM,IAAI,GAAG,CAAC;CACrB,GAAG;KACD,CAAC,IAAI,MAAM,EAAE,GAAG,CAAC;CACnB,CAAC,CAAC,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,CAAC;AAE1B,KAAK,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,cAAc,CAChE,IAAI,EACJ,EAAE,CACH,SAAS,MAAM,CAAC,SAAS,MAAM,IAAI,GAAG,MAAM,EAAE,GAC3C,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAC/B,KAAK,CAAC;AACV,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvC,KAAK,GACL,CAAC,SAAS,MAAM,GACd,MAAM,SAAS,MAAM,CAAC,GACpB,IAAI,GACJ,MAAM,SAAS,MAAM,CAAC,GACpB,IAAI,GACJ,MAAM,SAAS,MAAM,CAAC,GACpB,IAAI,GACJ,KAAK,GACX,KAAK,CAAC;AAIZ,KAAK,sBAAsB,CACzB,IAAI,EACJ,KAAK,EACL,CAAC,EACD,GAAG,SAAS,GAAG,EAAE,IACf,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,GACxB,CAAC,SAAS,MAAM,KAAK,GAAG,MAAM,IAAI,GAChC,OAAO,CAAC,KAAK,EAAE;KAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;CAAE,CAAC,SAAS,MAAM,SAAS,GAC3D,OAAO,CAAC,SAAS,CAAC,SAAS,KAAK,GAC9B,UAAU,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,MAAM,CAAC,GAC9C,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,GACtB,MAAM,CAAC;KAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;CAAE,GAAG,CAAC,CAAC,GACjC,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEV,KAAK,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,QAAQ,CACpE,IAAI,SAAS,GAAG,EAAE,GACd,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,GACjD,IAAI,SAAS,MAAM,GACjB,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,GAClE,KAAK,CACZ,CAAC;AAEF,KAAK,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,KAAK,SAAS;IAC5E,MAAM,CAAC;IACP,GAAG,MAAM,CAAC;CACX,GACG,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,MAAM,CAAC,GACtC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,CAAC,GACD,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,GACxC,oCAAoC,GACtC,KAAK,CAAC;AAEV,KAAK,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,YAAY,CACpE,IAAI,EACJ,YAAY,CAAC,KAAK,CAAC,EACnB,OAAO,EACP,GAAG,CACJ,SAAS,MAAM,CAAC,GACb,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,GACtB,KAAK,GACL,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,SAAS,MAAM,CAAC,GACtD,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,GACtB;IAAE,GAAG,EAAE,CAAC,CAAA;CAAE,GACV;IAAE,GAAG,EAAE,IAAI,CAAA;CAAE,GACf,iCAAiC,GACrC,iCAAiC,CAAC;AAEtC,MAAM,MAAM,oBAAoB,CAC9B,IAAI,EACJ,EAAE,EACF,OAAO,EACP,GAAG,SAAS,GAAG,EAAE,EACjB,WAAW,SAAS;IAAE,GAAG,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GAAG;IACnD,GAAG,EAAE,KAAK,CAAC;IACX,GAAG,EAAE,KAAK,CAAC;CACZ,IACC,IAAI,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,GACrC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,SAAS,MAAM,MAAM,GACjD,OAAO,CAAC,MAAM,CAAC,SAAS,IAAI,GAC1B,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,CAAC,GACzD,MAAM,SAAS;IAAE,GAAG,EAAE,MAAM,CAAC,CAAA;CAAE,GAC7B,oBAAoB,CAClB,IAAI,EACJ,EAAE,EACF,OAAO,EACP,GAAG,EACH;IAAE,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC;IAAC,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,CACrD,GACD,MAAM,SAAS;IAAE,GAAG,EAAE,MAAM,CAAC,CAAA;CAAE,GAC7B,oBAAoB,CAClB,IAAI,EACJ,EAAE,EACF,OAAO,EACP,GAAG,EACH;IAAE,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAAC,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,CAAA;CAAE,CACrD,GACD,KAAK,GACX,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,CAAC,GAC3D,SAAS,CAAC,WAAW,CAAC,SAAS,MAAM,MAAM,GACzC,EAAE,SAAS,MAAM,GACf,KAAK,GACL,MAAM,GACR,KAAK,CAAC;AAEZ,MAAM,MAAM,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,oBAAoB,CAC7E,YAAY,CAAC,IAAI,CAAC,EAClB,EAAE,EACF,sBAAsB,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAClE,GAAG,CACJ,CAAC;AAEF,KAAK,iBAAiB,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAClD,IAAI,GACJ,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,IAAI,GACJ,KAAK,CAAC;AAEZ,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAE5D,KAAK,qBAAqB,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,GACrD,IAAI,GACJ,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,GACpB,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,qBAAqB,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,GAC9D,KAAK,GACL,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AAErB,KAAK,gBAAgB,CAAC,IAAI,EAAE,EAAE,IAAI,IAAI,SAAS,EAAE,GAAG,KAAK,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AAI7E,KAAK,eAAe,CAAC,IAAI,EAAE,EAAE,IAAI,IAAI,SAAS,KAAK,CAAC,OAAO,CAAC,GACxD,IAAI,GACJ,EAAE,SAAS,KAAK,CAAC,OAAO,CAAC,GACvB,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,IAAI,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAC3E,EAAE,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GACvB,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,MAAM,CAAC,GACnC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,KAAK,GACL;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,CAAA;CAAE,GACtB,KAAK,GACP,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,GACjC,EAAE,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GACvB,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,GACjC,KAAK,CAAC;AAEZ,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAE/E,KAAK,GAAG,CAAC,IAAI,EAAE,KAAK,SAAS,GAAG,EAAE,IAAI,KAAK,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,GACrE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,IAAI,GAC1B,IAAI,GACJ,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,GACd,KAAK,CAAC;AAEV,KAAK,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,CAAC;AAErE,KAAK,mBAAmB,CAAC,IAAI,EAAE,EAAE,IAAI,IAAI,SAAS,SAAS,GACvD,IAAI,GACJ,EAAE,SAAS,SAAS,GAClB,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,mBAAmB,CAAC,IAAI,EAAE,EAAE,IAAI,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GAC3E,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,GAC1B,KAAK,CAAC;AAGV,MAAM,MAAM,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,GAAG,EAAE,IAAI,MAAM,CAC/D,IAAI,EACJ,EAAE,CACH,SAAS,IAAI,GACV,KAAK,GACL,GAAG,CAAC,QAAQ,CAAC,SAAS,EAAE,GACtB;IAAE,KAAK,EAAE,mBAAmB,CAAA;CAAE,GAC9B,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,SAAS,IAAI,GAClC,KAAK,GACL,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,GACjD,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GACpC,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,IAAI,CAAC,CAAC,GACzC,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,GAC3D,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,IAAI,CAAC,CAAC,GACzC,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GACtC,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,GAC9B,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GACxC,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,GAC7B,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GAC1C,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,GAC/B,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GACjC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,IAAI,CAAC,CAAC,GAC1C,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,GACtC,EAAE,CAAC"}

package/dist/divergence/divergence.js.map

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

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

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

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

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

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

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

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

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

package/dist/{freeze.js → entrypoints/freeze-decorator.entrypoint.js}

@@ -3,38 +3,20 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
     return (mod && mod.__esModule) ? mod : { "default": mod };
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.freeze = freeze;
 const ts_morph_1 = require("ts-morph");
 const node_path_1 = require("node:path");
-const freeze_fn_1 = require("./freeze.fn");
+const 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 tsConfigFilePath = `${cwd}/tsconfig.json`;
-const project = new ts_morph_1.Project({
-    tsConfigFilePath,
-});
-const decoratorfile = project.getSourceFile(`${__dirname}/freeze.decorator.d.ts`);
-if (!decoratorfile) {
+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();
+const references = decoratorFile.getFunction("Freeze")?.findReferences();
 if (!references) {
     throw new Error("The @Freeze decorator is imported, but not used in the project.");
 }
-function freeze(file, getNode) {
-    const program = ts_morph_1.ts.createProgram([file], {});
-    const checker = program.getTypeChecker();
-    const sourceFile = program
-        .getSourceFiles()
-        .find((s) => s.fileName.includes(file));
-    const toFreeze = getNode(sourceFile, checker);
-    const type = checker.getTypeAtLocation(toFreeze);
-    // Explore the type definition
-    const other = new Map();
-    const explored = (0, freeze_fn_1.exploreType)(type, checker, other);
-    const typeDefinitions = [...other.values()].join("\n");
-    return `${typeDefinitions}\ntype Output = ${explored};`;
-}
 function lowercasefirstletter(str) {
     return str.charAt(0).toLowerCase() + str.slice(1);
 }
@@ -63,7 +45,7 @@ for (const ref of references) {
             console.log(`${rpath} - ${classDeclaration.getName()}: No serialize property`);
             continue;
         }
-        const serializeMethod = project
+        const serializeMethod = project_1.project
             .getTypeChecker()
             .getTypeOfSymbolAtLocation(serializeProperty, classDeclaration)
             .getCallSignatures()[0];
@@ -81,7 +63,7 @@ for (const ref of references) {
         }
         console.log(`${rpath} - ${classDeclaration.getName()}: Freezing with version ${version}`);
         const other = new Map();
-        const result = (0, freeze_fn_1.exploreType)(serialized.compilerType, project.getTypeChecker().compilerObject, other);
+        const result = (0, explore_type_1.exploreType)(serialized.compilerType, project_1.project.getTypeChecker().compilerObject, other);
         const type = serializeMethod
             .getParameters()[0]
             .getTypeAtLocation(classDeclaration);
@@ -108,7 +90,7 @@ for (const ref of references) {
             namedImports: [serializedName],
         });
         decorator.addTypeArgument(serializedName);
-        project.saveSync();
+        project_1.project.saveSync();
         const output = [
             ...other.values(),
             `export type ${serializedName} = ${result}`,
@@ -116,4 +98,4 @@ for (const ref of references) {
         node_fs_1.default.writeFileSync(`${directory.getPath()}/${serializedFilename}.ts`, output);
     }
 }
-//# sourceMappingURL=freeze.js.map
+//# sourceMappingURL=freeze-decorator.entrypoint.js.map

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

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

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

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

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

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

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

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

@@ -0,0 +1,3 @@
+import './freeze-decorator.entrypoint';
+import './freeze-function.entrypoint';
+//# sourceMappingURL=freeze.entrypoint.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"freeze.entrypoint.d.ts","sourceRoot":"","sources":["../../src/entrypoints/freeze.entrypoint.ts"],"names":[],"mappings":"AAAA,OAAO,+BAA+B,CAAC;AACvC,OAAO,8BAA8B,CAAC"}

package/dist/entrypoints/freeze.entrypoint.js

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

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

@@ -0,0 +1,3 @@
+import { Project } from "ts-morph";
+export declare const project: Project;
+//# sourceMappingURL=project.d.ts.map

package/dist/entrypoints/project.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project.d.ts","sourceRoot":"","sources":["../../src/entrypoints/project.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAKnC,eAAO,MAAM,OAAO,SAElB,CAAC"}

package/dist/entrypoints/project.js

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

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

@@ -32,9 +32,13 @@ var __importStar = (this && this.__importStar) || (function () {
         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 freeze_fn_1 = require("./freeze.fn");
+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));
@@ -46,14 +50,22 @@ function findCalls(source) {
 // biome-ignore lint/suspicious/noExplicitAny: <explanation>
 function testFreeze(id, value) {
     const file = __filename;
-    return (0, freeze_fn_1.freeze)(file, (source, checker) => {
-        const tests = findCalls(source).filter((c) => c.getText().startsWith("testFreeze"));
-        const test = tests.find((t) => t.arguments[0].getText().includes(id));
-        if (!test) {
-            throw new Error(`Could not find testFreeze call with id ${id}`);
-        }
-        return test.arguments[1];
-    });
+    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", () => {

package/dist/freeze.spec.js.map

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

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

package/dist/index.d.ts.map

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

package/dist/index.js

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

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,qDAAmC","sourcesContent":["export * from \"./freeze.decorator\";\nexport { type Divergence } from \"./divergence\";\n"]}
+{"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/{freeze.decorator.d.ts → references/freeze.decorator.d.ts}

@@ -1,4 +1,4 @@
-import { Divergence, Expand, IsNever } from "./divergence";
+import type { Divergence, Expand, IsNever } from "../divergence/divergence";
 type Freezable<T> = {
     serialize(...args: any[]): T;
 };

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

@@ -0,0 +1 @@
+{"version":3,"file":"freeze.decorator.d.ts","sourceRoot":"","sources":["../../src/references/freeze.decorator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAE5E,KAAK,SAAS,CAAC,CAAC,IAAI;IAClB,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;CAC9B,CAAC;AAEF,KAAK,IAAI,CAAC,CAAC,IAAI,QAAQ,MAAM,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;AAElD,wBAAgB,MAAM,CAAC,MAAM,GAAG,GAAG,MAE/B,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAC9B,UAAU,SAAS,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAE5D,CAAC,KACR,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAC7C,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,CAAC,GACD,MAAM,CAAC,CAAC,CAAC,GACX,KAAK,CAGV"}

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

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

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"freeze.function.d.ts","sourceRoot":"","sources":["../../src/references/freeze.function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAE5E,KAAK,gBAAgB,CAAC,CAAC,EAAE,IAAI,SAAS,MAAM,IAAI;IAC9C,IAAI,EAAE,CAAC,CAAC;IACR,IAAI,EAAE,IAAI,CAAC;CACZ,CAAA;AAED,wBAAgB,MAAM,CACpB,CAAC,SAAS,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,EACvC,MAAM,GAAG,KAAK,EAEd,GAAG,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,GAC5D,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACvB,CAAC,EAAE,CAAC,GACJ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GACX,CAAC,EAAE,CAAC,QACL"}

package/dist/references/freeze.function.js

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

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

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

package/dist/{freeze.fn.d.ts → utils/explore-type.d.ts}

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

package/dist/utils/explore-type.d.ts.map

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

package/dist/{freeze.fn.js → utils/explore-type.js}

@@ -33,42 +33,8 @@ var __importStar = (this && this.__importStar) || (function () {
     };
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.freeze = freeze;
 exports.exploreType = exploreType;
 const ts = __importStar(require("typescript"));
-function freeze(file, getNode) {
-    const program = ts.createProgram([file], { strictNullChecks: true });
-    const checker = program.getTypeChecker();
-    // biome-ignore lint/style/noNonNullAssertion: <explanation>
-    const sourceFile = program
-        .getSourceFiles()
-        .find((s) => s.fileName.includes(file));
-    const toFreeze = getNode(sourceFile, checker);
-    const type = checker.getTypeAtLocation(toFreeze);
-    // Explore the type definition
-    const other = new Map();
-    const explored = exploreType(type, checker, other);
-    const typeDefinitions = [...other.values()].join("\n");
-    return `${typeDefinitions}\ntype Output = ${explored};`;
-}
-function listTypeFlagsNames(flags) {
-    const names = [];
-    for (const flagName in ts.TypeFlags) {
-        if (ts.TypeFlags[flagName] & flags) {
-            names.push([flagName, ts.TypeFlags[flagName]]);
-        }
-    }
-    return names;
-}
-function listSymbolFlagsNames(flags) {
-    const names = [];
-    for (const flagName in ts.TypeFlags) {
-        if (ts.TypeFlags[flagName] & flags) {
-            names.push([flagName, ts.TypeFlags[flagName]]);
-        }
-    }
-    return names;
-}
 function exploreType(type, checker, declarations = new Map(), seen = new Set(["Date", "Record"])) {
     // seen.add(type.symbol?.getName() || "");
     if (type.aliasSymbol && seen.has(type.aliasSymbol.getName())) {
@@ -173,4 +139,13 @@ function exploreNativeType(type, checker, declarations = new Map(), seen = new S
         flags: listTypeFlagsNames(type.flags),
     });
 }
-//# sourceMappingURL=freeze.fn.js.map
+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

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

@@ -0,0 +1,7 @@
+import { Type, TypeAliasDeclaration, Node } from "ts-morph";
+export declare function getPrettyType(type: Type, contextNode: Node): {
+    type: Type;
+    alias: TypeAliasDeclaration;
+    dispose: () => void;
+};
+//# sourceMappingURL=get-pretty-type.d.ts.map

package/dist/utils/get-pretty-type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-pretty-type.d.ts","sourceRoot":"","sources":["../../src/utils/get-pretty-type.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAe,IAAI,EAAE,MAAM,UAAU,CAAC;AAEzE,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,GAAG;IAC5D,IAAI,EAAE,IAAI,CAAC;IACX,KAAK,EAAE,oBAAoB,CAAC;IAC5B,OAAO,EAAE,MAAM,IAAI,CAAC;CACrB,CA+BA"}

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

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

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

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@ddd-ts/freeze",
-	"version": "0.0.35",
+	"version": "0.0.36",
 	"main": "dist/index.js",
 	"types": "dist/index.d.ts",
 	"license": "MIT",
@@ -8,7 +8,7 @@
 		"url": "git+https://github.com/ddd-ts/monorepo"
 	},
 	"bin": {
-		"freeze": "dist/freeze.js"
+		"freeze": "dist/entrypoints/freeze.entrypoint.js"
 	},
 	"scripts": {
 		"build": "tsc",
@@ -19,13 +19,13 @@
 		"typescript": "^5.5.4"
 	},
 	"dependencies": {
-		"@ddd-ts/core": "0.0.35",
-		"@ddd-ts/shape": "0.0.35",
-		"@ddd-ts/traits": "0.0.35",
-		"@ddd-ts/types": "0.0.35"
+		"@ddd-ts/core": "0.0.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.35",
+		"@ddd-ts/tools": "0.0.36",
 		"@types/jest": "^29.5.1",
 		"@types/node": "^17.0.13"
 	}

package/dist/divergence.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"divergence.d.ts","sourceRoot":"","sources":["../src/divergence.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CACnC,CAAC,SAAS,OAAO,GACb,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GACd,KAAK,CACV,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAC1B,CAAC,GACD,KAAK,CAAC;AACV,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAClE,CAAC,GACD,KAAK,CAAC;AAEV,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,CAAC,SAAS,OAAO,EAAE,GAAG,EAAE,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAC3E,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAC1D,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACd,KAAK,UAAU,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,GAAG,EAAE,GAC9D,CAAC,CAAC,QAAQ,CAAC,GACX,KAAK,CAAC;AAEV,KAAK,YAAY,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE/E,KAAK,YAAY,CAAC,CAAC,IAAI,mBAAmB,CACxC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CACvC,CAAC;AACF,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC;AAEtE,KAAK,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACtC,MAAM,SAAS,CAAC,GACd,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAEV,KAAK,sBAAsB,CAAC,SAAS,EAAE,OAAO,IAAI,YAAY,CAC5D,MAAM,SAAS,SAAS,MAAM,CAAC,GAC3B,CAAC,SAAS,MAAM,SAAS,GAAG,MAAM,OAAO,GACvC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,SAAS,CAAC,GAC7D,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;IACnE,IAAI;IACJ,IAAI;CACL,GACC,CAAC,GACD,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CACV,CAAC;AAGF,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GACrC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,GAC7B,KAAK,CAAC;AACV,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AACrD,KAAK,YAAY,CAAC,IAAI,EAAE,EAAE,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;AAC7E,KAAK,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;AAC3E,KAAK,SAAS,CAAC,CAAC,IAAI;KACjB,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACvD,GAAG,EAAE,CAAC;AAEP,KAAK,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,SAAS,CAC5D;KACG,CAAC,IAAI,MAAM,IAAI,GAAG,MAAM,EAAE,GAAG,UAAU,CACtC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,EACf,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EACb,GAAG,CACJ;CACF,GAAG;KACD,CAAC,IAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;CAClD,GAAG;KACD,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CAC9C,CACF,SAAS,MAAM,MAAM,GAClB,EAAE,SAAS,MAAM,GACf,KAAK,GACL,MAAM,GACR,KAAK,CAAC;AAGV,KAAK,cAAc,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC;KAC9B,CAAC,IAAI,MAAM,IAAI,GAAG,CAAC;CACrB,GAAG;KACD,CAAC,IAAI,MAAM,EAAE,GAAG,CAAC;CACnB,CAAC,CAAC,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,CAAC;AAE1B,KAAK,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,cAAc,CAChE,IAAI,EACJ,EAAE,CACH,SAAS,MAAM,CAAC,SAAS,MAAM,IAAI,GAAG,MAAM,EAAE,GAC3C,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAC/B,KAAK,CAAC;AACV,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvC,KAAK,GACL,CAAC,SAAS,MAAM,GACd,MAAM,SAAS,MAAM,CAAC,GACpB,IAAI,GACJ,MAAM,SAAS,MAAM,CAAC,GACpB,IAAI,GACJ,MAAM,SAAS,MAAM,CAAC,GACpB,IAAI,GACJ,KAAK,GACX,KAAK,CAAC;AAIZ,KAAK,sBAAsB,CACzB,IAAI,EACJ,KAAK,EACL,CAAC,EACD,GAAG,SAAS,GAAG,EAAE,IACf,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,GACxB,CAAC,SAAS,MAAM,KAAK,GAAG,MAAM,IAAI,GAChC,OAAO,CAAC,KAAK,EAAE;KAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;CAAE,CAAC,SAAS,MAAM,SAAS,GAC3D,OAAO,CAAC,SAAS,CAAC,SAAS,KAAK,GAC9B,UAAU,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,MAAM,CAAC,GAC9C,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,GACtB,MAAM,CAAC;KAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;CAAE,GAAG,CAAC,CAAC,GACjC,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEV,KAAK,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,QAAQ,CACpE,IAAI,SAAS,GAAG,EAAE,GACd,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,GACjD,IAAI,SAAS,MAAM,GACjB,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,GAClE,KAAK,CACZ,CAAC;AAEF,KAAK,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,KAAK,SAAS;IAC5E,MAAM,CAAC;IACP,GAAG,MAAM,CAAC;CACX,GACG,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,MAAM,CAAC,GACtC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,CAAC,GACD,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,GACxC,oCAAoC,GACtC,KAAK,CAAC;AAEV,KAAK,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,YAAY,CACpE,IAAI,EACJ,YAAY,CAAC,KAAK,CAAC,EACnB,OAAO,EACP,GAAG,CACJ,SAAS,MAAM,CAAC,GACb,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,GACtB,KAAK,GACL,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,SAAS,MAAM,CAAC,GACtD,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,GACtB;IAAE,GAAG,EAAE,CAAC,CAAA;CAAE,GACV;IAAE,GAAG,EAAE,IAAI,CAAA;CAAE,GACf,iCAAiC,GACrC,iCAAiC,CAAC;AAEtC,MAAM,MAAM,oBAAoB,CAC9B,IAAI,EACJ,EAAE,EACF,OAAO,EACP,GAAG,SAAS,GAAG,EAAE,EACjB,WAAW,SAAS;IAAE,GAAG,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,GAAG;IACnD,GAAG,EAAE,KAAK,CAAC;IACX,GAAG,EAAE,KAAK,CAAC;CACZ,IACC,IAAI,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,GACrC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,SAAS,MAAM,MAAM,GACjD,OAAO,CAAC,MAAM,CAAC,SAAS,IAAI,GAC1B,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,CAAC,GACzD,MAAM,SAAS;IAAE,GAAG,EAAE,MAAM,CAAC,CAAA;CAAE,GAC7B,oBAAoB,CAClB,IAAI,EACJ,EAAE,EACF,OAAO,EACP,GAAG,EACH;IAAE,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC;IAAC,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,CACrD,GACD,MAAM,SAAS;IAAE,GAAG,EAAE,MAAM,CAAC,CAAA;CAAE,GAC7B,oBAAoB,CAClB,IAAI,EACJ,EAAE,EACF,OAAO,EACP,GAAG,EACH;IAAE,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAAC,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,CAAA;CAAE,CACrD,GACD,KAAK,GACX,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,CAAC,GAC3D,SAAS,CAAC,WAAW,CAAC,SAAS,MAAM,MAAM,GACzC,EAAE,SAAS,MAAM,GACf,KAAK,GACL,MAAM,GACR,KAAK,CAAC;AAEZ,MAAM,MAAM,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,oBAAoB,CAC7E,YAAY,CAAC,IAAI,CAAC,EAClB,EAAE,EACF,sBAAsB,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAClE,GAAG,CACJ,CAAC;AAEF,KAAK,iBAAiB,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAClD,IAAI,GACJ,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,IAAI,GACJ,KAAK,CAAC;AAEZ,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAE5D,KAAK,qBAAqB,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,GACrD,IAAI,GACJ,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,GACpB,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,qBAAqB,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,GAC9D,KAAK,GACL,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AAErB,KAAK,gBAAgB,CAAC,IAAI,EAAE,EAAE,IAAI,IAAI,SAAS,EAAE,GAAG,KAAK,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AAI7E,KAAK,eAAe,CAAC,IAAI,EAAE,EAAE,IAAI,IAAI,SAAS,KAAK,CAAC,OAAO,CAAC,GACxD,IAAI,GACJ,EAAE,SAAS,KAAK,CAAC,OAAO,CAAC,GACvB,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,IAAI,IAAI,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAC3E,EAAE,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GACvB,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,MAAM,CAAC,GACnC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,KAAK,GACL;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,CAAA;CAAE,GACtB,KAAK,GACP,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,GACjC,EAAE,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GACvB,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,GACjC,KAAK,CAAC;AAEZ,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAE/E,KAAK,GAAG,CAAC,IAAI,EAAE,KAAK,SAAS,GAAG,EAAE,IAAI,KAAK,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,GACrE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,IAAI,GAC1B,IAAI,GACJ,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,GACd,KAAK,CAAC;AAEV,KAAK,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,CAAC;AAErE,KAAK,mBAAmB,CAAC,IAAI,EAAE,EAAE,IAAI,IAAI,SAAS,SAAS,GACvD,IAAI,GACJ,EAAE,SAAS,SAAS,GAClB,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,mBAAmB,CAAC,IAAI,EAAE,EAAE,IAAI,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GAC3E,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,GAC1B,KAAK,CAAC;AAGV,MAAM,MAAM,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,GAAG,EAAE,IAAI,MAAM,CAC/D,IAAI,EACJ,EAAE,CACH,SAAS,IAAI,GACV,KAAK,GACL,GAAG,CAAC,QAAQ,CAAC,SAAS,EAAE,GACtB;IAAE,KAAK,EAAE,mBAAmB,CAAA;CAAE,GAC9B,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,SAAS,IAAI,GAClC,KAAK,GACL,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,GACjD,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GACpC,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,IAAI,CAAC,CAAC,GACzC,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,GAC3D,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,IAAI,CAAC,CAAC,GACzC,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GACtC,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,GAC9B,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GACxC,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,GAC7B,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GAC1C,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,GAC/B,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GACjC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,IAAI,CAAC,CAAC,GAC1C,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,GACtC,EAAE,CAAC"}

package/dist/divergence.js.map

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

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

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

package/dist/divergence.spec.js.map

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

package/dist/freeze.d.ts

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

package/dist/freeze.d.ts.map

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

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

@@ -1 +0,0 @@
-{"version":3,"file":"freeze.decorator.d.ts","sourceRoot":"","sources":["../src/freeze.decorator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE3D,KAAK,SAAS,CAAC,CAAC,IAAI;IAClB,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;CAC9B,CAAC;AAEF,KAAK,IAAI,CAAC,CAAC,IAAI,QAAQ,MAAM,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;AAElD,wBAAgB,MAAM,CAAC,MAAM,GAAG,GAAG,MAE/B,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAC9B,UAAU,SAAS,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAE5D,CAAC,KACR,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAC7C,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,CAAC,GACD,MAAM,CAAC,CAAC,CAAC,GACX,KAAK,CAGV"}

package/dist/freeze.decorator.js.map

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

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

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

package/dist/freeze.fn.js.map

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

package/dist/freeze.js.map

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