import { Assertion } from './assertion.js';
export declare const operatorComparisons: {
    readonly equals: "EQUALS";
    readonly notEquals: "NOT_EQUALS";
    readonly greaterThan: "GREATER_THAN";
    readonly lessThan: "LESS_THAN";
    readonly contains: "CONTAINS";
    readonly notContains: "NOT_CONTAINS";
};
export type OperatorName = keyof typeof operatorComparisons;
export type TargetValueType = 'number' | 'boolean' | 'string';
declare const targetType: unique symbol;
export interface AnyTargetSpec {
    readonly kind: TargetValueType;
}
export interface TargetSpec<T extends string | number | boolean> extends AnyTargetSpec {
    readonly [targetType]?: T;
}
export declare function numberTarget(): TargetSpec<number>;
export declare function booleanTarget(): TargetSpec<boolean>;
export declare function stringTarget<T extends string = string>(): TargetSpec<T>;
export interface PropertyGrammar {
    readonly operators: readonly OperatorName[];
    readonly target: AnyTargetSpec;
}
export declare function defineGrammar<const G extends Record<string, PropertyGrammar>>(grammar: G): G;
type TargetOf<Spec> = Spec extends TargetSpec<infer T> ? T : never;
export type PropertyOperators<Source extends string, Decl extends PropertyGrammar> = Decl extends PropertyGrammar ? {
    [Op in Decl['operators'][number]]: (target: TargetOf<Decl['target']>) => Assertion<Source>;
} : never;
export declare function operatorsForProperty<Source extends string, Grammar extends Record<string, PropertyGrammar>, Property extends keyof Grammar & string>(grammar: Grammar, source: Source, property: Property): PropertyOperators<Source, Grammar[Property]>;
export declare function operatorsForSource<Source extends string, Decl extends PropertyGrammar>(source: Source, decl: Decl): PropertyOperators<Source, Decl>;
export declare function comparisonsForGrammar(decl: PropertyGrammar): Record<string, true>;
export declare function valueTypeForGrammar(decl: PropertyGrammar): TargetValueType;
export {};