import { type FieldAtom, type FieldAtomConfig } from "form-atoms";
import { type ZodAny, type ZodUndefined, z } from "zod";
import type { ExtendFieldAtom } from "../../atoms/types";
import { type DefaultRequiredAtom, type ReadRequired, type ValidateConfig, type WritableRequiredAtom } from "../../utils";
type ZodFieldConfig<Schema extends z.Schema, OptSchema extends z.Schema = ZodUndefined> = FieldAtomConfig<z.output<Schema> | z.output<OptSchema>> & ValidateConfig<Schema, OptSchema>;
export type ZodFieldValue<Field> = Field extends FieldAtom<infer Value> ? Value : never;
export type ZodFieldSubmitValue<Field> = Field extends ZodField<infer Schema, infer OptSchema, infer Required> ? Required extends WritableRequiredAtom ? z.output<Schema> | z.output<OptSchema> : Required extends DefaultRequiredAtom ? z.output<Schema> : never : never;
export type OptionalZodField<Schema extends z.Schema, OptSchema extends z.Schema = ZodUndefined> = ZodField<Schema, OptSchema, WritableRequiredAtom>;
/**
 * This is an alias to ZodField, it hides the 3rd argument from type tooltip.
 */
export type RequiredZodField<Schema extends z.Schema = ZodAny, OptSchema extends z.Schema = ZodUndefined> = ZodField<Schema, OptSchema>;
export type ZodField<Schema extends z.Schema = ZodAny, OptSchema extends z.Schema = ZodUndefined, RequiredAtom = DefaultRequiredAtom> = ExtendFieldAtom<z.output<Schema> | z.output<OptSchema>, {
    required: RequiredAtom;
}> & {
    optional: (readRequired?: ReadRequired) => OptionalZodField<Schema, OptSchema>;
};
export declare function zodField<Schema extends z.Schema, OptSchema extends z.Schema = ZodUndefined>({ schema, optionalSchema, ...config }: ZodFieldConfig<Schema, OptSchema>): RequiredZodField<Schema, OptSchema>;
export {};