attaform 0.17.1 → 0.17.2

package/dist/shared/attaform.C5MH4lNh.d.mts

@@ -0,0 +1,53 @@
+import { z } from 'zod';
+import { ag as ValidateOnConfig, F as FormKey, E as OnInvalidSubmitPolicy, X as PersistConfig, y as HistoryConfig, C as CoercionRegistry } from './attaform.C_5aB6EQ.mjs';
+
+/**
+ * v3 mirror of the Zod v4 `StorageShape`. Per top-level key, default
+ * to `z.output<Shape[K]>` (the post-init view — defaults have fired,
+ * Zod's own recursion peels nested defaults inside structural
+ * containers); fall back to `z.input<Shape[K]>` for transform / pipe
+ * carriers (`ZodEffects`, `ZodPipeline`) where storage holds the
+ * pre-transform input — transforms only run at submission /
+ * validation, not at the write boundary.
+ *
+ * v3 quirk: `ZodEffects` covers BOTH `.transform()` and
+ * `z.preprocess()` at the TS level — v3 doesn't carry a separate
+ * preprocess class the way v4 does. Deferring to `z.input` for
+ * `ZodEffects` means a top-level `z.preprocess(fn, T)` leaf reads as
+ * the preprocess input (commonly `unknown`); reach for the
+ * `AbstractSchema` escape hatch if a stronger type is needed.
+ * Transforms preserve their pre-transform input shape, which matches
+ * storage.
+ */
+type StorageShape<S extends z.ZodTypeAny> = S extends z.ZodObject<infer Shape> ? {
+    [K in keyof Shape]-?: Shape[K] extends z.ZodEffects<z.ZodTypeAny> | z.ZodPipeline<z.ZodTypeAny, z.ZodTypeAny> ? z.input<Shape[K]> : z.output<Shape[K]>;
+} : z.input<S>;
+
+/**
+ * Configuration object for the Zod v3 `useForm` overload. Same
+ * shape as the schema-agnostic `UseFormConfiguration`, but with
+ * `schema` constrained to a `z.ZodObject` (or wrapped form).
+ */
+type UseFormConfigurationWithZod<Schema extends z.ZodType<unknown>, DefaultValues> = ValidateOnConfig & {
+    /** A Zod v3 `ZodObject` schema (or one wrapped in `.optional()` / `.nullable()` / `.default()` / `.refine()`). */
+    schema: Schema extends z.ZodType<unknown> ? UnwrapZodObject<Schema> extends z.ZodObject<z.ZodRawShape> ? Schema : never : never;
+    key?: FormKey;
+    defaultValues?: DefaultValues;
+    strict?: boolean;
+    onInvalidSubmit?: OnInvalidSubmitPolicy;
+    persist?: PersistConfig;
+    history?: HistoryConfig;
+    rememberVariants?: boolean;
+    coerce?: boolean | CoercionRegistry;
+};
+/**
+ * Peel `.optional()` / `.nullable()` / `.default()` / `.refine()` /
+ * `.transform()` wrappers off a Zod v3 schema to reach the inner
+ * `ZodObject`. Returns `never` if no `ZodObject` is found.
+ *
+ * Used internally by the v3 `useForm` overload to verify the
+ * supplied schema bottoms out at a `ZodObject`.
+ */
+type UnwrapZodObject<T> = T extends z.ZodEffects<infer Inner> ? UnwrapZodObject<Inner> : T extends z.ZodOptional<infer Inner> ? UnwrapZodObject<Inner> : T extends z.ZodNullable<infer Inner> ? UnwrapZodObject<Inner> : T extends z.ZodDefault<infer Inner> ? UnwrapZodObject<Inner> : T extends z.ZodObject<infer Shape> ? z.ZodObject<Shape> : never;
+
+export type { StorageShape as S, UnwrapZodObject as U, UseFormConfigurationWithZod as a };

package/dist/shared/attaform.C6lbmMUe.d.ts

