import { AnyExpression, Condition, Expression, UnknownLiteral } from '../../expressions';
import { QueryDefinition, Source } from '../../source';
import { Template } from '../../template';
import { MathArg } from '../../types';
import { FieldsConfig } from '../common/fields';
import { FromConfig } from '../common/from';
import { WithConfig } from '../common/with';
declare type U2I<U> = (U extends any ? (k: U) => any : never) extends ((k: infer I) => any) ? I : never;
declare type ArrayToUnion<T> = T extends Array<infer I> ? I : T;
declare type Normalize<R> = U2I<{
    [K in keyof R]: R[K] extends Record<string, Expression> ? R[K] : {
        [P in K]: R[P] extends Expression ? R[P] : Expression<UnknownLiteral<R[P]>>;
    };
}[keyof R]>;
export declare type MapToExpression<T, R = Omit<T, '$'>> = {
    [K in keyof Normalize<R>]: Normalize<R>[K];
};
declare type IfExists<O, T, E> = undefined extends O ? E : T;
declare type InferFromType<T> = ArrayToUnion<T> extends (Source<infer R> | {
    source: Source<infer R>;
}) ? R : never;
export declare function SELECT<T extends SelectConfig>(config: T): QueryDefinition<{ [K in keyof U2I<IfExists<T["fields"], MapToExpression<T["fields"], Omit<T["fields"], "$">>, InferFromType<T["from"]>>>]: U2I<IfExists<T["fields"], MapToExpression<T["fields"], Omit<T["fields"], "$">>, InferFromType<T["from"]>>>[K] extends AnyExpression<import("../../types").Type<keyof import("../../types").DefaultOutputMapping<any>, boolean, any>> ? U2I<IfExists<T["fields"], MapToExpression<T["fields"], Omit<T["fields"], "$">>, InferFromType<T["from"]>>>[K] : never; }>;
export interface SelectConfig {
    with?: WithConfig;
    distinct?: boolean | AnyExpression[];
    fields?: FieldsConfig;
    from?: FromConfig;
    where?: Condition;
    groupBy?: (AnyExpression | AnyExpression[])[];
    having?: Condition;
    orderBy?: (AnyExpression | {
        by: AnyExpression;
        direction?: 'ASC' | 'DESC';
        using?: string;
        nulls?: 'FIRST' | 'LAST';
    })[];
    limit?: MathArg | 'ALL';
    offset?: MathArg | {
        start: MathArg;
        plurality?: 'ROW' | 'ROWS';
    };
    fetch?: MathArg | {
        start?: 'FIRST' | 'NEXT';
        count: MathArg;
        plurality?: 'ROW' | 'ROWS';
        withTies?: boolean;
    };
    for?: ('UPDATE' | 'NO KEY UPDATE' | 'SHARE' | 'KEY SHARE' | {
        strength: 'UPDATE' | 'NO KEY UPDATE' | 'SHARE' | 'KEY SHARE';
        of?: Source[];
        waiting?: 'NOWAIT' | 'SKIP LOCKED';
    })[];
}
export declare const stringifySelect: (config: SelectConfig) => Template;
export declare const stringifyGroupedExpression: (config: (AnyExpression | AnyExpression[])) => Template;
export declare const stringifyOrderBy: (config: Exclude<SelectConfig['orderBy'], undefined>[number]) => Template;
export declare const stringifyOffset: (config: MathArg | {
    start: MathArg;
    plurality?: 'ROW' | 'ROWS';
}) => Template;
export declare const stringifyFetch: (config: Exclude<SelectConfig['fetch'], undefined>) => Template;
export declare const stringifyFor: (config: Exclude<SelectConfig['for'], undefined>[number]) => Template;
export declare const stringifyDistinct: (config: boolean | AnyExpression[]) => Template;
export {};