How can I do conditional types, mapped types, and optional key modifiers (+?)?

[anthonyma94]

I have a simple type like this in TypeScript:

type FilterOptionOperators = "and" | "or" | "not"

// DBFilterCompoundOptions and DBFilterColOptions are the results and don't matter
export type DBFilterCompoundOptions = {
    [P in FilterOptionOperators]+?: P extends "not"
        ? DBFilterCompoundOptions | DBFilterColOptions
        : (DBFilterCompoundOptions | DBFilterColOptions)[];
};

How can I do this in Zod?

[JacobWeisenburger]

I'm not really sure what you are asking. Could you provide some more info about your use case?

[anthonyma94]

Sorry I'm not sure how I can make it more clear. I just need to turn that type into a Zod type. I would like to use Zod to check if a HTTP body fits that schema.

[JacobWeisenburger]

This is the best I could do with what you provided. I don't know what DBFilterColOptions is so I wasn't able to include that in this solution. If you can provide that, I can update the solution.

type FilterOptionOperators = 'and' | 'or' | 'not'

type DBFilterCompoundOptions = {
    [ P in FilterOptionOperators ]+?: P extends 'not' ? DBFilterCompoundOptions : DBFilterCompoundOptions[]
}

const dbFilterCompoundOptionsSchema: z.ZodType<DBFilterCompoundOptions> = z.lazy( () =>
    z.object( {
        and: z.array( dbFilterCompoundOptionsSchema ),
        or: z.array( dbFilterCompoundOptionsSchema ),
        not: dbFilterCompoundOptionsSchema,
    } ).deepPartial()
)

console.log(
    dbFilterCompoundOptionsSchema.safeParse( {
        and: [ { and: [] }, { or: [] } ],
        or: [ { or: [] }, { and: [] } ],
        not: {
            and: [ { and: [] }, { or: [] } ],
            or: [ { or: [] }, { and: [] } ],
            not: {},
        },
    } ).success
) // true

console.log(
    dbFilterCompoundOptionsSchema.safeParse( {
        or: {
            and: [ { and: [] }, { or: [] } ],
            or: [ { or: [] }, { and: [] } ],
            not: {},
        },
        not: [ { and: [] }, { or: [] } ],
    } ).success
) // false