@@ -0,0 +1,53 @@
+import { z } from 'zod';
+import { ag as ValidateOnConfig, F as FormKey, E as OnInvalidSubmitPolicy, X as PersistConfig, y as HistoryConfig, C as CoercionRegistry } from './attaform.C_5aB6EQ.js';
+
+/**
+ * v3 mirror of the Zod v4 `StorageShape`. Per top-level key, default
+ * to `z.output<Shape[K]>` (the post-init view — defaults have fired,
+ * Zod's own recursion peels nested defaults inside structural
+ * containers); fall back to `z.input<Shape[K]>` for transform / pipe
+ * carriers (`ZodEffects`, `ZodPipeline`) where storage holds the
+ * pre-transform input — transforms only run at submission /
+ * validation, not at the write boundary.
+ *
+ * v3 quirk: `ZodEffects` covers BOTH `.transform()` and
+ * `z.preprocess()` at the TS level — v3 doesn't carry a separate
+ * preprocess class the way v4 does. Deferring to `z.input` for
+ * `ZodEffects` means a top-level `z.preprocess(fn, T)` leaf reads as
+ * the preprocess input (commonly `unknown`); reach for the
+ * `AbstractSchema` escape hatch if a stronger type is needed.
+ * Transforms preserve their pre-transform input shape, which matches
+ * storage.
+ */
+type StorageShape<S extends z.ZodTypeAny> = S extends z.ZodObject<infer Shape> ? {
+    [K in keyof Shape]-?: Shape[K] extends z.ZodEffects<z.ZodTypeAny> | z.ZodPipeline<z.ZodTypeAny, z.ZodTypeAny> ? z.input<Shape[K]> : z.output<Shape[K]>;
+} : z.input<S>;
+
+/**
+ * Configuration object for the Zod v3 `useForm` overload. Same
+ * shape as the schema-agnostic `UseFormConfiguration`, but with
+ * `schema` constrained to a `z.ZodObject` (or wrapped form).
+ */
+type UseFormConfigurationWithZod<Schema extends z.ZodType<unknown>, DefaultValues> = ValidateOnConfig & {
+    /** A Zod v3 `ZodObject` schema (or one wrapped in `.optional()` / `.nullable()` / `.default()` / `.refine()`). */
+    schema: Schema extends z.ZodType<unknown> ? UnwrapZodObject<Schema> extends z.ZodObject<z.ZodRawShape> ? Schema : never : never;
+    key?: FormKey;
+    defaultValues?: DefaultValues;
+    strict?: boolean;
+    onInvalidSubmit?: OnInvalidSubmitPolicy;
+    persist?: PersistConfig;
+    history?: HistoryConfig;
+    rememberVariants?: boolean;
+    coerce?: boolean | CoercionRegistry;
+};
+/**
+ * Peel `.optional()` / `.nullable()` / `.default()` / `.refine()` /
+ * `.transform()` wrappers off a Zod v3 schema to reach the inner
+ * `ZodObject`. Returns `never` if no `ZodObject` is found.
+ *
+ * Used internally by the v3 `useForm` overload to verify the
+ * supplied schema bottoms out at a `ZodObject`.
+ */
+type UnwrapZodObject<T> = T extends z.ZodEffects<infer Inner> ? UnwrapZodObject<Inner> : T extends z.ZodOptional<infer Inner> ? UnwrapZodObject<Inner> : T extends z.ZodNullable<infer Inner> ? UnwrapZodObject<Inner> : T extends z.ZodDefault<infer Inner> ? UnwrapZodObject<Inner> : T extends z.ZodObject<infer Shape> ? z.ZodObject<Shape> : never;
+
+export type { StorageShape as S, UnwrapZodObject as U, UseFormConfigurationWithZod as a };

package/dist/shared/{attaform.CVCmBKZX.mjs → attaform.Drt6fivF.mjs}

@@ -1577,16 +1577,20 @@ function useForm(configuration) {
   const abstractSchema = isZodType(schema) ? zodAdapter(schema) : schema;
   return useAbstractForm({
     ...configuration,
-    // The v3 adapter widens the read-side type through
-    // `TypeWithNullableDynamicKeys<Schema>` (records/arrays/DUs get
-    // `| undefined` markers); useAbstractForm's parameter expects the
-    // exact `GetValueFormType` (defaults to `Form`). The runtime
-    // accepts the widened shape unchanged — cast across the gap so
-    // the structural disagreement doesn't reach the caller.
+    // `zodAdapter`'s constraint on its third generic is
+    // `GetValueFormType extends TypeWithNullableDynamicKeys<FormSchema>`,
+    // and `Schema` at this implementation overload is only constrained
+    // by `extends z.ZodSchema<unknown>` — too loose for
+    // `z.output<UnwrapZodObject<typeof schema>>` to resolve concretely.
+    // Pass `TypeWithNullableDynamicKeys<typeof schema>` here purely to
+    // satisfy the adapter's constraint at the structural-cast layer.
+    // The PUBLIC signature's `GetValueFormType` default (line 67) is
+    // what consumers see — that's `z.output<UnwrapZodObject<Schema>>`,
+    // matching the docstring promise. Runtime is unaffected either way.
     schema: abstractSchema,
     defaultValues: configuration.defaultValues
   });
 }
 
 export { fieldMeta as f, isZodSchemaType as i, useForm as u, withMeta as w, zodAdapter as z };
-//# sourceMappingURL=attaform.CVCmBKZX.mjs.map
+//# sourceMappingURL=attaform.Drt6fivF.mjs.map