@zod-utils/core 1.0.0 → 1.2.0

package/README.md

@@ -35,6 +35,8 @@ npm install @zod-utils/core zod
 
 Extract all default values from a Zod object schema. Only extracts fields that explicitly have `.default()` on them.
 
+**Transform support:** Works with schemas that have `.transform()` - extracts defaults from the input type.
+
 ```typescript
 import { getSchemaDefaults } from "@zod-utils/core";
 import { z } from "zod";
@@ -137,9 +139,11 @@ requiresValidInput(middleName); // false - user can leave null
 
 ### `getPrimitiveType(field)`
 
-Get the primitive type of a Zod field by unwrapping optional/nullable wrappers.
+Get the primitive type of a Zod field by unwrapping optional/nullable/transform wrappers.
 Stops at arrays without unwrapping them.
 
+**Transform support:** Automatically unwraps `.transform()` to get the underlying input type.
+
 ```typescript
 import { getPrimitiveType } from "@zod-utils/core";
 import { z } from "zod";
@@ -151,6 +155,11 @@ const primitive = getPrimitiveType(field);
 const arrayField = z.array(z.string()).optional();
 const arrayPrimitive = getPrimitiveType(arrayField);
 // Returns the ZodArray (stops at arrays)
+
+// Transform support
+const transformed = z.string().transform((val) => val.toUpperCase());
+const primitiveFromTransform = getPrimitiveType(transformed);
+// Returns the underlying ZodString (unwraps the transform)
 ```
 
 ---
@@ -172,34 +181,40 @@ withoutDefault.parse(undefined); // throws error
 
 ---
 
-### `extractDefault(field)`
+### `extractDefaultValue(field)`
 
-Extract the default value from a Zod field (recursively unwraps optional/nullable/union layers).
+Extract the default value from a Zod field (recursively unwraps optional/nullable/union/transform layers).
 
 **Union handling:** For union types, extracts the default from the first option. If the first option has no default, returns `undefined` (defaults in other union options are not checked).
 
+**Transform support:** Automatically unwraps `.transform()` to get the input type's default value.
+
 ```typescript
-import { extractDefault } from "@zod-utils/core";
+import { extractDefaultValue } from "@zod-utils/core";
 import { z } from "zod";
 
 // Basic usage
 const field = z.string().optional().default("hello");
-extractDefault(field); // 'hello'
+extractDefaultValue(field); // 'hello'
 
 const noDefault = z.string();
-extractDefault(noDefault); // undefined
+extractDefaultValue(noDefault); // undefined
 
 // Union with default in first option
 const unionField = z.union([z.string().default('hello'), z.number()]);
-extractDefault(unionField); // 'hello'
+extractDefaultValue(unionField); // 'hello'
 
 // Union with default in second option (only checks first)
 const unionField2 = z.union([z.string(), z.number().default(42)]);
-extractDefault(unionField2); // undefined
+extractDefaultValue(unionField2); // undefined
 
 // Union wrapped in optional
 const wrappedUnion = z.union([z.string().default('test'), z.number()]).optional();
-extractDefault(wrappedUnion); // 'test'
+extractDefaultValue(wrappedUnion); // 'test'
+
+// Transform support - extracts input default, not output
+const transformed = z.string().default('hello').transform((val) => val.toUpperCase());
+extractDefaultValue(transformed); // 'hello' (not 'HELLO')
 ```
 
 ---
@@ -319,6 +334,8 @@ const editSchema = extractDiscriminatedSchema({
 
 Extract a single field from a Zod object or discriminated union schema.
 
+**Transform support:** Works with schemas that have `.transform()` - extracts fields from the input type.
+
 ```typescript
 import { extractFieldFromSchema } from "@zod-utils/core";
 import { z } from "zod";
@@ -367,6 +384,20 @@ const fieldWithoutDiscriminator = extractFieldFromSchema({
   fieldName: 'name',
 });
 // Returns: undefined (need discriminator to know which variant)
