/**
 *****************************************
 * 加载依赖
 *****************************************
 */
import { U } from './d';
/**
 *****************************************
 * 参数
 *****************************************
 */
declare type Args<T extends U[], P extends U[]> = (P extends T ? T : T extends [] ? [] : T extends [U] ? [P[0]] : T extends [...rest: infer W, last: U] ? [...Args<W, P>, P[W['length']]] : P);
/**
 *****************************************
 * 处理函数
 *****************************************
 */
declare type Handler<T extends U[], P> = (...args: T) => P;
/**
 *****************************************
 * 柯里化
 *****************************************
 */
declare type Curry<T extends U[], P> = (T extends [] ? () => P : T extends [infer V] ? (argv: V) => P : Curried<T, P>);
/**
 *****************************************
 * 柯里化函数
 *****************************************
 */
interface Curried<T extends U[], P> {
    <I extends U[]>(...args: Args<I, T>): (T extends [...args: I, ...rest: infer R] ? Curry<R, P> : never);
}
/**
 *****************************************
 * 柯里化
 *****************************************
 */
export declare function curry<T extends U[], P>(handler: Handler<T, P>): Curry<T, P>;
export {};
//# sourceMappingURL=curry.d.ts.map