import XVType from './XVType.js';

type XVOptional<T extends XVType<any>> = T & {
    meta: {
        optional: true;
    };
};
type XVNullable<T extends XVType<any>> = T & {
    meta: {
        nullable: true;
    };
};
type XVDefault<T extends XVType<any>, V extends XVDefaultValue<any>> = T & {
    meta: {
        default: XVDefaultValue<V>;
    };
};
type InferValue<T extends XVType<any>> = T extends {
    _type: infer R;
} ? (T["meta"] extends {
    nullable: true;
} ? R | null : R) : never;
type IsOptional<T extends XVType<any>> = T["meta"] extends {
    optional: true;
} ? true : T["meta"] extends {
    default: any;
} ? true : false;
type InferObject<T extends Record<string, XVType<any>>> = {
    [K in keyof T as IsOptional<T[K]> extends true ? never : K]: InferValue<T[K]>;
} & {
    [K in keyof T as IsOptional<T[K]> extends true ? K : never]?: InferValue<T[K]>;
};
type Simplify<T> = T extends object ? {
    [K in keyof T]: T[K];
} : T;
type Infer<T> = T extends Record<string, XVType<any>> ? Simplify<InferObject<T>> : T extends XVType<any> ? InferValue<T> : never;
type XVCheckCallback<T> = (value: unknown) => T | void;
type XVDefaultValue<T> = T | (() => T);
type XVTransformCallback<T> = (v: T) => T;
type XVMeta<T> = {
    optional?: boolean;
    nullable?: boolean;
    default?: XVDefaultValue<T>;
    [key: string]: any;
};

export type { Infer, InferObject, InferValue, IsOptional, XVCheckCallback, XVDefault, XVDefaultValue, XVMeta, XVNullable, XVOptional, XVTransformCallback };