Zod•3y ago

What is the best approach to deeply partial zod objects / properties? `deepPartial` also partials ke

What is the best approach to deeply partial zod objects / properties?

deepPartial

deepPartial

deepPartial

deepPartial also partials keys in objects inside of arrays

MMar how it worked with validation?

Scott Trinh•9/26/23, 7:26 PM

Not sure what you mean?

DDavid What is the best approach to deeply partial zod objects / properties? `deepParti...

Scott Trinh•9/26/23, 7:28 PM

I don't think there is an automated way to do a "not so deep partial". It's doable at runtime if you loop over the schema's shape and then recurse into any object schemas you find, but it'll be hard to get the type to be inferrable that way since it'll be so dynamic.

FFlorian Hi there! I'm trying to do a really simple zod object like in the docs: ```ts //...

Sikari•9/27/23, 1:50 PM

The setting would be

strict

strict

in tsconfig, it probably has a more specific one but I don't know which one.

Scott Trinh•9/27/23, 2:30 PM

I think the

strictNullChecks

strictNullChecks

is the one that has this specific side-effect, so there are cases where you can have strict: true, strictNullChecks: falsestrict: true, strictNullChecks: false and it'll show up like that I think.

Scott Trinh•9/27/23, 2:31 PM

(example here: https://www.typescriptlang.org/play?strictNullChecks=false#code/JYWwDg9gTgLgBAbzgLzgXzgMyhEcBEyEAJvgNwBQA9FXAIYA2DcYOYAprMOwM71Ts4AgI4BXYAOJwARgE84xdpjqiGMCgGMIAOx7wAIhADmcALwoAdBGkArdhpgAKBBThxtdEOwBclvVGBtI0cASgAaV3ojH0ttURBpTlCItBDKalp2AA8YKDoHOBgAC0FAzE5JQtkOOAZgAGtBYuAeChhqwUMTc2QLMs4AHnaOCEw4LoA+Sho3OAA9AH4gA)

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.

Scott Trinh•9/27/23, 5:21 PM

Seems like it's the catchallcatchall that is causing that, but that's really freaky. Not sure why a value would have a different type hint that the type it was assigned to

Scott Trinh•9/27/23, 5:21 PM

Worth opening an issue on GitHub I think.

Scott Trinh•9/27/23, 5:23 PM

Here's a minimal repro: https://www.typescriptlang.org/play?ts=5.2.2#code/JYWwDg9gTgLgBAbzgLzgXzgMyhEcBEyEAJvgNwBQFApgB6SxwDGEAdgM7wBiEEcAvCgpwRcAHQQARgCtqTGAAoEw0as5QAXCjHrgrAOYKAlCpFoTqsUwCGMJgAtrAGycLkY1gFcQk6lGNGlHQM8DAAnmDUcDx8gu56mH4APOGREJjRvAB8lCwc8Jy2WjECiGiUAPQVqgB6APxAA

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.

Ssignificantotter Catchall assumes that every key you enter will for sure return the catchall resu...

Scott Trinh•9/27/23, 7:14 PM

Wait, so if you pass foo: "bar"foo: "bar" in your source object, it passes?

Scott Trinh•9/27/23, 7:22 PM

That doesn't seem to be the case for me. If I pass foo: "bar"foo: "bar" to that schema it fails.

Scott Trinh•9/27/23, 7:34 PM

https://stackblitz.com/edit/node-7bbufy?file=src%2Findex.test.ts

Scott Trinh•9/27/23, 7:35 PM

Well, that's correct: it would throw for that value

Scott Trinh•9/27/23, 7:35 PM

So if there is a bar, after parsing, it will be a number otherwise you'll never get to that line.

Scott Trinh•9/27/23, 7:36 PM

Note you can do Foo.parse(42)Foo.parse(42) and still have the same code you've written after it

Scott Trinh•9/27/23, 7:38 PM

It is! And that's true here to.

Scott Trinh•9/27/23, 7:38 PM

Once you parse any value, if it checks, it will be the shape you've indicated, so res.barres.bar will be a number.

Scott Trinh•9/27/23, 7:38 PM

In the case you've shown here it will throw so you'll never get to the line with res.barres.bar on it.

Scott Trinh•9/27/23, 7:39 PM

Oh, sorry, it won't throw, it will correctly be a number, which is right.

Scott Trinh•9/27/23, 7:40 PM

Oh, I see what you're saying: you want it to give you T | undefinedT | undefined. That's just not how Record types with in TypeScript.

Scott Trinh•9/27/23, 7:41 PM

type Foo = Record<string, number>;
const foo: Foo = { "foo": 42 };
const baz: number = foo.baz;

type Foo = Record<string, number>;
const foo: Foo = { "foo": 42 };
const baz: number = foo.baz;

Scott Trinh•9/27/23, 7:41 PM

(same type unsoundness as unchecked array access)

Sikari•9/27/23, 7:42 PM

Not sure if I'm understanding correctly, but what would stop you from typing the catchall as z.number().optional()z.number().optional()

SSikari Not sure if I'm understanding correctly, but what would stop you from typing the...

Scott Trinh•9/27/23, 7:42 PM

Yeah, that was the original "fix" mentioned about, right @significantotter ?

Scott Trinh•9/27/23, 7:42 PM

questions

Sikari•9/27/23, 7:42 PM

Ah ok my bad, I didn't read the whole convo

Scott Trinh•9/27/23, 7:43 PM

but, yes, if you want checked access, that's the right way.

SScott Trinh Oh, I see what you're saying: you want it to give you `T | undefined`. That's ju...

CommandMC•9/27/23, 7:59 PM

Uh, setting noUncheckedIndexedAccessnoUncheckedIndexedAccess in TSConfig gives you this behavior, no?

CommandMC•9/27/23, 8:01 PM

Sample Playground

CCommandMC Uh, setting `noUncheckedIndexedAccess` in TSConfig gives you this behavior, no?

Scott Trinh•9/27/23, 8:01 PM

Oh right! I always forget about that.

janglad•9/28/23, 9:00 AM

Has anyone had issues with using z.inputz.input? I get Property 'input' does not exist on typeProperty 'input' does not exist on type

janglad•9/28/23, 9:00 AM

both on my own project as on some Zod playground set up online

janglad•9/28/23, 9:00 AM

nvm I already realised I'm just dumb as I was typing this, I set it to a const not a type

janglad•9/28/23, 9:01 AM

Thank you rubber ducks KEKW

What is the best approach to deeply partial zod objects / properties? `deepPartial` also partials ke

Similar Threads