formstand 0.12.0 → 0.14.0

package/dist/index.d.cts

@@ -1,193 +1,9 @@
+import { P as PathDepth, D as DefaultPathDepth, F as Form, C as CreateFormOptions, a as FieldValidationResult, b as FormState, c as FieldPath, d as FieldValue, E as ErrorMap } from './createForm-C9hZffCQ.cjs';
+export { B as BoolMap, e as FieldSnapshot, f as FieldsValidationResult, I as InvalidSubmitHandler, R as ReadonlyStoreApi, g as ResetOptions, S as SettledFieldValidationResult, h as SettledFieldsValidationResult, i as SettledValidationResult, j as SubmitHandler, k as SubmitOptions, l as SubmitResult, V as ValidationMode, m as ValidationResult, n as ValidationTrigger, o as createForm, p as emptyValueForSchema, q as flattenIssues, r as isAsyncRequiredError, s as shouldValidateOn, v as validateAsync, t as validateSync } from './createForm-C9hZffCQ.cjs';
 import { z } from 'zod';
-import { StoreApi } from 'zustand/vanilla';
 import * as react from 'react';
 import { ReactNode, ChangeEvent } from 'react';
-
-type LeafType = string | number | boolean | bigint | symbol | null | undefined | Date | RegExp;
-type IsRecord<T> = T extends LeafType ? false : T extends readonly unknown[] ? false : T extends object ? true : false;
-type IsArray<T> = T extends readonly unknown[] ? true : false;
-type Prev = [
-    never,
-    0,
-    1,
-    2,
-    3,
-    4,
-    5,
-    6,
-    7,
-    8,
-    9,
-    10,
-    11,
-    12,
-    13,
-    14,
-    15,
-    16,
-    17,
-    18,
-    19,
-    20,
-    21,
-    22,
-    23,
-    24
-];
-type DefaultPathDepth = 9;
-type PathDepth = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25;
-type IsUnion<T, U = T> = [T] extends [never] ? false : T extends unknown ? [U] extends [T] ? false : true : never;
-type NormalizeDepth<D extends number> = number extends D ? DefaultPathDepth : [D] extends [PathDepth] ? IsUnion<D> extends true ? DefaultPathDepth : D : DefaultPathDepth;
-type FieldPath<T, D extends number = DefaultPathDepth> = FieldPathRec<T, NormalizeDepth<D>>;
-type FieldPathRec<T, D extends number> = [D] extends [0] ? never : IsArray<T> extends true ? T extends readonly (infer U)[] ? `${number}` | (IsRecord<NonNullable<U>> extends true ? `${number}.${FieldPathRec<NonNullable<U>, Prev[D]>}` : IsArray<NonNullable<U>> extends true ? `${number}.${FieldPathRec<NonNullable<U>, Prev[D]>}` : never) : never : IsRecord<T> extends true ? {
-    [K in keyof T & string]: K | (IsRecord<NonNullable<T[K]>> extends true ? `${K}.${FieldPathRec<NonNullable<T[K]>, Prev[D]>}` : IsArray<NonNullable<T[K]>> extends true ? `${K}.${FieldPathRec<NonNullable<T[K]>, Prev[D]>}` : never);
-}[keyof T & string] : never;
-type StepValue<T, K extends string> = T extends readonly (infer U)[] ? K extends `${number}` ? U : never : T extends object ? K extends keyof T ? T[K] : never : never;
-type FieldValue<T, P extends string> = [T] extends [NonNullable<T>] ? P extends `${infer Head}.${infer Tail}` ? FieldValue<StepValue<T, Head>, Tail> : StepValue<T, P> : FieldValue<NonNullable<T>, P> | undefined;
-
-type ValidationMode = "onChange" | "onBlur" | "onSubmit" | "onTouched" | "all";
-type ValidationTrigger = "change" | "blur";
-declare const shouldValidateOn: (trigger: ValidationTrigger, mode: ValidationMode, reValidateMode: ValidationMode, submitAttempted: boolean, touched?: boolean) => boolean;
-
-type ErrorMap = Readonly<Record<string, readonly string[]>>;
-type BoolMap = Readonly<Record<string, boolean>>;
-type FormState<TValues> = Readonly<{
-    values: TValues;
-    initialValues: TValues;
-    errors: ErrorMap;
-    schemaErrors: ErrorMap;
-    serverErrors: ErrorMap;
-    touched: BoolMap;
-    isSubmitting: boolean;
-    submitCount: number;
-    isValidating: BoolMap;
-    isValidatingForm: boolean;
-    mode: ValidationMode;
-    reValidateMode: ValidationMode;
-}>;
-
-type SettledValidationResult<TOutput> = Readonly<{
-    kind: "valid";
-    data: TOutput;
-}> | Readonly<{
-    kind: "invalid";
-    errors: ErrorMap;
-}>;
-type ValidationResult<TOutput> = SettledValidationResult<TOutput> | Readonly<{
-    kind: "pending";
-    promise: Promise<SettledValidationResult<TOutput>>;
-}>;
-type SettledFieldValidationResult = Readonly<{
-    kind: "valid";
-}> | Readonly<{
-    kind: "invalid";
-    errors: readonly string[];
-}>;
-type FieldValidationResult = SettledFieldValidationResult | Readonly<{
-    kind: "pending";
-    promise: Promise<SettledFieldValidationResult>;
-}>;
-type SettledFieldsValidationResult = Readonly<{
-    kind: "valid";
-}> | Readonly<{
-    kind: "invalid";
-    errors: ErrorMap;
-}>;
-type FieldsValidationResult = SettledFieldsValidationResult | Readonly<{
-    kind: "pending";
-    promise: Promise<SettledFieldsValidationResult>;
-}>;
-declare const flattenIssues: (issues: readonly z.core.$ZodIssue[]) => ErrorMap;
-declare const validateSync: <TSchema extends z.ZodType>(schema: TSchema, values: z.input<TSchema>) => SettledValidationResult<z.output<TSchema>>;
-declare const validateAsync: <TSchema extends z.ZodType>(schema: TSchema, values: z.input<TSchema>) => Promise<SettledValidationResult<z.output<TSchema>>>;
-declare const isAsyncRequiredError: (e: unknown) => boolean;
-declare const emptyValueForSchema: (schema: z.ZodType) => null | undefined;
-
-type ReadonlyStoreApi<T> = Pick<StoreApi<T>, "getState" | "getInitialState" | "subscribe">;
-type CreateFormOptions<TSchema extends z.ZodType, D extends PathDepth = DefaultPathDepth> = Readonly<{
-    initialValues: z.input<TSchema>;
-    pathDepth?: D & (IsUnion<D> extends true ? never : unknown);
-    mode?: ValidationMode;
-    reValidateMode?: ValidationMode;
-    validateOnMount?: boolean;
-    devtools?: boolean | string;
-}>;
-type SubmitHandler<TSchema extends z.ZodType> = (data: z.output<TSchema>) => void | Promise<void>;
-type InvalidSubmitHandler = (errors: ErrorMap) => void;
-type SubmitOptions = Readonly<{
-    force?: boolean;
-}>;
-type SubmitResult<TOutput> = Readonly<{
-    kind: "valid";
-    data: TOutput;
-}> | Readonly<{
-    kind: "invalid";
-    errors: ErrorMap;
-}> | Readonly<{
-    kind: "skipped";
-}> | Readonly<{
-    kind: "error";
-    error: unknown;
-}>;
-type ArrayItemOf$1<T> = T extends readonly (infer U)[] ? U : never;
-type ErrorPath<TValues, D extends PathDepth = DefaultPathDepth> = FieldPath<TValues, D> | "";
-type ResetOptions = Readonly<{
-    keepErrors?: boolean;
-    keepTouched?: boolean;
-    keepSubmitCount?: boolean;
-}>;
-type FieldSnapshot<TValue> = Readonly<{
-    value: TValue;
-    error: readonly string[] | undefined;
-    touched: boolean;
-    dirty: boolean;
-    isValidating: boolean;
-}>;
-type Form<TSchema extends z.ZodType, D extends PathDepth = DefaultPathDepth> = Readonly<{
-    "~pathDepth"?: D;
-    schema: TSchema;
-    store: ReadonlyStoreApi<FormState<z.input<TSchema>>>;
-    getState: () => FormState<z.input<TSchema>>;
-    subscribe: (listener: (state: FormState<z.input<TSchema>>, prev: FormState<z.input<TSchema>>) => void) => () => void;
-    getField: <P extends FieldPath<z.input<TSchema>, D>>(path: P) => FieldValue<z.input<TSchema>, P>;
-    watchField: <P extends FieldPath<z.input<TSchema>, D>>(path: P, listener: (snapshot: FieldSnapshot<FieldValue<z.input<TSchema>, P>>) => void) => () => void;
-    watchValue: <P extends FieldPath<z.input<TSchema>, D>>(path: P, listener: (value: FieldValue<z.input<TSchema>, P>, previous: FieldValue<z.input<TSchema>, P>) => void) => () => void;
-    watchValues: (listener: (values: z.input<TSchema>, previous: z.input<TSchema>) => void) => () => void;
-    setValue: <P extends FieldPath<z.input<TSchema>, D>>(path: P, value: FieldValue<z.input<TSchema>, P>) => void;
-    setValues: (next: z.input<TSchema>) => void;
-    setTouched: (path: FieldPath<z.input<TSchema>, D>, touched?: boolean) => void;
-    setSubmitting: (value: boolean) => void;
-    setMode: (mode: ValidationMode) => void;
-    setReValidateMode: (mode: ValidationMode) => void;
-    setError: (path: ErrorPath<z.input<TSchema>, D>, errors: string | readonly string[]) => void;
-    setErrors: (errors: ErrorMap) => void;
-    clearErrors: (path?: ErrorPath<z.input<TSchema>, D>) => void;
-    updateState: (updater: (state: FormState<z.input<TSchema>>) => Partial<Omit<FormState<z.input<TSchema>>, "errors">>) => void;
-    reset: (nextInitial?: Partial<z.input<TSchema>>, options?: ResetOptions) => void;
-    resetField: (path: FieldPath<z.input<TSchema>, D>) => void;
-    adoptValues: (values: z.input<TSchema>) => void;
-    getFieldState: <P extends FieldPath<z.input<TSchema>, D>>(path: P) => FieldSnapshot<FieldValue<z.input<TSchema>, P>>;
-    validate: () => ValidationResult<z.output<TSchema>>;
-    validateField: (path: ErrorPath<z.input<TSchema>, D>) => FieldValidationResult;
-    validateFields: (paths: readonly FieldPath<z.input<TSchema>, D>[]) => FieldsValidationResult;
-    validateAsync: () => Promise<ValidationResult<z.output<TSchema>>>;
-    validateFieldAsync: (path: ErrorPath<z.input<TSchema>, D>) => Promise<FieldValidationResult>;
-    validateFieldsAsync: (paths: readonly FieldPath<z.input<TSchema>, D>[]) => Promise<SettledFieldsValidationResult>;
-    submit: (onValid: SubmitHandler<TSchema>, onInvalid?: InvalidSubmitHandler, options?: SubmitOptions) => Promise<SubmitResult<z.output<TSchema>>>;
-    arrayPush: <P extends FieldPath<z.input<TSchema>, D>>(path: P, item: ArrayItemOf$1<NonNullable<FieldValue<z.input<TSchema>, P>>>) => void;
-    arrayRemove: (path: FieldPath<z.input<TSchema>, D>, index: number) => void;
-    arrayInsert: <P extends FieldPath<z.input<TSchema>, D>>(path: P, index: number, item: ArrayItemOf$1<NonNullable<FieldValue<z.input<TSchema>, P>>>) => void;
-    arrayMove: (path: FieldPath<z.input<TSchema>, D>, from: number, to: number) => void;
-    arraySwap: (path: FieldPath<z.input<TSchema>, D>, a: number, b: number) => void;
-    handleSubmit: (onValid: SubmitHandler<TSchema>, onInvalid?: InvalidSubmitHandler, options?: SubmitOptions) => (event?: {
-        preventDefault: () => void;
-    }) => Promise<SubmitResult<z.output<TSchema>>>;
-    diff: () => Readonly<Record<string, unknown>>;
-    dirtyFields: () => readonly string[];
-    snapshot: () => FormState<z.input<TSchema>>;
-    restore: (snapshot: FormState<z.input<TSchema>>) => void;
-}>;
-declare const createForm: <TSchema extends z.ZodType, D extends PathDepth = DefaultPathDepth>(schema: TSchema, options: CreateFormOptions<TSchema, D>) => Form<TSchema, D>;
+import { StoreApi } from 'zustand/vanilla';
 
 type PathSegment = string | number;
 declare const parsePath: (path: string) => readonly PathSegment[];
