Type Alias InferFieldDef<F>

InferFieldDef: F extends DiscriminatedUnionFieldDef
    ? InferDiscriminatedUnion<F>
    : F extends ArrayFieldDef
        ? InferFieldDef<F["items"]>[]
        : F extends ObjectFieldDef
            ? InferObjectSchema<F["fields"]>
            : F extends EnumFieldDef
                ? F["values"][number]
                : F extends PrimitiveFieldDef ? PrimitiveTypeMap[F["type"]] : never

Infers the TypeScript type of a single FieldDef.

Used internally by InferObjectSchema and for recursive array item inference.

Resolution order:

DiscriminatedUnionFieldDef → InferDiscriminatedUnion<F>
ArrayFieldDef → Array<InferFieldDef<items>>
ObjectFieldDef → InferObjectSchema<fields>
EnumFieldDef → values[number] (string literal union)
PrimitiveFieldDef → PrimitiveTypeMap[type]

Type Parameters

F extends FieldDef