@ddd-ts/freeze 0.0.0-elo-new.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/divergence.d.ts +87 -0
- package/dist/divergence.d.ts.map +1 -0
- package/dist/divergence.js +3 -0
- package/dist/divergence.js.map +1 -0
- package/dist/divergence.spec.d.ts +2 -0
- package/dist/divergence.spec.d.ts.map +1 -0
- package/dist/divergence.spec.js +102 -0
- package/dist/divergence.spec.js.map +1 -0
- package/dist/freeze.d.ts +3 -0
- package/dist/freeze.d.ts.map +1 -0
- package/dist/freeze.decorator.d.ts +8 -0
- package/dist/freeze.decorator.d.ts.map +1 -0
- package/dist/freeze.decorator.js +9 -0
- package/dist/freeze.decorator.js.map +1 -0
- package/dist/freeze.fn.d.ts +4 -0
- package/dist/freeze.fn.d.ts.map +1 -0
- package/dist/freeze.fn.js +166 -0
- package/dist/freeze.fn.js.map +1 -0
- package/dist/freeze.js +120 -0
- package/dist/freeze.js.map +1 -0
- package/dist/freeze.spec.d.ts +2 -0
- package/dist/freeze.spec.d.ts.map +1 -0
- package/dist/freeze.spec.js +158 -0
- package/dist/freeze.spec.js.map +1 -0
- package/dist/index.d.ts +2 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +18 -0
- package/dist/index.js.map +1 -0
- package/package.json +27 -0
|
@@ -0,0 +1,87 @@
|
|
|
1
|
+
export type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
|
|
2
|
+
export type PopUnion<U> = UnionToOvlds<U> extends (a: infer A) => void ? A : never;
|
|
3
|
+
export type UnionToArray<T, A extends unknown[] = []> = IsUnion<T> extends true ? UnionToArray<Exclude<T, PopUnion<T>>, [PopUnion<T>, ...A]> : [T, ...A];
|
|
4
|
+
type CountUnion<T> = UnionToArray<T> extends infer U extends any[] ? U["length"] : never;
|
|
5
|
+
type UnshiftUnion<U> = UnionToArray<U> extends [infer F, ...any[]] ? F : never;
|
|
6
|
+
type UnionToOvlds<U> = UnionToIntersection<U extends any ? (f: U) => void : never>;
|
|
7
|
+
type IsUnion<T> = [T] extends [UnionToIntersection<T>] ? false : true;
|
|
8
|
+
type IsStringLiteral<T> = T extends string ? string extends T ? false : true : false;
|
|
9
|
+
type FindBestKeyForMatching<FromUnion, ToUnion> = UnshiftUnion<keyof FromUnion extends infer K ? K extends keyof FromUnion & keyof ToUnion ? CountUnion<Pick<FromUnion, K>[K]> extends CountUnion<FromUnion> ? [IsStringLiteral<FromUnion[K]>, IsStringLiteral<ToUnion[K]>] extends [
|
|
10
|
+
true,
|
|
11
|
+
true
|
|
12
|
+
] ? K : never : never : never : never>;
|
|
13
|
+
export type Expand<T> = T extends infer O ? {
|
|
14
|
+
[K in keyof O]: O[K];
|
|
15
|
+
} & {} : never;
|
|
16
|
+
type Access<T, K> = K extends keyof T ? T[K] : never;
|
|
17
|
+
type OnlyFromKeys<From, To> = Exclude<Exclude<keyof From, keyof To>, symbol>;
|
|
18
|
+
type OnlyToKeys<From, To> = Exclude<Exclude<keyof To, keyof From>, symbol>;
|
|
19
|
+
type OmitNever<T> = {
|
|
20
|
+
[K in keyof T as T[K] extends never ? never : K]: T[K];
|
|
21
|
+
} & {};
|
|
22
|
+
type ObjectDivergence<From, To, Acc extends any[]> = OmitNever<{
|
|
23
|
+
[K in keyof From & keyof To]: Divergence<Access<From, K>, Access<To, K>, Acc>;
|
|
24
|
+
} & {
|
|
25
|
+
[K in OnlyFromKeys<From, To> as `+${K}`]: From[K];
|
|
26
|
+
} & {
|
|
27
|
+
[K in OnlyToKeys<From, To> as `-${K}`]: To[K];
|
|
28
|
+
}> extends infer Result ? {} extends Result ? never : Result : never;
|
|
29
|
+
type IndexedTypeKey<From, To> = ({
|
|
30
|
+
[K in keyof From]: K;
|
|
31
|
+
} & {
|
|
32
|
+
[K in keyof To]: K;
|
|
33
|
+
})[keyof From | keyof To];
|
|
34
|
+
type IndexedTypeDiff<From, To, Acc extends any[]> = IndexedTypeKey<From, To> extends infer U extends keyof From & keyof To ? Divergence<From[U], To[U], Acc> : never;
|
|
35
|
+
type IsIndexedType<T> = [T] extends [never] ? false : T extends object ? string extends keyof T ? true : number extends keyof T ? true : symbol extends keyof T ? true : false : false;
|
|
36
|
+
type DiffBestMatchForObject<Item, Union, K, Acc extends any[]> = IsNever<K> extends false ? K extends keyof Union & keyof Item ? Extract<Union, {
|
|
37
|
+
[P in K]: Item[P];
|
|
38
|
+
}> extends infer BestMatch ? IsNever<BestMatch> extends false ? Divergence<Item, BestMatch, Acc> extends infer D ? IsNever<D> extends false ? Expand<{
|
|
39
|
+
[P in K]: Item[P];
|
|
40
|
+
} & D> : never : never : never : never : never : never;
|
|
41
|
+
type DiffBestMatch<Item, Union, BestKey, Acc extends any[]> = PopUnion<Item extends object ? DiffBestMatchForObject<Item, Extract<Union, object>, BestKey, Acc> : never>;
|
|
42
|
+
type PerfectMatch<Item, Union, TotalUnion, Acc extends any[]> = Union extends [
|
|
43
|
+
infer F,
|
|
44
|
+
...infer R
|
|
45
|
+
] ? Divergence<Item, F, Acc> extends infer D ? IsNever<D> extends true ? F : PerfectMatch<Item, R, TotalUnion, Acc> : "!![PerfectMatch] Could not infer D" : never;
|
|
46
|
+
type GetChange<Item, Union, BestKey, Acc extends any[]> = PerfectMatch<Item, UnionToArray<Union>, BestKey, Acc> extends infer P ? IsNever<P> extends false ? never : DiffBestMatch<Item, Union, BestKey, Acc> extends infer D ? IsNever<D> extends false ? {
|
|
47
|
+
"~": D;
|
|
48
|
+
} : {
|
|
49
|
+
"+": Item;
|
|
50
|
+
} : "!![GetChange] Could not infer D" : "!![GetChange] Could not infer P";
|
|
51
|
+
export type ArrayUnionDivergence<From, To, BestKey, Acc extends any[], Divergences extends {
|
|
52
|
+
"~": unknown;
|
|
53
|
+
"+": unknown;
|
|
54
|
+
} = {
|
|
55
|
+
"~": never;
|
|
56
|
+
"+": never;
|
|
57
|
+
}> = From extends [infer F, ...infer Rest] ? GetChange<F, To, BestKey, Acc> extends infer Change ? IsNever<Change> extends true ? ArrayUnionDivergence<Rest, To, BestKey, Acc, Divergences> : Change extends {
|
|
58
|
+
"+": infer A;
|
|
59
|
+
} ? ArrayUnionDivergence<Rest, To, BestKey, Acc, {
|
|
60
|
+
"~": Divergences["~"];
|
|
61
|
+
"+": Divergences["+"] | A;
|
|
62
|
+
}> : Change extends {
|
|
63
|
+
"~": infer C;
|
|
64
|
+
} ? ArrayUnionDivergence<Rest, To, BestKey, Acc, {
|
|
65
|
+
"~": Divergences["~"] | C;
|
|
66
|
+
"+": Divergences["+"];
|
|
67
|
+
}> : never : ArrayUnionDivergence<Rest, To, BestKey, Acc, Divergences> : OmitNever<Divergences> extends infer Result ? {} extends Result ? never : Result : never;
|
|
68
|
+
export type UnionDivergence<From, To, Acc extends any[]> = ArrayUnionDivergence<UnionToArray<From>, To, FindBestKeyForMatching<Extract<To, object>, Extract<From, object>>, Acc>;
|
|
69
|
+
type IsAtLeastOneUnion<L, R> = IsUnion<L> extends true ? true : IsUnion<R> extends true ? true : false;
|
|
70
|
+
export type IsNever<T> = [T] extends [never] ? true : false;
|
|
71
|
+
type AtLeastOneEmptyObject<L, R> = {} extends L ? true : {} extends R ? true : false;
|
|
72
|
+
type EmptyObjectDivergence<From, To> = [{}, {}] extends [From, To] ? never : [From, "!=", To];
|
|
73
|
+
type SimpleDivergence<From, To> = From extends To ? never : [From, "!=", To];
|
|
74
|
+
type AtLeastOneArray<From, To> = From extends Array<unknown> ? true : To extends Array<unknown> ? true : false;
|
|
75
|
+
type ArrayDivergence<From, To, Acc extends any[]> = From extends Array<infer F> ? To extends Array<infer T> ? Divergence<F, T, Acc> extends infer D ? IsNever<D> extends true ? never : {
|
|
76
|
+
[key: number]: D;
|
|
77
|
+
} : never : ["[]?", Divergence<F, To, Acc>] : To extends Array<infer T> ? ["[]!", Divergence<From, T, Acc>] : never;
|
|
78
|
+
type Equals<T, U> = [T] extends [U] ? ([U] extends [T] ? true : false) : false;
|
|
79
|
+
type Has<Item, Array extends any[]> = Array extends [infer F, ...infer R] ? Equals<Item, F> extends true ? true : Has<Item, R> : false;
|
|
80
|
+
type Primitive = string | number | boolean | null | undefined | Date;
|
|
81
|
+
type AtLeastOnePrimitive<From, To> = From extends Primitive ? true : To extends Primitive ? true : false;
|
|
82
|
+
type PrimitiveDivergence<From, To> = AtLeastOnePrimitive<From, To> extends true ? SimpleDivergence<From, To> : never;
|
|
83
|
+
export type Divergence<From, To, Acc extends any[] = []> = Equals<From, To> extends true ? never : Acc["length"] extends 20 ? {
|
|
84
|
+
error: "Max depth reached";
|
|
85
|
+
} : Has<From, [To, ...Acc]> extends true ? never : [IsNever<From>, IsNever<To>] extends [false, false] ? AtLeastOneArray<From, To> extends true ? ArrayDivergence<From, To, [...Acc, From]> : [IsIndexedType<From>, IsIndexedType<To>] extends [true, true] ? IndexedTypeDiff<From, To, [...Acc, From]> : IsAtLeastOneUnion<From, To> extends true ? UnionDivergence<From, To, Acc> : AtLeastOnePrimitive<From, To> extends true ? PrimitiveDivergence<From, To> : AtLeastOneEmptyObject<From, To> extends true ? EmptyObjectDivergence<From, To> : [From, To] extends [object, object] ? ObjectDivergence<From, To, [...Acc, From]> : SimpleDivergence<From, To> : {};
|
|
86
|
+
export {};
|
|
87
|
+
//# sourceMappingURL=divergence.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"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,MAAM,GACf,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,GAClE,KAAK,CACV,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,CAAC,GAC3C,IAAI,GACJ,EAAE,SAAS,CAAC,GACV,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"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"divergence.js","sourceRoot":"","sources":["../src/divergence.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"divergence.spec.d.ts","sourceRoot":"","sources":["../src/divergence.spec.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,102 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
{
|
|
4
|
+
// it should return never when left and right are the same
|
|
5
|
+
const a = {};
|
|
6
|
+
const b = {};
|
|
7
|
+
const c = {};
|
|
8
|
+
// const d: never = {} as Divergence<[], []>;
|
|
9
|
+
const e = {};
|
|
10
|
+
const f = {};
|
|
11
|
+
const g = {};
|
|
12
|
+
}
|
|
13
|
+
{
|
|
14
|
+
const error = ["", "!=", 0];
|
|
15
|
+
}
|
|
16
|
+
{
|
|
17
|
+
const error = {
|
|
18
|
+
a: ["", "!=", 0],
|
|
19
|
+
};
|
|
20
|
+
}
|
|
21
|
+
{
|
|
22
|
+
const error = {
|
|
23
|
+
b: {
|
|
24
|
+
c: [0, "!=", ""],
|
|
25
|
+
},
|
|
26
|
+
};
|
|
27
|
+
}
|
|
28
|
+
{
|
|
29
|
+
const error = {
|
|
30
|
+
a: [{}, "!=", ""],
|
|
31
|
+
};
|
|
32
|
+
}
|
|
33
|
+
{
|
|
34
|
+
const error = {
|
|
35
|
+
a: ["", "!=", { a: true }],
|
|
36
|
+
};
|
|
37
|
+
}
|
|
38
|
+
{
|
|
39
|
+
const error = {
|
|
40
|
+
b: {
|
|
41
|
+
"-d": "",
|
|
42
|
+
},
|
|
43
|
+
};
|
|
44
|
+
}
|
|
45
|
+
{
|
|
46
|
+
const error = {
|
|
47
|
+
a: ["", "!=", 0],
|
|
48
|
+
b: {
|
|
49
|
+
c: [0, "!=", ""],
|
|
50
|
+
},
|
|
51
|
+
};
|
|
52
|
+
}
|
|
53
|
+
{
|
|
54
|
+
const a = undefined;
|
|
55
|
+
}
|
|
56
|
+
{
|
|
57
|
+
const error = {
|
|
58
|
+
a: {
|
|
59
|
+
b: {
|
|
60
|
+
c: {
|
|
61
|
+
"+": { e: "" },
|
|
62
|
+
},
|
|
63
|
+
},
|
|
64
|
+
},
|
|
65
|
+
};
|
|
66
|
+
}
|
|
67
|
+
{
|
|
68
|
+
const error = {
|
|
69
|
+
a: {
|
|
70
|
+
b: {
|
|
71
|
+
c: {
|
|
72
|
+
d: {
|
|
73
|
+
"+": "",
|
|
74
|
+
},
|
|
75
|
+
},
|
|
76
|
+
},
|
|
77
|
+
},
|
|
78
|
+
};
|
|
79
|
+
}
|
|
80
|
+
{
|
|
81
|
+
const error = {
|
|
82
|
+
"~": {
|
|
83
|
+
type: "b",
|
|
84
|
+
b: [0, "!=", ""],
|
|
85
|
+
},
|
|
86
|
+
};
|
|
87
|
+
}
|
|
88
|
+
{
|
|
89
|
+
}
|
|
90
|
+
{
|
|
91
|
+
}
|
|
92
|
+
{
|
|
93
|
+
}
|
|
94
|
+
{
|
|
95
|
+
const a = {};
|
|
96
|
+
}
|
|
97
|
+
{
|
|
98
|
+
}
|
|
99
|
+
it("this is a type test file", () => {
|
|
100
|
+
expect(true).toBe(true);
|
|
101
|
+
});
|
|
102
|
+
//# sourceMappingURL=divergence.spec.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"divergence.spec.js","sourceRoot":"","sources":["../src/divergence.spec.ts"],"names":[],"mappings":";;AAEA,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;IAQC,MAAM,KAAK,GAAM;QACf,GAAG,EAAE;YACH,IAAI,EAAE,GAAG;YACT,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;SACjB;KACF,CAAC;AACJ,CAAC;AAED,CAAC;AAkBD,CAAC;AAED,CAAC;AAOD,CAAC;AAED,CAAC;AAyBD,CAAC;AAED,CAAC;IAqBC,MAAM,CAAC,GAAW,EAAW,CAAC;AAChC,CAAC;AAED,CAAC;AAOD,CAAC;AAED,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;IAClC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC,CAAC"}
|
package/dist/freeze.d.ts
ADDED
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"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"}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import { Divergence, Expand, IsNever } from "./divergence";
|
|
2
|
+
type Freezable<T> = {
|
|
3
|
+
serialize(...args: any[]): T;
|
|
4
|
+
};
|
|
5
|
+
type Ctor<T> = abstract new (...args: any[]) => T;
|
|
6
|
+
export declare function Freeze<Frozen = any>(): <C extends Ctor<Freezable<any>>, Serialized extends Awaited<ReturnType<InstanceType<C>["serialize"]>>>(target: C) => Divergence<Serialized, Frozen> extends infer D ? IsNever<D> extends true ? C : Expand<D> : never;
|
|
7
|
+
export {};
|
|
8
|
+
//# sourceMappingURL=freeze.decorator.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"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"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"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"}
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
import * as ts from "typescript";
|
|
2
|
+
export declare function freeze(file: string, getNode: (file: ts.SourceFile, checker: ts.TypeChecker) => ts.Node): string;
|
|
3
|
+
export declare function exploreType(type: ts.Type, checker: ts.TypeChecker, declarations?: Map<ts.Symbol, string>, seen?: Set<string>): string;
|
|
4
|
+
//# sourceMappingURL=freeze.fn.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"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"}
|
|
@@ -0,0 +1,166 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
3
|
+
if (k2 === undefined) k2 = k;
|
|
4
|
+
var desc = Object.getOwnPropertyDescriptor(m, k);
|
|
5
|
+
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
|
|
6
|
+
desc = { enumerable: true, get: function() { return m[k]; } };
|
|
7
|
+
}
|
|
8
|
+
Object.defineProperty(o, k2, desc);
|
|
9
|
+
}) : (function(o, m, k, k2) {
|
|
10
|
+
if (k2 === undefined) k2 = k;
|
|
11
|
+
o[k2] = m[k];
|
|
12
|
+
}));
|
|
13
|
+
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
|
|
14
|
+
Object.defineProperty(o, "default", { enumerable: true, value: v });
|
|
15
|
+
}) : function(o, v) {
|
|
16
|
+
o["default"] = v;
|
|
17
|
+
});
|
|
18
|
+
var __importStar = (this && this.__importStar) || function (mod) {
|
|
19
|
+
if (mod && mod.__esModule) return mod;
|
|
20
|
+
var result = {};
|
|
21
|
+
if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
|
|
22
|
+
__setModuleDefault(result, mod);
|
|
23
|
+
return result;
|
|
24
|
+
};
|
|
25
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
26
|
+
exports.freeze = freeze;
|
|
27
|
+
exports.exploreType = exploreType;
|
|
28
|
+
const ts = __importStar(require("typescript"));
|
|
29
|
+
function freeze(file, getNode) {
|
|
30
|
+
const program = ts.createProgram([file], {});
|
|
31
|
+
const checker = program.getTypeChecker();
|
|
32
|
+
// biome-ignore lint/style/noNonNullAssertion: <explanation>
|
|
33
|
+
const sourceFile = program
|
|
34
|
+
.getSourceFiles()
|
|
35
|
+
.find((s) => s.fileName.includes(file));
|
|
36
|
+
const toFreeze = getNode(sourceFile, checker);
|
|
37
|
+
const type = checker.getTypeAtLocation(toFreeze);
|
|
38
|
+
// Explore the type definition
|
|
39
|
+
const other = new Map();
|
|
40
|
+
const explored = exploreType(type, checker, other);
|
|
41
|
+
const typeDefinitions = [...other.values()].join("\n");
|
|
42
|
+
return `${typeDefinitions}\ntype Output = ${explored};`;
|
|
43
|
+
}
|
|
44
|
+
function listTypeFlagsNames(flags) {
|
|
45
|
+
const names = [];
|
|
46
|
+
for (const flagName in ts.TypeFlags) {
|
|
47
|
+
if (ts.TypeFlags[flagName] & flags) {
|
|
48
|
+
names.push([flagName, ts.TypeFlags[flagName]]);
|
|
49
|
+
}
|
|
50
|
+
}
|
|
51
|
+
return names;
|
|
52
|
+
}
|
|
53
|
+
function listSymbolFlagsNames(flags) {
|
|
54
|
+
const names = [];
|
|
55
|
+
for (const flagName in ts.TypeFlags) {
|
|
56
|
+
if (ts.TypeFlags[flagName] & flags) {
|
|
57
|
+
names.push([flagName, ts.TypeFlags[flagName]]);
|
|
58
|
+
}
|
|
59
|
+
}
|
|
60
|
+
return names;
|
|
61
|
+
}
|
|
62
|
+
function exploreType(type, checker, declarations = new Map(), seen = new Set(["Date", "Record"])) {
|
|
63
|
+
// seen.add(type.symbol?.getName() || "");
|
|
64
|
+
if (type.aliasSymbol && seen.has(type.aliasSymbol.getName())) {
|
|
65
|
+
const a = type.aliasTypeArguments;
|
|
66
|
+
return `${type.aliasSymbol.name}${a
|
|
67
|
+
? `<${a
|
|
68
|
+
.map((a) => exploreType(a, checker, declarations, seen))
|
|
69
|
+
.join(", ")}>`
|
|
70
|
+
: ""}`;
|
|
71
|
+
}
|
|
72
|
+
if (type.aliasSymbol) {
|
|
73
|
+
const aliasType = checker.getDeclaredTypeOfSymbol(type.aliasSymbol);
|
|
74
|
+
seen.add(type.aliasSymbol.getName());
|
|
75
|
+
const definition = exploreNativeType(aliasType, checker, declarations, seen);
|
|
76
|
+
declarations.set(type.aliasSymbol, `type ${type.aliasSymbol.name} = ${definition}`);
|
|
77
|
+
return exploreType(aliasType, checker, declarations, seen);
|
|
78
|
+
}
|
|
79
|
+
return exploreNativeType(type, checker, declarations, seen);
|
|
80
|
+
}
|
|
81
|
+
const PrimitiveFlag = 402784252;
|
|
82
|
+
function exploreNativeType(type, checker, declarations = new Map(), seen = new Set()) {
|
|
83
|
+
if (type.flags & ts.TypeFlags.EnumLiteral) {
|
|
84
|
+
const v = type.value;
|
|
85
|
+
if (typeof v === "string") {
|
|
86
|
+
return `"${v}"`;
|
|
87
|
+
}
|
|
88
|
+
return v;
|
|
89
|
+
}
|
|
90
|
+
if (type.flags & PrimitiveFlag) {
|
|
91
|
+
return checker.typeToString(type);
|
|
92
|
+
}
|
|
93
|
+
if (type.isUnionOrIntersection()) {
|
|
94
|
+
const operator = type.isUnion() ? "|" : "&";
|
|
95
|
+
return type.types
|
|
96
|
+
.map((t) => exploreType(t, checker, declarations, seen))
|
|
97
|
+
.join(` ${operator} `);
|
|
98
|
+
}
|
|
99
|
+
if (type.getSymbol()?.getName() === "ReadonlyArray") {
|
|
100
|
+
const typeReference = type;
|
|
101
|
+
const elementType = typeReference.typeArguments
|
|
102
|
+
? typeReference.typeArguments[0]
|
|
103
|
+
: undefined;
|
|
104
|
+
return elementType
|
|
105
|
+
? `readonly (${exploreType(elementType, checker, declarations, seen)})[]`
|
|
106
|
+
: "ReadonlyArray<any>";
|
|
107
|
+
}
|
|
108
|
+
if (checker.isTupleType(type)) {
|
|
109
|
+
const typeReference = type;
|
|
110
|
+
const elementTypes = typeReference.typeArguments || [];
|
|
111
|
+
return `[${elementTypes
|
|
112
|
+
.map((t) => exploreType(t, checker, declarations, seen))
|
|
113
|
+
.join(", ")}]`;
|
|
114
|
+
}
|
|
115
|
+
if (checker.isArrayType(type)) {
|
|
116
|
+
const typeReference = type;
|
|
117
|
+
const elementType = typeReference.typeArguments
|
|
118
|
+
? typeReference.typeArguments[0]
|
|
119
|
+
: undefined;
|
|
120
|
+
return elementType
|
|
121
|
+
? `(${exploreType(elementType, checker, declarations, seen)})[]`
|
|
122
|
+
: "any[]";
|
|
123
|
+
}
|
|
124
|
+
if (type.aliasTypeArguments) {
|
|
125
|
+
const typeReference = type;
|
|
126
|
+
const elementTypes = typeReference.aliasTypeArguments || [];
|
|
127
|
+
return `${type.aliasSymbol?.name}<${elementTypes
|
|
128
|
+
.map((t) => t.symbol.name)
|
|
129
|
+
.join(", ")}>`;
|
|
130
|
+
}
|
|
131
|
+
if (type.getSymbol()?.getName() === "Date") {
|
|
132
|
+
return "Date";
|
|
133
|
+
}
|
|
134
|
+
if (type.flags & ts.TypeFlags.Object) {
|
|
135
|
+
const properties = checker.getPropertiesOfType(type);
|
|
136
|
+
const indexInfos = checker.getIndexInfosOfType(type);
|
|
137
|
+
let index = "";
|
|
138
|
+
if (indexInfos.length > 0) {
|
|
139
|
+
const indexInfo = indexInfos[0];
|
|
140
|
+
const indexType = indexInfo.keyType;
|
|
141
|
+
const indexTypeString = exploreType(indexType, checker, declarations, seen);
|
|
142
|
+
const valueType = indexInfo.type;
|
|
143
|
+
const valueTypeString = exploreType(valueType, checker, declarations, seen);
|
|
144
|
+
index = `[key: ${indexTypeString}]: ${valueTypeString}; `;
|
|
145
|
+
}
|
|
146
|
+
return `{ ${index}${properties.reduce((acc, property) => {
|
|
147
|
+
const propertyType = checker.getTypeOfSymbol(property);
|
|
148
|
+
const optional = property.flags & ts.SymbolFlags.Optional ? "?" : "";
|
|
149
|
+
const readonly = property
|
|
150
|
+
.getDeclarations()
|
|
151
|
+
?.some((declaration) => ts.isPropertySignature(declaration) &&
|
|
152
|
+
declaration.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.ReadonlyKeyword))
|
|
153
|
+
? "readonly "
|
|
154
|
+
: "";
|
|
155
|
+
return `${acc}${readonly}${property.name}${optional}: ${exploreType(propertyType, checker, declarations, seen)}; `;
|
|
156
|
+
}, "")}}`;
|
|
157
|
+
}
|
|
158
|
+
if (type.flags & ts.TypeFlags.TypeParameter) {
|
|
159
|
+
return type.symbol.name;
|
|
160
|
+
}
|
|
161
|
+
return JSON.stringify({
|
|
162
|
+
name: checker.typeToString(type),
|
|
163
|
+
flags: listTypeFlagsNames(type.flags),
|
|
164
|
+
});
|
|
165
|
+
}
|
|
166
|
+
//# sourceMappingURL=freeze.fn.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"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,CAAC,CAAC;IAC7C,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"}
|
package/dist/freeze.js
ADDED
|
@@ -0,0 +1,120 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
var __importDefault = (this && this.__importDefault) || function (mod) {
|
|
3
|
+
return (mod && mod.__esModule) ? mod : { "default": mod };
|
|
4
|
+
};
|
|
5
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
6
|
+
exports.freeze = freeze;
|
|
7
|
+
const ts_morph_1 = require("ts-morph");
|
|
8
|
+
const node_path_1 = require("node:path");
|
|
9
|
+
const freeze_fn_1 = require("./freeze.fn");
|
|
10
|
+
const node_fs_1 = __importDefault(require("node:fs"));
|
|
11
|
+
const cwd = process.cwd();
|
|
12
|
+
const tsConfigFilePath = `${cwd}/tsconfig.json`;
|
|
13
|
+
const project = new ts_morph_1.Project({
|
|
14
|
+
tsConfigFilePath,
|
|
15
|
+
});
|
|
16
|
+
const decoratorfile = project.getSourceFile(`${__dirname}/freeze.decorator.d.ts`);
|
|
17
|
+
if (!decoratorfile) {
|
|
18
|
+
throw new Error("The @Freeze decorator is not used in the project.");
|
|
19
|
+
}
|
|
20
|
+
const references = decoratorfile.getFunction("Freeze")?.findReferences();
|
|
21
|
+
if (!references) {
|
|
22
|
+
throw new Error("The @Freeze decorator is imported, but not used in the project.");
|
|
23
|
+
}
|
|
24
|
+
function freeze(file, getNode) {
|
|
25
|
+
const program = ts_morph_1.ts.createProgram([file], {});
|
|
26
|
+
const checker = program.getTypeChecker();
|
|
27
|
+
const sourceFile = program
|
|
28
|
+
.getSourceFiles()
|
|
29
|
+
.find((s) => s.fileName.includes(file));
|
|
30
|
+
const toFreeze = getNode(sourceFile, checker);
|
|
31
|
+
const type = checker.getTypeAtLocation(toFreeze);
|
|
32
|
+
// Explore the type definition
|
|
33
|
+
const other = new Map();
|
|
34
|
+
const explored = (0, freeze_fn_1.exploreType)(type, checker, other);
|
|
35
|
+
const typeDefinitions = [...other.values()].join("\n");
|
|
36
|
+
return `${typeDefinitions}\ntype Output = ${explored};`;
|
|
37
|
+
}
|
|
38
|
+
function lowercasefirstletter(str) {
|
|
39
|
+
return str.charAt(0).toLowerCase() + str.slice(1);
|
|
40
|
+
}
|
|
41
|
+
for (const ref of references) {
|
|
42
|
+
for (const refref of ref.getReferences()) {
|
|
43
|
+
const decorator = refref
|
|
44
|
+
.getNode()
|
|
45
|
+
.getParent()
|
|
46
|
+
?.getParent()
|
|
47
|
+
?.asKind(ts_morph_1.ts.SyntaxKind.Decorator);
|
|
48
|
+
if (!decorator)
|
|
49
|
+
continue;
|
|
50
|
+
const rpath = (0, node_path_1.relative)(cwd, decorator.getSourceFile().getFilePath());
|
|
51
|
+
const classDeclaration = decorator.getParentIfKind(ts_morph_1.ts.SyntaxKind.ClassDeclaration);
|
|
52
|
+
if (!classDeclaration)
|
|
53
|
+
continue;
|
|
54
|
+
const versionProperty = classDeclaration.getType().getProperty("version");
|
|
55
|
+
if (!versionProperty) {
|
|
56
|
+
console.log(`${rpath}: No version property found on ${classDeclaration.getName()}`);
|
|
57
|
+
continue;
|
|
58
|
+
}
|
|
59
|
+
const typeParameter = decorator.getTypeArguments()[0];
|
|
60
|
+
if (typeParameter) {
|
|
61
|
+
console.log(`${rpath} - ${classDeclaration.getName()}: Already frozen with <${typeParameter.getText()}>`);
|
|
62
|
+
continue;
|
|
63
|
+
}
|
|
64
|
+
const version = project
|
|
65
|
+
.getTypeChecker()
|
|
66
|
+
.getTypeOfSymbolAtLocation(versionProperty, classDeclaration)
|
|
67
|
+
.getText();
|
|
68
|
+
console.log(`${rpath} - ${classDeclaration.getName()}: Freezing with version ${version}`);
|
|
69
|
+
const serializeProperty = classDeclaration
|
|
70
|
+
.getType()
|
|
71
|
+
.getProperty("serialize");
|
|
72
|
+
if (!serializeProperty) {
|
|
73
|
+
console.log(`${rpath} - ${classDeclaration.getName()}: No serialize property`);
|
|
74
|
+
continue;
|
|
75
|
+
}
|
|
76
|
+
const serializeMethod = project
|
|
77
|
+
.getTypeChecker()
|
|
78
|
+
.getTypeOfSymbolAtLocation(serializeProperty, classDeclaration)
|
|
79
|
+
.getCallSignatures()[0];
|
|
80
|
+
let serialized = serializeMethod.getReturnType();
|
|
81
|
+
if (serialized.getSymbol()?.getName() === "Promise") {
|
|
82
|
+
serialized = serialized.getTypeArguments()[0];
|
|
83
|
+
}
|
|
84
|
+
const other = new Map();
|
|
85
|
+
const result = (0, freeze_fn_1.exploreType)(serialized.compilerType, project.getTypeChecker().compilerObject, other);
|
|
86
|
+
const type = serializeMethod
|
|
87
|
+
.getParameters()[0]
|
|
88
|
+
.getTypeAtLocation(classDeclaration);
|
|
89
|
+
const symbol = type.getSymbol()?.getName();
|
|
90
|
+
const aliasSymbol = type.getAliasSymbol()?.getName();
|
|
91
|
+
let name;
|
|
92
|
+
if (symbol) {
|
|
93
|
+
name = symbol;
|
|
94
|
+
console.log(`${rpath} - ${classDeclaration.getName()}: Using symbol ${symbol}`);
|
|
95
|
+
}
|
|
96
|
+
else if (aliasSymbol) {
|
|
97
|
+
name = aliasSymbol;
|
|
98
|
+
console.log(`${rpath} - ${classDeclaration.getName()}: Using aliasSymbol ${aliasSymbol}`);
|
|
99
|
+
}
|
|
100
|
+
if (!name) {
|
|
101
|
+
console.log(`${rpath} - ${classDeclaration.getName()}: Cannot find name of serialized type`);
|
|
102
|
+
continue;
|
|
103
|
+
}
|
|
104
|
+
const serializedName = `${name}Serialized${version}`;
|
|
105
|
+
const serializedFilename = lowercasefirstletter(`${name}.serialized.${version}`);
|
|
106
|
+
const directory = refref.getSourceFile().getDirectory();
|
|
107
|
+
decorator.getSourceFile().addImportDeclaration({
|
|
108
|
+
moduleSpecifier: `./${serializedFilename}`,
|
|
109
|
+
namedImports: [serializedName],
|
|
110
|
+
});
|
|
111
|
+
decorator.addTypeArgument(serializedName);
|
|
112
|
+
project.saveSync();
|
|
113
|
+
const output = [
|
|
114
|
+
...other.values(),
|
|
115
|
+
`export type ${serializedName} = ${result}`,
|
|
116
|
+
].join("\n");
|
|
117
|
+
node_fs_1.default.writeFileSync(`${directory.getPath()}/${serializedFilename}.ts`, output);
|
|
118
|
+
}
|
|
119
|
+
}
|
|
120
|
+
//# sourceMappingURL=freeze.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"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,eAAe,GAAG,gBAAgB,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QAC1E,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,OAAO,CAAC,GAAG,CACT,GAAG,KAAK,kCAAkC,gBAAgB,CAAC,OAAO,EAAE,EAAE,CACvE,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,aAAa,GAAG,SAAS,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,aAAa,EAAE,CAAC;YAClB,OAAO,CAAC,GAAG,CACT,GAAG,KAAK,MAAM,gBAAgB,CAAC,OAAO,EAAE,0BAA0B,aAAa,CAAC,OAAO,EAAE,GAAG,CAC7F,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAG,OAAO;aACpB,cAAc,EAAE;aAChB,yBAAyB,CAAC,eAAe,EAAE,gBAAgB,CAAC;aAC5D,OAAO,EAAE,CAAC;QAEb,OAAO,CAAC,GAAG,CACT,GAAG,KAAK,MAAM,gBAAgB,CAAC,OAAO,EAAE,2BAA2B,OAAO,EAAE,CAC7E,CAAC;QAEF,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,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,EAAE,CAAC;QACrD,MAAM,kBAAkB,GAAG,oBAAoB,CAC7C,GAAG,IAAI,eAAe,OAAO,EAAE,CAChC,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"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"freeze.spec.d.ts","sourceRoot":"","sources":["../src/freeze.spec.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,158 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
3
|
+
if (k2 === undefined) k2 = k;
|
|
4
|
+
var desc = Object.getOwnPropertyDescriptor(m, k);
|
|
5
|
+
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
|
|
6
|
+
desc = { enumerable: true, get: function() { return m[k]; } };
|
|
7
|
+
}
|
|
8
|
+
Object.defineProperty(o, k2, desc);
|
|
9
|
+
}) : (function(o, m, k, k2) {
|
|
10
|
+
if (k2 === undefined) k2 = k;
|
|
11
|
+
o[k2] = m[k];
|
|
12
|
+
}));
|
|
13
|
+
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
|
|
14
|
+
Object.defineProperty(o, "default", { enumerable: true, value: v });
|
|
15
|
+
}) : function(o, v) {
|
|
16
|
+
o["default"] = v;
|
|
17
|
+
});
|
|
18
|
+
var __importStar = (this && this.__importStar) || function (mod) {
|
|
19
|
+
if (mod && mod.__esModule) return mod;
|
|
20
|
+
var result = {};
|
|
21
|
+
if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
|
|
22
|
+
__setModuleDefault(result, mod);
|
|
23
|
+
return result;
|
|
24
|
+
};
|
|
25
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
26
|
+
const ts = __importStar(require("typescript"));
|
|
27
|
+
const freeze_fn_1 = require("./freeze.fn");
|
|
28
|
+
function findCalls(source) {
|
|
29
|
+
const children = source.getChildren();
|
|
30
|
+
const innerCalls = children.flatMap((c) => findCalls(c));
|
|
31
|
+
if (ts.isCallExpression(source)) {
|
|
32
|
+
innerCalls.push(source);
|
|
33
|
+
}
|
|
34
|
+
return innerCalls;
|
|
35
|
+
}
|
|
36
|
+
// biome-ignore lint/suspicious/noExplicitAny: <explanation>
|
|
37
|
+
function testFreeze(id, value) {
|
|
38
|
+
const file = __filename;
|
|
39
|
+
return (0, freeze_fn_1.freeze)(file, (source, checker) => {
|
|
40
|
+
const tests = findCalls(source).filter((c) => c.getText().startsWith("testFreeze"));
|
|
41
|
+
const test = tests.find((t) => t.arguments[0].getText().includes(id));
|
|
42
|
+
if (!test) {
|
|
43
|
+
throw new Error(`Could not find testFreeze call with id ${id}`);
|
|
44
|
+
}
|
|
45
|
+
return test.arguments[1];
|
|
46
|
+
});
|
|
47
|
+
}
|
|
48
|
+
describe("freeze", () => {
|
|
49
|
+
it("should freeze a value", () => {
|
|
50
|
+
const result = testFreeze("1", { a: 1, b: new Date() });
|
|
51
|
+
expect(result).toEqual("\ntype Output = { a: number; b: Date; };");
|
|
52
|
+
});
|
|
53
|
+
it("should freeze a value with a nested object", () => {
|
|
54
|
+
const result = testFreeze("2", {});
|
|
55
|
+
expect(result).toEqual([
|
|
56
|
+
"type Thing = { a: number; b: { c: number; }; }",
|
|
57
|
+
"type Output = Thing;",
|
|
58
|
+
].join("\n"));
|
|
59
|
+
});
|
|
60
|
+
it("should freeze a value with a nested array", () => {
|
|
61
|
+
const result = testFreeze("3", {});
|
|
62
|
+
expect(result).toEqual([
|
|
63
|
+
"type Thing = { a: number; b: (number)[]; }",
|
|
64
|
+
"type Output = Thing;",
|
|
65
|
+
].join("\n"));
|
|
66
|
+
});
|
|
67
|
+
it("should freeze a value referencing another one", () => {
|
|
68
|
+
const result = testFreeze("4", {});
|
|
69
|
+
expect(result).toEqual([
|
|
70
|
+
"type Thing = { a: string; }",
|
|
71
|
+
"type OtherThing = { b: Thing; }",
|
|
72
|
+
"type Output = OtherThing;",
|
|
73
|
+
].join("\n"));
|
|
74
|
+
});
|
|
75
|
+
it("should freeze a value referencing another one 2", () => {
|
|
76
|
+
const result = testFreeze("41", {});
|
|
77
|
+
expect(result).toEqual(["type Thing = { a: Thing; }", "type Output = Thing;"].join("\n"));
|
|
78
|
+
});
|
|
79
|
+
it("should freeze a cross-recursive value", () => {
|
|
80
|
+
const result = testFreeze("5", {});
|
|
81
|
+
expect(result).toEqual([
|
|
82
|
+
"type Thing = { a: number; b: OtherThing; }",
|
|
83
|
+
"type OtherThing = { c: Thing; }",
|
|
84
|
+
"type Output = OtherThing;",
|
|
85
|
+
].join("\n"));
|
|
86
|
+
});
|
|
87
|
+
it("should freeze a value with a nested union", () => {
|
|
88
|
+
const result = testFreeze("6", {});
|
|
89
|
+
expect(result).toEqual([
|
|
90
|
+
"type Thing = { a: number; b: string | number; c: (string | number)[]; }",
|
|
91
|
+
"type Output = Thing;",
|
|
92
|
+
].join("\n"));
|
|
93
|
+
});
|
|
94
|
+
it("should freeze a value with a nested intersection", () => {
|
|
95
|
+
const result = testFreeze("7", {});
|
|
96
|
+
expect(result).toEqual([
|
|
97
|
+
`type Thing = { a: number; b: { a: "1"; } & { b: "2"; }; }`,
|
|
98
|
+
"type Output = Thing;",
|
|
99
|
+
].join("\n"));
|
|
100
|
+
});
|
|
101
|
+
it("should freeze a readonly array", () => {
|
|
102
|
+
const result = testFreeze("9", {});
|
|
103
|
+
expect(result).toEqual([
|
|
104
|
+
"type Thing = { a: number; b: readonly (number)[]; }",
|
|
105
|
+
"type Output = Thing;",
|
|
106
|
+
].join("\n"));
|
|
107
|
+
});
|
|
108
|
+
it("should freeze a readonly object", () => {
|
|
109
|
+
const result = testFreeze("10", {});
|
|
110
|
+
expect(result).toEqual([
|
|
111
|
+
"type Thing = { readonly a: number; readonly b: readonly ({ readonly c: number; })[]; }",
|
|
112
|
+
"type Output = Thing;",
|
|
113
|
+
].join("\n"));
|
|
114
|
+
});
|
|
115
|
+
it.skip("should freeze a value with a nested tuple", () => {
|
|
116
|
+
const result = testFreeze("8", {});
|
|
117
|
+
expect(result).toEqual([
|
|
118
|
+
"type Thing = { a: number; b: [number, number]; c: readonly [number, number]; }",
|
|
119
|
+
"type Output = Thing;",
|
|
120
|
+
].join("\n"));
|
|
121
|
+
});
|
|
122
|
+
it("should support indexed object types", () => {
|
|
123
|
+
const result = testFreeze("11", {});
|
|
124
|
+
expect(result).toEqual([
|
|
125
|
+
"type Thing = { [key: string]: number; test: number; }",
|
|
126
|
+
"type Output = Thing;",
|
|
127
|
+
].join("\n"));
|
|
128
|
+
});
|
|
129
|
+
it("should support records", () => {
|
|
130
|
+
const result = testFreeze("12", {});
|
|
131
|
+
expect(result).toEqual(["", "type Output = Record<string, number>;"].join("\n"));
|
|
132
|
+
});
|
|
133
|
+
it("should coalesce enum members to their value", () => {
|
|
134
|
+
let Thing;
|
|
135
|
+
(function (Thing) {
|
|
136
|
+
Thing["A"] = "0";
|
|
137
|
+
Thing[Thing["B"] = 1] = "B";
|
|
138
|
+
Thing[Thing["C"] = 2] = "C";
|
|
139
|
+
})(Thing || (Thing = {}));
|
|
140
|
+
const resultA = testFreeze("13", Thing.A);
|
|
141
|
+
expect(resultA).toEqual(["", 'type Output = "0";'].join("\n"));
|
|
142
|
+
const resultB = testFreeze("14", Thing.B);
|
|
143
|
+
expect(resultB).toEqual(["", "type Output = 1;"].join("\n"));
|
|
144
|
+
});
|
|
145
|
+
// it("should freeze a value referencing a generic", () => {
|
|
146
|
+
// const thing = (a: number) => ({ a });
|
|
147
|
+
// type OtherThing = { b: ReturnType<typeof thing> };
|
|
148
|
+
// const result = testFreeze("13", {} as OtherThing);
|
|
149
|
+
// expect(result).toEqual(
|
|
150
|
+
// ["type Thing<T> = { a: T; }", "type Output = Thing<number>;"].join("\n"),
|
|
151
|
+
// );
|
|
152
|
+
// });
|
|
153
|
+
it.skip("should freeze a generic", () => {
|
|
154
|
+
const result = testFreeze("15", {});
|
|
155
|
+
expect(result).toEqual(["type Thing<T> = { a: T; }", "type Output = Thing<number>;"].join("\n"));
|
|
156
|
+
});
|
|
157
|
+
});
|
|
158
|
+
//# sourceMappingURL=freeze.spec.js.map
|
|
@@ -0,0 +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,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"}
|
package/dist/index.d.ts
ADDED
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC"}
|
package/dist/index.js
ADDED
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
3
|
+
if (k2 === undefined) k2 = k;
|
|
4
|
+
var desc = Object.getOwnPropertyDescriptor(m, k);
|
|
5
|
+
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
|
|
6
|
+
desc = { enumerable: true, get: function() { return m[k]; } };
|
|
7
|
+
}
|
|
8
|
+
Object.defineProperty(o, k2, desc);
|
|
9
|
+
}) : (function(o, m, k, k2) {
|
|
10
|
+
if (k2 === undefined) k2 = k;
|
|
11
|
+
o[k2] = m[k];
|
|
12
|
+
}));
|
|
13
|
+
var __exportStar = (this && this.__exportStar) || function(m, exports) {
|
|
14
|
+
for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
|
|
15
|
+
};
|
|
16
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
17
|
+
__exportStar(require("./freeze.decorator"), exports);
|
|
18
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,qDAAmC"}
|
package/package.json
ADDED
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
{
|
|
2
|
+
"name": "@ddd-ts/freeze",
|
|
3
|
+
"version": "0.0.0-elo-new.1",
|
|
4
|
+
"main": "dist/index.js",
|
|
5
|
+
"types": "dist/index.d.ts",
|
|
6
|
+
"license": "MIT",
|
|
7
|
+
"bin": {
|
|
8
|
+
"freeze": "dist/freeze.js"
|
|
9
|
+
},
|
|
10
|
+
"scripts": {
|
|
11
|
+
"build": "tsc",
|
|
12
|
+
"test": "jest --config node_modules/@ddd-ts/tools/jest.config.ts"
|
|
13
|
+
},
|
|
14
|
+
"dependencies": {
|
|
15
|
+
"@ddd-ts/core": "0.0.0-elo-new.1",
|
|
16
|
+
"@ddd-ts/shape": "0.0.0-elo-new.1",
|
|
17
|
+
"@ddd-ts/traits": "0.0.0-elo-new.1",
|
|
18
|
+
"typescript": "^5.4.3"
|
|
19
|
+
},
|
|
20
|
+
"devDependencies": {
|
|
21
|
+
"@ddd-ts/tools": "0.0.0-elo-new.1",
|
|
22
|
+
"@ddd-ts/types": "0.0.0-elo-new.1",
|
|
23
|
+
"@types/jest": "^29.5.1",
|
|
24
|
+
"@types/node": "^17.0.13",
|
|
25
|
+
"ts-morph": "^21.0.1"
|
|
26
|
+
}
|
|
27
|
+
}
|