UNPKG

atomaric

Version:

Manage your project state

164 lines (148 loc) • 7.59 kB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
/* eslint-disable @typescript-eslint/no-explicit-any */ export type Path<T, Sep extends string> = T extends any ? PathInternal<T, Sep> : never; export type PathValue<T, Sep extends string, ValuePath extends Path<T, Sep>> = TPathValue<T, Sep, ValuePath>; ///////////////////////////////////////////////////////////////////////// ///////////////////////////////////////////////////////////////////////// ///////////////////////////////////////////////////////////////////////// ///////////////////////////////////////////////////////////////////////// ///////////////////////////////////////////////////////////////////////// ///////////////////////////////////////////////////////////////////////// ///////////////////////////////////////////////////////////////////////// ///////////////////////////////////////////////////////////////////////// type PathInternal<T, Sep extends string, TraversedTypes = T> = T extends ReadonlyArray<infer V> ? IsTuple<T> extends true ? { [K in TupleKeys<T>]-?: PathImpl<K & string, Sep, T[K], TraversedTypes>; }[TupleKeys<T>] : PathImpl<ArrayKey, Sep, V, TraversedTypes> : { [K in keyof T]-?: PathImpl<K & (string | number), Sep, T[K], TraversedTypes>; }[keyof T]; type TupleKeys<T extends ReadonlyArray<any>> = Exclude<keyof T, keyof any[]>; type PathImpl<K extends string | number, Sep extends string, V, TraversedTypes> = V extends | Primitive | BrowserNativeObject ? `${K}` : true extends AnyIsEqual<TraversedTypes, V> ? `${K}` : `${K}` | `${K}${Sep}${PathInternal<V, Sep, TraversedTypes | V>}`; //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// type TPathValue<T, Sep extends string, P extends Path<T, Sep> | ArrayPath<T, Sep>> = T extends any ? P extends `${infer K}${Sep}${infer R}` ? K extends keyof T ? R extends Path<T[K], Sep> ? TPathValue<T[K], Sep, R> : never : T extends ReadonlyArray<infer V> | Partial<Record<number, infer V>> | Record<number, infer V> ? TPathValue<V, Sep, R & Path<V, Sep>> : never : P extends keyof T ? T[P] : T extends ReadonlyArray<infer V> | Partial<Record<number, infer V>> | Record<number, infer V> ? V : never : never; //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////// export type PathValueDonor< Value, Sep extends string, FullPath extends Path<Value, Sep> | ArrayPath<Value, Sep>, > = Value extends any ? FullPath extends `${infer Key}${Sep}${infer KeyRest}` ? Key extends keyof Value ? KeyRest extends Path<Value[Key], Sep> ? Required<Record<Key, PathValueDonor<Value[Key], Sep, KeyRest>>> : never : Value extends ReadonlyArray<infer V> ? [PathValueDonor<V, Sep, KeyRest & Path<V, Sep>>] : Value extends Partial<Record<infer K, infer V>> | Record<infer K, infer V> ? Record<K, PathValueDonor<V, Sep, KeyRest & Path<V, Sep>>> : never : FullPath extends keyof Value ? FullPath extends `${string}${Sep}${string}${string}` ? Required<Record<FullPath, Value[FullPath]>> : Value extends ReadonlyArray<any> ? [] : Record<string, never> : Value extends ReadonlyArray<infer V> ? FullPath extends `${string}${Sep}${string}${string}` ? [V] : [] : Value extends Partial<Record<infer K, infer V>> | Record<infer K, infer V> ? Record<K, V> : never : never; ///////////////////////////////////////////////////////// ///////////////////////////////////////////////////////// ///////////////////////////////////////////////////////// ///////////////////////////////////////////////////////// ///////////////////////////////////////////////////////// ///////////////////////////////////////////////////////// ///////////////////////////////////////////////////////// ///////////////////////////////////////////////////////// ///////////////////////////////////////////////////////// ///////////////////////////////////////////////////////// ///////////////////////////////////////////////////////// ///////////////////////////////////////////////////////// type ArrayKey = number; type Primitive = null | undefined | string | number | boolean | symbol | bigint; type IsTuple<T extends ReadonlyArray<any>> = number extends T['length'] ? false : true; type BrowserNativeObject = Date | FileList | File; type AnyIsEqual<T1, T2> = T1 extends T2 ? (IsEqual<T1, T2> extends true ? true : never) : never; type IsEqual<T1, T2> = T1 extends T2 ? (<G>() => G extends T1 ? 1 : 2) extends <G>() => G extends T2 ? 1 : 2 ? true : false : false; type ArrayPath<T, Sep extends string> = T extends any ? ArrayPathInternal<T, Sep> : never; type ArrayPathInternal<T, Sep extends string, TraversedTypes = T> = T extends ReadonlyArray<infer V> ? IsTuple<T> extends true ? { [K in TupleKeys<T>]-?: ArrayPathImpl<K & string, Sep, T[K], TraversedTypes>; }[TupleKeys<T>] : ArrayPathImpl<ArrayKey, Sep, V, TraversedTypes> : { [K in keyof T]-?: ArrayPathImpl<K & string, Sep, T[K], TraversedTypes>; }[keyof T]; type ArrayPathImpl<K extends string | number, Sep extends string, V, TraversedTypes> = V extends | Primitive | BrowserNativeObject ? IsAny<V> extends true ? string : never : V extends ReadonlyArray<infer U> ? U extends Primitive | BrowserNativeObject ? IsAny<V> extends true ? string : never : true extends AnyIsEqual<TraversedTypes, V> ? never : `${K}` | `${K}${Sep}${ArrayPathInternal<V, Sep, TraversedTypes | V>}` : true extends AnyIsEqual<TraversedTypes, V> ? never : `${K}${Sep}${ArrayPathInternal<V, Sep, TraversedTypes | V>}`; type IsAny<T> = 0 extends 1 & T ? true : false;