[d24f17c] | 1 | import { At } from '../Any/At';
|
---|
| 2 | import { _OptionalKeys } from './OptionalKeys';
|
---|
| 3 | import { Key } from '../Any/Key';
|
---|
| 4 | import { List } from '../List/List';
|
---|
| 5 | import { Depth, Anyfy } from './_Internal';
|
---|
| 6 | import { BuiltIn } from '../Misc/BuiltIn';
|
---|
| 7 | import { Length } from '../List/Length';
|
---|
| 8 | import { RequiredKeys } from '../List/RequiredKeys';
|
---|
| 9 | import { Exclude } from '../Union/Exclude';
|
---|
| 10 | import { Has } from '../Union/Has';
|
---|
| 11 | /**
|
---|
| 12 | * @hidden
|
---|
| 13 | */
|
---|
| 14 | declare 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 | */
|
---|
| 21 | declare 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 | */
|
---|
| 25 | declare 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 | */
|
---|
| 31 | declare 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 | */
|
---|
| 39 | export 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 | */
|
---|
| 43 | export 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 | */
|
---|
| 47 | declare 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 | */
|
---|
| 55 | declare 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 | */
|
---|
| 61 | declare 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 | */
|
---|
| 69 | export 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 | */
|
---|
| 118 | export 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];
|
---|
| 122 | export {};
|
---|