umt 2.19.0 → 2.20.0

package/module/Validate/map/core.js

@@ -0,0 +1,57 @@
+/**
+ * Map validation core module
+ * Provides validation for `Map` instances. The validator can optionally
+ * delegate to per-entry validators for keys and values, mirroring how
+ * `arrayOf()` validates each element of an array.
+ */
+/**
+ * Creates a Map validator. The validator can optionally accept per-entry key
+ * and value validators that are applied to every entry of the map. When the
+ * value-side validator is provided, the entry validators short-circuit on the
+ * first failure and surface the failing message, mirroring `arrayOf()`.
+ * @template KV - Validator for the map key
+ * @template VV - Validator for the map value
+ * @param {KV} [keyValidator] - Validator applied to every key
+ * @param {VV} [valueValidator] - Validator applied to every value
+ * @param {string} [message] - Custom error message for type validation
+ * @returns {Function} - Validator function for Map instances
+ */
+export const map = (keyValidator, valueValidator, message) => {
+    return (value) => {
+        if (!(value instanceof Map)) {
+            return {
+                validate: false,
+                message: message ?? "",
+                type: value,
+            };
+        }
+        for (const [entryKey, entryValue] of value) {
+            if (keyValidator) {
+                const keyResult = keyValidator(entryKey);
+                if (!keyResult.validate) {
+                    return {
+                        validate: false,
+                        message: keyResult.message,
+                        type: value,
+                    };
+                }
+            }
+            if (valueValidator) {
+                const valueResult = valueValidator(entryValue);
+                if (!valueResult.validate) {
+                    return {
+                        validate: false,
+                        message: valueResult.message,
+                        type: value,
+                    };
+                }
+            }
+        }
+        return {
+            validate: true,
+            message: "",
+            type: value,
+        };
+    };
+};
+//# sourceMappingURL=core.js.map

package/module/Validate/map/core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../src/Validate/map/core.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAQH;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAYjB,YAAiB,EACjB,cAAmB,EACnB,OAAgB,EAChB,EAAE;IACF,OAAO,CAAC,KAAgB,EAAqC,EAAE;QAC7D,IAAI,CAAC,CAAC,KAAK,YAAY,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,OAAO,IAAI,EAAE;gBACtB,IAAI,EAAE,KAAK;aACZ,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC;YAC3C,IAAI,YAAY,EAAE,CAAC;gBACjB,MAAM,SAAS,GACb,YACD,CAAC,QAAQ,CAAC,CAAC;gBACZ,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;oBACxB,OAAO;wBACL,QAAQ,EAAE,KAAK;wBACf,OAAO,EAAE,SAAS,CAAC,OAAO;wBAC1B,IAAI,EAAE,KAAK;qBACZ,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,IAAI,cAAc,EAAE,CAAC;gBACnB,MAAM,WAAW,GACf,cAID,CAAC,UAAU,CAAC,CAAC;gBACd,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;oBAC1B,OAAO;wBACL,QAAQ,EAAE,KAAK;wBACf,OAAO,EAAE,WAAW,CAAC,OAAO;wBAC5B,IAAI,EAAE,KAAK;qBACZ,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,EAAE;YACX,IAAI,EAAE,KAAK;SACZ,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,CAAC"}

package/module/Validate/map/index.d.ts

@@ -0,0 +1 @@
+export * from "./core";

package/module/Validate/map/index.js

@@ -0,0 +1,2 @@
+export * from "./core";
+//# sourceMappingURL=index.js.map

package/module/Validate/map/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/Validate/map/index.ts"],"names":[],"mappings":"AAAA,cAAc,QAAQ,CAAC"}

package/module/Validate/never/core.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Never validation core module
+ * Provides a validator that fails for every input, useful for marking
+ * positions in a schema that must never be filled (for example, exhaustive
+ * union members that should be unreachable at the type level).
+ */
+/**
+ * Return type produced by a `never` validator. Exposes the literal `"never"`
+ * tag through the `type` field so `ValidateType<"never">` can map it back to
+ * the `never` runtime type when consumed by downstream helpers.
+ */
+export interface NeverReturnType {
+    validate: boolean;
+    message: string;
+    type: "never";
+}
+/**
+ * Creates a validator that always fails
+ * @param {string} [message] - Custom error message for validation failure
+ * @returns {Function} - Validator that always returns a failing result
+ */
+export declare const never: (message?: string) => ((value: any) => NeverReturnType);

