feat: add exactOptional support in type struct

src/structs/types.ts

@@ -684,6 +684,12 @@ export function type<Schema extends ObjectSchema>(
     *entries(value) {
       if (isObject(value)) {
         for (const k of keys) {
+          if (
+            ExactOptionalStruct.isExactOptional(schema[k]) &&
+            !Object.prototype.hasOwnProperty.call(value, k)
+          ) {
+            continue;
+          }
           yield [k, value[k], schema[k] as Struct<any>];
         }
       }

test/typings/exactOptional.ts

@@ -4,6 +4,7 @@ import {
   string,
   number,
   object,
+  type,
   enums,
   never,
   record,
@@ -60,3 +61,17 @@ test<{
   );
   return value;
 });
+
+test<{
+  a?: number;
+  b: string;
+}>((value) => {
+  assert(
+    value,
+    type({
+      a: exactOptional(number()),
+      b: string(),
+    }),
+  );
+  return value;
+});

test/validation/type/invalid-exact-optional-undefined.ts

@@ -0,0 +1,21 @@
+import { type, exactOptional, string, number } from '../../../src';
+
+export const Struct = type({
+  name: string(),
+  age: exactOptional(number()),
+});
+
+export const data = {
+  name: 'john',
+  age: undefined,
+};
+
+export const failures = [
+  {
+    value: undefined,
+    type: 'number',
+    refinement: undefined,
+    path: ['age'],
+    branch: [data, data.age],
+  },
+];

test/validation/type/valid-exact-optional-absent.ts

@@ -0,0 +1,12 @@
+import { type, exactOptional, string, number } from '../../../src';
+
+export const Struct = type({
+  name: string(),
+  age: exactOptional(number()),
+});
+
+export const data = {
+  name: 'john',
+};
+
+export const output = data;

test/validation/type/valid-exact-optional-present.ts

@@ -0,0 +1,13 @@
+import { type, exactOptional, string, number } from '../../../src';
+
+export const Struct = type({
+  name: string(),
+  age: exactOptional(number()),
+});
+
+export const data = {
+  name: 'john',
+  age: 42,
+};
+
+export const output = data;