@@ -255,10 +71,17 @@ type UseFieldReturn<TValue> = Readonly<{
     validateAsync: () => Promise<FieldValidationResult>;
     onBlur: () => void;
 }>;
+declare const inferredCallsOnly$2: unique symbol;
+interface InferredTypeArg$2 {
+    readonly [inferredCallsOnly$2]: typeof inferredCallsOnly$2;
+}
 declare function useField<TSchema extends z.ZodType>(form: FieldFormApi & Readonly<{
     schema: TSchema;
     store: ReadonlyStore$2<FormState<z.input<TSchema>>>;
 }>, pathSelector: (state: FormState<z.input<TSchema>>) => string, options?: UseFieldOptions): UseFieldReturn<unknown>;
+declare function useField<TValue = InferredTypeArg$2>(form: FieldFormApi & Readonly<{
+    schema: z.ZodType;
+}>, path: TValue extends InferredTypeArg$2 ? never : "Remove the explicit type argument: a schema-typed form infers the value type from the path", options?: UseFieldOptions): UseFieldReturn<TValue>;
 declare function useField<TValue = unknown>(form: FieldFormApi & {
     readonly schema?: undefined;
 }, path: FieldPathArg<unknown>, options?: UseFieldOptions): UseFieldReturn<TValue>;