package/module/Validate/never/core.js

@@ -0,0 +1,23 @@
+/**
+ * Never validation core module
+ * Provides a validator that fails for every input, useful for marking
+ * positions in a schema that must never be filled (for example, exhaustive
+ * union members that should be unreachable at the type level).
+ */
+/**
+ * Creates a validator that always fails
+ * @param {string} [message] - Custom error message for validation failure
+ * @returns {Function} - Validator that always returns a failing result
+ */
+// biome-ignore lint/suspicious/noExplicitAny: never() is widened to accept any input from union/intersection
+export const never = (message) => {
+    // biome-ignore lint/suspicious/noExplicitAny: signature mirrors the public type
+    return (_value) => {
+        return {
+            validate: false,
+            message: message ?? "",
+            type: "never",
+        };
+    };
+};
+//# sourceMappingURL=core.js.map

package/module/Validate/never/core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../src/Validate/never/core.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAaH;;;;GAIG;AACH,6GAA6G;AAC7G,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,OAAgB,EAAqC,EAAE;IAC3E,gFAAgF;IAChF,OAAO,CAAC,MAAW,EAAmB,EAAE;QACtC,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,OAAO,IAAI,EAAE;YACtB,IAAI,EAAE,OAAO;SACd,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,CAAC"}

package/module/Validate/never/index.d.ts

@@ -0,0 +1 @@
+export * from "./core";

package/module/Validate/never/index.js

@@ -0,0 +1,2 @@
+export * from "./core";
+//# sourceMappingURL=index.js.map

package/module/Validate/never/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/Validate/never/index.ts"],"names":[],"mappings":"AAAA,cAAc,QAAQ,CAAC"}

package/module/Validate/object/core.d.ts

@@ -4,13 +4,31 @@
  */
 import type { PickPartial } from "../../types/object";
 import type { OptionalKeys, ValidateCoreReturnType, ValidateType } from "../../Validate/type";
+/**
+ * Shape map describing per-property validators consumed by `object()`
+ */
+export interface ObjectShape {
+    [key: string]: (value: any) => ValidateCoreReturnType<unknown>;
+}
+/**
+ * Object validator augmented with the original `shape` map. The shape map is
+ * exposed so derived helpers such as `pick()`, `omit()`, `partial()`, and
+ * `required()` can compose new object validators from existing ones.
+ */
+export type ObjectValidator<T extends ObjectShape, U = {
+    [key in keyof T]: ValidateType<ReturnType<T[key]>["type"]>;
+}> = ((value: {
+    [key in keyof PickPartial<U, OptionalKeys<U>>]: PickPartial<U, OptionalKeys<U>>[key];
+}) => ValidateCoreReturnType<{
+    [key in keyof PickPartial<U, OptionalKeys<U>>]: PickPartial<U, OptionalKeys<U>>[key];
+}>) & {
+    shape: T;
+};
 /**
  * Creates an object validator with property-specific validation rules
  * @template T - Object type containing validation functions for each property
  * @param {T} [option] - Object containing validation functions for each property
  * @param {string} [message] - Custom error message for object type validation
- * @returns {Function} - Validator function that checks if the value is an object and validates its properties
+ * @returns {ObjectValidator<T>} - Validator function with `.shape` attached so it can compose with `pick()`, `omit()`, `partial()`, and `required()`
  */
-export declare const object: <T extends {
-    [key: string]: (value: any) => ValidateCoreReturnType<any>;
-}, U = { [key in keyof T]: ValidateType<ReturnType<T[key]>["type"]>; }>(option?: T, message?: string) => (value: { [key in keyof PickPartial<U, OptionalKeys<U>>]: PickPartial<U, OptionalKeys<U>>[key]; }) => ValidateCoreReturnType<{ [key in keyof PickPartial<U, OptionalKeys<U>>]: PickPartial<U, OptionalKeys<U>>[key]; }>;
+export declare const object: <T extends ObjectShape>(option?: T, message?: string) => ObjectValidator<T>;

