import { ExcludeExact, Levels } from './useful';
declare type IsRecursivable<T> = never | T extends (RegExp | Date | Promise<any>) ? false : T extends (...args: any[]) => any ? false : T extends unknown[] ? true : T extends object ? true : false;
declare type CommonKeys<T> = keyof T;
declare type Keys<T> = T extends unknown ? keyof T : never;
declare type NonCommonKeys<T> = Exclude<Keys<T>, CommonKeys<T>>;
declare type Common<T, Depth extends number> = CommonKeys<T> extends infer K1 ? {
    [K in K1 & CommonKeys<T>]: IsRecursivable<T[K]> extends true ? MergeReduce<T[K], Depth> : T[K];
} : never;
declare type NonCommonValue<T, K extends PropertyKey> = T extends Partial<Record<K, infer V>> ? keyof T extends never ? never : V : never;
declare type NonCommon<T, Depth extends number> = NonCommonKeys<T> extends infer K1 ? {
    [K in K1 & NonCommonKeys<T>]?: IsRecursivable<T[K]> extends true ? MergeReduce<T[K], Depth> : NonCommonValue<T, K>;
} : never;
declare type Values<T extends {}> = T extends T ? {
    [K in keyof T]: T[K];
} : never;
declare type UnionToFuncParam<U> = U extends any ? (k: U) => void : never;
declare type UnionFuncParamToIntersection<U> = UnionToFuncParam<U> extends ((k: infer I) => void) ? I : never;
declare type ExtractFuncParm<F> = F extends {
    (a: infer A): void;
} ? A : never;
declare type SpliceOne<Union> = ExcludeExact<Union, ExtractOne<Union>>;
declare type ExtractOne<Union> = ExtractFuncParm<UnionFuncParamToIntersection<UnionToFuncParam<Union>>>;
declare type MergeReduce<Union, Depth extends number = 20> = Depth extends 0 ? Union : MergeReduceImpl<Union, {}, Levels[Depth]>;
declare type MergeReducer<T, Container, Depth extends number> = Merge<T | Container, Depth>;
declare type Merge<T, Depth extends number> = Values<Common<T, Depth> & NonCommon<T, Depth>>;
declare type MergeReduceImpl<Union, Container, Depth extends number> = SpliceOne<Union> extends never ? MergeReducer<ExtractOne<Union>, Container, Depth> : MergeReduceImpl<SpliceOne<Union>, MergeReducer<ExtractOne<Union>, Container, Depth>, Depth>;
export declare type MergeRecursive<TUnion> = MergeReduce<TUnion>;
export {};