type FieldResult<T> = {
    valid: true;
    value: T;
} | {
    valid: false;
    error: string;
};
type CollectInput = Record<string, FieldResult<unknown>>;
type CollectedValues<T extends CollectInput> = {
    [K in keyof T]: T[K] extends FieldResult<infer V> ? V : never;
};
type CollectResult<T extends CollectInput> = {
    valid: true;
    values: CollectedValues<T>;
} | {
    valid: false;
    errors: Record<string, string>;
};
export type { FieldResult, CollectInput, CollectedValues, CollectResult };
export declare function requiredString(value: unknown, field: string, opts?: {
    maxLength?: number;
}): FieldResult<string>;
export declare function optionalString(value: unknown, field: string, opts?: {
    maxLength?: number;
}): FieldResult<string | null>;
export declare function requiredEnum<T extends string>(value: unknown, field: string, allowed: readonly T[]): FieldResult<T>;
export declare function optionalEnum<T extends string>(value: unknown, field: string, allowed: readonly T[]): FieldResult<T | null>;
export declare function optionalEmail(value: unknown, field: string): FieldResult<string | null>;
export declare function requiredEmail(value: unknown, field: string): FieldResult<string>;
export declare function optionalJSON(value: unknown, field: string): FieldResult<string | null>;
export declare function validateStatusTransition<T extends string>(currentStatus: T, newStatus: T, validTransitions: Record<T, readonly T[]>): FieldResult<T>;
export declare function collectErrors<T extends CollectInput>(results: T): CollectResult<T>;
//# sourceMappingURL=validate.d.ts.map