+
+// Works with transforms - extracts from input type
+const transformedSchema = z
+  .object({
+    name: z.string(),
+    age: z.number(),
+  })
+  .transform((data) => ({ ...data, computed: true }));
+
+const nameFromTransformed = extractFieldFromSchema({
+  schema: transformedSchema,
+  fieldName: 'name',
+});
+// Returns: ZodString (from the input type, not affected by transform)
 ```
 
 **Discriminated union support:** When extracting fields from discriminated unions, you must provide the `discriminator` option with `key` and `value` to specify which variant to use.

package/dist/index.d.mts

@@ -1,6 +1,6 @@
 import * as z from 'zod';
-import { util, z as z$1 } from 'zod';
-import { $InferUnionOutput, $ZodCheckLessThanDef, $ZodCheckGreaterThanDef, $ZodCheckMultipleOfDef, $ZodCheckNumberFormatDef, $ZodCheckBigIntFormatDef, $ZodCheckMaxSizeDef, $ZodCheckMinSizeDef, $ZodCheckSizeEqualsDef, $ZodCheckMaxLengthDef, $ZodCheckMinLengthDef, $ZodCheckLengthEqualsDef, $ZodCheckStringFormatDef, $ZodCheckRegexDef, $ZodCheckLowerCaseDef, $ZodCheckUpperCaseDef, $ZodCheckIncludesDef, $ZodCheckStartsWithDef, $ZodCheckEndsWithDef, $ZodCheckPropertyDef, $ZodCheckMimeTypeDef, $ZodCheckOverwriteDef } from 'zod/v4/core';
+import { z as z$1, util } from 'zod';
+import { $InferUnionInput, $ZodCheckLessThanDef, $ZodCheckGreaterThanDef, $ZodCheckMultipleOfDef, $ZodCheckNumberFormatDef, $ZodCheckBigIntFormatDef, $ZodCheckMaxSizeDef, $ZodCheckMinSizeDef, $ZodCheckSizeEqualsDef, $ZodCheckMaxLengthDef, $ZodCheckMinLengthDef, $ZodCheckLengthEqualsDef, $ZodCheckStringFormatDef, $ZodCheckRegexDef, $ZodCheckLowerCaseDef, $ZodCheckUpperCaseDef, $ZodCheckIncludesDef, $ZodCheckStartsWithDef, $ZodCheckEndsWithDef, $ZodCheckPropertyDef, $ZodCheckMimeTypeDef, $ZodCheckOverwriteDef } from 'zod/v4/core';
 
 /**
  * Simplifies complex TypeScript types for better IDE hover tooltips and error messages.
@@ -35,8 +35,8 @@ import { $InferUnionOutput, $ZodCheckLessThanDef, $ZodCheckGreaterThanDef, $ZodC
  * const schema = z.object({ id: z.string() })
  *   .merge(z.object({ name: z.string() }));
  *
- * type InferredType = z.infer<typeof schema>; // May show complex type
- * type SimplifiedType = Simplify<z.infer<typeof schema>>;
+ * type InferredType = z.input<typeof schema>; // May show complex type
+ * type SimplifiedType = Simplify<z.input<typeof schema>>;
  * // Shows clear: { id: string; name: string }
  * ```
  *
