Function appendTypeDefinition

typescript/src/zod/validate.ts:136–181

(type: z.ZodType)

    }

    function appendTypeDefinition(type: z.ZodType) {
        switch (getTypeKind(type)) {
            case "string":
                return append("string");
            case "number":
            case "int":
                return append("number");
            case "boolean":
                return append("boolean");
            case "date":
                return append("Date");
            case "undefined":
                return append("undefined");
            case "null":
                return append("null");
            case "unknown":
                return append("unknown");
            case "array":
                return appendArrayType(type);
            case "object":
                return appendObjectType(type);
            case "union": { // covers both z.union() and z.discriminatedUnion() — Zod v4 merged discriminated unions into the regular union type kind ("ZodDiscriminatedUnion" in v3); both have an `options` array
                const unionDef = type._zod.def as z.core.$ZodDiscriminatedUnionDef | z.core.$ZodUnionDef;
                return appendUnionOrIntersectionTypes(unionDef.options as readonly z.ZodType[], TypePrecedence.Union);
            }
            case "intersection": {
                const intersectionDef = type._zod.def as z.core.$ZodIntersectionDef;
                return appendUnionOrIntersectionTypes([intersectionDef.left as z.ZodType, intersectionDef.right as z.ZodType], TypePrecedence.Intersection);
            }
            case "tuple":
                return appendTupleType(type);
            case "record":
                return appendRecordType(type);
            case "literal": {
                const litValues = (type._zod.def as z.core.$ZodLiteralDef<z.core.util.Literal>).values;
                return append(litValues.map(v => v === null || typeof v === "string" || typeof v === "number" || typeof v === "boolean" ? JSON.stringify(v) : "any").join(" | "));
            }
            case "enum":
                return append(Object.values((type._zod.def as z.core.$ZodEnumDef).entries).map(value => JSON.stringify(value)).join(" | "));
            case "optional":
                return appendUnionOrIntersectionTypes([(type._zod.def as z.core.$ZodOptionalDef).innerType as z.ZodType, z.undefined()], TypePrecedence.Union);
            case "readonly":
                return appendReadonlyType(type);
        }
        append("any");
    }

    function appendArrayType(arrayType: z.ZodType) {
        appendType((arrayType._zod.def as z.core.$ZodArrayDef).element as z.ZodType, TypePrecedence.Object);