interface BaseNode {
    readonly kind: string;
    readonly path?: string;
}
export interface ValueNode extends BaseNode {
    readonly kind: 'value';
    readonly transform: 'string' | 'number' | 'integer' | 'boolean';
}
export type ASTNode = ValueNode | ObjectNode | ArrayNode;
export interface ObjectNode extends BaseNode {
    readonly kind: 'object';
    readonly fields: Readonly<Record<string, ASTNode>>;
}
export interface ArrayNode extends BaseNode {
    readonly kind: 'array';
    readonly item: ASTNode;
}
export interface Field<T = unknown> {
    readonly toAST: () => ASTNode;
    readonly __type?: T;
}
type InferShape<T extends Record<string, Field<unknown>>> = {
    [K in keyof T]: T[K] extends Field<infer U> ? U : never;
};
export declare const toString: (path?: string) => Field<string>;
export declare const toNumber: (path?: string) => Field<number>;
export declare const toInteger: (path?: string) => Field<number>;
export declare const toBoolean: (path?: string) => Field<boolean>;
export declare function toObject<T extends Record<string, Field<unknown>>>(fields: T): Field<InferShape<T>>;
export declare function toObject<T extends Record<string, Field<unknown>>>(path: string, fields: T): Field<InferShape<T>>;
export declare function toArray<T>(field: Field<T>): Field<T[]>;
export declare function toArray<T>(path: string, field: Field<T>): Field<T[]>;
type Executor<T = unknown> = (data: unknown) => T;
export declare const compile: <T>(field: Field<T>) => Executor<T>;
export {};
//# sourceMappingURL=field-dsl.d.ts.map