import type { FieldValues } from "./filter/types/fields.js";
import type { FieldPath } from "./filter/types/path/eager.js";
/**
 * the function defaults to "eq", but has additional properties for notEq, in and notIn
 */
export interface WhereFilter<TFieldValues extends FieldValues> extends ReturnType<typeof makeWhereFilter_<TFieldValues>> {
}
export declare function makeWhereFilter<TFieldValues extends FieldValues>(): WhereFilter<TFieldValues>;
export interface WhereHelpers<TFieldValues extends FieldValues> extends ReturnType<typeof makeHelpers_<TFieldValues>> {
}
declare function makeHelpers_<TFieldValues extends FieldValues>(): {
    in<TFieldName extends FieldPath<TFieldValues>, V extends import("./filter/types/path/eager.js").PathValue<TFieldValues, TFieldName>>(this: void, path: TFieldName, value: readonly V[]): {
        key: TFieldName;
        value: readonly V[];
        t: "in";
    };
    notIn<TFieldName_1 extends FieldPath<TFieldValues>, V_1 extends import("./filter/types/path/eager.js").PathValue<TFieldValues, TFieldName_1>>(this: void, path: TFieldName_1, value: readonly V_1[]): {
        key: TFieldName_1;
        value: readonly V_1[];
        t: "not-in";
    };
    eq<TFieldName_2 extends FieldPath<TFieldValues>, V_2 extends import("./filter/types/path/eager.js").PathValue<TFieldValues, TFieldName_2>>(this: void, path: TFieldName_2, value: V_2): {
        key: TFieldName_2;
        value: V_2;
        t: "eq";
    };
    notEq<TFieldName_3 extends FieldPath<TFieldValues>, V_3 extends import("./filter/types/path/eager.js").PathValue<TFieldValues, TFieldName_3>>(this: void, path: TFieldName_3, value: V_3): {
        key: TFieldName_3;
        value: V_3;
        t: "not-eq";
    };
};
declare function makeWhereFilter_<TFieldValues extends FieldValues>(): (<TFieldName extends import("./filter/types/path/eager.js").Path<TFieldValues>, V extends import("./filter/types/path/eager.js").PathValue<TFieldValues, TFieldName>>(this: void, path: TFieldName, value: V) => {
    key: TFieldName;
    value: V;
    t: "eq";
}) & WhereHelpers<TFieldValues>;
export type WhereValue<T extends "eq" | "not-eq" | "starts-with" | "ends-with" | "includes" | "contains" | "not-contains", A, // extends SupportedValues,
V extends A = A> = {
    t: T;
    v: V;
};
type SupportedValues = string | boolean | number | null;
export type WhereIn<T extends "in" | "not-in", V, Values extends readonly V[] = readonly V[]> = {
    t: T;
    v: Values;
};
/**
 * @tsplus fluent Iterable $contains
 * @tsplus location "@effect-ts-app/boilerplate-infra/lib/filter"
 */
export declare function $contains<A extends SupportedValues, V extends A>(_: readonly A[], v: V): WhereValue<"contains", A, V>;
/**
 * @tsplus fluent Iterable $notContains
 * @tsplus location "@effect-ts-app/boilerplate-infra/lib/filter"
 */
export declare function $notContains<A extends SupportedValues, V extends A>(_: readonly A[], v: V): WhereValue<"not-contains", A, V>;
/**
 * @tsplus fluent string $in
 * @tsplus fluent boolean $in
 * @tsplus fluent number $in
 * @tsplus location "@effect-ts-app/boilerplate-infra/lib/filter"
 */
export declare function $in<A extends SupportedValues, Values extends readonly A[]>(_: A, ...v: Values): WhereIn<"in", A, Values>;
/**
 * @tsplus fluent string $notIn
 * @tsplus fluent boolean $notIn
 * @tsplus fluent number $notIn
 * @tsplus location "@effect-ts-app/boilerplate-infra/lib/filter"
 */
export declare function $notIn<A extends SupportedValues, Values extends readonly A[]>(_: A, ...v: Values): WhereIn<"not-in", A, Values>;
/**
 * @tsplus fluent string $is
 * @tsplus fluent boolean $is
 * @tsplus fluent number $is
 * @tsplus fluent Object $is
 * @tsplus location "@effect-ts-app/boilerplate-infra/lib/filter"
 */
export declare function $is<A, V extends A>(_: A, v: V): WhereValue<"eq", A, V>;
/**
 * @tsplus fluent string $isnt
 * @tsplus fluent boolean $isnt
 * @tsplus fluent number $isnt
 * @tsplus fluent Object $isnt
 * @tsplus location "@effect-ts-app/boilerplate-infra/lib/filter"
 */
export declare function $isnt<A, V extends A>(_: A, v: V): WhereValue<"not-eq", A, V>;
declare function $is__<V extends A, A>(v: V): (_: A) => WhereValue<"eq", A, V>;
declare function $isnt__<V extends A, A>(v: V): (_: A) => WhereValue<"not-eq", A, V>;
declare function $in__<A extends SupportedValues, Values extends readonly A[]>(...v: Values): (_: A) => WhereIn<"in", A, [...Values]>;
declare function $notIn__<A extends SupportedValues, Values extends readonly A[]>(...v: Values): (_: A) => WhereIn<"not-in", A, [...Values]>;
export declare const Filters: {
    $is: typeof $is__;
    $isnt: typeof $isnt__;
    $in: typeof $in__;
    $notIn: typeof $notIn__;
};
/**
 * @tsplus fluent string $startsWith
 * @tsplus location "@effect-ts-app/boilerplate-infra/lib/filter"
 */
export declare function $startsWith<A extends string, V extends A>(_: A, v: V): WhereValue<"starts-with", A, V>;
/**
 * @tsplus fluent string $endsWith
 * @tsplus location "@effect-ts-app/boilerplate-infra/lib/filter"
 */
export declare function $endsWith<A extends string, V extends A>(_: A, v: V): WhereValue<"ends-with", A, V>;
/**
 * @tsplus fluent string $includes
 * @tsplus location "@effect-ts-app/boilerplate-infra/lib/filter"
 */
export declare function $includes<A extends string, V extends A>(_: A, v: V): WhereValue<"includes", A, V>;
type ValueType<V> = {
    t: "in" | "not-in";
    v: readonly V[];
} | {
    t: "eq" | "not-eq";
    v: V;
};
type TType<T> = T extends ValueType<any> ? T["t"] : never;
type VType<T> = T extends ValueType<any> ? T["v"] : never;
type FIL<S, K extends string, T extends "in" | "not-in" | "eq" | "not-eq", V> = {
    key: K;
    t: T;
    value: V;
    readonly S: S;
};
export declare function makeFilters<T extends FieldValues>(): {
    <TFieldName extends FieldPath<T>, A extends import("./filter/types/path/eager.js").PathValue<T, TFieldName>, Val>(path: TFieldName, value: (v: A) => Val): FIL<T, string, TType<Val>, VType<Val>>;
    <TFieldName_1 extends FieldPath<T>, A_1 extends import("./filter/types/path/eager.js").PathValue<T, TFieldName_1>>(path: TFieldName_1, value: A_1): FIL<T, string, "eq", A_1>;
};
export {};
//# sourceMappingURL=filter.d.ts.map