package/module/Validate/object/core.js

@@ -8,10 +8,10 @@ import { isDictionaryObject } from "../../Validate/isDictionaryObject";
  * @template T - Object type containing validation functions for each property
  * @param {T} [option] - Object containing validation functions for each property
  * @param {string} [message] - Custom error message for object type validation
- * @returns {Function} - Validator function that checks if the value is an object and validates its properties
+ * @returns {ObjectValidator<T>} - Validator function with `.shape` attached so it can compose with `pick()`, `omit()`, `partial()`, and `required()`
  */
 export const object = (option = {}, message) => {
-    return (value) => {
+    const validator = ((value) => {
         if (!isDictionaryObject(value)) {
             return {
                 validate: false,
@@ -37,6 +37,8 @@ export const object = (option = {}, message) => {
             // biome-ignore lint/suspicious/noExplicitAny: Type assertion needed for return type compatibility
             type: value,
         };
-    };
+    });
+    validator.shape = option;
+    return validator;
 };
 //# sourceMappingURL=core.js.map

package/module/Validate/object/core.js.map

@@ -1 +1 @@
-{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../src/Validate/object/core.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAOnE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CASpB,SAAY,EAAO,EACnB,OAAgB,EAChB,EAAE;IACF,OAAO,CACL,KAKC,EAMA,EAAE;QACH,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,OAAO,IAAI,EAAE;gBACtB,IAAI,EAAE,KAAK;aACZ,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,MAAM,EAAE,CAAC;YAC9B,6EAA6E;YAC7E,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAE,KAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;gBACzD,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,6EAA6E;oBAC7E,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAY,CAAC,CAAC,OAAO;oBAC/C,kGAAkG;oBAClG,IAAI,EAAE,KAAY;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,EAAE;YACX,kGAAkG;YAClG,IAAI,EAAE,KAAY;SACnB,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../src/Validate/object/core.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAyCnE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,SAAY,EAAO,EACnB,OAAgB,EACI,EAAE;IAWtB,MAAM,SAAS,GAAG,CAAC,CAAC,KAAe,EAAoC,EAAE;QACvE,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,OAAO,IAAI,EAAE;gBACtB,IAAI,EAAE,KAAK;aACZ,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,MAAM,EAAE,CAAC;YAC9B,6EAA6E;YAC7E,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAE,KAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;gBACzD,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,6EAA6E;oBAC7E,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAY,CAAC,CAAC,OAAO;oBAC/C,kGAAkG;oBAClG,IAAI,EAAE,KAAY;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,EAAE;YACX,kGAAkG;YAClG,IAAI,EAAE,KAAY;SACnB,CAAC;IACJ,CAAC,CAAuB,CAAC;IAEzB,SAAS,CAAC,KAAK,GAAG,MAAM,CAAC;IACzB,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/module/Validate/object/index.d.ts

@@ -1,5 +1,9 @@
 export * from "./core";
 export * from "./intersection";
 export * from "./nullable";
+export * from "./omit";
 export * from "./optional";
+export * from "./partial";
+export * from "./pick";
+export * from "./required";
 export * from "./union";

package/module/Validate/object/index.js

@@ -1,6 +1,10 @@
 export * from "./core";
 export * from "./intersection";
 export * from "./nullable";
+export * from "./omit";
 export * from "./optional";
+export * from "./partial";
+export * from "./pick";
+export * from "./required";
 export * from "./union";
 //# sourceMappingURL=index.js.map

package/module/Validate/object/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/Validate/object/index.ts"],"names":[],"mappings":"AAAA,cAAc,QAAQ,CAAC;AACvB,cAAc,gBAAgB,CAAC;AAC/B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,SAAS,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/Validate/object/index.ts"],"names":[],"mappings":"AAAA,cAAc,QAAQ,CAAC;AACvB,cAAc,gBAAgB,CAAC;AAC/B,cAAc,YAAY,CAAC;AAC3B,cAAc,QAAQ,CAAC;AACvB,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,QAAQ,CAAC;AACvB,cAAc,YAAY,CAAC;AAC3B,cAAc,SAAS,CAAC"}

package/module/Validate/object/nullable.d.ts

@@ -1,8 +1,18 @@
-import type { ValidateCoreReturnType } from "../../Validate/type";
+interface NullReturn {
+    validate: boolean;
+    message: string;
+    type: "null";
+}
 /**
  * Wraps a validator to accept null values
  * @template T - The type of value the wrapped validator expects
+ * @template R - The return type of the wrapped validator (preserved so the inner type tag flows through)
  * @param {Function} validator - Validator function to make nullable
  * @returns {Function} - Validator that passes for null or delegates to the wrapped validator
  */
-export declare const nullable: <T>(validator: (value: T) => ValidateCoreReturnType<T>) => ((value: T | null) => ValidateCoreReturnType<T | null>);
+export declare const nullable: <T, R extends {
+    type: unknown;
+    message: string;
+    validate: boolean;
+}>(validator: (value: T) => R) => ((value: T | null) => R | NullReturn);
+export {};

package/module/Validate/object/nullable.js

@@ -1,6 +1,7 @@
 /**
  * Wraps a validator to accept null values
  * @template T - The type of value the wrapped validator expects
+ * @template R - The return type of the wrapped validator (preserved so the inner type tag flows through)
  * @param {Function} validator - Validator function to make nullable
  * @returns {Function} - Validator that passes for null or delegates to the wrapped validator
  */
@@ -13,8 +14,7 @@ export const nullable = (validator) => {
                 type: "null",
             };
         }
-        const result = validator(value);
-        return result;
+        return validator(value);
     };
     return nullableValidator;
 };

