@ddd-ts/freeze 0.0.0-63-add-auto-generated-comment.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.
@@ -0,0 +1,65 @@
1
+ //#region src/divergence/divergence.d.ts
2
+ type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;
3
+ type PopUnion<U> = UnionToOvlds<U> extends ((a: infer A) => void) ? A : never;
4
+ type UnionToArray<T, A extends unknown[] = []> = IsUnion<T> extends true ? UnionToArray<Exclude<T, PopUnion<T>>, [PopUnion<T>, ...A]> : [T, ...A];
5
+ type CountUnion<T> = UnionToArray<T> extends infer U extends any[] ? U["length"] : never;
6
+ type UnshiftUnion<U> = UnionToArray<U> extends [infer F, ...any[]] ? F : never;
7
+ type UnionToOvlds<U> = UnionToIntersection<U extends any ? (f: U) => void : never>;
8
+ type IsUnion<T> = [T] extends [UnionToIntersection<T>] ? false : true;
9
+ type IsStringLiteral<T> = T extends string ? string extends T ? false : true : false;
10
+ type FindBestKeyForMatching<FromUnion, ToUnion> = UnshiftUnion<keyof FromUnion extends infer K ? K extends keyof FromUnion & keyof ToUnion ? CountUnion<Pick<FromUnion, K>[K]> extends CountUnion<FromUnion> ? [IsStringLiteral<FromUnion[K]>, IsStringLiteral<ToUnion[K]>] extends [true, true] ? K : never : never : never : never>;
11
+ type Expand<T> = T extends infer O ? { [K in keyof O]: O[K] } & {} : never;
12
+ type Access<T, K> = K extends keyof T ? T[K] : never;
13
+ type OnlyFromKeys<From, To> = Exclude<Exclude<keyof From, keyof To>, symbol>;
14
+ type OnlyToKeys<From, To> = Exclude<Exclude<keyof To, keyof From>, symbol>;
15
+ type OmitNever<T> = { [K in keyof T as T[K] extends never ? never : K]: T[K] } & {};
16
+ type ObjectDivergence<From, To, Acc extends any[]> = OmitNever<{ [K in keyof From & keyof To]: Divergence<Access<From, K>, Access<To, K>, Acc> } & { [K in OnlyFromKeys<From, To> as `+${K}`]: From[K] } & { [K in OnlyToKeys<From, To> as `-${K}`]: To[K] }> extends infer Result ? {} extends Result ? never : Result : never;
17
+ type IndexedTypeKey<From, To> = ({ [K in keyof From]: K } & { [K in keyof To]: K })[keyof From | keyof To];
18
+ 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;
19
+ 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;
20
+ type DiffBestMatchForObject<Item, Union, K, Acc extends any[]> = IsNever<K> extends false ? K extends keyof Union & keyof Item ? Extract<Union, { [P in K]: Item[P] }> extends infer BestMatch ? IsNever<BestMatch> extends false ? Divergence<Item, BestMatch, Acc> extends infer D ? IsNever<D> extends false ? Expand<{ [P in K]: Item[P] } & D> : never : never : never : never : never : never;
21
+ type DiffBestMatch<Item, Union, BestKey, Acc extends any[]> = PopUnion<Item extends any[] ? ArrayDivergence<Item, Extract<Union, any[]>, Acc> : Item extends object ? DiffBestMatchForObject<Item, Extract<Union, object>, BestKey, Acc> : never>;
22
+ type PerfectMatch<Item, Union, TotalUnion, Acc extends any[]> = Union extends [infer F, ...infer R] ? Divergence<Item, F, Acc> extends infer D ? IsNever<D> extends true ? F : PerfectMatch<Item, R, TotalUnion, Acc> : "!![PerfectMatch] Could not infer D" : never;
23
+ 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 ? {
24
+ "~": D;
25
+ } : {
26
+ "+": Item;
27
+ } : "!![GetChange] Could not infer D" : "!![GetChange] Could not infer P";
28
+ type ArrayUnionDivergence<From, To, BestKey, Acc extends any[], Divergences extends {
29
+ "~": unknown;
30
+ "+": unknown;
31
+ } = {
32
+ "~": never;
33
+ "+": never;
34
+ }> = 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 {
35
+ "+": infer A;
36
+ } ? ArrayUnionDivergence<Rest, To, BestKey, Acc, {
37
+ "~": Divergences["~"];
38
+ "+": Divergences["+"] | A;
39
+ }> : Change extends {
40
+ "~": infer C;
41
+ } ? ArrayUnionDivergence<Rest, To, BestKey, Acc, {
42
+ "~": Divergences["~"] | C;
43
+ "+": Divergences["+"];
44
+ }> : never : ArrayUnionDivergence<Rest, To, BestKey, Acc, Divergences> : OmitNever<Divergences> extends infer Result ? {} extends Result ? never : Result : never;
45
+ type UnionDivergence<From, To, Acc extends any[]> = ArrayUnionDivergence<UnionToArray<From>, To, FindBestKeyForMatching<Extract<To, object>, Extract<From, object>>, Acc>;
46
+ type IsAtLeastOneUnion<L, R> = IsUnion<L> extends true ? true : IsUnion<R> extends true ? true : false;
47
+ type IsNever<T> = [T] extends [never] ? true : false;
48
+ type AtLeastOneEmptyObject<L, R> = {} extends Required<L> ? true : {} extends Required<R> ? true : false;
49
+ type EmptyObjectDivergence<From, To> = [{}, {}] extends [From, To] ? never : [From, "!=", To];
50
+ type SimpleDivergence<From, To> = From extends To ? never : [From, "!=", To];
51
+ type AtLeastOneArray<From, To> = From extends Array<unknown> ? true : To extends Array<unknown> ? true : false;
52
+ 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 : {
53
+ [key: number]: D;
54
+ } : never : ["[]?", Divergence<F, To, Acc>] : To extends Array<infer T> ? ["[]!", Divergence<From, T, Acc>] : never;
55
+ type Equals<T, U> = [T] extends [U] ? ([U] extends [T] ? true : false) : false;
56
+ type Has<Item, Array extends any[]> = Array extends [infer F, ...infer R] ? Equals<Item, F> extends true ? true : Has<Item, R> : false;
57
+ type Primitive = string | number | boolean | null | undefined | Date;
58
+ type AtLeastOnePrimitive<From, To> = From extends Primitive ? true : To extends Primitive ? true : false;
59
+ type PrimitiveDivergence<From, To> = AtLeastOnePrimitive<From, To> extends true ? SimpleDivergence<From, To> : never;
60
+ type Divergence<From, To, Acc extends any[] = []> = Equals<From, To> extends true ? never : Acc["length"] extends 20 ? {
61
+ error: "Max depth reached";
62
+ } : 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> : {};
63
+ //#endregion
64
+ export { Divergence, Expand, IsNever };
65
+ //# sourceMappingURL=divergence.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"divergence.d.ts","names":[],"sources":["../../src/divergence/divergence.ts"],"mappings":";KAAY,mBAAA,OACV,CAAA,oBACK,CAAA,EAAG,CAAA,6BAEC,CAAA,sBACP,CAAA;AAAA,KAEQ,QAAA,MAAc,YAAA,CAAa,CAAA,YAAY,CAAA,sBAC/C,CAAA;AAAA,KAGQ,YAAA,gCAA4C,OAAA,CAAQ,CAAA,iBAC5D,YAAA,CAAa,OAAA,CAAQ,CAAA,EAAG,QAAA,CAAS,CAAA,KAAM,QAAA,CAAS,CAAA,MAAO,CAAA,MACtD,CAAA,KAAM,CAAA;AAAA,KACN,UAAA,MAAgB,YAAA,CAAa,CAAA,kCAC9B,CAAA;AAAA,KAGC,YAAA,MAAkB,YAAA,CAAa,CAAA,gCAAiC,CAAA;AAAA,KAEhE,YAAA,MAAkB,mBAAA,CACrB,CAAA,gBAAiB,CAAA,EAAG,CAAA;AAAA,KAEjB,OAAA,OAAc,CAAA,WAAY,mBAAA,CAAoB,CAAA;AAAA,KAE9C,eAAA,MAAqB,CAAA,iCACP,CAAA;AAAA,KAKd,sBAAA,uBAA6C,YAAA,OAC1C,SAAA,mBACF,CAAA,eAAgB,SAAA,SAAkB,OAAA,GAChC,UAAA,CAAW,IAAA,CAAK,SAAA,EAAW,CAAA,EAAG,CAAA,WAAY,UAAA,CAAW,SAAA,KAClD,eAAA,CAAgB,SAAA,CAAU,CAAA,IAAK,eAAA,CAAgB,OAAA,CAAQ,CAAA,2BAItD,CAAA;AAAA,KAQA,MAAA,MAAY,CAAA,iCACN,CAAA,GAAI,CAAA,CAAE,CAAA;AAAA,KAEnB,MAAA,SAAe,CAAA,eAAgB,CAAA,GAAI,CAAA,CAAE,CAAA;AAAA,KACrC,YAAA,aAAyB,OAAA,CAAQ,OAAA,OAAc,IAAA,QAAY,EAAA;AAAA,KAC3D,UAAA,aAAuB,OAAA,CAAQ,OAAA,OAAc,EAAA,QAAU,IAAA;AAAA,KACvD,SAAA,oBACS,CAAA,IAAK,CAAA,CAAE,CAAA,0BAA2B,CAAA,GAAI,CAAA,CAAE,CAAA;AAAA,KAGjD,gBAAA,gCAAgD,SAAA,eAErC,IAAA,SAAa,EAAA,GAAK,UAAA,CAC5B,MAAA,CAAO,IAAA,EAAM,CAAA,GACb,MAAA,CAAO,EAAA,EAAI,CAAA,GACX,GAAA,cAGI,YAAA,CAAa,IAAA,EAAM,EAAA,SAAW,CAAA,KAAM,IAAA,CAAK,CAAA,cAEzC,UAAA,CAAW,IAAA,EAAM,EAAA,SAAW,CAAA,KAAM,EAAA,CAAG,CAAA,uCAGhC,MAAA,WAET,MAAA;AAAA,KAID,cAAA,4BACS,IAAA,GAAO,CAAA,mBAEP,EAAA,GAAK,CAAA,UACV,IAAA,SAAa,EAAA;AAAA,KAEjB,eAAA,gCAA+C,cAAA,CAClD,IAAA,EACA,EAAA,gCAC8B,IAAA,SAAa,EAAA,GACzC,UAAA,CAAW,IAAA,CAAK,CAAA,GAAI,EAAA,CAAG,CAAA,GAAI,GAAA;AAAA,KAE1B,aAAA,OAAoB,CAAA,4BAErB,CAAA,uCACuB,CAAA,+BAEE,CAAA,+BAEE,CAAA;AAAA,KAO1B,sBAAA,sCAKD,OAAA,CAAQ,CAAA,kBACR,CAAA,eAAgB,KAAA,SAAc,IAAA,GAC5B,OAAA,CAAQ,KAAA,UAAe,CAAA,GAAI,IAAA,CAAK,CAAA,+BAC9B,OAAA,CAAQ,SAAA,kBACN,UAAA,CAAW,IAAA,EAAM,SAAA,EAAW,GAAA,oBAC1B,OAAA,CAAQ,CAAA,kBACN,MAAA,SAAe,CAAA,GAAI,IAAA,CAAK,CAAA,MAAO,CAAA;AAAA,KAQxC,aAAA,4CAAyD,QAAA,CAC5D,IAAA,iBACI,eAAA,CAAgB,IAAA,EAAM,OAAA,CAAQ,KAAA,UAAe,GAAA,IAC7C,IAAA,kBACE,sBAAA,CAAuB,IAAA,EAAM,OAAA,CAAQ,KAAA,WAAgB,OAAA,EAAS,GAAA;AAAA,KAIjE,YAAA,+CAA2D,KAAA,iCAI5D,UAAA,CAAW,IAAA,EAAM,CAAA,EAAG,GAAA,oBAClB,OAAA,CAAQ,CAAA,iBACN,CAAA,GACA,YAAA,CAAa,IAAA,EAAM,CAAA,EAAG,UAAA,EAAY,GAAA;AAAA,KAIrC,SAAA,4CAAqD,YAAA,CACxD,IAAA,EACA,YAAA,CAAa,KAAA,GACb,OAAA,EACA,GAAA,oBAEE,OAAA,CAAQ,CAAA,0BAEN,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,OAAA,EAAS,GAAA,oBAClC,OAAA,CAAQ,CAAA;EACJ,GAAA,EAAK,CAAA;AAAA;EACL,GAAA,EAAK,IAAA;AAAA;AAAA,KAIL,oBAAA;EAKY,GAAA;EAAc,GAAA;AAAA;EAClC,GAAA;EACA,GAAA;AAAA,KAEA,IAAA,oCACA,SAAA,CAAU,CAAA,EAAG,EAAA,EAAI,OAAA,EAAS,GAAA,yBACxB,OAAA,CAAQ,MAAA,iBACN,oBAAA,CAAqB,IAAA,EAAM,EAAA,EAAI,OAAA,EAAS,GAAA,EAAK,WAAA,IAC7C,MAAA;EAAiB,GAAA;AAAA,IACf,oBAAA,CACE,IAAA,EACA,EAAA,EACA,OAAA,EACA,GAAA;EACE,GAAA,EAAK,WAAA;EAAkB,GAAA,EAAK,WAAA,QAAmB,CAAA;AAAA,KAEnD,MAAA;EAAiB,GAAA;AAAA,IACf,oBAAA,CACE,IAAA,EACA,EAAA,EACA,OAAA,EACA,GAAA;EACE,GAAA,EAAK,WAAA,QAAmB,CAAA;EAAG,GAAA,EAAK,WAAA;AAAA,aAG1C,oBAAA,CAAqB,IAAA,EAAM,EAAA,EAAI,OAAA,EAAS,GAAA,EAAK,WAAA,IAC/C,SAAA,CAAU,WAAA,oCACG,MAAA,WAET,MAAA;AAAA,KAGI,eAAA,gCAA+C,oBAAA,CACzD,YAAA,CAAa,IAAA,GACb,EAAA,EACA,sBAAA,CAAuB,OAAA,CAAQ,EAAA,WAAa,OAAA,CAAQ,IAAA,YACpD,GAAA;AAAA,KAGG,iBAAA,SAA0B,OAAA,CAAQ,CAAA,wBAEnC,OAAA,CAAQ,CAAA;AAAA,KAIA,OAAA,OAAc,CAAA;AAAA,KAErB,qBAAA,oBAAyC,QAAA,CAAS,CAAA,sBAExC,QAAA,CAAS,CAAA;AAAA,KAInB,qBAAA,+BAAoD,IAAA,EAAM,EAAA,aAE1D,IAAA,QAAY,EAAA;AAAA,KAEZ,gBAAA,aAA6B,IAAA,SAAa,EAAA,YAAc,IAAA,QAAY,EAAA;AAAA,KAIpE,eAAA,aAA4B,IAAA,SAAa,KAAA,mBAE1C,EAAA,SAAW,KAAA;AAAA,KAIV,eAAA,gCAA+C,IAAA,SAAa,KAAA,YAC7D,EAAA,SAAW,KAAA,YACT,UAAA,CAAW,CAAA,EAAG,CAAA,EAAG,GAAA,oBACf,OAAA,CAAQ,CAAA;EAAA,CAEH,GAAA,WAAc,CAAA;AAAA,oBAEb,UAAA,CAAW,CAAA,EAAG,EAAA,EAAI,GAAA,KAC5B,EAAA,SAAW,KAAA,oBACD,UAAA,CAAW,IAAA,EAAM,CAAA,EAAG,GAAA;AAAA,KAG7B,MAAA,UAAgB,CAAA,WAAY,CAAA,MAAO,CAAA,WAAY,CAAA;AAAA,KAE/C,GAAA,8BAAiC,KAAA,iCAClC,MAAA,CAAO,IAAA,EAAM,CAAA,wBAEX,GAAA,CAAI,IAAA,EAAM,CAAA;AAAA,KAGX,SAAA,kDAA2D,IAAA;AAAA,KAE3D,mBAAA,aAAgC,IAAA,SAAa,SAAA,UAE9C,EAAA,SAAW,SAAA;AAAA,KAIV,mBAAA,aAAgC,mBAAA,CAAoB,IAAA,EAAM,EAAA,iBAC3D,gBAAA,CAAiB,IAAA,EAAM,EAAA;AAAA,KAIf,UAAA,qCAA+C,MAAA,CACzD,IAAA,EACA,EAAA,yBAGE,GAAA;EACI,KAAA;AAAA,IACF,GAAA,CAAI,IAAA,GAAO,EAAA,KAAO,GAAA,2BAEf,OAAA,CAAQ,IAAA,GAAO,OAAA,CAAQ,EAAA,4BACtB,eAAA,CAAgB,IAAA,EAAM,EAAA,iBACpB,eAAA,CAAgB,IAAA,EAAM,EAAA,MAAQ,GAAA,EAAK,IAAA,MAClC,aAAA,CAAc,IAAA,GAAO,aAAA,CAAc,EAAA,0BAClC,eAAA,CAAgB,IAAA,EAAM,EAAA,MAAQ,GAAA,EAAK,IAAA,KACnC,iBAAA,CAAkB,IAAA,EAAM,EAAA,iBACtB,eAAA,CAAgB,IAAA,EAAM,EAAA,EAAI,GAAA,IAC1B,mBAAA,CAAoB,IAAA,EAAM,EAAA,iBACxB,mBAAA,CAAoB,IAAA,EAAM,EAAA,IAC1B,qBAAA,CAAsB,IAAA,EAAM,EAAA,iBAC1B,qBAAA,CAAsB,IAAA,EAAM,EAAA,KAC3B,IAAA,EAAM,EAAA,6BACL,gBAAA,CAAiB,IAAA,EAAM,EAAA,MAAQ,GAAA,EAAK,IAAA,KACpC,gBAAA,CAAiB,IAAA,EAAM,EAAA"}
@@ -0,0 +1,4 @@
1
+ import { Divergence } from "./divergence/divergence.js";
2
+ import { Freeze } from "./references/freeze.decorator.js";
3
+ import { freeze } from "./references/freeze.function.js";
4
+ export { type Divergence, Freeze, freeze };
package/dist/index.js ADDED
@@ -0,0 +1,4 @@
1
+ import { Freeze } from "./references/freeze.decorator.js";
2
+ import { freeze } from "./references/freeze.function.js";
3
+
4
+ export { Freeze, freeze };
@@ -0,0 +1,11 @@
1
+ import { Divergence, Expand, IsNever } from "../divergence/divergence.js";
2
+
3
+ //#region src/references/freeze.decorator.d.ts
4
+ type Freezable<T> = {
5
+ serialize(...args: any[]): T;
6
+ };
7
+ type Ctor<T> = abstract new (...args: any[]) => T;
8
+ 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;
9
+ //#endregion
10
+ export { Freeze };
11
+ //# sourceMappingURL=freeze.decorator.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"freeze.decorator.d.ts","names":[],"sources":["../../src/references/freeze.decorator.ts"],"mappings":";;;KAEK,SAAA;EACH,SAAA,IAAa,IAAA,UAAc,CAAA;AAAA;AAAA,KAGxB,IAAA,uBAA2B,IAAA,YAAgB,CAAA;AAAA,iBAEhC,MAAA,cAAA,CAAA,cAEF,IAAA,CAAK,SAAA,2BACI,OAAA,CAAQ,UAAA,CAAW,YAAA,CAAa,CAAA,kBAAiB,MAAA,EAE5D,CAAA,KACP,UAAA,CAAW,UAAA,EAAY,MAAA,oBACtB,OAAA,CAAQ,CAAA,iBACN,CAAA,GACA,MAAA,CAAO,CAAA"}
@@ -0,0 +1,10 @@
1
+ //#region src/references/freeze.decorator.ts
2
+ function Freeze() {
3
+ return (target) => {
4
+ return target;
5
+ };
6
+ }
7
+
8
+ //#endregion
9
+ export { Freeze };
10
+ //# sourceMappingURL=freeze.decorator.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"freeze.decorator.js","names":[],"sources":["../../src/references/freeze.decorator.ts"],"sourcesContent":["import type { Divergence, Expand, IsNever } from \"../divergence/divergence\";\n\ntype Freezable<T> = {\n serialize(...args: any[]): T;\n};\n\ntype Ctor<T> = abstract new (...args: any[]) => T;\n\nexport function Freeze<Frozen = any>() {\n return <\n C extends Ctor<Freezable<any>>,\n Serialized extends Awaited<ReturnType<InstanceType<C>[\"serialize\"]>>,\n >(\n target: C,\n ): Divergence<Serialized, Frozen> extends infer D\n ? IsNever<D> extends true\n ? C\n : Expand<D>\n : never => {\n return target as any;\n };\n}\n"],"mappings":";AAQA,SAAgB,SAAuB;AACrC,SAIE,WAKW;AACX,SAAO"}
@@ -0,0 +1,11 @@
1
+ import { Divergence, Expand, IsNever } from "../divergence/divergence.js";
2
+
3
+ //#region src/references/freeze.function.d.ts
4
+ type FreezeParameters<T, NAME extends string> = {
5
+ type: T;
6
+ name: NAME;
7
+ };
8
+ 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;
9
+ //#endregion
10
+ export { freeze };
11
+ //# sourceMappingURL=freeze.function.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"freeze.function.d.ts","names":[],"sources":["../../src/references/freeze.function.ts"],"mappings":";;;KAEK,gBAAA;EACH,IAAA,EAAM,CAAA;EACN,IAAA,EAAM,IAAA;AAAA;AAAA,iBAGQ,MAAA,WACJ,gBAAA,8BAAA,CAAA,GAGP,KAAA,EAAO,UAAA,CAAW,CAAA,UAAW,OAAA,CAAQ,MAAA,qBACpC,OAAA,CAAQ,CAAA,yBAEP,MAAA,CAAO,CAAA"}
@@ -0,0 +1,6 @@
1
+ //#region src/references/freeze.function.ts
2
+ function freeze(..._args) {}
3
+
4
+ //#endregion
5
+ export { freeze };
6
+ //# sourceMappingURL=freeze.function.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"freeze.function.js","names":[],"sources":["../../src/references/freeze.function.ts"],"sourcesContent":["import type { Divergence, Expand, IsNever } from \"../divergence/divergence\";\n\ntype FreezeParameters<T, NAME extends string> = {\n type: T;\n name: NAME;\n}\n\nexport function freeze<\n T extends FreezeParameters<any, string>,\n FROZEN = never,\n>(\n ..._args: Divergence<T['type'], NoInfer<FROZEN>> extends infer D\n ? IsNever<D> extends true\n ? [{}]\n : [Expand<D>]\n : [{}]\n) { }\n"],"mappings":";AAOA,SAAgB,OAId,GAAG,OAKH"}
package/package.json ADDED
@@ -0,0 +1,41 @@
1
+ {
2
+ "name": "@ddd-ts/freeze",
3
+ "version": "0.0.0-63-add-auto-generated-comment.1",
4
+ "types": "dist/index.d.ts",
5
+ "license": "MIT",
6
+ "repository": {
7
+ "url": "git+https://github.com/ddd-ts/monorepo"
8
+ },
9
+ "bin": {
10
+ "freeze": "dist/entrypoints/freeze.entrypoint.js"
11
+ },
12
+ "scripts": {
13
+ "build": "tsdown --config node_modules/@ddd-ts/tools/tsdown.config.js",
14
+ "test": "jest --config node_modules/@ddd-ts/tools/jest.config.js"
15
+ },
16
+ "peerDependencies": {
17
+ "ts-morph": "^23.0.0",
18
+ "typescript": "^5.5.4"
19
+ },
20
+ "dependencies": {
21
+ "@ddd-ts/core": "0.0.0-63-add-auto-generated-comment.1",
22
+ "@ddd-ts/shape": "0.0.0-63-add-auto-generated-comment.1",
23
+ "@ddd-ts/traits": "0.0.0-63-add-auto-generated-comment.1",
24
+ "@ddd-ts/types": "0.0.0-63-add-auto-generated-comment.1"
25
+ },
26
+ "devDependencies": {
27
+ "@ddd-ts/tools": "0.0.0-63-add-auto-generated-comment.1",
28
+ "@types/jest": "^29.5.1",
29
+ "@types/node": "^17.0.13"
30
+ },
31
+ "exports": {
32
+ ".": "./src/index.ts",
33
+ "./package.json": "./package.json"
34
+ },
35
+ "publishConfig": {
36
+ "exports": {
37
+ ".": "./dist/index.js",
38
+ "./package.json": "./package.json"
39
+ }
40
+ }
41
+ }