type-fest 3.13.0 → 3.13.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/package.json +1 -1
- package/source/internal.d.ts +2 -2
- package/source/jsonify.d.ts +5 -15
- package/source/partial-deep.d.ts +1 -1
- package/source/partial-on-undefined-deep.d.ts +1 -1
- package/source/readonly-deep.d.ts +2 -2
- package/source/required-deep.d.ts +2 -2
- package/source/schema.d.ts +1 -1
- package/source/writable-deep.d.ts +2 -2
package/package.json
CHANGED
package/source/internal.d.ts
CHANGED
|
@@ -235,8 +235,8 @@ Needed to handle the case of a single call signature with properties.
|
|
|
235
235
|
Multiple call signatures cannot currently be supported due to a TypeScript limitation.
|
|
236
236
|
@see https://github.com/microsoft/TypeScript/issues/29732
|
|
237
237
|
*/
|
|
238
|
-
export type HasMultipleCallSignatures<T extends (...
|
|
239
|
-
T extends {(...
|
|
238
|
+
export type HasMultipleCallSignatures<T extends (...arguments_: any[]) => unknown> =
|
|
239
|
+
T extends {(...arguments_: infer A): unknown; (...arguments_: any[]): unknown}
|
|
240
240
|
? unknown[] extends A
|
|
241
241
|
? false
|
|
242
242
|
: true
|
package/source/jsonify.d.ts
CHANGED
|
@@ -1,26 +1,16 @@
|
|
|
1
1
|
import type {JsonPrimitive, JsonValue} from './basic';
|
|
2
2
|
import type {EmptyObject} from './empty-object';
|
|
3
3
|
import type {UndefinedToOptional} from './internal';
|
|
4
|
-
import type {IsAny} from './is-any';
|
|
5
|
-
import type {IsNever} from './is-never';
|
|
6
4
|
import type {NegativeInfinity, PositiveInfinity} from './numeric';
|
|
7
5
|
import type {TypedArray} from './typed-array';
|
|
6
|
+
import type {IsAny} from './is-any';
|
|
8
7
|
|
|
9
8
|
// Note: The return value has to be `any` and not `unknown` so it can match `void`.
|
|
10
9
|
type NotJsonable = ((...arguments_: any[]) => any) | undefined | symbol;
|
|
11
10
|
|
|
12
|
-
type
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
: [F, ...FilterNonNever<R>]
|
|
16
|
-
: IsNever<T[number]> extends true
|
|
17
|
-
? []
|
|
18
|
-
: T;
|
|
19
|
-
|
|
20
|
-
// Handles tuples and arrays
|
|
21
|
-
type JsonifyList<T extends unknown[]> = T extends [infer F, ...infer R]
|
|
22
|
-
? FilterNonNever<[Jsonify<F>, ...JsonifyList<R>]>
|
|
23
|
-
: Array<Jsonify<T[number]>>;
|
|
11
|
+
type JsonifyTuple<T extends [unknown, ...unknown[]]> = {
|
|
12
|
+
[Key in keyof T]: T[Key] extends NotJsonable ? null : Jsonify<T[Key]>;
|
|
13
|
+
};
|
|
24
14
|
|
|
25
15
|
type FilterJsonableKeys<T extends object> = {
|
|
26
16
|
[Key in keyof T]: T[Key] extends NotJsonable ? never : Key;
|
|
@@ -117,7 +107,7 @@ export type Jsonify<T> = IsAny<T> extends true
|
|
|
117
107
|
: T extends []
|
|
118
108
|
? []
|
|
119
109
|
: T extends [unknown, ...unknown[]]
|
|
120
|
-
?
|
|
110
|
+
? JsonifyTuple<T>
|
|
121
111
|
: T extends ReadonlyArray<infer U>
|
|
122
112
|
? Array<U extends NotJsonable ? null : Jsonify<U>>
|
|
123
113
|
: T extends object
|
package/source/partial-deep.d.ts
CHANGED
|
@@ -69,7 +69,7 @@ export type PartialDeep<T, Options extends PartialDeepOptions = {}> = T extends
|
|
|
69
69
|
? PartialReadonlyMapDeep<KeyType, ValueType, Options>
|
|
70
70
|
: T extends ReadonlySet<infer ItemType>
|
|
71
71
|
? PartialReadonlySetDeep<ItemType, Options>
|
|
72
|
-
: T extends ((...
|
|
72
|
+
: T extends ((...arguments_: any[]) => unknown)
|
|
73
73
|
? T | undefined
|
|
74
74
|
: T extends object
|
|
75
75
|
? T extends ReadonlyArray<infer ItemType> // Test for arrays/tuples, per https://github.com/microsoft/TypeScript/issues/35156
|
|
@@ -55,7 +55,7 @@ export type PartialOnUndefinedDeep<T, Options extends PartialOnUndefinedDeepOpti
|
|
|
55
55
|
/**
|
|
56
56
|
Utility type to get the value type by key and recursively call `PartialOnUndefinedDeep` to transform sub-objects.
|
|
57
57
|
*/
|
|
58
|
-
type PartialOnUndefinedDeepValue<T, Options extends PartialOnUndefinedDeepOptions> = T extends BuiltIns | ((...
|
|
58
|
+
type PartialOnUndefinedDeepValue<T, Options extends PartialOnUndefinedDeepOptions> = T extends BuiltIns | ((...arguments_: any[]) => unknown)
|
|
59
59
|
? T
|
|
60
60
|
: T extends ReadonlyArray<infer U> // Test if type is array or tuple
|
|
61
61
|
? Options['recurseIntoArrays'] extends true // Check if option is activated
|
|
@@ -38,12 +38,12 @@ Note that types containing overloaded functions are not made deeply readonly due
|
|
|
38
38
|
*/
|
|
39
39
|
export type ReadonlyDeep<T> = T extends BuiltIns
|
|
40
40
|
? T
|
|
41
|
-
: T extends (...
|
|
41
|
+
: T extends (...arguments_: any[]) => unknown
|
|
42
42
|
? {} extends ReadonlyObjectDeep<T>
|
|
43
43
|
? T
|
|
44
44
|
: HasMultipleCallSignatures<T> extends true
|
|
45
45
|
? T
|
|
46
|
-
: ((...
|
|
46
|
+
: ((...arguments_: Parameters<T>) => ReturnType<T>) & ReadonlyObjectDeep<T>
|
|
47
47
|
: T extends Readonly<ReadonlyMap<infer KeyType, infer ValueType>>
|
|
48
48
|
? ReadonlyMapDeep<KeyType, ValueType>
|
|
49
49
|
: T extends Readonly<ReadonlySet<infer ItemType>>
|
|
@@ -59,12 +59,12 @@ export type RequiredDeep<T, E extends ExcludeUndefined<T> = ExcludeUndefined<T>>
|
|
|
59
59
|
? WeakSet<RequiredDeep<ItemType>>
|
|
60
60
|
: E extends Promise<infer ValueType>
|
|
61
61
|
? Promise<RequiredDeep<ValueType>>
|
|
62
|
-
: E extends (...
|
|
62
|
+
: E extends (...arguments_: any[]) => unknown
|
|
63
63
|
? {} extends RequiredObjectDeep<E>
|
|
64
64
|
? E
|
|
65
65
|
: HasMultipleCallSignatures<E> extends true
|
|
66
66
|
? E
|
|
67
|
-
: ((...
|
|
67
|
+
: ((...arguments_: Parameters<E>) => ReturnType<E>) & RequiredObjectDeep<E>
|
|
68
68
|
: E extends object
|
|
69
69
|
? E extends Array<infer ItemType> // Test for arrays/tuples, per https://github.com/microsoft/TypeScript/issues/35156
|
|
70
70
|
? ItemType[] extends E // Test for arrays (non-tuples) specifically
|
package/source/schema.d.ts
CHANGED
|
@@ -51,7 +51,7 @@ export type Schema<ObjectType, ValueType> = ObjectType extends string
|
|
|
51
51
|
? ValueType
|
|
52
52
|
: ObjectType extends unknown[]
|
|
53
53
|
? ValueType
|
|
54
|
-
: ObjectType extends (...
|
|
54
|
+
: ObjectType extends (...arguments_: unknown[]) => unknown
|
|
55
55
|
? ValueType
|
|
56
56
|
: ObjectType extends Date
|
|
57
57
|
? ValueType
|
|
@@ -32,12 +32,12 @@ Note that types containing overloaded functions are not made deeply writable due
|
|
|
32
32
|
*/
|
|
33
33
|
export type WritableDeep<T> = T extends BuiltIns
|
|
34
34
|
? T
|
|
35
|
-
: T extends (...
|
|
35
|
+
: T extends (...arguments_: any[]) => unknown
|
|
36
36
|
? {} extends WritableObjectDeep<T>
|
|
37
37
|
? T
|
|
38
38
|
: HasMultipleCallSignatures<T> extends true
|
|
39
39
|
? T
|
|
40
|
-
: ((...
|
|
40
|
+
: ((...arguments_: Parameters<T>) => ReturnType<T>) & WritableObjectDeep<T>
|
|
41
41
|
: T extends Readonly<ReadonlyMap<infer KeyType, infer ValueType>>
|
|
42
42
|
? WritableMapDeep<KeyType, ValueType>
|
|
43
43
|
: T extends Readonly<ReadonlySet<infer ItemType>>
|