import { IDtoType } from "../meta/lib/dtoExtractMeta.js";
/** Dto 定义的实际数据 */
export interface IDtoDefine {
    __isDto__: true;
    type: IDtoType;
    meta?: IDtoMeta;
    isOptional?: boolean;
    isNullable?: boolean;
    IsOr?: boolean;
    list?: IDtoDefine[];
    nest?: any;
}
export type IDtoMeta<TMore = {}> = {
    is?: ((value: any) => {
        isOk: boolean;
        msg?: string;
    }) | ((value: any) => {
        isOk: boolean;
        msg?: string;
    })[];
} & TMore & Record<string, any>;
export interface IDtoVerifyResult {
    isOk: boolean;
    msg?: string;
}
export type IDtoVerify = (val: any, dto: IDtoDefine, meta?: IDtoMeta) => IDtoVerifyResult;
export type IDtoFuncBase<TShow, TMeta> = (meta?: IDtoMeta<TMeta>) => TShow;
/** 展平交叉类型，提高类型可读性 */
type Prettify<T> = {
    [K in keyof T]: T[K];
} & {};
/** 检测类型是否包含 undefined 或 null（可选类型） */
type IsOptionalType<T> = undefined extends T ? true : null extends T ? true : false;
/** 从 DTO 定义中提取可选字段的键（类型包含 undefined 或 null） */
type OptionalKeys<T> = {
    [K in keyof T]: IsOptionalType<T[K]> extends true ? K : never;
}[keyof T];
/** 从 DTO 定义中提取必需字段的键 */
type RequiredKeys<T> = {
    [K in keyof T]: IsOptionalType<T[K]> extends true ? never : K;
}[keyof T];
/**
 * 从 DTO 对象定义推断出实际的 TypeScript 类型
 * - 类型包含 undefined 或 null 的字段会变成可选字段 (?)
 */
export type InferDtoObject<T extends Record<string, any>> = Prettify<{
    [K in RequiredKeys<T>]: T[K];
} & {
    [K in OptionalKeys<T>]?: T[K];
}>;
export type IDtoFuncArray<TMeta> = {
    ({}: {}, meta: IDtoMeta<TMeta>): any[];
    <T extends any[]>(dtoTypes: T, meta?: IDtoMeta<TMeta>): T;
    <T extends Record<string, any>>(dtoTypes: T, meta?: IDtoMeta<TMeta>): InferDtoObject<T>[];
    <T>(dtoTypes: T, meta?: IDtoMeta<TMeta>): T[];
};
export type IDtoFuncObject<TMeta> = <T extends Record<string, any>>(nest?: T, meta?: IDtoMeta<TMeta>) => InferDtoObject<T>;
export {};
//# sourceMappingURL=types.d.ts.map