@@ -269,10 +92,17 @@ type CommonKeys<V> = keyof V;
 type AllKeys<V> = V extends unknown ? keyof V : never;
 type VariantKeys<V> = Exclude<AllKeys<V>, CommonKeys<V>> & string;
 type UnionValueAt<TValues, P extends string> = P extends keyof TValues ? NonNullable<TValues[P]> : P extends `${infer Head}.${infer Tail}` ? Head extends keyof TValues ? UnionValueAt<NonNullable<TValues[Head]>, Tail> : never : never;
-declare function useVariantField<TSchema extends z.ZodType, P extends string, TField extends VariantKeys<UnionValueAt<z.input<TSchema>, P>>, D extends PathDepth = DefaultPathDepth>(form: Form<TSchema, D>, unionPath: P, field: TField): UseFieldReturn<VariantFieldValue<UnionValueAt<z.input<TSchema>, P>, TField> | undefined>;
+declare const inferredCallsOnly$1: unique symbol;
+interface InferredTypeArg$1 {
+    readonly [inferredCallsOnly$1]: typeof inferredCallsOnly$1;
+}
+declare function useVariantField<TValue = InferredTypeArg$1>(form: FieldFormApi & Readonly<{
+    schema: z.ZodType;
+}>, unionPath: TValue extends InferredTypeArg$1 ? never : "Remove the explicit type argument: a schema-typed form infers the variant value from the union path and field", field: string): UseFieldReturn<TValue | undefined>;
 declare function useVariantField<TValue = unknown>(form: FieldFormApi & {
     readonly schema?: undefined;
 }, unionPath: string, field: string): UseFieldReturn<TValue | undefined>;
