umt 2.20.0 → 3.1.0

package/module/Date/getDay.d.ts

@@ -1,5 +1,5 @@
 import type { ArrayToUnion } from "../types/logic/arrayToUnion";
-interface DayList {
+export interface DayList {
     de: ["So", "Mo", "Di", "Mi", "Do", "Fr", "Sa"];
     ko: ["일", "월", "화", "수", "목", "금", "토"];
     en: ["Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"];
@@ -17,4 +17,3 @@ interface DayList {
  * getDay(1, "fr"); // Returns "Lun"
  */
 export declare const getDay: <T extends keyof DayList>(day: number, lang?: T) => ArrayToUnion<DayList[T]>;
-export {};

package/module/Object/keyBy.d.ts

@@ -1,6 +1,6 @@
-type PropertyName = string | number | symbol;
-type IterateeFunction<T> = (value: T) => PropertyName;
-type Iteratee<T> = IterateeFunction<T> | keyof T;
+export type PropertyName = string | number | symbol;
+export type IterateeFunction<T> = (value: T) => PropertyName;
+export type Iteratee<T> = IterateeFunction<T> | keyof T;
 /**
  * Creates an object composed of keys generated from the results of running each element of collection through iteratee
  * @param collection The collection to iterate over
@@ -17,4 +17,3 @@ type Iteratee<T> = IterateeFunction<T> | keyof T;
  * - `removePrototypeMapDeep` — recursive sanitization of an array of objects (for deeply nested data)
  */
 export declare function keyBy<T>(collection: T[] | Record<PropertyName, T>, iteratee?: Iteratee<T>): Record<PropertyName, T>;
-export {};

package/module/Validate/array/arrayOf.d.ts

@@ -1,14 +1,16 @@
-import type { ValidateCoreReturnType } from "../../Validate/type";
+import type { ValidateCoreReturnType, ValidateType } from "../../Validate/type";
+export type ArrayOfExtractValidatedType<V> = V extends (value: never) => {
+    type: infer T;
+} ? ValidateType<T> : never;
 /**
  * Creates an array validator that validates every element with a single validator
- * @template T - Element type validated by the wrapped validator
- * @template R - The return type of the wrapped validator (preserved so the inner type tag flows through)
- * @param {Function} validator - Validator applied to each element (e.g. an object validator)
+ * @template V - The validator function applied to each element (its return `type` field carries the element type)
+ * @param {V} validator - Validator applied to each element (e.g. an object validator)
  * @param {string} [message] - Custom error message for array type validation
  * @returns {Function} - Validator function for arrays whose elements satisfy the given validator
  */
-export declare const arrayOf: <T, R extends {
+export declare const arrayOf: <V extends (value: never) => {
     type: unknown;
     message: string;
     validate: boolean;
-}>(validator: (value: T) => R, message?: string) => (values: T[]) => ValidateCoreReturnType<T[]>;
+}>(validator: V, message?: string) => (values: ArrayOfExtractValidatedType<V>[]) => ValidateCoreReturnType<ArrayOfExtractValidatedType<V>[]>;

package/module/Validate/array/arrayOf.js

@@ -1,9 +1,8 @@
 import { isArray } from "../../Validate/isArray";
 /**
  * Creates an array validator that validates every element with a single validator
- * @template T - Element type validated by the wrapped validator
- * @template R - The return type of the wrapped validator (preserved so the inner type tag flows through)
- * @param {Function} validator - Validator applied to each element (e.g. an object validator)
+ * @template V - The validator function applied to each element (its return `type` field carries the element type)
+ * @param {V} validator - Validator applied to each element (e.g. an object validator)
  * @param {string} [message] - Custom error message for array type validation
  * @returns {Function} - Validator function for arrays whose elements satisfy the given validator
  */

package/module/Validate/array/arrayOf.js.map

@@ -1 +1 @@
-{"version":3,"file":"arrayOf.js","sourceRoot":"","sources":["../../../src/Validate/array/arrayOf.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAG7C;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAIrB,SAA0B,EAC1B,OAAgB,EAChB,EAAE;IACF,OAAO,CAAC,MAAW,EAA+B,EAAE;QAClD,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACrB,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,OAAO,IAAI,EAAE;gBACtB,IAAI,EAAE,MAAM;aACb,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAChC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACrB,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE,MAAM,CAAC,OAAO;oBACvB,IAAI,EAAE,MAAM;iBACb,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,EAAE;YACX,IAAI,EAAE,MAAM;SACb,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"arrayOf.js","sourceRoot":"","sources":["../../../src/Validate/array/arrayOf.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAc7C;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAOrB,SAAY,EACZ,OAAgB,EAChB,EAAE;IAEF,OAAO,CAAC,MAAiB,EAAqC,EAAE;QAC9D,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACrB,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,OAAO,IAAI,EAAE;gBACtB,IAAI,EAAE,MAAM;aACb,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,MAAM,GACV,SAID,CAAC,KAAK,CAAC,CAAC;YACT,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACrB,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE,MAAM,CAAC,OAAO;oBACvB,IAAI,EAAE,MAAM;iBACb,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,EAAE;YACX,IAAI,EAAE,MAAM;SACb,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,CAAC"}

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

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

package/module/Validate/array/index.js

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

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

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

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

@@ -11,27 +11,27 @@
  * the schema on every call.
  */
 import type { ValidateCoreReturnType, ValidateType } from "../../Validate/type";
-type AnyValidator = (value: any) => ValidateCoreReturnType<unknown>;
-type ExtractValidatedType<V> = V extends (value: never) => {
+export type FunctionAnyValidator = (value: any) => ValidateCoreReturnType<unknown>;
+export type FunctionExtractValidatedType<V> = V extends (value: never) => {
     type: infer T;
 } ? ValidateType<T> : never;
-type InferInputs<Inputs> = Inputs extends readonly AnyValidator[] ? {
-    [K in keyof Inputs]: ExtractValidatedType<Inputs[K]>;
+export type InferInputs<Inputs> = Inputs extends readonly FunctionAnyValidator[] ? {
+    [K in keyof Inputs]: FunctionExtractValidatedType<Inputs[K]>;
 } : any[];
-type InferOutput<Output> = Output extends AnyValidator ? ExtractValidatedType<Output> : any;
+export type InferOutput<Output> = Output extends FunctionAnyValidator ? FunctionExtractValidatedType<Output> : any;
 /**
  * Function schema definition. `input` describes positional parameters and
  * `output` describes the return type. Both are optional; when omitted the
  * validator only enforces that the value is callable.
  */
 export interface FunctionSchema {
-    input?: readonly AnyValidator[];
-    output?: AnyValidator;
+    input?: readonly FunctionAnyValidator[];
+    output?: FunctionAnyValidator;
 }
-type ExtractInput<S> = S extends {
+export type ExtractInput<S> = S extends {
     input: infer I;
 } ? I : undefined;
-type ExtractOutput<S> = S extends {
+export type ExtractOutput<S> = S extends {
     output: infer O;
 } ? O : undefined;
 /**
@@ -72,4 +72,3 @@ export interface FunctionValidator<Inputs, Output> {
  * @returns {FunctionValidator} - Validator augmented with `implement()`
  */
 export declare const function_: <const S extends FunctionSchema = FunctionSchema>(schema?: S, message?: string) => FunctionValidator<ExtractInput<S>, ExtractOutput<S>>;
-export {};

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

@@ -1 +1 @@
-{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../src/Validate/function/core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAqEH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,MAAU,EACV,OAAgB,EACsC,EAAE;IAGxD,MAAM,MAAM,GAAG,MAAM,EAAE,KAAK,CAAC;IAC7B,MAAM,MAAM,GAAG,MAAM,EAAE,MAAM,CAAC;IAE9B,MAAM,SAAS,GAAG,CAAC,CAAC,KAAoC,EAAE,EAAE;QAC1D,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;YAChC,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,OAAO,IAAI,EAAE;gBACtB,IAAI,EAAE,KAAK;aACZ,CAAC;QACJ,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,EAAE;YACX,IAAI,EAAE,KAAK;SACZ,CAAC;IACJ,CAAC,CAAsC,CAAC;IAExC,SAAS,CAAC,SAAS,GAAG,CAAC,UAAU,EAAE,EAAE;QACnC,IAAI,OAAO,UAAU,KAAK,UAAU,EAAE,CAAC;YACrC,MAAM,IAAI,SAAS,CAAC,OAAO,IAAI,yBAAyB,CAAC,CAAC;QAC5D,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,GAAG,UAA+B,EAAE,EAAE;YACrD,IAAI,MAAM,EAAE,CAAC;gBACX,KAAK,MAAM,CAAC,KAAK,EAAE,cAAc,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;oBACvD,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;oBACjD,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;wBACrB,MAAM,IAAI,SAAS,CACjB,MAAM,CAAC,OAAO;4BACZ,2BAA2B,KAAK,oBAAoB,CACvD,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM,WAAW,GACf,UACD,CAAC,GAAI,UAAmC,CAAC,CAAC;YAC3C,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;gBACnC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;oBACrB,MAAM,IAAI,SAAS,CACjB,MAAM,CAAC,OAAO,IAAI,mCAAmC,CACtD,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,WAAkC,CAAC;QAC5C,CAAC,CAAC;QACF,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../src/Validate/function/core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAyEH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,MAAU,EACV,OAAgB,EACsC,EAAE;IAGxD,MAAM,MAAM,GAAG,MAAM,EAAE,KAAK,CAAC;IAC7B,MAAM,MAAM,GAAG,MAAM,EAAE,MAAM,CAAC;IAE9B,MAAM,SAAS,GAAG,CAAC,CAAC,KAAoC,EAAE,EAAE;QAC1D,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;YAChC,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,OAAO,IAAI,EAAE;gBACtB,IAAI,EAAE,KAAK;aACZ,CAAC;QACJ,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,EAAE;YACX,IAAI,EAAE,KAAK;SACZ,CAAC;IACJ,CAAC,CAAsC,CAAC;IAExC,SAAS,CAAC,SAAS,GAAG,CAAC,UAAU,EAAE,EAAE;QACnC,IAAI,OAAO,UAAU,KAAK,UAAU,EAAE,CAAC;YACrC,MAAM,IAAI,SAAS,CAAC,OAAO,IAAI,yBAAyB,CAAC,CAAC;QAC5D,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,GAAG,UAA+B,EAAE,EAAE;YACrD,IAAI,MAAM,EAAE,CAAC;gBACX,KAAK,MAAM,CAAC,KAAK,EAAE,cAAc,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;oBACvD,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;oBACjD,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;wBACrB,MAAM,IAAI,SAAS,CACjB,MAAM,CAAC,OAAO;4BACZ,2BAA2B,KAAK,oBAAoB,CACvD,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM,WAAW,GACf,UACD,CAAC,GAAI,UAAmC,CAAC,CAAC;YAC3C,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;gBACnC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;oBACrB,MAAM,IAAI,SAAS,CACjB,MAAM,CAAC,OAAO,IAAI,mCAAmC,CACtD,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,WAAkC,CAAC;QAC5C,CAAC,CAAC;QACF,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

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

@@ -5,7 +5,7 @@
  * `instanceof_` because `instanceof` is a reserved keyword in JavaScript.
  */
 import type { ValidateCoreReturnType } from "../../Validate/type";
-type Constructor<T> = new (...arguments_: any[]) => T;
+export type Constructor<T> = new (...arguments_: any[]) => T;
 /**
  * Creates a validator that checks whether a value is an instance of the given
  * constructor. Subclasses of the constructor satisfy the validator, matching
@@ -16,4 +16,3 @@ type Constructor<T> = new (...arguments_: any[]) => T;
  * @returns {Function} - Validator function for instances of the constructor
  */
 export declare const instanceof_: <T>(classConstructor: Constructor<T>, message?: string) => (value: T) => ValidateCoreReturnType<T>;
-export {};

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

@@ -5,7 +5,7 @@
  * `arrayOf()` validates each element of an array.
  */
 import type { ValidateCoreReturnType, ValidateType } from "../../Validate/type";
-type ExtractValidatedType<V> = V extends (value: never) => {
+export type MapExtractValidatedType<V> = V extends (value: never) => {
     type: infer T;
 } ? ValidateType<T> : never;
 /**
@@ -20,5 +20,4 @@ type ExtractValidatedType<V> = V extends (value: never) => {
  * @param {string} [message] - Custom error message for type validation
  * @returns {Function} - Validator function for Map instances
  */
-export declare const map: <KV extends (value: any) => ValidateCoreReturnType<unknown> = (value: unknown) => ValidateCoreReturnType<unknown>, VV extends (value: any) => ValidateCoreReturnType<unknown> = (value: unknown) => ValidateCoreReturnType<unknown>, K = ExtractValidatedType<KV>, V = ExtractValidatedType<VV>>(keyValidator?: KV, valueValidator?: VV, message?: string) => (value: Map<K, V>) => ValidateCoreReturnType<Map<K, V>>;
-export {};
+export declare const map: <KV extends (value: any) => ValidateCoreReturnType<unknown> = (value: unknown) => ValidateCoreReturnType<unknown>, VV extends (value: any) => ValidateCoreReturnType<unknown> = (value: unknown) => ValidateCoreReturnType<unknown>, K = MapExtractValidatedType<KV>, V = MapExtractValidatedType<VV>>(keyValidator?: KV, valueValidator?: VV, message?: string) => (value: Map<K, V>) => ValidateCoreReturnType<Map<K, V>>;

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

@@ -1 +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"}
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../src/Validate/map/core.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAUH;;;;;;;;;;;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/object/intersection.d.ts

@@ -1,12 +1,14 @@
-import type { UnionToIntersection } from "../../types/logic";
 import type { ValidateCoreReturnType, ValidateType } from "../../Validate/type";
-type ExtractValidatedType<V> = V extends (value: never) => {
+export type IntersectionExtractValidatedType<V> = V extends (value: never) => {
     type: infer T;
 } ? ValidateType<T> : never;
+export type IntersectValidatedTypes<Vs> = Vs extends readonly [
+    infer Head,
+    ...infer Tail
+] ? IntersectionExtractValidatedType<Head> & IntersectValidatedTypes<Tail> : unknown;
 /**
  * Creates an intersection validator that passes only if all given validators pass
  * @param validators - Validator functions to compose as an intersection (logical AND)
  * @returns {Function} - Validator that checks if the value matches all validators
  */
-export declare const intersection: <Vs extends ((value: never) => ValidateCoreReturnType<unknown>)[]>(...validators: [...Vs]) => (value: UnionToIntersection<ExtractValidatedType<Vs[number]>>) => ValidateCoreReturnType<UnionToIntersection<ExtractValidatedType<Vs[number]>>>;
-export {};
+export declare const intersection: <Vs extends ((value: never) => ValidateCoreReturnType<unknown>)[]>(...validators: [...Vs]) => (value: IntersectValidatedTypes<Vs>) => ValidateCoreReturnType<IntersectValidatedTypes<Vs>>;

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

@@ -1 +1 @@
-{"version":3,"file":"intersection.js","sourceRoot":"","sources":["../../../src/Validate/object/intersection.ts"],"names":[],"mappings":"AAgBA;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAG1B,GAAG,UAAmB,EACtB,EAAE;IACF,OAAO,CACL,KAA4D,EAG5D,EAAE;QACF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,MAAM,MAAM,GACV,SAKD,CAAC,KAAK,CAAC,CAAC;YACT,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACrB,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE,MAAM,CAAC,OAAO;oBACvB,IAAI,EAAE,KAEL;iBACF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,EAAE;YACX,IAAI,EAAE,KAEL;SACF,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"intersection.js","sourceRoot":"","sources":["../../../src/Validate/object/intersection.ts"],"names":[],"mappings":"AA6BA;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAG1B,GAAG,UAAmB,EACtB,EAAE;IACF,OAAO,CACL,KAAkC,EACmB,EAAE;QACvD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,MAAM,MAAM,GACV,SAGD,CAAC,KAAK,CAAC,CAAC;YACT,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACrB,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE,MAAM,CAAC,OAAO;oBACvB,IAAI,EAAE,KAAsD;iBAC7D,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,EAAE;YACX,IAAI,EAAE,KAAsD;SAC7D,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,CAAC"}

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

@@ -1,4 +1,4 @@
-interface NullReturn {
+export interface NullReturn {
     validate: boolean;
     message: string;
     type: "null";
@@ -15,4 +15,3 @@ export declare const nullable: <T, R extends {
     message: string;
     validate: boolean;
 }>(validator: (value: T) => R) => ((value: T | null) => R | NullReturn);
-export {};

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

@@ -1,4 +1,4 @@
-interface UndefinedReturn {
+export interface UndefinedReturn {
     validate: boolean;
     message: string;
     type: "undefined";
@@ -33,4 +33,3 @@ export declare const optional: <T, R extends {
     message: string;
     validate: boolean;
 }>(validator: (value: T) => R) => OptionalValidator<T, R>;
-export {};

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

@@ -6,7 +6,7 @@
  */
 import { type ObjectShape, type ObjectValidator } from "./core";
 import { type OptionalValidator } from "./optional";
-type PartialShape<T extends ObjectShape> = {
+export type PartialShape<T extends ObjectShape> = {
     [K in keyof T]: OptionalValidator<Parameters<T[K]>[0], ReturnType<T[K]> extends {
         type: unknown;
         message: string;
@@ -22,4 +22,3 @@ type PartialShape<T extends ObjectShape> = {
  * @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/required.d.ts

@@ -6,8 +6,8 @@
  */
 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> = {
+export type UnwrapOptional<V> = V extends OptionalValidator<infer Inner, infer R> ? (value: Inner) => R : V;
+export type RequiredShape<T extends ObjectShape> = {
     [K in keyof T]: UnwrapOptional<T[K]> extends ObjectShape[string] ? UnwrapOptional<T[K]> : T[K];
 };
 /**
@@ -19,4 +19,3 @@ type RequiredShape<T extends ObjectShape> = {
  * @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/union.d.ts

@@ -1,5 +1,5 @@
 import type { ValidateCoreReturnType, ValidateType } from "../../Validate/type";
-type ExtractValidatedType<V> = V extends (value: never) => {
+export type UnionExtractValidatedType<V> = V extends (value: never) => {
     type: infer T;
 } ? ValidateType<T> : never;
 /**
@@ -7,5 +7,4 @@ type ExtractValidatedType<V> = V extends (value: never) => {
  * @param validators - Validator functions to compose as a union (logical OR)
  * @returns {Function} - Validator that checks if the value matches any of the validators
  */
-export declare const union: <Vs extends ((value: never) => ValidateCoreReturnType<unknown>)[]>(...validators: [...Vs]) => (value: ExtractValidatedType<Vs[number]>) => ValidateCoreReturnType<ExtractValidatedType<Vs[number]>>;
-export {};
+export declare const union: <Vs extends ((value: never) => ValidateCoreReturnType<unknown>)[]>(...validators: [...Vs]) => (value: UnionExtractValidatedType<Vs[number]>) => ValidateCoreReturnType<UnionExtractValidatedType<Vs[number]>>;

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

@@ -1 +1 @@
-{"version":3,"file":"union.js","sourceRoot":"","sources":["../../../src/Validate/object/union.ts"],"names":[],"mappings":"AAeA;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAGnB,GAAG,UAAmB,EACtB,EAAE;IACF,OAAO,CACL,KAAuC,EACmB,EAAE;QAC5D,IAAI,WAAW,GAAG,EAAE,CAAC;QACrB,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,MAAM,MAAM,GACV,SAGD,CAAC,KAAK,CAAC,CAAC;YACT,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACpB,OAAO;oBACL,QAAQ,EAAE,IAAI;oBACd,OAAO,EAAE,EAAE;oBACX,IAAI,EAAE,KAA2D;iBAClE,CAAC;YACJ,CAAC;YACD,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC;QAC/B,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,WAAW;YACpB,IAAI,EAAE,KAA2D;SAClE,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"union.js","sourceRoot":"","sources":["../../../src/Validate/object/union.ts"],"names":[],"mappings":"AAiBA;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAGnB,GAAG,UAAmB,EACtB,EAAE;IACF,OAAO,CACL,KAA4C,EACmB,EAAE;QACjE,IAAI,WAAW,GAAG,EAAE,CAAC;QACrB,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,MAAM,MAAM,GACV,SAGD,CAAC,KAAK,CAAC,CAAC;YACT,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACpB,OAAO;oBACL,QAAQ,EAAE,IAAI;oBACd,OAAO,EAAE,EAAE;oBACX,IAAI,EAAE,KAEL;iBACF,CAAC;YACJ,CAAC;YACD,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC;QAC/B,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,WAAW;YACpB,IAAI,EAAE,KAAgE;SACvE,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,CAAC"}

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

@@ -8,7 +8,7 @@
  * already exposes a `set` runtime helper.
  */
 import type { ValidateCoreReturnType, ValidateType } from "../../Validate/type";
-type ExtractValidatedType<V> = V extends (value: never) => {
+export type SetExtractValidatedType<V> = V extends (value: never) => {
     type: infer T;
 } ? ValidateType<T> : never;
 /**
@@ -20,5 +20,4 @@ type ExtractValidatedType<V> = V extends (value: never) => {
  * @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 {};
+export declare const set_: <IV extends (value: any) => ValidateCoreReturnType<unknown> = (value: unknown) => ValidateCoreReturnType<unknown>, T = SetExtractValidatedType<IV>>(itemValidator?: IV, message?: string) => (value: Set<T>) => ValidateCoreReturnType<Set<T>>;

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

@@ -1 +1 @@
-{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../src/Validate/set/core.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAQH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAOlB,aAAkB,EAClB,OAAgB,EAChB,EAAE;IACF,OAAO,CAAC,KAAa,EAAkC,EAAE;QACvD,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,IAAI,aAAa,EAAE,CAAC;YAClB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,MAAM,GACV,aAID,CAAC,IAAI,CAAC,CAAC;gBACR,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;oBACrB,OAAO;wBACL,QAAQ,EAAE,KAAK;wBACf,OAAO,EAAE,MAAM,CAAC,OAAO;wBACvB,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"}
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../src/Validate/set/core.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAUH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAOlB,aAAkB,EAClB,OAAgB,EAChB,EAAE;IACF,OAAO,CAAC,KAAa,EAAkC,EAAE;QACvD,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,IAAI,aAAa,EAAE,CAAC;YAClB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,MAAM,GACV,aAID,CAAC,IAAI,CAAC,CAAC;gBACR,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;oBACrB,OAAO;wBACL,QAAQ,EAAE,KAAK;wBACf,OAAO,EAAE,MAAM,CAAC,OAAO;wBACvB,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/string/oneOf.d.ts

@@ -5,20 +5,23 @@
  * such as `'standard' | 'squat' | 'decanter' | 'round' | 'tall' | 'flask'`.
  *
  * The validator's return type carries the literal union through its `type`
- * field directly (instead of going through `Types<T>` which would collapse
- * to `"string"`), so consumers like `object()`, `union()`, and `intersection()`
- * can preserve the literal union in their inferred types.
+ * field as a `LiteralBrand<T>` so that consumers like `object()`, `union()`,
+ * and `intersection()` can preserve the literal union in their inferred types.
+ * The brand also prevents collisions with reserved type tags such as
+ * `"string"`, `"number"`, or `"boolean"` when an allowed value happens to
+ * match one of those tag strings.
  */
+import type { LiteralBrand } from "../../Validate/type";
 /**
  * Return type produced by a `oneOf` validator. Structurally compatible with
- * `ValidateCoreReturnType<unknown>`, but exposes the literal union directly
- * via the `type` field so the inferred type can flow through `object()`,
- * `union()`, and `intersection()` without being collapsed to `string`.
+ * `ValidateCoreReturnType<unknown>`, but exposes the literal union via a
+ * `LiteralBrand` so the inferred type can flow through `object()`, `union()`,
+ * and `intersection()` without being collapsed by `ValidateType`.
  */
 export interface OneOfReturnType<T extends string> {
     validate: boolean;
     message: string;
-    type: T;
+    type: LiteralBrand<T>;
 }
 /**
  * Creates a top-level validator that checks if a string value is one of the

package/module/Validate/string/oneOf.js

@@ -5,9 +5,11 @@
  * such as `'standard' | 'squat' | 'decanter' | 'round' | 'tall' | 'flask'`.
  *
  * The validator's return type carries the literal union through its `type`
- * field directly (instead of going through `Types<T>` which would collapse
- * to `"string"`), so consumers like `object()`, `union()`, and `intersection()`
- * can preserve the literal union in their inferred types.
+ * field as a `LiteralBrand<T>` so that consumers like `object()`, `union()`,
+ * and `intersection()` can preserve the literal union in their inferred types.
+ * The brand also prevents collisions with reserved type tags such as
+ * `"string"`, `"number"`, or `"boolean"` when an allowed value happens to
+ * match one of those tag strings.
  */
 /**
  * Creates a top-level validator that checks if a string value is one of the

package/module/Validate/string/oneOf.js.map

@@ -1 +1 @@
-{"version":3,"file":"oneOf.js","sourceRoot":"","sources":["../../../src/Validate/string/oneOf.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAcH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,MAAS,EACT,OAAgB,EAChB,EAAE;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,MAAM,CAAC,CAAC;IACxC,OAAO,CAAC,KAAa,EAA8B,EAAE;QACnD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO;YACL,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC;YACvC,IAAI,EAAE,KAAK;SACZ,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"oneOf.js","sourceRoot":"","sources":["../../../src/Validate/string/oneOf.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAgBH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,MAAS,EACT,OAAgB,EAChB,EAAE;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,MAAM,CAAC,CAAC;IACxC,OAAO,CAAC,KAAa,EAA8B,EAAE;QACnD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO;YACL,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC;YACvC,IAAI,EAAE,KAAgC;SACvC,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,CAAC"}

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

@@ -7,7 +7,7 @@
  * inferred type is the corresponding TypeScript template literal type.
  */
 import type { ValidateType } from "../../Validate/type";
-type AnyValidator = (value?: any) => {
+export type TemplateLiteralAnyValidator = (value?: any) => {
     type: unknown;
 };
 /**
@@ -15,12 +15,12 @@ type AnyValidator = (value?: any) => {
  * string literal that must appear verbatim, or a primitive validator whose
  * accepted shape is converted to a regex fragment at construction time.
  */
-export type TemplateLiteralPart = string | AnyValidator;
-type ExtractValidatorTag<V> = V extends (value: never) => {
+export type TemplateLiteralPart = string | TemplateLiteralAnyValidator;
+export type ExtractValidatorTag<V> = V extends (value: never) => {
     type: infer T;
 } ? T : never;
-type TagToTemplate<T> = T extends "string" ? string : T extends "number" ? number : T extends "boolean" ? boolean : T extends "bigint" ? bigint : ValidateType<T>;
-type PartToTemplate<P> = P extends string ? P : TagToTemplate<ExtractValidatorTag<P>>;
+export type TagToTemplate<T> = T extends "string" ? string : T extends "number" ? number : T extends "boolean" ? boolean : T extends "bigint" ? bigint : ValidateType<T>;
+export type PartToTemplate<P> = P extends string ? P : TagToTemplate<ExtractValidatorTag<P>>;
 /**
  * Builds the template literal type produced by joining `Parts`. Each part is
  * mapped to either its literal string value or to the runtime type that the
@@ -52,4 +52,3 @@ export interface TemplateLiteralReturnType<T extends string> {
  * @returns {Function} - Validator function for template literal strings
  */
 export declare const templateLiteral: <const Parts extends readonly TemplateLiteralPart[]>(parts: Parts, message?: string) => (value: BuildTemplateLiteral<Parts>) => TemplateLiteralReturnType<BuildTemplateLiteral<Parts>>;
-export {};

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

@@ -1 +1 @@
-{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../src/Validate/templateLiteral/core.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAyDH,MAAM,WAAW,GAAG,CAAC,KAAa,EAAU,EAAE,CAC5C,KAAK,CAAC,UAAU,CAAC,qBAAqB,EAAE,MAAM,CAAC,GAAG,CAAA,KAAK,CAAC,CAAC;AAE3D,MAAM,YAAY,GAAG,CAAC,GAAY,EAAU,EAAE;IAC5C,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,OAAO,MAAM,CAAC,GAAG,CAAA,oCAAoC,CAAC;QACxD,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,OAAO,gBAAgB,CAAC;QAC1B,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,OAAO,MAAM,CAAC,GAAG,CAAA,OAAO,CAAC;QAC3B,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,SAAuB,EAAW,EAAE;IAC9D,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAC3B,OAAO,MAAM,EAAE,IAAI,CAAC;AACtB,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAG7B,KAAY,EACZ,OAAgB,EAChB,EAAE;IACF,IAAI,OAAO,GAAG,GAAG,CAAC;IAClB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,OAAO;YACL,OAAO,IAAI,KAAK,QAAQ;gBACtB,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC;gBACnB,CAAC,CAAC,MAAM,YAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;IACxD,CAAC;IACD,OAAO,IAAI,GAAG,CAAC;IACf,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;IAElC,OAAO,CACL,KAAkC,EACsB,EAAE;QAC1D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,OAAO,IAAI,EAAE;gBACtB,IAAI,EAAE,KAAK;aACZ,CAAC;QACJ,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,EAAE;YACX,IAAI,EAAE,KAAK;SACZ,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../src/Validate/templateLiteral/core.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AA2DH,MAAM,WAAW,GAAG,CAAC,KAAa,EAAU,EAAE,CAC5C,KAAK,CAAC,UAAU,CAAC,qBAAqB,EAAE,MAAM,CAAC,GAAG,CAAA,KAAK,CAAC,CAAC;AAE3D,MAAM,YAAY,GAAG,CAAC,GAAY,EAAU,EAAE;IAC5C,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,OAAO,MAAM,CAAC,GAAG,CAAA,oCAAoC,CAAC;QACxD,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,OAAO,gBAAgB,CAAC;QAC1B,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,OAAO,MAAM,CAAC,GAAG,CAAA,OAAO,CAAC;QAC3B,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,SAAsC,EAC7B,EAAE;IACX,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAC3B,OAAO,MAAM,EAAE,IAAI,CAAC;AACtB,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAG7B,KAAY,EACZ,OAAgB,EAChB,EAAE;IACF,IAAI,OAAO,GAAG,GAAG,CAAC;IAClB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,OAAO;YACL,OAAO,IAAI,KAAK,QAAQ;gBACtB,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC;gBACnB,CAAC,CAAC,MAAM,YAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;IACxD,CAAC;IACD,OAAO,IAAI,GAAG,CAAC;IACf,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;IAElC,OAAO,CACL,KAAkC,EACsB,EAAE;QAC1D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,OAAO,IAAI,EAAE;gBACtB,IAAI,EAAE,KAAK;aACZ,CAAC;QACJ,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/type.d.ts

@@ -30,16 +30,28 @@ export interface ValidateReturnType<T> {
  * @template T - The type of value to validate
  */
 export type ValidateFunctionType<T> = (value: T) => boolean;
+declare const LITERAL_BRAND: unique symbol;
+/**
+ * Branded literal type used by validators (such as `oneOf`) that need to keep
+ * a string literal verbatim through `ValidateType`. The brand prevents the
+ * literal from colliding with reserved type tags like `"string"`, `"number"`,
+ * or `"boolean"` when the same string also happens to name a primitive type.
+ * @template T - The literal value preserved by the brand
+ */
+export type LiteralBrand<T extends string> = T & {
+    readonly [LITERAL_BRAND]: T;
+};
 export type _ValidateType<T> = T extends "string" ? string : T extends "number" ? number : T extends "boolean" ? boolean : T;
 export type _ValidateType2<T> = T extends "undefined" ? undefined : T extends "null" ? null : T;
 export type _ValidateType3<T> = T extends "bigint" ? bigint : T extends "any" ? any : T extends "unknown" ? unknown : T extends "never" ? never : T;
 /**
  * Maps string literal type names back to their TypeScript types
  * @template T - The string literal type name ("string", "number", "boolean", "bigint", "undefined", "null", "any", "unknown", "never")
- * @returns The corresponding TypeScript type or the original type T when no tag matches
+ * @returns The corresponding TypeScript type, the unwrapped literal when `T` is a `LiteralBrand`, or the original type `T` when no tag matches
  */
-export type ValidateType<T> = T extends "string" | "number" | "boolean" ? _ValidateType<T> : T extends "undefined" | "null" ? _ValidateType2<T> : T extends "bigint" | "any" | "unknown" | "never" ? _ValidateType3<T> : T;
+export type ValidateType<T> = T extends LiteralBrand<infer L> ? L : T extends "string" | "number" | "boolean" ? _ValidateType<T> : T extends "undefined" | "null" ? _ValidateType2<T> : T extends "bigint" | "any" | "unknown" | "never" ? _ValidateType3<T> : T;
 export type SchemaToInterface<T extends (value: any) => ValidateCoreReturnType<any>> = ValidateType<ReturnType<T>["type"]>;
 export type OptionalKeys<T> = {
     [K in keyof T]: undefined extends T[K] ? K : never;
 }[keyof T];
+export {};

package/module/es5/Date/getDay.d.ts

@@ -1,5 +1,5 @@
 import type { ArrayToUnion } from "../types/logic/arrayToUnion";
-interface DayList {
+export interface DayList {
     de: ["So", "Mo", "Di", "Mi", "Do", "Fr", "Sa"];
     ko: ["일", "월", "화", "수", "목", "금", "토"];
     en: ["Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"];
@@ -17,4 +17,3 @@ interface DayList {
  * getDay(1, "fr"); // Returns "Lun"
  */
 export declare const getDay: <T extends keyof DayList>(day: number, lang?: T) => ArrayToUnion<DayList[T]>;
-export {};

package/module/es5/Object/keyBy.d.ts

@@ -1,6 +1,6 @@
-type PropertyName = string | number | symbol;
-type IterateeFunction<T> = (value: T) => PropertyName;
-type Iteratee<T> = IterateeFunction<T> | keyof T;
+export type PropertyName = string | number | symbol;
+export type IterateeFunction<T> = (value: T) => PropertyName;
+export type Iteratee<T> = IterateeFunction<T> | keyof T;
 /**
  * Creates an object composed of keys generated from the results of running each element of collection through iteratee
  * @param collection The collection to iterate over
@@ -17,4 +17,3 @@ type Iteratee<T> = IterateeFunction<T> | keyof T;
  * - `removePrototypeMapDeep` — recursive sanitization of an array of objects (for deeply nested data)
  */
 export declare function keyBy<T>(collection: T[] | Record<PropertyName, T>, iteratee?: Iteratee<T>): Record<PropertyName, T>;
-export {};

package/module/es5/Validate/array/arrayOf.d.ts

@@ -1,14 +1,16 @@
-import type { ValidateCoreReturnType } from "../../Validate/type";
+import type { ValidateCoreReturnType, ValidateType } from "../../Validate/type";
+export type ArrayOfExtractValidatedType<V> = V extends (value: never) => {
+    type: infer T;
+} ? ValidateType<T> : never;
 /**
  * Creates an array validator that validates every element with a single validator
- * @template T - Element type validated by the wrapped validator
- * @template R - The return type of the wrapped validator (preserved so the inner type tag flows through)
- * @param {Function} validator - Validator applied to each element (e.g. an object validator)
+ * @template V - The validator function applied to each element (its return `type` field carries the element type)
+ * @param {V} validator - Validator applied to each element (e.g. an object validator)
  * @param {string} [message] - Custom error message for array type validation
  * @returns {Function} - Validator function for arrays whose elements satisfy the given validator
  */
-export declare const arrayOf: <T, R extends {
+export declare const arrayOf: <V extends (value: never) => {
     type: unknown;
     message: string;
     validate: boolean;
-}>(validator: (value: T) => R, message?: string) => (values: T[]) => ValidateCoreReturnType<T[]>;
+}>(validator: V, message?: string) => (values: ArrayOfExtractValidatedType<V>[]) => ValidateCoreReturnType<ArrayOfExtractValidatedType<V>[]>;

package/module/es5/Validate/array/arrayOf.js

@@ -8,11 +8,16 @@ var _isArray = require("../../Validate/isArray");
 function _createForOfIteratorHelper(r, e) { var t = "undefined" != typeof Symbol && r[Symbol.iterator] || r["@@iterator"]; if (!t) { if (Array.isArray(r) || (t = _unsupportedIterableToArray(r)) || e && r && "number" == typeof r.length) { t && (r = t); var _n = 0, F = function F() {}; return { s: F, n: function n() { return _n >= r.length ? { done: !0 } : { done: !1, value: r[_n++] }; }, e: function e(r) { throw r; }, f: F }; } throw new TypeError("Invalid attempt to iterate non-iterable instance.\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method."); } var o, a = !0, u = !1; return { s: function s() { t = t.call(r); }, n: function n() { var r = t.next(); return a = r.done, r; }, e: function e(r) { u = !0, o = r; }, f: function f() { try { a || null == t["return"] || t["return"](); } finally { if (u) throw o; } } }; }
 function _unsupportedIterableToArray(r, a) { if (r) { if ("string" == typeof r) return _arrayLikeToArray(r, a); var t = {}.toString.call(r).slice(8, -1); return "Object" === t && r.constructor && (t = r.constructor.name), "Map" === t || "Set" === t ? Array.from(r) : "Arguments" === t || /^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(t) ? _arrayLikeToArray(r, a) : void 0; } }
 function _arrayLikeToArray(r, a) { (null == a || a > r.length) && (a = r.length); for (var e = 0, n = Array(a); e < a; e++) n[e] = r[e]; return n; }
+// Extract the validated value type by reading the validator's `type` field
+// (and applying `ValidateType` to map type tags like "string" back to the
+// runtime type). Reading the field directly lets validators that expose the
+// literal union via the `type` field (such as `oneOf`) flow through arrayOf
+// without being collapsed to `string`.
+
 /**
  * Creates an array validator that validates every element with a single validator
- * @template T - Element type validated by the wrapped validator
- * @template R - The return type of the wrapped validator (preserved so the inner type tag flows through)
- * @param {Function} validator - Validator applied to each element (e.g. an object validator)
+ * @template V - The validator function applied to each element (its return `type` field carries the element type)
+ * @param {V} validator - Validator applied to each element (e.g. an object validator)
  * @param {string} [message] - Custom error message for array type validation
  * @returns {Function} - Validator function for arrays whose elements satisfy the given validator
  */
@@ -29,8 +34,8 @@ var arrayOf = exports.arrayOf = function arrayOf(validator, message) {
       _step;
     try {
       for (_iterator.s(); !(_step = _iterator.n()).done;) {
-        var value = _step.value;
-        var result = validator(value);
+        var _value = _step.value;
+        var result = validator(_value);
         if (!result.validate) {
           return {
             validate: false,

package/module/es5/Validate/array/index.d.ts

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

package/module/es5/Validate/array/index.js

@@ -13,15 +13,4 @@ Object.keys(_arrayOf).forEach(function (key) {
       return _arrayOf[key];
     }
   });
-});
-var _core = require("./core");
-Object.keys(_core).forEach(function (key) {
-  if (key === "default" || key === "__esModule") return;
-  if (key in exports && exports[key] === _core[key]) return;
-  Object.defineProperty(exports, key, {
-    enumerable: true,
-    get: function get() {
-      return _core[key];
-    }
-  });
 });

package/module/es5/Validate/function/core.d.ts

@@ -11,27 +11,27 @@
  * the schema on every call.
  */
 import type { ValidateCoreReturnType, ValidateType } from "../../Validate/type";
-type AnyValidator = (value: any) => ValidateCoreReturnType<unknown>;
-type ExtractValidatedType<V> = V extends (value: never) => {
+export type FunctionAnyValidator = (value: any) => ValidateCoreReturnType<unknown>;
+export type FunctionExtractValidatedType<V> = V extends (value: never) => {
     type: infer T;
 } ? ValidateType<T> : never;
-type InferInputs<Inputs> = Inputs extends readonly AnyValidator[] ? {
-    [K in keyof Inputs]: ExtractValidatedType<Inputs[K]>;
+export type InferInputs<Inputs> = Inputs extends readonly FunctionAnyValidator[] ? {
+    [K in keyof Inputs]: FunctionExtractValidatedType<Inputs[K]>;
 } : any[];
-type InferOutput<Output> = Output extends AnyValidator ? ExtractValidatedType<Output> : any;
+export type InferOutput<Output> = Output extends FunctionAnyValidator ? FunctionExtractValidatedType<Output> : any;
 /**
  * Function schema definition. `input` describes positional parameters and
  * `output` describes the return type. Both are optional; when omitted the
  * validator only enforces that the value is callable.
  */
 export interface FunctionSchema {
-    input?: readonly AnyValidator[];
-    output?: AnyValidator;
+    input?: readonly FunctionAnyValidator[];
+    output?: FunctionAnyValidator;
 }
-type ExtractInput<S> = S extends {
+export type ExtractInput<S> = S extends {
     input: infer I;
 } ? I : undefined;
-type ExtractOutput<S> = S extends {
+export type ExtractOutput<S> = S extends {
     output: infer O;
 } ? O : undefined;
 /**
@@ -72,4 +72,3 @@ export interface FunctionValidator<Inputs, Output> {
  * @returns {FunctionValidator} - Validator augmented with `implement()`
  */
 export declare const function_: <const S extends FunctionSchema = FunctionSchema>(schema?: S, message?: string) => FunctionValidator<ExtractInput<S>, ExtractOutput<S>>;
-export {};

package/module/es5/Validate/function/core.js

@@ -28,8 +28,6 @@ function _arrayLikeToArray(r, a) { (null == a || a > r.length) && (a = r.length)
  * the schema on every call.
  */
 
-// biome-ignore lint/suspicious/noExplicitAny: validator signatures vary
-
 /**
  * Function schema definition. `input` describes positional parameters and
  * `output` describes the return type. Both are optional; when omitted the