import { Step } from "./types";
export declare type Tuple = Step<any, any, any, any>[];
export declare type TupleInput<S extends Tuple> = {
    [K in keyof S]: S[K] extends Step<infer I, any, any, any> ? I : never;
};
export declare type TupleOutput<S extends Tuple> = {
    [K in keyof S]: S[K] extends Step<any, infer CO, infer SO, any> ? CO | SO : never;
};
export declare type TupleErrors<S extends Tuple> = {
    [K in keyof S]: S[K] extends Step<any, any, any, infer E> ? E | undefined : never;
};
/**
 * Creates tuple validation chain from given scheme
 * @param scheme
 */
export declare const tuple: <S extends Tuple>(...scheme: S) => import("./types").Chain<unknown, TupleOutput<S>, never, string | TupleErrors<S>>;