import { FieldPreset, Ref } from "./../schemas/base";
declare type If<Condition, Then, Else> = Condition extends true ? Then : Else;
declare type IsLiteral<T> = T extends object ? false : true;
declare type RejectByValue<Base, Value> = {
    [Key in keyof Base]: Base[Key] extends Value ? never : Key;
};
declare type RejectedKeys<Base, Value> = RejectByValue<Base, Value>[keyof Base];
declare type OmitByValue<Base, Value> = Pick<Base, RejectedKeys<Base, Value>>;
export declare type OmitNever<T> = OmitByValue<T, never>;
export declare type Selector<ModelSchema extends D2ModelSchemaBase> = {
    [Key in keyof ModelSchema["fields"]]?: boolean | {} | If<IsLiteral<ModelSchema["fields"][Key]>, boolean, // TODO: functions
    ModelSchema["fields"][Key] extends Array<infer T> ? (boolean | (T extends D2ModelSchemaBase ? Selector<T> : never)) : ModelSchema["fields"][Key] extends D2ModelSchemaBase ? Selector<ModelSchema["fields"][Key]> : ModelSchema["fields"][Key]>;
} & {
    [K in FieldPreset]?: boolean;
};
export declare type ValidateSameKeys<SM, ModelSelector> = Exclude<keyof SM, keyof ModelSelector> extends never ? ModelSelector : {
    error: "Unknown keys in selector";
    keys: Exclude<keyof SM, keyof ModelSelector>;
};
export declare type SelectedPickValidated<Model extends D2ModelSchemaBase, SM> = SM extends ValidateSameKeys<SM, Selector<Model>> ? SelectedPick<Model, SM> : never;
export interface D2ModelSchemaBase {
    name: string;
    model: object;
    fields: {
        [s: string]: any;
    };
    fieldPresets: {
        [FieldPresetK in FieldPreset]: {
            [s: string]: any;
        };
    };
}
declare type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;
export declare type SelectedPick<Schema extends D2ModelSchemaBase, SchemaSelector extends Selector<Schema>> = UnionToIntersection<Schema["fieldPresets"][keyof SchemaSelector & FieldPreset]> & SelectedPickFields<Schema, SchemaSelector>;
declare type GetValues<T> = UnionToIntersection<T[keyof T]>;
declare type SelectorKey<Model extends D2ModelSchemaBase, ModelSelector, K extends keyof ModelSelector & keyof Model["fields"]> = ModelSelector[K] extends object ? Model["fields"][K] extends Array<infer T> ? T extends D2ModelSchemaBase ? SelectedPickValidated<T, ModelSelector[K]>[] : T[] : (Model["fields"][K] extends D2ModelSchemaBase ? SelectedPickValidated<Model["fields"][K], ModelSelector[K]> : Model["fields"][K]) : ModelSelector[K] extends true ? (IsLiteral<Model["fields"][K]> extends true ? Model["fields"][K] : GetTrueSelectionOnNonLiteral<Model["fields"][K]>) : never;
declare type GetTrueSelectionOnNonLiteral<SchemaValue> = SchemaValue extends Array<infer T> ? (T extends {
    fieldPresets: any;
} ? Ref[] : T[]) : SchemaValue extends {
    fieldPresets: any;
} ? Ref : SchemaValue;
declare type Function = {
    rename: {
        name: "rename";
        to: string;
    };
    size: {
        name: "size";
    };
};
export declare type SelectedPickFields<Model extends D2ModelSchemaBase, ModelSelector extends Selector<Model>> = GetValues<{
    [Key in keyof ModelSelector & keyof Model["fields"]]: ModelSelector[Key] extends {
        $fn: Function[keyof Function];
    } ? ApplyFunction<Model, ModelSelector, Key> : {
        [K in Key]: SelectorKey<Model, ModelSelector, K>;
    };
}>;
declare type ApplyFunction<Model extends D2ModelSchemaBase, ModelSelector extends Selector<Model>, Key extends keyof ModelSelector & keyof Model["fields"]> = ModelSelector[Key] extends {
    $fn: Function["rename"];
} ? {
    [K in ModelSelector[Key]["$fn"]["to"]]: SelectorKey<Model, ModelSelector, Key>;
} : ModelSelector[Key] extends {
    $fn: Function["size"];
} ? {
    [K in Key]: number;
} : never;
export declare type Get<Obj, Key> = Key extends keyof Obj ? Obj[Key] : never;
export declare type GetFields<Obj> = Get<Obj, "fields">;
export {};