UNPKG

4.84 kBTypeScriptView Raw
1import { At } from '../Any/At';
2import { _OptionalKeys } from './OptionalKeys';
3import { Key } from '../Any/Key';
4import { List } from '../List/List';
5import { Depth, Anyfy } from './_Internal';
6import { BuiltIn } from '../Misc/BuiltIn';
7import { Length } from '../List/Length';
8import { RequiredKeys } from '../List/RequiredKeys';
9import { Exclude } from '../Union/Exclude';
10import { Has } from '../Union/Has';
11/**
12 * @hidden
13 */
14declare type Longer<L extends List, L1 extends List> = L extends unknown ? L1 extends unknown ? {
15 0: 0;
16 1: 1;
17}[Has<RequiredKeys<L>, RequiredKeys<L1>>] : never : never;
18/**
19 * @hidden
20 */
21declare type MergeProp<OK, O1K, fill, OOKeys extends Key, K extends Key> = K extends OOKeys ? Exclude<OK, undefined> | O1K : [OK] extends [never] ? O1K : OK extends fill ? O1K : OK;
22/**
23 * @hidden
24 */
25declare type MergeFlatObject<O extends object, O1 extends object, fill, OOKeys extends Key = _OptionalKeys<O>> = {
26 [K in keyof (Anyfy<O> & O1)]: MergeProp<At<O, K>, At<O1, K>, fill, OOKeys, K>;
27} & {};
28/**
29 * @hidden
30 */
31declare type MergeFlatList<L extends List, L1 extends List, ignore extends object, fill, LOK extends Key = _OptionalKeys<L>> = number extends Length<L | L1> ? MergeFlatChoice<L[number], L1[number], ignore, fill>[] : Longer<L, L1> extends 1 ? {
32 [K in keyof L]: MergeProp<L[K], At<L1, K>, fill, LOK, K>;
33} : {
34 [K in keyof L1]: MergeProp<At<L, K>, L1[K], fill, LOK, K>;
35};
36/**
37 * @hidden
38 */
39export declare type MergeFlatChoice<O extends object, O1 extends object, ignore extends object, fill> = O extends ignore ? O : O1 extends ignore ? O : O extends List ? O1 extends List ? MergeFlatList<O, O1, ignore, fill> : MergeFlatObject<O, O1, fill> : MergeFlatObject<O, O1, fill>;
40/**
41 * @hidden
42 */
43export declare type MergeFlat<O extends object, O1 extends object, ignore extends object = BuiltIn, fill = undefined> = O extends unknown ? O1 extends unknown ? MergeFlatChoice<O, O1, ignore, fill> : never : never;
44/**
45 * @hidden
46 */
47declare type MergeDeepList<L extends List, L1 extends List, ignore extends object, fill> = number extends Length<L | L1> ? MergeDeepChoice<L[number], L1[number], ignore, fill, never, any>[] : Longer<L, L1> extends 1 ? {
48 [K in keyof L]: MergeDeepChoice<L[K], At<L1, K>, ignore, fill, _OptionalKeys<L>, K>;
49} : {
50 [K in keyof L1]: MergeDeepChoice<At<L, K>, L1[K], ignore, fill, _OptionalKeys<L>, K>;
51};
52/**
53 * @hidden
54 */
55declare type MergeDeepObject<O extends object, O1 extends object, ignore extends object, fill, OOKeys extends Key = _OptionalKeys<O>> = {
56 [K in keyof (Anyfy<O> & O1)]: MergeDeepChoice<At<O, K>, At<O1, K>, ignore, fill, OOKeys, K>;
57};
58/**
59 * @hidden
60 */
61declare type MergeDeepChoice<OK, O1K, ignore extends object, fill, OOKeys extends Key, K extends Key> = [
62 OK
63] extends [never] ? MergeProp<OK, O1K, fill, OOKeys, K> : [
64 O1K
65] extends [never] ? MergeProp<OK, O1K, fill, OOKeys, K> : OK extends ignore ? MergeProp<OK, O1K, fill, OOKeys, K> : O1K extends ignore ? MergeProp<OK, O1K, fill, OOKeys, K> : OK extends List ? O1K extends List ? MergeDeepList<OK, O1K, ignore, fill> : MergeProp<OK, O1K, fill, OOKeys, K> : OK extends object ? O1K extends object ? MergeDeepObject<OK, O1K, ignore, fill> : MergeProp<OK, O1K, fill, OOKeys, K> : MergeProp<OK, O1K, fill, OOKeys, K>;
66/**
67 * @hidden
68 */
69export declare type MergeDeep<O extends object, O1 extends object, ignore extends object, fill> = O extends unknown ? O1 extends unknown ? MergeDeepChoice<O, O1, ignore, fill, 'x', 'y'> : never : never;
70/**
71 * Accurately merge the fields of `O` with the ones of `O1`. It is
72 * equivalent to the spread operator in JavaScript. [[Union]]s and [[Optional]]
73 * fields will be handled gracefully.
74 *
75 * (⚠️ needs `--strictNullChecks` enabled)
76 * @param O to complete
77 * @param O1 to copy from
78 * @param depth (?=`'flat'`) 'deep' to do it deeply
79 * @param ignore (?=`BuiltIn`) types not to merge
80 * @param fill (?=`undefined`) types of `O` to be replaced with ones of `O1`
81 * @returns [[Object]]
82 * @example
83 * ```ts
84 * import {O} from 'ts-toolbelt'
85 *
86 * type O = {
87 * name?: string
88 * age? : number
89 * zip? : string
90 * pay : {
91 * cvv?: number
92 * }
93 * }
94 *
95 * type O1 = {
96 * age : number
97 * zip?: number
98 * city: string
99 * pay : {
100 * cvv : number
101 * ccn?: string
102 * }
103 * }
104 *
105 * type test = O.Merge<O, O1, 'deep'>
106 * // {
107 * // name?: string;
108 * // age: number;
109 * // zip?: string | number;
110 * // pay: {
111 * // cvv: number;
112 * // ccn?: string;
113 * // };
114 * // city: string;
115 * // }
116 * ```
117 */
118export declare type Merge<O extends object, O1 extends object, depth extends Depth = 'flat', ignore extends object = BuiltIn, fill extends any = undefined> = {
119 'flat': MergeFlat<O, O1, ignore, fill>;
120 'deep': MergeDeep<O, O1, ignore, fill>;
121}[depth];
122export {};