@@ -45,6 +45,38 @@ import { $InferUnionOutput, $ZodCheckLessThanDef, $ZodCheckGreaterThanDef, $ZodC
 type Simplify<T> = {
     [K in keyof T]: T[K];
 } & {};
+/**
+ * Extracts all field keys from a Zod schema's input type.
+ *
+ * @example
+ * ```typescript
+ * const schema = z.object({ name: z.string(), age: z.number() });
+ * type Keys = DiscriminatorKey<typeof schema>;
+ * // "name" | "age"
+ * ```
+ */
+type DiscriminatorKey<TSchema extends z$1.ZodType> = keyof z$1.input<TSchema> & string;
+/**
+ * Extracts the value type for a discriminator field.
+ *
+ * @example
+ * ```typescript
+ * const schema = z.discriminatedUnion('mode', [
+ *   z.object({ mode: z.literal('create'), name: z.string() }),
+ *   z.object({ mode: z.literal('edit'), id: z.number() }),
+ * ]);
+ * type Mode = DiscriminatorValue<typeof schema, 'mode'>;
+ * // "create" | "edit"
+ * ```
+ */
+type DiscriminatorValue<TSchema extends z$1.ZodType, TDiscriminatorKey extends DiscriminatorKey<TSchema>> = TDiscriminatorKey extends string ? z$1.input<TSchema>[TDiscriminatorKey] & util.Literal : never;
+/**
+ * Discriminator configuration for discriminated union schemas.
+ */
+type Discriminator<TSchema extends z$1.ZodType, TDiscriminatorKey extends DiscriminatorKey<TSchema>, TDiscriminatorValue extends DiscriminatorValue<TSchema, TDiscriminatorKey>> = {
+    key: TDiscriminatorKey;
+    value: TDiscriminatorValue;
+};
 
 /**
  * Extracts the default value from a Zod field, recursively unwrapping optional, nullable, and union layers.
@@ -64,7 +96,7 @@ type Simplify<T> = {
  * Basic usage with default value
  * ```typescript
  * const field = z.string().default('hello');
- * const defaultValue = extractDefault(field);
+ * const defaultValue = extractDefaultValue(field);
  * // Result: 'hello'
  * ```
  *
@@ -72,7 +104,7 @@ type Simplify<T> = {
  * Unwrapping optional/nullable layers
  * ```typescript
  * const field = z.string().default('world').optional();
- * const defaultValue = extractDefault(field);
+ * const defaultValue = extractDefaultValue(field);
  * // Result: 'world' (unwraps optional to find default)
  * ```
  *
@@ -80,7 +112,7 @@ type Simplify<T> = {
  * Union with only nullish types stripped to single type
  * ```typescript
  * const field = z.union([z.string().default('hello'), z.null()]);
- * const defaultValue = extractDefault(field);
+ * const defaultValue = extractDefaultValue(field);
  * // Result: 'hello' (null stripped, leaving only string)
  * ```
  *
@@ -88,7 +120,7 @@ type Simplify<T> = {
  * Union with multiple non-nullish types
  * ```typescript
  * const field = z.union([z.string().default('hello'), z.number()]);
- * const defaultValue = extractDefault(field);
+ * const defaultValue = extractDefaultValue(field);
  * // Result: undefined (multiple non-nullish types - no default extracted)
  * ```
  *
@@ -96,7 +128,7 @@ type Simplify<T> = {
  * Field without default
  * ```typescript
  * const field = z.string().optional();
- * const defaultValue = extractDefault(field);
+ * const defaultValue = extractDefaultValue(field);
  * // Result: undefined
  * ```
  *
@@ -104,7 +136,7 @@ type Simplify<T> = {
  * @see {@link tryStripNullishOnly} for union nullish stripping logic
  * @since 0.1.0
  */
-declare function extractDefault<T extends z.ZodTypeAny>(field: T): z.infer<T> | undefined;
+declare function extractDefaultValue<T extends z.ZodType>(field: T): z.input<T> | undefined;
 /**
  * Extracts default values from a Zod object schema, returning only fields with explicit `.default()`.
  *
@@ -174,30 +206,24 @@ declare function extractDefault<T extends z.ZodTypeAny>(field: T): z.infer<T> |
  * <Input type="number" value={field.value ?? ''} />
  * ```
  *
- * @see {@link extractDefault} for extracting defaults from individual fields
+ * @see {@link extractDefaultValue} for extracting defaults from individual fields
  * @since 0.1.0
  */
-declare function getSchemaDefaults<TSchema extends z.ZodObject | z.ZodDiscriminatedUnion, TDiscriminatorKey extends keyof z.infer<TSchema> & string, TDiscriminatorValue extends z.infer<TSchema>[TDiscriminatorKey] & util.Literal>(schema: TSchema, options?: {
-    discriminator?: {
-        key: TDiscriminatorKey;
-        value: TDiscriminatorValue;
-    };
-}): Simplify<Partial<z.infer<TSchema>>>;
+declare function getSchemaDefaults<TSchema extends z.ZodType, TDiscriminatorKey extends DiscriminatorKey<TSchema>, TDiscriminatorValue extends DiscriminatorValue<TSchema, TDiscriminatorKey>>(schema: TSchema, options?: {
+    discriminator?: Discriminator<TSchema, TDiscriminatorKey, TDiscriminatorValue>;
+}): Simplify<Partial<z.input<TSchema>>>;
 
-declare function extractFieldFromSchema<TSchema extends z$1.ZodObject | z$1.ZodDiscriminatedUnion, TName extends keyof Extract<Required<z$1.infer<TSchema>>, Record<TDiscriminatorKey, TDiscriminatorValue>>, TDiscriminatorKey extends keyof z$1.infer<TSchema> & string, TDiscriminatorValue extends z$1.infer<TSchema>[TDiscriminatorKey] & util.Literal>({ schema, fieldName, discriminator, }: {
+declare function extractFieldFromSchema<TSchema extends z$1.ZodType, TName extends keyof Extract<Required<z$1.input<TSchema>>, Record<TDiscriminatorKey, TDiscriminatorValue>>, TDiscriminatorKey extends DiscriminatorKey<TSchema>, TDiscriminatorValue extends DiscriminatorValue<TSchema, TDiscriminatorKey>>({ schema, fieldName, discriminator, }: {
     schema: TSchema;
     fieldName: TName;
-    discriminator?: {
-        key: TDiscriminatorKey;
-        value: TDiscriminatorValue;
-    };
+    discriminator?: Discriminator<TSchema, TDiscriminatorKey, TDiscriminatorValue>;
 }): z$1.ZodType<unknown, unknown, z$1.core.$ZodTypeInternals<unknown, unknown>> | undefined;
 
 /**
  * Type representing a Zod type that has an unwrap method
  */
 type Unwrappable = {
-    unwrap: () => z.ZodTypeAny;
+    unwrap: () => z$1.ZodTypeAny;
 };
 /**
  * Type guard to check if a Zod field can be unwrapped (has wrapper types like optional, nullable, default).
@@ -219,7 +245,7 @@ type Unwrappable = {
  *
  * @since 0.1.0
  */
-declare function canUnwrap(field: z.ZodTypeAny): field is z.ZodTypeAny & Unwrappable;
+declare function canUnwrap(field: z$1.ZodTypeAny): field is z$1.ZodTypeAny & Unwrappable;
 /**
  * Attempts to strip nullish types from a union and return the single remaining type.
  *
@@ -257,7 +283,7 @@ declare function canUnwrap(field: z.ZodTypeAny): field is z.ZodTypeAny & Unwrapp
  * @see {@link getPrimitiveType} for unwrapping wrapper types
  * @since 0.5.0
  */
-declare function tryStripNullishOnly(field: z.ZodTypeAny): z.ZodType | false;
+declare function tryStripNullishOnly(field: z$1.ZodTypeAny): z$1.ZodType | false;
 /**
  * Gets the underlying primitive type of a Zod field by recursively unwrapping wrapper types.
  *
@@ -316,8 +342,8 @@ declare function tryStripNullishOnly(field: z.ZodTypeAny): z.ZodType | false;
  * @see {@link tryStripNullishOnly} for union nullish stripping logic
  * @since 0.1.0
  */
-declare const getPrimitiveType: <T extends z.ZodType>(field: T) => z.ZodTypeAny;
-type StripZodDefault<T> = T extends z.ZodDefault<infer Inner> ? StripZodDefault<Inner> : T extends z.ZodOptional<infer Inner> ? z.ZodOptional<StripZodDefault<Inner>> : T extends z.ZodNullable<infer Inner> ? z.ZodNullable<StripZodDefault<Inner>> : T;
+declare const getPrimitiveType: <T extends z$1.ZodType>(field: T) => z$1.ZodTypeAny;
+type StripZodDefault<T> = T extends z$1.ZodDefault<infer Inner> ? StripZodDefault<Inner> : T extends z$1.ZodOptional<infer Inner> ? z$1.ZodOptional<StripZodDefault<Inner>> : T extends z$1.ZodNullable<infer Inner> ? z$1.ZodNullable<StripZodDefault<Inner>> : T;
 /**
  * Removes default values from a Zod field while preserving other wrapper types.
  *
@@ -356,7 +382,7 @@ type StripZodDefault<T> = T extends z.ZodDefault<infer Inner> ? StripZodDefault<
  * @see {@link requiresValidInput} for usage with requirement checking
  * @since 0.1.0
  */
-declare function removeDefault<T extends z.ZodType>(field: T): StripZodDefault<T>;
+declare function removeDefault<T extends z$1.ZodType>(field: T): StripZodDefault<T>;
 /**
  * Determines if a field will show validation errors when the user submits empty or invalid input.
  *
@@ -434,7 +460,7 @@ declare function removeDefault<T extends z.ZodType>(field: T): StripZodDefault<T
  * @see {@link getPrimitiveType} for understanding type unwrapping
  * @since 0.1.0
  */
-declare const requiresValidInput: <T extends z.ZodType>(field: T) => boolean;
+declare const requiresValidInput: <T extends z$1.ZodType>(field: T) => boolean;
 /**
  * Union type of all Zod check definition types.
  *
@@ -524,7 +550,7 @@ type ZodUnionCheck = $ZodCheckLessThanDef | $ZodCheckGreaterThanDef | $ZodCheckM
  * @see {@link ZodUnionCheck} for all supported check types
  * @since 0.4.0
  */
-declare function getFieldChecks<T extends z.ZodTypeAny>(field: T): Array<ZodUnionCheck>;
+declare function getFieldChecks<T extends z$1.ZodTypeAny>(field: T): Array<ZodUnionCheck>;
 /**
  * Recursively extracts the exact schema type from a discriminated union based on the discriminator value.
  *
@@ -560,10 +586,10 @@ declare function getFieldChecks<T extends z.ZodTypeAny>(field: T): Array<ZodUnio
  * type CreateSchema = ExtractZodUnionMember<typeof schema, 'mode', 'create'>;
  * ```
  */
-type ExtractZodUnionMember<TSchema extends z.ZodUnion | z.ZodDiscriminatedUnion, TDiscriminatorKey extends keyof z.infer<TSchema> & string, TDiscriminatorValue extends z.infer<TSchema>[TDiscriminatorKey] & util.Literal> = TSchema extends z.ZodUnion<infer Options> ? Options extends readonly [
-    infer First extends z.ZodTypeAny,
-    ...infer Rest extends z.ZodTypeAny[]
-] ? First extends z.ZodObject<infer Shape> ? TDiscriminatorKey extends keyof Shape ? Shape[TDiscriminatorKey] extends z.ZodLiteral<TDiscriminatorValue> ? First : Rest extends [] ? never : TDiscriminatorValue extends $InferUnionOutput<Rest[number]>[TDiscriminatorKey] ? ExtractZodUnionMember<z.ZodUnion<Rest>, TDiscriminatorKey, TDiscriminatorValue> : never : Rest extends [] ? never : TDiscriminatorValue extends $InferUnionOutput<Rest[number]>[TDiscriminatorKey] ? ExtractZodUnionMember<z.ZodUnion<Rest>, TDiscriminatorKey, TDiscriminatorValue> : never : never : never : never;
+type ExtractZodUnionMember<TSchema extends z$1.ZodUnion | z$1.ZodDiscriminatedUnion, TDiscriminatorKey extends DiscriminatorKey<TSchema>, TDiscriminatorValue extends z$1.input<TSchema>[TDiscriminatorKey] & util.Literal> = TSchema extends z$1.ZodUnion<infer Options> ? Options extends readonly [
+    infer First extends z$1.ZodTypeAny,
+    ...infer Rest extends z$1.ZodTypeAny[]
+] ? First extends z$1.ZodObject<infer Shape> ? TDiscriminatorKey extends keyof Shape ? Shape[TDiscriminatorKey] extends z$1.ZodLiteral<TDiscriminatorValue> | z$1.ZodDefault<z$1.ZodLiteral<TDiscriminatorValue>> ? First : Rest extends [] ? never : TDiscriminatorValue extends $InferUnionInput<Rest[number]>[TDiscriminatorKey] ? ExtractZodUnionMember<z$1.ZodUnion<Rest>, TDiscriminatorKey, TDiscriminatorValue> : never : Rest extends [] ? never : TDiscriminatorValue extends $InferUnionInput<Rest[number]>[TDiscriminatorKey] ? ExtractZodUnionMember<z$1.ZodUnion<Rest>, TDiscriminatorKey, TDiscriminatorValue> : never : never : never : never;
 /**
  * Extracts a specific schema option from a discriminated union based on the discriminator field value.
  *
@@ -682,10 +708,8 @@ type ExtractZodUnionMember<TSchema extends z.ZodUnion | z.ZodDiscriminatedUnion,
  * @see {@link ExtractZodUnionMember} for the type-level extraction logic
  * @since 0.6.0
  */
-declare const extractDiscriminatedSchema: <TSchema extends z.ZodUnion | z.ZodDiscriminatedUnion, TDiscriminatorKey extends keyof z.infer<TSchema> & string, TDiscriminatorValue extends z.infer<TSchema>[TDiscriminatorKey] & util.Literal>({ schema, key, value, }: {
+declare const extractDiscriminatedSchema: <TSchema extends z$1.ZodType, TDiscriminatorKey extends DiscriminatorKey<TSchema>, TDiscriminatorValue extends DiscriminatorValue<TSchema, TDiscriminatorKey>, ReturnType extends TSchema extends z$1.ZodDiscriminatedUnion ? ExtractZodUnionMember<TSchema, TDiscriminatorKey, TDiscriminatorValue> : never>({ schema, key, value, }: {
     schema: TSchema;
-    key: TDiscriminatorKey;
-    value: TDiscriminatorValue;
-}) => ExtractZodUnionMember<TSchema, TDiscriminatorKey, TDiscriminatorValue> | undefined;
+} & Discriminator<TSchema, TDiscriminatorKey, TDiscriminatorValue>) => ReturnType;
 
-export { type Simplify, type ZodUnionCheck, canUnwrap, extractDefault, extractDiscriminatedSchema, extractFieldFromSchema, getFieldChecks, getPrimitiveType, getSchemaDefaults, removeDefault, requiresValidInput, tryStripNullishOnly };
+export { type Discriminator, type DiscriminatorKey, type DiscriminatorValue, type Simplify, type ZodUnionCheck, canUnwrap, extractDefaultValue, extractDiscriminatedSchema, extractFieldFromSchema, getFieldChecks, getPrimitiveType, getSchemaDefaults, removeDefault, requiresValidInput, tryStripNullishOnly };

package/dist/index.d.ts

@@ -1,6 +1,6 @@
 import * as z from 'zod';
-import { util, z as z$1 } from 'zod';
-import { $InferUnionOutput, $ZodCheckLessThanDef, $ZodCheckGreaterThanDef, $ZodCheckMultipleOfDef, $ZodCheckNumberFormatDef, $ZodCheckBigIntFormatDef, $ZodCheckMaxSizeDef, $ZodCheckMinSizeDef, $ZodCheckSizeEqualsDef, $ZodCheckMaxLengthDef, $ZodCheckMinLengthDef, $ZodCheckLengthEqualsDef, $ZodCheckStringFormatDef, $ZodCheckRegexDef, $ZodCheckLowerCaseDef, $ZodCheckUpperCaseDef, $ZodCheckIncludesDef, $ZodCheckStartsWithDef, $ZodCheckEndsWithDef, $ZodCheckPropertyDef, $ZodCheckMimeTypeDef, $ZodCheckOverwriteDef } from 'zod/v4/core';
+import { z as z$1, util } from 'zod';
+import { $InferUnionInput, $ZodCheckLessThanDef, $ZodCheckGreaterThanDef, $ZodCheckMultipleOfDef, $ZodCheckNumberFormatDef, $ZodCheckBigIntFormatDef, $ZodCheckMaxSizeDef, $ZodCheckMinSizeDef, $ZodCheckSizeEqualsDef, $ZodCheckMaxLengthDef, $ZodCheckMinLengthDef, $ZodCheckLengthEqualsDef, $ZodCheckStringFormatDef, $ZodCheckRegexDef, $ZodCheckLowerCaseDef, $ZodCheckUpperCaseDef, $ZodCheckIncludesDef, $ZodCheckStartsWithDef, $ZodCheckEndsWithDef, $ZodCheckPropertyDef, $ZodCheckMimeTypeDef, $ZodCheckOverwriteDef } from 'zod/v4/core';
 
 /**
  * Simplifies complex TypeScript types for better IDE hover tooltips and error messages.
@@ -35,8 +35,8 @@ import { $InferUnionOutput, $ZodCheckLessThanDef, $ZodCheckGreaterThanDef, $ZodC
  * const schema = z.object({ id: z.string() })
  *   .merge(z.object({ name: z.string() }));
  *
- * type InferredType = z.infer<typeof schema>; // May show complex type
- * type SimplifiedType = Simplify<z.infer<typeof schema>>;
+ * type InferredType = z.input<typeof schema>; // May show complex type
+ * type SimplifiedType = Simplify<z.input<typeof schema>>;
  * // Shows clear: { id: string; name: string }
  * ```
  *
@@ -45,6 +45,38 @@ import { $InferUnionOutput, $ZodCheckLessThanDef, $ZodCheckGreaterThanDef, $ZodC
 type Simplify<T> = {
     [K in keyof T]: T[K];
 } & {};
+/**
+ * Extracts all field keys from a Zod schema's input type.
+ *
+ * @example
+ * ```typescript
+ * const schema = z.object({ name: z.string(), age: z.number() });
+ * type Keys = DiscriminatorKey<typeof schema>;
+ * // "name" | "age"
+ * ```
+ */
+type DiscriminatorKey<TSchema extends z$1.ZodType> = keyof z$1.input<TSchema> & string;
+/**
+ * Extracts the value type for a discriminator field.
+ *
+ * @example
+ * ```typescript
+ * const schema = z.discriminatedUnion('mode', [
+ *   z.object({ mode: z.literal('create'), name: z.string() }),
+ *   z.object({ mode: z.literal('edit'), id: z.number() }),
+ * ]);
+ * type Mode = DiscriminatorValue<typeof schema, 'mode'>;
+ * // "create" | "edit"
+ * ```
+ */
+type DiscriminatorValue<TSchema extends z$1.ZodType, TDiscriminatorKey extends DiscriminatorKey<TSchema>> = TDiscriminatorKey extends string ? z$1.input<TSchema>[TDiscriminatorKey] & util.Literal : never;
+/**
+ * Discriminator configuration for discriminated union schemas.
+ */
+type Discriminator<TSchema extends z$1.ZodType, TDiscriminatorKey extends DiscriminatorKey<TSchema>, TDiscriminatorValue extends DiscriminatorValue<TSchema, TDiscriminatorKey>> = {
+    key: TDiscriminatorKey;
+    value: TDiscriminatorValue;
+};
 
 /**
  * Extracts the default value from a Zod field, recursively unwrapping optional, nullable, and union layers.
@@ -64,7 +96,7 @@ type Simplify<T> = {
  * Basic usage with default value
  * ```typescript
  * const field = z.string().default('hello');
- * const defaultValue = extractDefault(field);
+ * const defaultValue = extractDefaultValue(field);
  * // Result: 'hello'
  * ```
  *
@@ -72,7 +104,7 @@ type Simplify<T> = {
  * Unwrapping optional/nullable layers
  * ```typescript
  * const field = z.string().default('world').optional();
- * const defaultValue = extractDefault(field);
+ * const defaultValue = extractDefaultValue(field);
  * // Result: 'world' (unwraps optional to find default)
  * ```
  *
@@ -80,7 +112,7 @@ type Simplify<T> = {
  * Union with only nullish types stripped to single type
  * ```typescript
  * const field = z.union([z.string().default('hello'), z.null()]);
- * const defaultValue = extractDefault(field);
+ * const defaultValue = extractDefaultValue(field);
  * // Result: 'hello' (null stripped, leaving only string)
  * ```
  *
@@ -88,7 +120,7 @@ type Simplify<T> = {
  * Union with multiple non-nullish types
  * ```typescript
  * const field = z.union([z.string().default('hello'), z.number()]);
- * const defaultValue = extractDefault(field);
+ * const defaultValue = extractDefaultValue(field);
  * // Result: undefined (multiple non-nullish types - no default extracted)
  * ```
  *
@@ -96,7 +128,7 @@ type Simplify<T> = {
  * Field without default
  * ```typescript
  * const field = z.string().optional();
- * const defaultValue = extractDefault(field);
+ * const defaultValue = extractDefaultValue(field);
  * // Result: undefined
  * ```
  *
@@ -104,7 +136,7 @@ type Simplify<T> = {
  * @see {@link tryStripNullishOnly} for union nullish stripping logic
  * @since 0.1.0
  */
-declare function extractDefault<T extends z.ZodTypeAny>(field: T): z.infer<T> | undefined;
+declare function extractDefaultValue<T extends z.ZodType>(field: T): z.input<T> | undefined;
 /**
  * Extracts default values from a Zod object schema, returning only fields with explicit `.default()`.
  *
@@ -174,30 +206,24 @@ declare function extractDefault<T extends z.ZodTypeAny>(field: T): z.infer<T> |
  * <Input type="number" value={field.value ?? ''} />
  * ```
  *
- * @see {@link extractDefault} for extracting defaults from individual fields
+ * @see {@link extractDefaultValue} for extracting defaults from individual fields
  * @since 0.1.0
  */
-declare function getSchemaDefaults<TSchema extends z.ZodObject | z.ZodDiscriminatedUnion, TDiscriminatorKey extends keyof z.infer<TSchema> & string, TDiscriminatorValue extends z.infer<TSchema>[TDiscriminatorKey] & util.Literal>(schema: TSchema, options?: {
-    discriminator?: {
-        key: TDiscriminatorKey;
-        value: TDiscriminatorValue;
-    };
-}): Simplify<Partial<z.infer<TSchema>>>;
+declare function getSchemaDefaults<TSchema extends z.ZodType, TDiscriminatorKey extends DiscriminatorKey<TSchema>, TDiscriminatorValue extends DiscriminatorValue<TSchema, TDiscriminatorKey>>(schema: TSchema, options?: {
+    discriminator?: Discriminator<TSchema, TDiscriminatorKey, TDiscriminatorValue>;
+}): Simplify<Partial<z.input<TSchema>>>;
 
-declare function extractFieldFromSchema<TSchema extends z$1.ZodObject | z$1.ZodDiscriminatedUnion, TName extends keyof Extract<Required<z$1.infer<TSchema>>, Record<TDiscriminatorKey, TDiscriminatorValue>>, TDiscriminatorKey extends keyof z$1.infer<TSchema> & string, TDiscriminatorValue extends z$1.infer<TSchema>[TDiscriminatorKey] & util.Literal>({ schema, fieldName, discriminator, }: {
+declare function extractFieldFromSchema<TSchema extends z$1.ZodType, TName extends keyof Extract<Required<z$1.input<TSchema>>, Record<TDiscriminatorKey, TDiscriminatorValue>>, TDiscriminatorKey extends DiscriminatorKey<TSchema>, TDiscriminatorValue extends DiscriminatorValue<TSchema, TDiscriminatorKey>>({ schema, fieldName, discriminator, }: {
     schema: TSchema;
     fieldName: TName;
-    discriminator?: {
-        key: TDiscriminatorKey;
-        value: TDiscriminatorValue;
-    };
+    discriminator?: Discriminator<TSchema, TDiscriminatorKey, TDiscriminatorValue>;
 }): z$1.ZodType<unknown, unknown, z$1.core.$ZodTypeInternals<unknown, unknown>> | undefined;
 
 /**
  * Type representing a Zod type that has an unwrap method
  */
 type Unwrappable = {
-    unwrap: () => z.ZodTypeAny;
+    unwrap: () => z$1.ZodTypeAny;
 };
 /**
  * Type guard to check if a Zod field can be unwrapped (has wrapper types like optional, nullable, default).
@@ -219,7 +245,7 @@ type Unwrappable = {
  *
  * @since 0.1.0
  */
-declare function canUnwrap(field: z.ZodTypeAny): field is z.ZodTypeAny & Unwrappable;
+declare function canUnwrap(field: z$1.ZodTypeAny): field is z$1.ZodTypeAny & Unwrappable;
 /**
  * Attempts to strip nullish types from a union and return the single remaining type.
  *
@@ -257,7 +283,7 @@ declare function canUnwrap(field: z.ZodTypeAny): field is z.ZodTypeAny & Unwrapp
  * @see {@link getPrimitiveType} for unwrapping wrapper types
  * @since 0.5.0
  */
-declare function tryStripNullishOnly(field: z.ZodTypeAny): z.ZodType | false;
+declare function tryStripNullishOnly(field: z$1.ZodTypeAny): z$1.ZodType | false;
 /**
  * Gets the underlying primitive type of a Zod field by recursively unwrapping wrapper types.
  *
@@ -316,8 +342,8 @@ declare function tryStripNullishOnly(field: z.ZodTypeAny): z.ZodType | false;
  * @see {@link tryStripNullishOnly} for union nullish stripping logic
  * @since 0.1.0
  */
-declare const getPrimitiveType: <T extends z.ZodType>(field: T) => z.ZodTypeAny;
-type StripZodDefault<T> = T extends z.ZodDefault<infer Inner> ? StripZodDefault<Inner> : T extends z.ZodOptional<infer Inner> ? z.ZodOptional<StripZodDefault<Inner>> : T extends z.ZodNullable<infer Inner> ? z.ZodNullable<StripZodDefault<Inner>> : T;
+declare const getPrimitiveType: <T extends z$1.ZodType>(field: T) => z$1.ZodTypeAny;
+type StripZodDefault<T> = T extends z$1.ZodDefault<infer Inner> ? StripZodDefault<Inner> : T extends z$1.ZodOptional<infer Inner> ? z$1.ZodOptional<StripZodDefault<Inner>> : T extends z$1.ZodNullable<infer Inner> ? z$1.ZodNullable<StripZodDefault<Inner>> : T;
 /**
  * Removes default values from a Zod field while preserving other wrapper types.
  *
@@ -356,7 +382,7 @@ type StripZodDefault<T> = T extends z.ZodDefault<infer Inner> ? StripZodDefault<
  * @see {@link requiresValidInput} for usage with requirement checking
  * @since 0.1.0
  */
-declare function removeDefault<T extends z.ZodType>(field: T): StripZodDefault<T>;
+declare function removeDefault<T extends z$1.ZodType>(field: T): StripZodDefault<T>;
 /**
  * Determines if a field will show validation errors when the user submits empty or invalid input.
  *
@@ -434,7 +460,7 @@ declare function removeDefault<T extends z.ZodType>(field: T): StripZodDefault<T
  * @see {@link getPrimitiveType} for understanding type unwrapping
  * @since 0.1.0
  */
-declare const requiresValidInput: <T extends z.ZodType>(field: T) => boolean;
+declare const requiresValidInput: <T extends z$1.ZodType>(field: T) => boolean;
 /**
  * Union type of all Zod check definition types.
  *
@@ -524,7 +550,7 @@ type ZodUnionCheck = $ZodCheckLessThanDef | $ZodCheckGreaterThanDef | $ZodCheckM
  * @see {@link ZodUnionCheck} for all supported check types
  * @since 0.4.0
  */
-declare function getFieldChecks<T extends z.ZodTypeAny>(field: T): Array<ZodUnionCheck>;
+declare function getFieldChecks<T extends z$1.ZodTypeAny>(field: T): Array<ZodUnionCheck>;
 /**
  * Recursively extracts the exact schema type from a discriminated union based on the discriminator value.
  *
@@ -560,10 +586,10 @@ declare function getFieldChecks<T extends z.ZodTypeAny>(field: T): Array<ZodUnio
  * type CreateSchema = ExtractZodUnionMember<typeof schema, 'mode', 'create'>;
  * ```
  */
-type ExtractZodUnionMember<TSchema extends z.ZodUnion | z.ZodDiscriminatedUnion, TDiscriminatorKey extends keyof z.infer<TSchema> & string, TDiscriminatorValue extends z.infer<TSchema>[TDiscriminatorKey] & util.Literal> = TSchema extends z.ZodUnion<infer Options> ? Options extends readonly [
-    infer First extends z.ZodTypeAny,
-    ...infer Rest extends z.ZodTypeAny[]
-] ? First extends z.ZodObject<infer Shape> ? TDiscriminatorKey extends keyof Shape ? Shape[TDiscriminatorKey] extends z.ZodLiteral<TDiscriminatorValue> ? First : Rest extends [] ? never : TDiscriminatorValue extends $InferUnionOutput<Rest[number]>[TDiscriminatorKey] ? ExtractZodUnionMember<z.ZodUnion<Rest>, TDiscriminatorKey, TDiscriminatorValue> : never : Rest extends [] ? never : TDiscriminatorValue extends $InferUnionOutput<Rest[number]>[TDiscriminatorKey] ? ExtractZodUnionMember<z.ZodUnion<Rest>, TDiscriminatorKey, TDiscriminatorValue> : never : never : never : never;
+type ExtractZodUnionMember<TSchema extends z$1.ZodUnion | z$1.ZodDiscriminatedUnion, TDiscriminatorKey extends DiscriminatorKey<TSchema>, TDiscriminatorValue extends z$1.input<TSchema>[TDiscriminatorKey] & util.Literal> = TSchema extends z$1.ZodUnion<infer Options> ? Options extends readonly [
+    infer First extends z$1.ZodTypeAny,
+    ...infer Rest extends z$1.ZodTypeAny[]
+] ? First extends z$1.ZodObject<infer Shape> ? TDiscriminatorKey extends keyof Shape ? Shape[TDiscriminatorKey] extends z$1.ZodLiteral<TDiscriminatorValue> | z$1.ZodDefault<z$1.ZodLiteral<TDiscriminatorValue>> ? First : Rest extends [] ? never : TDiscriminatorValue extends $InferUnionInput<Rest[number]>[TDiscriminatorKey] ? ExtractZodUnionMember<z$1.ZodUnion<Rest>, TDiscriminatorKey, TDiscriminatorValue> : never : Rest extends [] ? never : TDiscriminatorValue extends $InferUnionInput<Rest[number]>[TDiscriminatorKey] ? ExtractZodUnionMember<z$1.ZodUnion<Rest>, TDiscriminatorKey, TDiscriminatorValue> : never : never : never : never;
 /**
  * Extracts a specific schema option from a discriminated union based on the discriminator field value.
  *
@@ -682,10 +708,8 @@ type ExtractZodUnionMember<TSchema extends z.ZodUnion | z.ZodDiscriminatedUnion,
  * @see {@link ExtractZodUnionMember} for the type-level extraction logic
  * @since 0.6.0
  */
-declare const extractDiscriminatedSchema: <TSchema extends z.ZodUnion | z.ZodDiscriminatedUnion, TDiscriminatorKey extends keyof z.infer<TSchema> & string, TDiscriminatorValue extends z.infer<TSchema>[TDiscriminatorKey] & util.Literal>({ schema, key, value, }: {
+declare const extractDiscriminatedSchema: <TSchema extends z$1.ZodType, TDiscriminatorKey extends DiscriminatorKey<TSchema>, TDiscriminatorValue extends DiscriminatorValue<TSchema, TDiscriminatorKey>, ReturnType extends TSchema extends z$1.ZodDiscriminatedUnion ? ExtractZodUnionMember<TSchema, TDiscriminatorKey, TDiscriminatorValue> : never>({ schema, key, value, }: {
     schema: TSchema;
-    key: TDiscriminatorKey;
-    value: TDiscriminatorValue;
-}) => ExtractZodUnionMember<TSchema, TDiscriminatorKey, TDiscriminatorValue> | undefined;
+} & Discriminator<TSchema, TDiscriminatorKey, TDiscriminatorValue>) => ReturnType;
 
-export { type Simplify, type ZodUnionCheck, canUnwrap, extractDefault, extractDiscriminatedSchema, extractFieldFromSchema, getFieldChecks, getPrimitiveType, getSchemaDefaults, removeDefault, requiresValidInput, tryStripNullishOnly };
+export { type Discriminator, type DiscriminatorKey, type DiscriminatorValue, type Simplify, type ZodUnionCheck, canUnwrap, extractDefaultValue, extractDiscriminatedSchema, extractFieldFromSchema, getFieldChecks, getPrimitiveType, getSchemaDefaults, removeDefault, requiresValidInput, tryStripNullishOnly };