package/module/Validate/object/nullable.js.map

@@ -1 +1 @@
-{"version":3,"file":"nullable.js","sourceRoot":"","sources":["../../../src/Validate/object/nullable.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,SAAkD,EACO,EAAE;IAC3D,MAAM,iBAAiB,GAAG,CACxB,KAAe,EACmB,EAAE;QACpC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO;gBACL,QAAQ,EAAE,IAAI;gBACd,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE,MAAM;aACb,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAChC,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,OAAO,iBAAiB,CAAC;AAC3B,CAAC,CAAC"}
+{"version":3,"file":"nullable.js","sourceRoot":"","sources":["../../../src/Validate/object/nullable.ts"],"names":[],"mappings":"AAMA;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAItB,SAA0B,EACa,EAAE;IACzC,MAAM,iBAAiB,GAAG,CAAC,KAAe,EAAkB,EAAE;QAC5D,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO;gBACL,QAAQ,EAAE,IAAI;gBACd,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE,MAAM;aACb,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC,CAAC;IAEF,OAAO,iBAAiB,CAAC;AAC3B,CAAC,CAAC"}

package/module/Validate/object/omit.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Object validation - omit
+ * Returns a new object validator that drops the specified keys from the
+ * source validator. Mirrors `Omit<T, K>` at the type level so consumers
+ * like `union()`, `intersection()`, and `SchemaToInterface` see the
+ * narrowed shape.
+ *
+ * The function is exported as `omit_` because the top-level `Object` module
+ * already exposes an `omit` runtime helper.
+ */
+import { type ObjectShape, type ObjectValidator } from "./core";
+/**
+ * Removes the given keys from an existing object validator and returns a new
+ * object validator covering the remaining keys.
+ * @template T - Original object shape
+ * @template K - Tuple of keys to omit from the original shape
+ * @param {ObjectValidator<T>} validator - Source object validator
+ * @param {K} keys - Keys to drop from the new validator
+ * @param {string} [message] - Custom error message for the omitted validator
+ * @returns {ObjectValidator<Omit<T, K[number]>>} - New validator without omitted keys
+ */
+export declare const omit_: <T extends ObjectShape, K extends readonly (keyof T)[]>(validator: ObjectValidator<T>, keys: K, message?: string) => ObjectValidator<Omit<T, K[number]>>;

package/module/Validate/object/omit.js

@@ -0,0 +1,33 @@
+/**
+ * Object validation - omit
+ * Returns a new object validator that drops the specified keys from the
+ * source validator. Mirrors `Omit<T, K>` at the type level so consumers
+ * like `union()`, `intersection()`, and `SchemaToInterface` see the
+ * narrowed shape.
+ *
+ * The function is exported as `omit_` because the top-level `Object` module
+ * already exposes an `omit` runtime helper.
+ */
+import { object } from "./core";
+/**
+ * Removes the given keys from an existing object validator and returns a new
+ * object validator covering the remaining keys.
+ * @template T - Original object shape
+ * @template K - Tuple of keys to omit from the original shape
+ * @param {ObjectValidator<T>} validator - Source object validator
+ * @param {K} keys - Keys to drop from the new validator
+ * @param {string} [message] - Custom error message for the omitted validator
+ * @returns {ObjectValidator<Omit<T, K[number]>>} - New validator without omitted keys
+ */
+export const omit_ = (validator, keys, message) => {
+    const sourceShape = validator.shape;
+    const omittedKeys = new Set(keys);
+    const nextShape = {};
+    for (const key in sourceShape) {
+        if (!omittedKeys.has(key)) {
+            nextShape[key] = sourceShape[key];
+        }
+    }
+    return object(nextShape, message);
+};
+//# sourceMappingURL=omit.js.map

package/module/Validate/object/omit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"omit.js","sourceRoot":"","sources":["../../../src/Validate/object/omit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,MAAM,EAA0C,MAAM,QAAQ,CAAC;AAExE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,SAA6B,EAC7B,IAAO,EACP,OAAgB,EACqB,EAAE;IACvC,MAAM,WAAW,GAAG,SAAS,CAAC,KAAK,CAAC;IACpC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAU,IAAI,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,EAAiB,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,SAAS,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,SAAS,EAAE,OAAO,CAE/B,CAAC;AACJ,CAAC,CAAC"}

package/module/Validate/object/optional.d.ts

@@ -1,8 +1,36 @@
-import type { ValidateCoreReturnType } from "../../Validate/type";
+interface UndefinedReturn {
+    validate: boolean;
+    message: string;
+    type: "undefined";
+}
+/**
+ * Optional validator augmented with a reference to the wrapped validator,
+ * used by `required()` to unwrap optional layers when rebuilding a shape
+ * @template T - The type of value the wrapped validator expects
+ * @template R - The return type of the wrapped validator (preserved so the inner type tag flows through)
+ */
+export type OptionalValidator<T, R extends {
+    type: unknown;
+    message: string;
+    validate: boolean;
+} = {
+    type: unknown;
+    message: string;
+    validate: boolean;
+}> = ((value?: T) => R | UndefinedReturn) & {
+    inner: (value: T) => R;
+    isOptional: true;
+};
 /**
  * Wraps a validator to accept undefined values
  * @template T - The type of value the wrapped validator expects
+ * @template R - The return type of the wrapped validator (preserved so the inner type tag flows through)
  * @param {Function} validator - Validator function to make optional
- * @returns {Function} - Validator that passes for undefined or delegates to the wrapped validator
+ * @returns {OptionalValidator<T, R>} - Validator that passes for undefined or delegates to the wrapped validator
  */
-export declare const optional: <T>(validator: (value: T) => ValidateCoreReturnType<T>) => ((value?: T) => ValidateCoreReturnType<T | undefined>);
+export declare const optional: <T, R extends {
+    type: unknown;
+    message: string;
+    validate: boolean;
+}>(validator: (value: T) => R) => OptionalValidator<T, R>;
+export {};

package/module/Validate/object/optional.js

@@ -1,11 +1,12 @@
 /**
  * Wraps a validator to accept undefined values
  * @template T - The type of value the wrapped validator expects
+ * @template R - The return type of the wrapped validator (preserved so the inner type tag flows through)
  * @param {Function} validator - Validator function to make optional
- * @returns {Function} - Validator that passes for undefined or delegates to the wrapped validator
+ * @returns {OptionalValidator<T, R>} - Validator that passes for undefined or delegates to the wrapped validator
  */
 export const optional = (validator) => {
-    const optionalValidator = (value) => {
+    const optionalValidator = ((value) => {
         if (value === undefined) {
             return {
                 validate: true,
@@ -13,9 +14,10 @@ export const optional = (validator) => {
                 type: "undefined",
             };
         }
-        const result = validator(value);
-        return result;
-    };
+        return validator(value);
+    });
+    optionalValidator.inner = validator;
+    optionalValidator.isOptional = true;
     return optionalValidator;
 };
 //# sourceMappingURL=optional.js.map

package/module/Validate/object/optional.js.map

@@ -1 +1 @@
-{"version":3,"file":"optional.js","sourceRoot":"","sources":["../../../src/Validate/object/optional.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,SAAkD,EACM,EAAE;IAC1D,MAAM,iBAAiB,GAAG,CACxB,KAAS,EAC8B,EAAE;QACzC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO;gBACL,QAAQ,EAAE,IAAI;gBACd,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE,WAAW;aAClB,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAChC,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,OAAO,iBAAiB,CAAC;AAC3B,CAAC,CAAC"}
+{"version":3,"file":"optional.js","sourceRoot":"","sources":["../../../src/Validate/object/optional.ts"],"names":[],"mappings":"AAwBA;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAItB,SAA0B,EACD,EAAE;IAC3B,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAS,EAAuB,EAAE;QAC5D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO;gBACL,QAAQ,EAAE,IAAI;gBACd,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE,WAAW;aAClB,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC,CAA4B,CAAC;IAE9B,iBAAiB,CAAC,KAAK,GAAG,SAAS,CAAC;IACpC,iBAAiB,CAAC,UAAU,GAAG,IAAI,CAAC;IAEpC,OAAO,iBAAiB,CAAC;AAC3B,CAAC,CAAC"}

package/module/Validate/object/partial.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Object validation - partial
+ * Returns a new object validator where every key is wrapped in `optional()`,
+ * mirroring `Partial<T>` at the type level so consumers see all properties as
+ * optional.
+ */
+import { type ObjectShape, type ObjectValidator } from "./core";
+import { type OptionalValidator } from "./optional";
+type PartialShape<T extends ObjectShape> = {
+    [K in keyof T]: OptionalValidator<Parameters<T[K]>[0], ReturnType<T[K]> extends {
+        type: unknown;
+        message: string;
+        validate: boolean;
+    } ? ReturnType<T[K]> : never>;
+};
+/**
+ * Wraps every property validator of `validator` with `optional()`. Validators
+ * that are already optional are kept as-is so the wrapper stays idempotent.
+ * @template T - Original object shape
+ * @param {ObjectValidator<T>} validator - Source object validator
+ * @param {string} [message] - Custom error message for the new validator
+ * @returns {ObjectValidator<PartialShape<T>>} - New validator where every key accepts undefined
+ */
+export declare const partial: <T extends ObjectShape>(validator: ObjectValidator<T>, message?: string) => ObjectValidator<PartialShape<T>>;
+export {};

package/module/Validate/object/partial.js

@@ -0,0 +1,29 @@
+/**
+ * Object validation - partial
+ * Returns a new object validator where every key is wrapped in `optional()`,
+ * mirroring `Partial<T>` at the type level so consumers see all properties as
+ * optional.
+ */
+import { object } from "./core";
+import { optional } from "./optional";
+/**
+ * Wraps every property validator of `validator` with `optional()`. Validators
+ * that are already optional are kept as-is so the wrapper stays idempotent.
+ * @template T - Original object shape
+ * @param {ObjectValidator<T>} validator - Source object validator
+ * @param {string} [message] - Custom error message for the new validator
+ * @returns {ObjectValidator<PartialShape<T>>} - New validator where every key accepts undefined
+ */
+export const partial = (validator, message) => {
+    const sourceShape = validator.shape;
+    const nextShape = {};
+    for (const key of Object.keys(sourceShape)) {
+        const current = sourceShape[key];
+        nextShape[key] =
+            current.isOptional === true
+                ? current
+                : optional(current);
+    }
+    return object(nextShape, message);
+};
+//# sourceMappingURL=partial.js.map

package/module/Validate/object/partial.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"partial.js","sourceRoot":"","sources":["../../../src/Validate/object/partial.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAA0C,MAAM,QAAQ,CAAC;AACxE,OAAO,EAAE,QAAQ,EAA0B,MAAM,YAAY,CAAC;AAe9D;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,SAA6B,EAC7B,OAAgB,EACkB,EAAE;IACpC,MAAM,WAAW,GAAG,SAAS,CAAC,KAAK,CAAC;IACpC,MAAM,SAAS,GAAG,EAAiB,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QACjC,SAAS,CAAC,GAAG,CAAC;YACX,OAAoC,CAAC,UAAU,KAAK,IAAI;gBACvD,CAAC,CAAC,OAAO;gBACT,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC,SAAS,EAAE,OAAO,CAE/B,CAAC;AACJ,CAAC,CAAC"}

package/module/Validate/object/pick.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Object validation - pick
+ * Returns a new object validator that only checks the specified keys of the
+ * source validator. Mirrors `Pick<T, K>` at the type level so consumers like
+ * `union()`, `intersection()`, and `SchemaToInterface` see the narrowed shape.
+ *
+ * The function is exported as `pick_` because the top-level `Object` module
+ * already exposes a `pick` runtime helper.
+ */
+import { type ObjectShape, type ObjectValidator } from "./core";
+/**
+ * Picks the given keys from an existing object validator and returns a new
+ * object validator covering only those keys.
+ * @template T - Original object shape
+ * @template K - Tuple of keys to pick from the original shape
+ * @param {ObjectValidator<T>} validator - Source object validator
+ * @param {K} keys - Keys to retain on the new validator
+ * @param {string} [message] - Custom error message for the picked validator
+ * @returns {ObjectValidator<Pick<T, K[number]>>} - New validator scoped to picked keys
+ */
+export declare const pick_: <T extends ObjectShape, K extends readonly (keyof T)[]>(validator: ObjectValidator<T>, keys: K, message?: string) => ObjectValidator<Pick<T, K[number]>>;

package/module/Validate/object/pick.js

@@ -0,0 +1,29 @@
+/**
+ * Object validation - pick
+ * Returns a new object validator that only checks the specified keys of the
+ * source validator. Mirrors `Pick<T, K>` at the type level so consumers like
+ * `union()`, `intersection()`, and `SchemaToInterface` see the narrowed shape.
+ *
+ * The function is exported as `pick_` because the top-level `Object` module
+ * already exposes a `pick` runtime helper.
+ */
+import { object } from "./core";
+/**
+ * Picks the given keys from an existing object validator and returns a new
+ * object validator covering only those keys.
+ * @template T - Original object shape
+ * @template K - Tuple of keys to pick from the original shape
+ * @param {ObjectValidator<T>} validator - Source object validator
+ * @param {K} keys - Keys to retain on the new validator
+ * @param {string} [message] - Custom error message for the picked validator
+ * @returns {ObjectValidator<Pick<T, K[number]>>} - New validator scoped to picked keys
+ */
+export const pick_ = (validator, keys, message) => {
+    const sourceShape = validator.shape;
+    const nextShape = {};
+    for (const key of keys) {
+        nextShape[key] = sourceShape[key];
+    }
+    return object(nextShape, message);
+};
+//# sourceMappingURL=pick.js.map

package/module/Validate/object/pick.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pick.js","sourceRoot":"","sources":["../../../src/Validate/object/pick.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,MAAM,EAA0C,MAAM,QAAQ,CAAC;AAExE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,SAA6B,EAC7B,IAAO,EACP,OAAgB,EACqB,EAAE;IACvC,MAAM,WAAW,GAAG,SAAS,CAAC,KAAK,CAAC;IACpC,MAAM,SAAS,GAAG,EAAwB,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,SAAS,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AACpC,CAAC,CAAC"}

package/module/Validate/object/required.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Object validation - required
+ * Returns a new object validator where every key is unwrapped from any
+ * `optional()` layer, mirroring `Required<T>` at the type level so consumers
+ * see all properties as required again.
+ */
+import { type ObjectShape, type ObjectValidator } from "./core";
+import type { OptionalValidator } from "./optional";
+type UnwrapOptional<V> = V extends OptionalValidator<infer Inner, infer R> ? (value: Inner) => R : V;
+type RequiredShape<T extends ObjectShape> = {
+    [K in keyof T]: UnwrapOptional<T[K]> extends ObjectShape[string] ? UnwrapOptional<T[K]> : T[K];
+};
+/**
+ * Strips `optional()` wrappers from every property validator of `validator`.
+ * Validators that are not wrapped in `optional()` are kept as-is.
+ * @template T - Original object shape
+ * @param {ObjectValidator<T>} validator - Source object validator
+ * @param {string} [message] - Custom error message for the new validator
+ * @returns {ObjectValidator<RequiredShape<T>>} - New validator where every optional layer is removed
+ */
+export declare const required: <T extends ObjectShape>(validator: ObjectValidator<T>, message?: string) => ObjectValidator<RequiredShape<T>>;
+export {};

package/module/Validate/object/required.js

@@ -0,0 +1,30 @@
+/**
+ * Object validation - required
+ * Returns a new object validator where every key is unwrapped from any
+ * `optional()` layer, mirroring `Required<T>` at the type level so consumers
+ * see all properties as required again.
+ */
+import { object } from "./core";
+/**
+ * Strips `optional()` wrappers from every property validator of `validator`.
+ * Validators that are not wrapped in `optional()` are kept as-is.
+ * @template T - Original object shape
+ * @param {ObjectValidator<T>} validator - Source object validator
+ * @param {string} [message] - Custom error message for the new validator
+ * @returns {ObjectValidator<RequiredShape<T>>} - New validator where every optional layer is removed
+ */
+export const required = (validator, message) => {
+    const sourceShape = validator.shape;
+    const nextShape = {};
+    for (const key of Object.keys(sourceShape)) {
+        const current = sourceShape[key];
+        const optionalLike = current;
+        nextShape[key] =
+            optionalLike.isOptional === true &&
+                typeof optionalLike.inner === "function"
+                ? optionalLike.inner
+                : current;
+    }
+    return object(nextShape, message);
+};
+//# sourceMappingURL=required.js.map

package/module/Validate/object/required.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"required.js","sourceRoot":"","sources":["../../../src/Validate/object/required.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAA0C,MAAM,QAAQ,CAAC;AAYxE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,SAA6B,EAC7B,OAAgB,EACmB,EAAE;IACrC,MAAM,WAAW,GAAG,SAAS,CAAC,KAAK,CAAC;IACpC,MAAM,SAAS,GAAG,EAAiB,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,YAAY,GAAG,OAGpB,CAAC;QACF,SAAS,CAAC,GAAG,CAAC;YACZ,YAAY,CAAC,UAAU,KAAK,IAAI;gBAChC,OAAO,YAAY,CAAC,KAAK,KAAK,UAAU;gBACtC,CAAC,CAAC,YAAY,CAAC,KAAK;gBACpB,CAAC,CAAC,OAAO,CAAC;IAChB,CAAC;IACD,OAAO,MAAM,CAAC,SAAS,EAAE,OAAO,CAE/B,CAAC;AACJ,CAAC,CAAC"}

package/module/Validate/set/core.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Set validation core module
+ * Provides validation for `Set` instances. The validator can optionally
+ * delegate to a per-element validator, mirroring how `arrayOf()` validates
+ * each element of an array.
+ *
+ * The function is exported as `set_` because the top-level `Object` module
+ * already exposes a `set` runtime helper.
+ */
+import type { ValidateCoreReturnType, ValidateType } from "../../Validate/type";
+type ExtractValidatedType<V> = V extends (value: never) => {
+    type: infer T;
+} ? ValidateType<T> : never;
+/**
+ * Creates a Set validator. When a per-element validator is supplied, every
+ * element of the set must satisfy it; iteration short-circuits at the first
+ * failure and surfaces the failing message.
+ * @template IV - Validator for set elements
+ * @param {IV} [itemValidator] - Validator applied to every element
+ * @param {string} [message] - Custom error message for type validation
+ * @returns {Function} - Validator function for Set instances
+ */
+export declare const set_: <IV extends (value: any) => ValidateCoreReturnType<unknown> = (value: unknown) => ValidateCoreReturnType<unknown>, T = ExtractValidatedType<IV>>(itemValidator?: IV, message?: string) => (value: Set<T>) => ValidateCoreReturnType<Set<T>>;
+export {};