+declare function useVariantField<TSchema extends z.ZodType, P extends string, TField extends VariantKeys<UnionValueAt<z.input<TSchema>, P>>, D extends PathDepth = DefaultPathDepth>(form: Form<TSchema, D>, unionPath: P, field: TField): UseFieldReturn<VariantFieldValue<UnionValueAt<z.input<TSchema>, P>, TField> | undefined>;
 
 type ReadonlyStore$1<T> = Pick<StoreApi<T>, "getState" | "getInitialState" | "subscribe">;
 type FieldArrayFormApi = Readonly<{
@@ -300,10 +130,17 @@ type UseFieldArrayReturn<TItem> = Readonly<{
     swap: (a: number, b: number) => void;
 }>;
 type ArrayItemOf<T> = [NonNullable<T>] extends [readonly (infer U)[]] ? U : never;
+declare const inferredCallsOnly: unique symbol;
+interface InferredTypeArg {
+    readonly [inferredCallsOnly]: typeof inferredCallsOnly;
+}
 declare function useFieldArray<TSchema extends z.ZodType>(form: FieldArrayFormApi & Readonly<{
     schema: TSchema;
     store: ReadonlyStore$1<FormState<z.input<TSchema>>>;
 }>, pathSelector: (state: FormState<z.input<TSchema>>) => string): UseFieldArrayReturn<unknown>;
+declare function useFieldArray<TItem = InferredTypeArg>(form: FieldArrayFormApi & Readonly<{
+    schema: z.ZodType;
+}>, path: TItem extends InferredTypeArg ? never : "Remove the explicit type argument: a schema-typed form infers the item type from the path"): UseFieldArrayReturn<TItem>;
 declare function useFieldArray<TItem = unknown>(form: FieldArrayFormApi & {
     readonly schema?: undefined;
 }, path: FieldPathArg<unknown>): UseFieldArrayReturn<TItem>;
@@ -356,6 +193,11 @@ declare function useFormSelectorShallow<U>(form: FormStateApi & {
     readonly schema?: undefined;
 }, selector: (state: FormState<unknown>) => U): U;
 
+declare function useFormValues<TSchema extends z.ZodType, D extends PathDepth = DefaultPathDepth>(form: Form<TSchema, D>): z.input<TSchema>;
+declare function useFormValues(form: FormStateApi & {
+    readonly schema?: undefined;
+}): unknown;
+
 declare const useFormError: (form: FormStateApi) => readonly string[] | undefined;
 
 declare function useIsDirty(form: FormStateApi & {
@@ -498,4 +340,4 @@ declare const dateInputProps: <T extends Date | null | undefined>(field: UseFiel
 declare const checkboxProps: <T extends boolean | null | undefined>(field: UseFieldReturn<T>) => CheckboxProps;
 declare const selectProps: <T extends string | null | undefined>(field: UseFieldReturn<T>) => SelectProps;
 
-export { type BoolMap, type BoundUseField, type BoundUseFieldArray, type BoundUseFlag, type BoundUseSelector, CheckboxField, type CheckboxFieldProps, type CheckboxProps, type CreateFormOptions, DateField, type DateFieldProps, type DateInputProps, type DefaultPathDepth, type ErrorMap, type FieldArrayEntry, type FieldArrayFormApi, type FieldFormApi, type FieldPath, type FieldPathArg, type FieldRef, type FieldSnapshot, type FieldValidationResult, type FieldValue, type FieldsValidationResult, type Form, type FormContextApi, type FormHooks, type FormProviderProps, type FormState, type FormStateApi, type InvalidSubmitHandler, NumberField, type NumberFieldProps, type NumberInputBinding, type NumberInputProps, type ParsedDateText, type ParsedNumberText, type PathDepth, type PathSegment, type PathsOf, type PersistHandle, type PersistOptions, type PersistStorage, type ReadonlyStoreApi, type ResetOptions, SelectField, type SelectFieldOption, type SelectFieldProps, type SelectProps, type SettledFieldValidationResult, type SettledFieldsValidationResult, type SettledValidationResult, type SubmitHandler, type SubmitOptions, type SubmitResult, TextField, type TextFieldProps, type TextInputProps, type UseFieldArrayReturn, type UseFieldOptions, type UseFieldReturn, type ValidationMode, type ValidationResult, type ValidationTrigger, checkboxProps, createForm, createFormContext, createFormHooks, dateInputProps, dateToInputText, emptyValueForSchema, flattenIssues, focusField, focusFirstError, getAtPath, hasFieldError, isAsyncRequiredError, numberInputProps, numberToInputText, parseDateText, parseNumberText, parsePath, persistForm, selectProps, setAtPath, shouldValidateOn, textInputProps, useField, useFieldArray, useForm, useFormError, useFormSelector, useFormSelectorShallow, useIsDirty, useIsSubmitting, useIsValid, useNumberInput, useSubmitCount, useVariantField, validateAsync, validateSync };
+export { type BoundUseField, type BoundUseFieldArray, type BoundUseFlag, type BoundUseSelector, CheckboxField, type CheckboxFieldProps, type CheckboxProps, CreateFormOptions, DateField, type DateFieldProps, type DateInputProps, DefaultPathDepth, ErrorMap, type FieldArrayEntry, type FieldArrayFormApi, type FieldFormApi, FieldPath, type FieldPathArg, type FieldRef, FieldValidationResult, FieldValue, Form, type FormContextApi, type FormHooks, type FormProviderProps, FormState, type FormStateApi, NumberField, type NumberFieldProps, type NumberInputBinding, type NumberInputProps, type ParsedDateText, type ParsedNumberText, PathDepth, type PathSegment, type PathsOf, type PersistHandle, type PersistOptions, type PersistStorage, SelectField, type SelectFieldOption, type SelectFieldProps, type SelectProps, TextField, type TextFieldProps, type TextInputProps, type UseFieldArrayReturn, type UseFieldOptions, type UseFieldReturn, checkboxProps, createFormContext, createFormHooks, dateInputProps, dateToInputText, focusField, focusFirstError, getAtPath, hasFieldError, numberInputProps, numberToInputText, parseDateText, parseNumberText, parsePath, persistForm, selectProps, setAtPath, textInputProps, useField, useFieldArray, useForm, useFormError, useFormSelector, useFormSelectorShallow, useFormValues, useIsDirty, useIsSubmitting, useIsValid, useNumberInput, useSubmitCount, useVariantField };

package/dist/index.d.ts

@@ -1,193 +1,9 @@
+import { P as PathDepth, D as DefaultPathDepth, F as Form, C as CreateFormOptions, a as FieldValidationResult, b as FormState, c as FieldPath, d as FieldValue, E as ErrorMap } from './createForm-C9hZffCQ.js';
+export { B as BoolMap, e as FieldSnapshot, f as FieldsValidationResult, I as InvalidSubmitHandler, R as ReadonlyStoreApi, g as ResetOptions, S as SettledFieldValidationResult, h as SettledFieldsValidationResult, i as SettledValidationResult, j as SubmitHandler, k as SubmitOptions, l as SubmitResult, V as ValidationMode, m as ValidationResult, n as ValidationTrigger, o as createForm, p as emptyValueForSchema, q as flattenIssues, r as isAsyncRequiredError, s as shouldValidateOn, v as validateAsync, t as validateSync } from './createForm-C9hZffCQ.js';
 import { z } from 'zod';
-import { StoreApi } from 'zustand/vanilla';
 import * as react from 'react';
 import { ReactNode, ChangeEvent } from 'react';
-
-type LeafType = string | number | boolean | bigint | symbol | null | undefined | Date | RegExp;
-type IsRecord<T> = T extends LeafType ? false : T extends readonly unknown[] ? false : T extends object ? true : false;
-type IsArray<T> = T extends readonly unknown[] ? true : false;
-type Prev = [
-    never,
-    0,
-    1,
-    2,
-    3,
-    4,
-    5,
-    6,
-    7,
-    8,
-    9,
-    10,
-    11,
-    12,
-    13,
-    14,
-    15,
-    16,
-    17,
-    18,
-    19,
-    20,
-    21,
-    22,
-    23,
-    24
-];
-type DefaultPathDepth = 9;
-type PathDepth = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25;
-type IsUnion<T, U = T> = [T] extends [never] ? false : T extends unknown ? [U] extends [T] ? false : true : never;
-type NormalizeDepth<D extends number> = number extends D ? DefaultPathDepth : [D] extends [PathDepth] ? IsUnion<D> extends true ? DefaultPathDepth : D : DefaultPathDepth;
-type FieldPath<T, D extends number = DefaultPathDepth> = FieldPathRec<T, NormalizeDepth<D>>;
-type FieldPathRec<T, D extends number> = [D] extends [0] ? never : IsArray<T> extends true ? T extends readonly (infer U)[] ? `${number}` | (IsRecord<NonNullable<U>> extends true ? `${number}.${FieldPathRec<NonNullable<U>, Prev[D]>}` : IsArray<NonNullable<U>> extends true ? `${number}.${FieldPathRec<NonNullable<U>, Prev[D]>}` : never) : never : IsRecord<T> extends true ? {
-    [K in keyof T & string]: K | (IsRecord<NonNullable<T[K]>> extends true ? `${K}.${FieldPathRec<NonNullable<T[K]>, Prev[D]>}` : IsArray<NonNullable<T[K]>> extends true ? `${K}.${FieldPathRec<NonNullable<T[K]>, Prev[D]>}` : never);
-}[keyof T & string] : never;
-type StepValue<T, K extends string> = T extends readonly (infer U)[] ? K extends `${number}` ? U : never : T extends object ? K extends keyof T ? T[K] : never : never;
-type FieldValue<T, P extends string> = [T] extends [NonNullable<T>] ? P extends `${infer Head}.${infer Tail}` ? FieldValue<StepValue<T, Head>, Tail> : StepValue<T, P> : FieldValue<NonNullable<T>, P> | undefined;
-
-type ValidationMode = "onChange" | "onBlur" | "onSubmit" | "onTouched" | "all";
-type ValidationTrigger = "change" | "blur";
-declare const shouldValidateOn: (trigger: ValidationTrigger, mode: ValidationMode, reValidateMode: ValidationMode, submitAttempted: boolean, touched?: boolean) => boolean;
-
-type ErrorMap = Readonly<Record<string, readonly string[]>>;
-type BoolMap = Readonly<Record<string, boolean>>;
-type FormState<TValues> = Readonly<{
-    values: TValues;
-    initialValues: TValues;
-    errors: ErrorMap;
-    schemaErrors: ErrorMap;
-    serverErrors: ErrorMap;
-    touched: BoolMap;
-    isSubmitting: boolean;
-    submitCount: number;
-    isValidating: BoolMap;
-    isValidatingForm: boolean;
-    mode: ValidationMode;
-    reValidateMode: ValidationMode;
-}>;
-
-type SettledValidationResult<TOutput> = Readonly<{
-    kind: "valid";
-    data: TOutput;
-}> | Readonly<{
-    kind: "invalid";
-    errors: ErrorMap;
-}>;
-type ValidationResult<TOutput> = SettledValidationResult<TOutput> | Readonly<{
-    kind: "pending";
-    promise: Promise<SettledValidationResult<TOutput>>;
-}>;
-type SettledFieldValidationResult = Readonly<{
-    kind: "valid";
-}> | Readonly<{
-    kind: "invalid";
-    errors: readonly string[];
-}>;
-type FieldValidationResult = SettledFieldValidationResult | Readonly<{
-    kind: "pending";
-    promise: Promise<SettledFieldValidationResult>;
-}>;
-type SettledFieldsValidationResult = Readonly<{
-    kind: "valid";
-}> | Readonly<{
-    kind: "invalid";
-    errors: ErrorMap;
-}>;
-type FieldsValidationResult = SettledFieldsValidationResult | Readonly<{
-    kind: "pending";
-    promise: Promise<SettledFieldsValidationResult>;
-}>;
-declare const flattenIssues: (issues: readonly z.core.$ZodIssue[]) => ErrorMap;
-declare const validateSync: <TSchema extends z.ZodType>(schema: TSchema, values: z.input<TSchema>) => SettledValidationResult<z.output<TSchema>>;
-declare const validateAsync: <TSchema extends z.ZodType>(schema: TSchema, values: z.input<TSchema>) => Promise<SettledValidationResult<z.output<TSchema>>>;
-declare const isAsyncRequiredError: (e: unknown) => boolean;
-declare const emptyValueForSchema: (schema: z.ZodType) => null | undefined;
-
-type ReadonlyStoreApi<T> = Pick<StoreApi<T>, "getState" | "getInitialState" | "subscribe">;
-type CreateFormOptions<TSchema extends z.ZodType, D extends PathDepth = DefaultPathDepth> = Readonly<{
-    initialValues: z.input<TSchema>;
-    pathDepth?: D & (IsUnion<D> extends true ? never : unknown);
-    mode?: ValidationMode;
-    reValidateMode?: ValidationMode;
-    validateOnMount?: boolean;
-    devtools?: boolean | string;
-}>;
-type SubmitHandler<TSchema extends z.ZodType> = (data: z.output<TSchema>) => void | Promise<void>;
-type InvalidSubmitHandler = (errors: ErrorMap) => void;
-type SubmitOptions = Readonly<{
-    force?: boolean;
-}>;
-type SubmitResult<TOutput> = Readonly<{
-    kind: "valid";
-    data: TOutput;
-}> | Readonly<{
-    kind: "invalid";
-    errors: ErrorMap;
-}> | Readonly<{
-    kind: "skipped";
-}> | Readonly<{
-    kind: "error";
-    error: unknown;
-}>;
-type ArrayItemOf$1<T> = T extends readonly (infer U)[] ? U : never;
-type ErrorPath<TValues, D extends PathDepth = DefaultPathDepth> = FieldPath<TValues, D> | "";
-type ResetOptions = Readonly<{
-    keepErrors?: boolean;
-    keepTouched?: boolean;
-    keepSubmitCount?: boolean;
-}>;
-type FieldSnapshot<TValue> = Readonly<{
-    value: TValue;
-    error: readonly string[] | undefined;
-    touched: boolean;
-    dirty: boolean;
-    isValidating: boolean;
-}>;
-type Form<TSchema extends z.ZodType, D extends PathDepth = DefaultPathDepth> = Readonly<{
-    "~pathDepth"?: D;
-    schema: TSchema;
-    store: ReadonlyStoreApi<FormState<z.input<TSchema>>>;
-    getState: () => FormState<z.input<TSchema>>;
-    subscribe: (listener: (state: FormState<z.input<TSchema>>, prev: FormState<z.input<TSchema>>) => void) => () => void;
-    getField: <P extends FieldPath<z.input<TSchema>, D>>(path: P) => FieldValue<z.input<TSchema>, P>;
-    watchField: <P extends FieldPath<z.input<TSchema>, D>>(path: P, listener: (snapshot: FieldSnapshot<FieldValue<z.input<TSchema>, P>>) => void) => () => void;
-    watchValue: <P extends FieldPath<z.input<TSchema>, D>>(path: P, listener: (value: FieldValue<z.input<TSchema>, P>, previous: FieldValue<z.input<TSchema>, P>) => void) => () => void;
-    watchValues: (listener: (values: z.input<TSchema>, previous: z.input<TSchema>) => void) => () => void;
-    setValue: <P extends FieldPath<z.input<TSchema>, D>>(path: P, value: FieldValue<z.input<TSchema>, P>) => void;
-    setValues: (next: z.input<TSchema>) => void;
-    setTouched: (path: FieldPath<z.input<TSchema>, D>, touched?: boolean) => void;
-    setSubmitting: (value: boolean) => void;
-    setMode: (mode: ValidationMode) => void;
-    setReValidateMode: (mode: ValidationMode) => void;
-    setError: (path: ErrorPath<z.input<TSchema>, D>, errors: string | readonly string[]) => void;
-    setErrors: (errors: ErrorMap) => void;
-    clearErrors: (path?: ErrorPath<z.input<TSchema>, D>) => void;
-    updateState: (updater: (state: FormState<z.input<TSchema>>) => Partial<Omit<FormState<z.input<TSchema>>, "errors">>) => void;
-    reset: (nextInitial?: Partial<z.input<TSchema>>, options?: ResetOptions) => void;
-    resetField: (path: FieldPath<z.input<TSchema>, D>) => void;
-    adoptValues: (values: z.input<TSchema>) => void;
-    getFieldState: <P extends FieldPath<z.input<TSchema>, D>>(path: P) => FieldSnapshot<FieldValue<z.input<TSchema>, P>>;
-    validate: () => ValidationResult<z.output<TSchema>>;
-    validateField: (path: ErrorPath<z.input<TSchema>, D>) => FieldValidationResult;
-    validateFields: (paths: readonly FieldPath<z.input<TSchema>, D>[]) => FieldsValidationResult;
-    validateAsync: () => Promise<ValidationResult<z.output<TSchema>>>;
-    validateFieldAsync: (path: ErrorPath<z.input<TSchema>, D>) => Promise<FieldValidationResult>;
-    validateFieldsAsync: (paths: readonly FieldPath<z.input<TSchema>, D>[]) => Promise<SettledFieldsValidationResult>;
-    submit: (onValid: SubmitHandler<TSchema>, onInvalid?: InvalidSubmitHandler, options?: SubmitOptions) => Promise<SubmitResult<z.output<TSchema>>>;
-    arrayPush: <P extends FieldPath<z.input<TSchema>, D>>(path: P, item: ArrayItemOf$1<NonNullable<FieldValue<z.input<TSchema>, P>>>) => void;
-    arrayRemove: (path: FieldPath<z.input<TSchema>, D>, index: number) => void;
-    arrayInsert: <P extends FieldPath<z.input<TSchema>, D>>(path: P, index: number, item: ArrayItemOf$1<NonNullable<FieldValue<z.input<TSchema>, P>>>) => void;
-    arrayMove: (path: FieldPath<z.input<TSchema>, D>, from: number, to: number) => void;
-    arraySwap: (path: FieldPath<z.input<TSchema>, D>, a: number, b: number) => void;
-    handleSubmit: (onValid: SubmitHandler<TSchema>, onInvalid?: InvalidSubmitHandler, options?: SubmitOptions) => (event?: {
-        preventDefault: () => void;
-    }) => Promise<SubmitResult<z.output<TSchema>>>;
-    diff: () => Readonly<Record<string, unknown>>;
-    dirtyFields: () => readonly string[];
-    snapshot: () => FormState<z.input<TSchema>>;
-    restore: (snapshot: FormState<z.input<TSchema>>) => void;
-}>;
-declare const createForm: <TSchema extends z.ZodType, D extends PathDepth = DefaultPathDepth>(schema: TSchema, options: CreateFormOptions<TSchema, D>) => Form<TSchema, D>;
+import { StoreApi } from 'zustand/vanilla';
 
 type PathSegment = string | number;
 declare const parsePath: (path: string) => readonly PathSegment[];
@@ -255,10 +71,17 @@ type UseFieldReturn<TValue> = Readonly<{
     validateAsync: () => Promise<FieldValidationResult>;
     onBlur: () => void;
 }>;
+declare const inferredCallsOnly$2: unique symbol;
+interface InferredTypeArg$2 {
+    readonly [inferredCallsOnly$2]: typeof inferredCallsOnly$2;
+}
 declare function useField<TSchema extends z.ZodType>(form: FieldFormApi & Readonly<{
     schema: TSchema;
     store: ReadonlyStore$2<FormState<z.input<TSchema>>>;
 }>, pathSelector: (state: FormState<z.input<TSchema>>) => string, options?: UseFieldOptions): UseFieldReturn<unknown>;
+declare function useField<TValue = InferredTypeArg$2>(form: FieldFormApi & Readonly<{
+    schema: z.ZodType;
+}>, path: TValue extends InferredTypeArg$2 ? never : "Remove the explicit type argument: a schema-typed form infers the value type from the path", options?: UseFieldOptions): UseFieldReturn<TValue>;
 declare function useField<TValue = unknown>(form: FieldFormApi & {
     readonly schema?: undefined;
 }, path: FieldPathArg<unknown>, options?: UseFieldOptions): UseFieldReturn<TValue>;
@@ -269,10 +92,17 @@ type CommonKeys<V> = keyof V;
 type AllKeys<V> = V extends unknown ? keyof V : never;
 type VariantKeys<V> = Exclude<AllKeys<V>, CommonKeys<V>> & string;
 type UnionValueAt<TValues, P extends string> = P extends keyof TValues ? NonNullable<TValues[P]> : P extends `${infer Head}.${infer Tail}` ? Head extends keyof TValues ? UnionValueAt<NonNullable<TValues[Head]>, Tail> : never : never;
-declare function useVariantField<TSchema extends z.ZodType, P extends string, TField extends VariantKeys<UnionValueAt<z.input<TSchema>, P>>, D extends PathDepth = DefaultPathDepth>(form: Form<TSchema, D>, unionPath: P, field: TField): UseFieldReturn<VariantFieldValue<UnionValueAt<z.input<TSchema>, P>, TField> | undefined>;
+declare const inferredCallsOnly$1: unique symbol;
+interface InferredTypeArg$1 {
+    readonly [inferredCallsOnly$1]: typeof inferredCallsOnly$1;
+}
+declare function useVariantField<TValue = InferredTypeArg$1>(form: FieldFormApi & Readonly<{
+    schema: z.ZodType;
+}>, unionPath: TValue extends InferredTypeArg$1 ? never : "Remove the explicit type argument: a schema-typed form infers the variant value from the union path and field", field: string): UseFieldReturn<TValue | undefined>;
 declare function useVariantField<TValue = unknown>(form: FieldFormApi & {
     readonly schema?: undefined;
 }, unionPath: string, field: string): UseFieldReturn<TValue | undefined>;
+declare function useVariantField<TSchema extends z.ZodType, P extends string, TField extends VariantKeys<UnionValueAt<z.input<TSchema>, P>>, D extends PathDepth = DefaultPathDepth>(form: Form<TSchema, D>, unionPath: P, field: TField): UseFieldReturn<VariantFieldValue<UnionValueAt<z.input<TSchema>, P>, TField> | undefined>;
 
 type ReadonlyStore$1<T> = Pick<StoreApi<T>, "getState" | "getInitialState" | "subscribe">;
 type FieldArrayFormApi = Readonly<{
@@ -300,10 +130,17 @@ type UseFieldArrayReturn<TItem> = Readonly<{
     swap: (a: number, b: number) => void;
 }>;
 type ArrayItemOf<T> = [NonNullable<T>] extends [readonly (infer U)[]] ? U : never;
+declare const inferredCallsOnly: unique symbol;
+interface InferredTypeArg {
+    readonly [inferredCallsOnly]: typeof inferredCallsOnly;
+}
 declare function useFieldArray<TSchema extends z.ZodType>(form: FieldArrayFormApi & Readonly<{
     schema: TSchema;
     store: ReadonlyStore$1<FormState<z.input<TSchema>>>;
 }>, pathSelector: (state: FormState<z.input<TSchema>>) => string): UseFieldArrayReturn<unknown>;
+declare function useFieldArray<TItem = InferredTypeArg>(form: FieldArrayFormApi & Readonly<{
+    schema: z.ZodType;
+}>, path: TItem extends InferredTypeArg ? never : "Remove the explicit type argument: a schema-typed form infers the item type from the path"): UseFieldArrayReturn<TItem>;
 declare function useFieldArray<TItem = unknown>(form: FieldArrayFormApi & {
     readonly schema?: undefined;
 }, path: FieldPathArg<unknown>): UseFieldArrayReturn<TItem>;
@@ -356,6 +193,11 @@ declare function useFormSelectorShallow<U>(form: FormStateApi & {
     readonly schema?: undefined;
 }, selector: (state: FormState<unknown>) => U): U;
 
+declare function useFormValues<TSchema extends z.ZodType, D extends PathDepth = DefaultPathDepth>(form: Form<TSchema, D>): z.input<TSchema>;
+declare function useFormValues(form: FormStateApi & {
+    readonly schema?: undefined;
+}): unknown;
+
 declare const useFormError: (form: FormStateApi) => readonly string[] | undefined;
 
 declare function useIsDirty(form: FormStateApi & {
@@ -498,4 +340,4 @@ declare const dateInputProps: <T extends Date | null | undefined>(field: UseFiel
 declare const checkboxProps: <T extends boolean | null | undefined>(field: UseFieldReturn<T>) => CheckboxProps;
 declare const selectProps: <T extends string | null | undefined>(field: UseFieldReturn<T>) => SelectProps;
 
-export { type BoolMap, type BoundUseField, type BoundUseFieldArray, type BoundUseFlag, type BoundUseSelector, CheckboxField, type CheckboxFieldProps, type CheckboxProps, type CreateFormOptions, DateField, type DateFieldProps, type DateInputProps, type DefaultPathDepth, type ErrorMap, type FieldArrayEntry, type FieldArrayFormApi, type FieldFormApi, type FieldPath, type FieldPathArg, type FieldRef, type FieldSnapshot, type FieldValidationResult, type FieldValue, type FieldsValidationResult, type Form, type FormContextApi, type FormHooks, type FormProviderProps, type FormState, type FormStateApi, type InvalidSubmitHandler, NumberField, type NumberFieldProps, type NumberInputBinding, type NumberInputProps, type ParsedDateText, type ParsedNumberText, type PathDepth, type PathSegment, type PathsOf, type PersistHandle, type PersistOptions, type PersistStorage, type ReadonlyStoreApi, type ResetOptions, SelectField, type SelectFieldOption, type SelectFieldProps, type SelectProps, type SettledFieldValidationResult, type SettledFieldsValidationResult, type SettledValidationResult, type SubmitHandler, type SubmitOptions, type SubmitResult, TextField, type TextFieldProps, type TextInputProps, type UseFieldArrayReturn, type UseFieldOptions, type UseFieldReturn, type ValidationMode, type ValidationResult, type ValidationTrigger, checkboxProps, createForm, createFormContext, createFormHooks, dateInputProps, dateToInputText, emptyValueForSchema, flattenIssues, focusField, focusFirstError, getAtPath, hasFieldError, isAsyncRequiredError, numberInputProps, numberToInputText, parseDateText, parseNumberText, parsePath, persistForm, selectProps, setAtPath, shouldValidateOn, textInputProps, useField, useFieldArray, useForm, useFormError, useFormSelector, useFormSelectorShallow, useIsDirty, useIsSubmitting, useIsValid, useNumberInput, useSubmitCount, useVariantField, validateAsync, validateSync };
+export { type BoundUseField, type BoundUseFieldArray, type BoundUseFlag, type BoundUseSelector, CheckboxField, type CheckboxFieldProps, type CheckboxProps, CreateFormOptions, DateField, type DateFieldProps, type DateInputProps, DefaultPathDepth, ErrorMap, type FieldArrayEntry, type FieldArrayFormApi, type FieldFormApi, FieldPath, type FieldPathArg, type FieldRef, FieldValidationResult, FieldValue, Form, type FormContextApi, type FormHooks, type FormProviderProps, FormState, type FormStateApi, NumberField, type NumberFieldProps, type NumberInputBinding, type NumberInputProps, type ParsedDateText, type ParsedNumberText, PathDepth, type PathSegment, type PathsOf, type PersistHandle, type PersistOptions, type PersistStorage, SelectField, type SelectFieldOption, type SelectFieldProps, type SelectProps, TextField, type TextFieldProps, type TextInputProps, type UseFieldArrayReturn, type UseFieldOptions, type UseFieldReturn, checkboxProps, createFormContext, createFormHooks, dateInputProps, dateToInputText, focusField, focusFirstError, getAtPath, hasFieldError, numberInputProps, numberToInputText, parseDateText, parseNumberText, parsePath, persistForm, selectProps, setAtPath, textInputProps, useField, useFieldArray, useForm, useFormError, useFormSelector, useFormSelectorShallow, useFormValues, useIsDirty, useIsSubmitting, useIsValid, useNumberInput, useSubmitCount, useVariantField };