import type { Many, One, Relations, Table } from 'drizzle-orm';
type ToWire<T> = T extends Date ? string : T;
type WireFormat<T> = {
    [K in keyof T]: ToWire<T[K]>;
};
type ExtractTables<TSchema> = {
    [K in keyof TSchema as TSchema[K] extends Table ? K : never]: TSchema[K];
};
type FindRelationConfig<TSchema, TTableName extends string> = {
    [K in keyof TSchema]: TSchema[K] extends Relations<TTableName, infer TConfig> ? TConfig : never;
}[keyof TSchema];
type MapRelation<T> = T extends One<infer N, infer TIsNullable> ? {
    entity: N;
    type: 'one';
    required: TIsNullable;
} : T extends Many<infer N> ? {
    entity: N;
    type: 'many';
} : never;
type InferRelationDefs<TSchema, TTableName extends string> = {
    [K in keyof FindRelationConfig<TSchema, TTableName>]: MapRelation<FindRelationConfig<TSchema, TTableName>[K]>;
};
type ScalarFilterOps<T> = {
    eq?: T | null;
    ne?: T | null;
    lt?: T | null;
    lte?: T | null;
    gt?: T | null;
    gte?: T | null;
    like?: string | null;
    notLike?: string | null;
    ilike?: string | null;
    notIlike?: string | null;
    inArray?: T[] | null;
    notInArray?: T[] | null;
    isNull?: boolean | null;
    isNotNull?: boolean | null;
};
type ScalarColumnFilters<TFields> = {
    [K in keyof TFields]?: ScalarFilterOps<NonNullable<TFields[K]>>;
};
type ManyRelationFilter<TFilter> = {
    some?: TFilter;
    every?: TFilter;
    none?: TFilter;
};
type IsResolvableRelation<TSchema, TRel> = TRel extends {
    entity: infer E;
} ? E extends string ? KeyForDbName<TSchema, E> extends keyof ExtractTables<TSchema> ? true : false : false : false;
type Prev<T extends unknown[]> = T extends [unknown, ...infer Rest] ? Rest : [];
type InferRelationFilterFields<TSchema, TRels, TDepth extends unknown[]> = {
    [K in keyof TRels as IsResolvableRelation<TSchema, TRels[K]> extends true ? K : never]?: TRels[K] extends {
        entity: infer E;
        type: infer TRelType;
    } ? E extends string ? KeyForDbName<TSchema, E> extends infer RK ? RK extends keyof ExtractTables<TSchema> ? ExtractTables<TSchema>[RK] extends infer TTarget ? TTarget extends Table ? TRelType extends 'many' ? ManyRelationFilter<InferEntityFilters<TSchema, TTarget, Prev<TDepth>>> : InferEntityFilters<TSchema, TTarget, Prev<TDepth>> : never : never : never : never : never : never;
};
type InferEntityFilters<TSchema, T extends Table, TDepth extends unknown[] = [0]> = ScalarColumnFilters<WireFormat<T['$inferSelect']>> & (TDepth extends [] ? {} : InferRelationFilterFields<TSchema, InferRelationDefs<TSchema, TableDbName<T>>, TDepth>) & {
    OR?: InferEntityFilters<TSchema, T, TDepth>[];
};
type InferInsertInput<T> = T extends Table ? WireFormat<T['$inferInsert']> : never;
type InferUpdateInput<T> = T extends Table ? {
    [K in keyof T['$inferInsert']]?: ToWire<T['$inferInsert'][K]> | null;
} : never;
type InferOrderBy<T> = T extends Table ? {
    [K in keyof T['$inferSelect']]?: {
        direction: 'asc' | 'desc';
        priority: number;
    };
} : never;
type ExcludedNames<TConfig> = TConfig extends {
    tables: {
        exclude: readonly (infer T)[];
    };
} ? T : never;
type NumberToTuple<N extends number, T extends unknown[] = []> = T['length'] extends N ? T : T['length'] extends 5 ? T : NumberToTuple<N, [...T, 0]>;
type ExtractFilterDepth<TConfig> = TConfig extends {
    limitRelationDepth: infer D;
} ? D extends number ? number extends D ? [0] : NumberToTuple<D> : [0] : [0];
type TableDbName<T> = T extends Table<infer TConfig> ? TConfig['name'] extends string ? TConfig['name'] : string : string;
type DbNameToKey<TSchema> = {
    [K in keyof ExtractTables<TSchema>]: TableDbName<ExtractTables<TSchema>[K]>;
};
type KeyForDbName<TSchema, TDbName extends string> = {
    [K in keyof DbNameToKey<TSchema>]: DbNameToKey<TSchema>[K] extends TDbName ? K : never;
}[keyof DbNameToKey<TSchema>];
type ResolveRelationEntity<TSchema, TDbName extends string> = KeyForDbName<TSchema, TDbName> extends infer K ? (K extends string ? K : TDbName) : TDbName;
type ResolveRelationDefs<TSchema, TRels> = {
    [K in keyof TRels]: TRels[K] extends {
        entity: infer E;
        type: infer T;
    } ? E extends string ? Omit<TRels[K], 'entity'> & {
        entity: ResolveRelationEntity<TSchema, E>;
        type: T;
    } : TRels[K] : TRels[K];
};
type BuildEntityDef<TSchema, T, TDepth extends unknown[]> = T extends Table ? {
    fields: WireFormat<T['$inferSelect']>;
    relations: ResolveRelationDefs<TSchema, InferRelationDefs<TSchema, TableDbName<T>>>;
    filters: InferEntityFilters<TSchema, T, TDepth>;
    insertInput: InferInsertInput<T>;
    updateInput: InferUpdateInput<T>;
    orderBy: InferOrderBy<T>;
} : never;
export type InferEntityDefs<TSchema, TConfig = Record<string, never>> = {
    [K in keyof ExtractTables<TSchema> as K extends ExcludedNames<TConfig> ? never : K extends string ? K : never]: BuildEntityDef<TSchema, ExtractTables<TSchema>[K], ExtractFilterDepth<TConfig>>;
};
export {};