Zod•15mo ago

Hey people I am having some issue not

Hey people, I am having some issue, not sure how to resolve. Recursive types.

import {z} from "zod";


type CheckShell = {
    type: "shell",
    run: string
};


export const CheckShellSchema = z.object({
    type: z.literal("shell"),
    run: z.string().nonempty()
});

type CheckGroup = {
    type: "group",
    checks: Array<CheckShell | CheckGroup>
}

export const CheckGroupSchema = z.object({
    type: z.literal("group"),
    checks: z.lazy(
        () => z
            .discriminatedUnion(
                "type",
                [
                    CheckShellSchema,
                    CheckGroupSchema
                ]
            )
            .array()
            .default([])
    )
});

export type Config = {
    earlyExitOnError: boolean,
    earlyExitOnChanges: boolean,
    checks: Array<CheckShell | CheckGroup>
}

export const ConfigSchema = z
    .object({

        earlyExitOnError: z.boolean().default(true),
        earlyExitOnChanges: z.boolean().default(true),
        checks: z
            .discriminatedUnion(
                "type",
                [
                    CheckShellSchema,
                    CheckGroupSchema
                ]
            )
            .array()
            .default([])
    });

import {z} from "zod";


type CheckShell = {
    type: "shell",
    run: string
};


export const CheckShellSchema = z.object({
    type: z.literal("shell"),
    run: z.string().nonempty()
});

type CheckGroup = {
    type: "group",
    checks: Array<CheckShell | CheckGroup>
}

export const CheckGroupSchema = z.object({
    type: z.literal("group"),
    checks: z.lazy(
        () => z
            .discriminatedUnion(
                "type",
                [
                    CheckShellSchema,
                    CheckGroupSchema
                ]
            )
            .array()
            .default([])
    )
});

export type Config = {
    earlyExitOnError: boolean,
    earlyExitOnChanges: boolean,
    checks: Array<CheckShell | CheckGroup>
}

export const ConfigSchema = z
    .object({

        earlyExitOnError: z.boolean().default(true),
        earlyExitOnChanges: z.boolean().default(true),
        checks: z
            .discriminatedUnion(
                "type",
                [
                    CheckShellSchema,
                    CheckGroupSchema
                ]
            )
            .array()
            .default([])
    });

When building:

src/definitions.ts:20:14 - error TS7022: 'CheckGroupSchema' implicitly has type 'any' because it does not have a type annotation and is referenced directly or indirectly in its own initializer.

20 export const CheckGroupSchema = z.object({
                ~~~~~~~~~~~~~~~~


Found 1 error in src/definitions.ts:20

src/definitions.ts:20:14 - error TS7022: 'CheckGroupSchema' implicitly has type 'any' because it does not have a type annotation and is referenced directly or indirectly in its own initializer.

20 export const CheckGroupSchema = z.object({
                ~~~~~~~~~~~~~~~~


Found 1 error in src/definitions.ts:20

11 Replies

SteveOP•15mo ago

cc @Scott Trinh

Scott Trinh•15mo ago

I think you'll need to split up CheckGroupSchema to a "base" and then extend it with the lazy schema, like in the example on zod.dev If you can throw this in a TypeScript playground, that'll be helpful for anyone wanting to provide some help

SteveOP•15mo ago

https://www.typescriptlang.org/play?ts=5.2.2#code/JYWwDg9gTgLgBAbwF4F84DMoRHAREiAE1wG4AoCmATzAFM4BhAC1oGMBrAZRYBse4AvIjJxRcanQBceAM68euADQixUAK4A7aTJhRgGgOZkU5CrQAekWHFYQNOxiw7dafTqxYgAhoLhIAdBAARgBWbDAAFAgqohK00gE8wDC0UF48EbhyrgoAlMpicOpafv46eoYRuf4adrTg1FXGuaZxjmzsAOJYamC+0YVx0rgGPWBKMTZO7DLSAIJQaVQAPMwdLnxwAD7tHN0QvQB8xmaW0PC29vBre2Punj5CAcFhrJEDYkOlSSlpGSNjXD5SYeDqzb5eJBUCKTQpVQSHPywwpifyEYAyVh6ED6LwpQgAVQ0wDsMJR5JRuDiEwptLgAG1kXSUTcuPJ7vUvAVmXTWftehzvEy6QBdYWFXLi1FeRZeaGSnlwNG0dBeNQ8SL0kUKsSSlAtU5WeBtBh2dDAAz9Sa0GU8KgAUXMyQA8hp7YtoNIghAIDwbRpuaIbVA7Y6XRpmF5DLRwd7ff7A1MwfNZStWRt+Ds+WNjihDecbHYHKaNOaDILHkjCoFQuEohRacHQ06YK73VgoAl-HG-VGqsrVerIro1LRgY3bQ6W67I9HwQEe-7+4QVWqNRER2PE4VQRx51LRGiMVjQLj8USSRoyYqxFSaLQaTfRIyn+T0+zQd5t6-swcwBWDxRMVFR1Zl-BlJYmkVAc101bVJn1EggA

TS Playground - An online editor for exploring TypeScript and JavaS...

The Playground lets you write TypeScript or JavaScript online in a safe and sharable way.

SteveOP•15mo ago

let me see If I can split

Scott Trinh•15mo ago

Importantly, to make the type recursive, you're required to provide the type of the final schema explicitly.

You can define a recursive schema in Zod, but because of a limitation of TypeScript, their type can't be statically inferred. Instead you'll need to define the type definition manually, and provide it to Zod as a "type hint"

SteveOP•15mo ago

Yeah When I do it more erros arrise unfortunately

Scott Trinh•15mo ago

share your updates (type errors are helpful and usually lead to the solution!)

SteveOP•4mo ago

I suspect it is in the discriminatedUnion one sec, let me debug both .default() and .discriminatedUnion() don't play well with lazy wait, that's because the types are input types It doesn't seem to bring me any errors @Scott Trinh Thanks, it works 😄 cc @Scott Trinh Encountered this issue again today. Is there a reason why .discriminatedUnion() with .lazy() doesn't seem to play nice? As soon as my object ofcourse get's wrapped by the lazy, it's not compatible anymore with type ZodDiscriminatedUnionOption<'type'> (where 'type' is my key for the discriminated union)

Scott Trinh•4mo ago

discriminatedUnion is a not-very-great optimization on union, so you might have to go with union to make it work.

SteveOP•4mo ago

Yeahh i feared that But it does make error messaging a lot more precise to my experience

Scott Trinh•4mo ago

oh, yeah, 100%. luckily, zod v4 will get us into a better place here where union will act like a discriminated union.

Gaming

Programming

Hey people I am having some issue not