type Primitive = string | number | boolean | null | Date | undefined;
type InputObject = Record<string, Primitive | Primitive[] | Record<string, Primitive>>;
type ComparisonCondition<T extends Primitive> = {
    $eq?: T;
    $ne?: T;
    $gt?: T;
    $gte?: T;
    $lt?: T;
    $lte?: T;
};
type StringCondition = {
    $contains?: string;
    $startsWith?: string;
    $endsWith?: string;
    $regex?: string;
};
type ArrayCondition<T extends Primitive> = {
    $in?: T[];
    $nin?: T[];
};
type MetaCondition = {
    $exists?: boolean;
    $type?: "string" | "number" | "boolean" | "object";
};
type FieldCondition<T extends Primitive = Primitive> = ComparisonCondition<T> & StringCondition & ArrayCondition<T> & MetaCondition;
type FieldQuery<T extends InputObject> = {
    [K in keyof T]?: T[K] extends Primitive ? T[K] | FieldCondition<T[K]> : T[K] extends Primitive[] ? T[K] | ArrayCondition<T[K][number]> : T[K] extends Record<string, Primitive> ? NestedFieldQuery<T[K]> | Query<T[K]> : never;
};
/** Allows dot-notation-style conditions on nested object fields */
type NestedFieldQuery<T extends Record<string, Primitive>> = {
    [K in keyof T]?: T[K] | FieldCondition<T[K]>;
};
type LogicalQuery<T extends InputObject> = {
    $and?: Query<T>[];
    $or?: Query<T>[];
    $nor?: Query<T>[];
    $not?: Query<T>;
};
type Query<T extends InputObject = InputObject> = FieldQuery<T> & LogicalQuery<T>;
declare function matchesQuery<T extends InputObject>(input: T, query: Query<T>): boolean;
export type { Primitive, InputObject, FieldCondition, Query };
export { matchesQuery };