import { IsAny } from "type-fest";
import { ParametersWith$Sign } from "./parameter-types";
import { Override, Simplify } from "./utils";
export type QueryConfig = {
    /**
     * This is a union of all possible document types,
     * coming from your Sanity-generated types.
     */
    schemaTypes: {};
    /**
     * This symbol is exported by the generated Sanity types.
     * It's used to extract document types from a reference object.
     */
    referenceSymbol: symbol;
    /**
     * Represents a map of input parameter names, and their types.
     * To set this, use the `q.parameters<{ id: string }>()` syntax
     */
    parameters?: {};
    /**
     * Represents all variables that are currently in-scope.
     *
     * This might include:
     * - Results of the `score()` function (`_score`)
     * - Parent selector (`^`)
     * - All parameters (`$id` or `$slug`)
     */
    scope?: {};
};
export type ConfigAddParameters<TQueryConfig extends QueryConfig, TNewParameters> = Override<TQueryConfig, {
    parameters: Simplify<Override<TQueryConfig["parameters"], TNewParameters>>;
    scope: Simplify<Override<TQueryConfig["scope"], ParametersWith$Sign<TNewParameters>>>;
}>;
/**
 * Creates a new nested scope, with a current value ("@"),
 * and existing scope gets hoisted to parent ("^")
 */
export type ConfigCreateNestedScope<TQueryConfig extends QueryConfig, TCurrent> = IsAny<TQueryConfig> extends true ? any : Override<TQueryConfig, {
    scope: Simplify<Override<TQueryConfig["scope"], TQueryConfig["scope"] extends {
        "@": infer TCurrentOld;
    } ? {
        "@": TCurrent;
        "^": TCurrentOld & PickMaybe<TQueryConfig["scope"], "^">;
    } : {
        "@": TCurrent;
    }>>;
}>;
type PickMaybe<T, Keys> = Pick<T, Extract<Keys, keyof T>>;
export type ConfigGetScope<TQueryConfig extends QueryConfig> = TQueryConfig["scope"];
export {};