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 ExcludeExact<T, U> = T extends U ? U extends T ? never : T : T;
declare type SpliceOne<Union> = ExcludeExact<Union, ExtractOne<Union>>;
declare type ExtractOne<Union> = ExtractFuncParm<UnionFuncParamToIntersection<UnionToFuncParam<Union>>>;
export declare type UnionReducers = 'tuple' | 'intersection' | 'function-params';
export declare type UnionReduce<Union, Reducer extends UnionReducers, Container> = UnionReduceImpl<Reducer, Union, Container>;
export declare type UnionReducer<Reducer extends UnionReducers, T, Container> = Reducer extends 'tuple' ? Container extends any[] ? [T, ...Container] : never : Reducer extends 'intersection' ? {
    [K in keyof (T & Container)]: (T & Container)[K];
} : Reducer extends 'function-params' ? Container extends (...args: any[]) => any ? (...args: [...Parameters<Container>, T]) => ReturnType<Container> : never : never;
declare type UnionReduceImpl<Reducer extends UnionReducers, Union, Container> = SpliceOne<Union> extends never ? UnionReducer<Reducer, ExtractOne<Union>, Container> : UnionReduceImpl<Reducer, SpliceOne<Union>, UnionReducer<Reducer, ExtractOne<Union>, Container>>;
export declare type ToTuple<Union> = UnionReduce<Union, 'tuple', []>;
export declare type ToIntersection<Union> = UnionReduce<Union, 'intersection', {}>;
export declare type ToFunctionParams<Union, R = void> = UnionReduce<Union, 'function-params', () => R>;
export {};