import Compound from './compound';
import Nillable from './nillable';
import Nullable from './nullable';
import Optional from './optional';
import type { TupleState, FunctionMaybe, Infer, Schema, Traverser } from '../types';
declare class Tuple<T extends unknown[] = []> extends Compound<unknown[], T, TupleState<T, T, unknown>> {
    filter(value: unknown, defaultable: false, quiet: true): boolean;
    filter(value: unknown, defaultable?: boolean, quiet?: false): T;
    filter(value: unknown, defaultable?: boolean, quiet?: boolean): T | boolean;
    test(value: unknown): value is T;
    traverse(traverser: Traverser, parent?: Schema, key?: string | number): void;
    anyOf(values: T[]): Tuple<T>;
    noneOf(values: T[]): Tuple<T>;
    nillable(): Nillable<T>;
    nullable(): Nullable<T>;
    optional(): Optional<T>;
    items<S0 extends Schema>(items: FunctionMaybe<[S0]>): Tuple<[Infer<S0>]>;
    items<S0 extends Schema, S1 extends Schema>(items: FunctionMaybe<[S0, S1]>): Tuple<[Infer<S0>, Infer<S1>]>;
    items<S0 extends Schema, S1 extends Schema, S2 extends Schema>(items: FunctionMaybe<[S0, S1, S2]>): Tuple<[Infer<S0>, Infer<S1>, Infer<S2>]>;
    items<S0 extends Schema, S1 extends Schema, S2 extends Schema, S3 extends Schema>(items: FunctionMaybe<[S0, S1, S2, S3]>): Tuple<[Infer<S0>, Infer<S1>, Infer<S2>, Infer<S3>]>;
    items<S0 extends Schema, S1 extends Schema, S2 extends Schema, S3 extends Schema, S4 extends Schema>(items: FunctionMaybe<[S0, S1, S2, S3, S4]>): Tuple<[Infer<S0>, Infer<S1>, Infer<S2>, Infer<S3>, Infer<S4>]>;
    items<S0 extends Schema, S1 extends Schema, S2 extends Schema, S3 extends Schema, S4 extends Schema, S5 extends Schema>(items: FunctionMaybe<[S0, S1, S2, S3, S4, S5]>): Tuple<[Infer<S0>, Infer<S1>, Infer<S2>, Infer<S3>, Infer<S4>, Infer<S5>]>;
    items<S0 extends Schema, S1 extends Schema, S2 extends Schema, S3 extends Schema, S4 extends Schema, S5 extends Schema, S6 extends Schema>(items: FunctionMaybe<[S0, S1, S2, S3, S4, S5, S6]>): Tuple<[Infer<S0>, Infer<S1>, Infer<S2>, Infer<S3>, Infer<S4>, Infer<S5>, Infer<S6>]>;
    items<S0 extends Schema, S1 extends Schema, S2 extends Schema, S3 extends Schema, S4 extends Schema, S5 extends Schema, S6 extends Schema, S7 extends Schema>(items: FunctionMaybe<[S0, S1, S2, S3, S4, S5, S6, S7]>): Tuple<[Infer<S0>, Infer<S1>, Infer<S2>, Infer<S3>, Infer<S4>, Infer<S5>, Infer<S6>, Infer<S7>]>;
    items<S0 extends Schema, S1 extends Schema, S2 extends Schema, S3 extends Schema, S4 extends Schema, S5 extends Schema, S6 extends Schema, S7 extends Schema, S8 extends Schema>(items: FunctionMaybe<[S0, S1, S2, S3, S4, S5, S6, S7, S8]>): Tuple<[Infer<S0>, Infer<S1>, Infer<S2>, Infer<S3>, Infer<S4>, Infer<S5>, Infer<S6>, Infer<S7>, Infer<S8>]>;
    items<S0 extends Schema, S1 extends Schema, S2 extends Schema, S3 extends Schema, S4 extends Schema, S5 extends Schema, S6 extends Schema, S7 extends Schema, S8 extends Schema, S9 extends Schema>(items: FunctionMaybe<[S0, S1, S2, S3, S4, S5, S6, S7, S8, S9]>): Tuple<[Infer<S0>, Infer<S1>, Infer<S2>, Infer<S3>, Infer<S4>, Infer<S5>, Infer<S6>, Infer<S7>, Infer<S8>, Infer<S9>]>;
    items(items: FunctionMaybe<Schema[]>): Tuple<unknown[]>;
    length(value: FunctionMaybe<number>): Tuple<T>;
}
export default Tuple;