import { StringSchema } from './StringSchema';
import { NumberSchema } from './NumberSchema';
import { BooleanSchema } from './BooleanSchema';
import { DateSchema } from './DateSchema';
import { EnumSchema } from './EnumSchema';
import { ArraySchema } from './ArraySchema';
import { ObjectSchema } from './ObjectSchema';
import { OrSchema } from './OrSchema';
export declare type Pick<T, K extends keyof T> = {
    [P in K]: T[P];
};
export declare type NonNeverNames<T> = {
    [K in keyof T]: T[K] extends (null | undefined) ? never : K;
}[keyof T];
export declare type FilterNever<T> = Pick<T, NonNeverNames<T>>;
export declare type CheckNull<TNull, T> = TNull extends true ? (T | null) : T;
export declare type CheckREQ<TReq, TNull, T> = TReq extends true ? CheckNull<TNull, T> : CheckNull<TNull, T | undefined>;
export declare type PrimitiveSchema = StringSchema | NumberSchema | BooleanSchema | DateSchema | EnumSchema;
export declare type ExtractPrimitive<T> = T extends StringSchema<infer TReq, infer TNull> ? CheckREQ<TReq, TNull, string> : T extends NumberSchema<infer TReq, infer TNull> ? CheckREQ<TReq, TNull, number> : T extends BooleanSchema<infer TReq, infer TNull> ? CheckREQ<TReq, TNull, boolean> : T extends DateSchema<infer TReq, infer TNull> ? CheckREQ<TReq, TNull, Date> : T extends EnumSchema<infer TReq, infer TNull, infer TType> ? CheckREQ<TReq, TNull, TType> : T;
export declare type ExtractObject<T> = {
    [K in keyof T]: ConvertType<T[K]>;
};
export declare type ConvertType<T> = T extends PrimitiveSchema ? ExtractPrimitive<T> : T extends ArraySchema<infer TReq, infer TNull, infer K> ? CheckREQ<TReq, TNull, Array<K extends ObjectSchema<infer TReq, infer TNull, infer P> ? CheckREQ<TReq, TNull, P> : ConvertType2<K>>> : T extends ObjectSchema<infer TReq, infer TNull, infer K> ? CheckREQ<TReq, TNull, K> : T extends OrSchema<infer TReq, infer TNull, infer K> ? CheckREQ<TReq, TNull, K> : T;
export declare type ExtractObject2<T> = ConvertObject<{
    [K in keyof T]: ConvertType2<T[K]>;
}>;
export declare type ConvertType2<T> = T extends PrimitiveSchema ? ExtractPrimitive<T> : T extends ArraySchema<infer TReq, infer TNull, infer K> ? CheckREQ<TReq, TNull, Array<K extends ObjectSchema<infer TReq, infer TNull, infer P> ? CheckREQ<TReq, TNull, P> : ConvertType3<K>>> : T extends ObjectSchema<infer TReq, infer TNull, infer K> ? CheckREQ<TReq, TNull, K> : T extends OrSchema<infer TReq, infer TNull, infer K> ? CheckREQ<TReq, TNull, K> : T;
export declare type ExtractObject3<T> = {
    [K in keyof T]: ConvertType3<T[K]>;
};
export declare type ConvertType3<T> = T extends PrimitiveSchema ? ExtractPrimitive<T> : T extends ArraySchema<infer TReq, infer TNull, infer K> ? CheckREQ<TReq, TNull, Array<K extends ObjectSchema<infer TReq, infer TNull, infer P> ? CheckREQ<TReq, TNull, P> : ConvertType4<K>>> : T extends ObjectSchema<infer TReq, infer TNull, infer K> ? CheckREQ<TReq, TNull, K> : T extends OrSchema<infer TReq, infer TNull, infer K> ? CheckREQ<TReq, TNull, K> : T;
export declare type ExtractObject4<T> = {
    [K in keyof T]: ConvertType4<T[K]>;
};
export declare type ConvertType4<T> = T extends PrimitiveSchema ? ExtractPrimitive<T> : T;
export declare type Convert<T> = ConvertType<T>;
export declare type NonFunctionProp<T> = T extends Function ? never : T;
export declare type OptionalPropNames<T> = {
    [P in keyof T]: undefined extends T[P] ? P : never;
}[keyof T];
export declare type RequiredPropNames<T> = {
    [P in keyof T]: undefined extends T[P] ? never : P;
}[keyof T];
export declare type OptionalProps<T> = {
    [P in OptionalPropNames<T>]: T[P];
};
export declare type RequiredProps<T> = {
    [P in RequiredPropNames<T>]: T[P];
};
export declare type MakeOptional<T> = {
    [P in keyof T]?: T[P];
};
export declare type ConvertObject<T> = {
    [P in RequiredPropNames<T>]: T[P];
} & {
    [P in OptionalPropNames<T>]?: T[P];
};