sibyl-ts 0.3.1 → 0.5.0

package/CHANGELOG.md

@@ -5,6 +5,34 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [0.5.0] - 2026-01-16
+
+### Added
+
+- `intersection()` validator for combining multiple schemas (AND logic)
+- `unknown()` validator for validating any type of value
+
+## [0.4.1] - 2026-01-16
+
+### Changed
+
+- Updated README with documentation for `undef()` and `nil()` validators
+
+### Fixed
+
+- Code formatting issues
+
+## [0.4.0] - 2026-01-16
+
+### Added
+
+- `undef()` validator for explicit undefined checks
+- `nil()` validator for explicit null checks
+
+### Changed
+
+- Refactored all validator tests to use regex assertions for error messages, improving test resilience
+
 ## [0.3.1] - 2026-01-14
 
 ### Changed

package/README.md

@@ -287,6 +287,22 @@ recentDateValidator.judge(new Date('2100-01-01')); // ✗ Before min
 
 ---
 
+#### `unknown()`
+
+Passthrough validator that accepts any value. Useful for data that hasn't been scanned by the Sibyl System yet.
+
+```typescript
+import { unknown } from 'sibyl-ts';
+
+const unscannedEvidenceValidator = unknown();
+unscannedEvidenceValidator.judge('mysterious device'); // ✓
+unscannedEvidenceValidator.judge({ threatLevel: 'unknown' }); // ✓
+```
+
+**Type:** `unknown`
+
+---
+
 ### String Validators
 
 #### `email()`
@@ -522,6 +538,31 @@ modeValidator.judge('paralyzer'); // ✓
 
 ---
 
+#### `intersection([...validators])`
+
+Intersection type validation (AND logic). Combines multiple validators and deeply merges the results of object validators.
+
+```typescript
+import { intersection, obj, str, num } from 'sibyl-ts';
+
+// Combine multiple object schemas
+const personValidator = obj({ name: str() });
+const employeeValidator = obj({ role: str(), salary: num() });
+
+// Resulting type is flattened: { name: string; role: string; salary: number }
+const employeeProfileValidator = intersection([personValidator, employeeValidator]);
+
+employeeProfileValidator.judge({
+  name: 'Akane Tsunemori',
+  role: 'Inspector',
+  salary: 100000,
+}); // ✓
+```
+
+**Expected input:** Value matching **ALL** validators in the array
+
+---
+
 #### `record(keyValidator, valueValidator)`
 
 Record/dictionary validation.
@@ -639,6 +680,40 @@ previousCoefficientValidator.judge(undefined); // ✗
 
 ---
 
+#### `undef()`
+
+Explicitly validates `undefined`.
+
+```typescript
+import { undef } from 'sibyl-ts';
+
+const undefValidator = undef();
+undefValidator.judge(undefined); // ✓
+undefValidator.judge(null); // ✗
+undefValidator.judge(false); // ✗
+```
+
+**Type:** `undefined`
+
+---
+
+#### `nil()`
+
+Explicitly validates `null`.
+
+```typescript
+import { nil } from 'sibyl-ts';
+
+const nilValidator = nil();
+nilValidator.judge(null); // ✓
+nilValidator.judge(undefined); // ✗
+nilValidator.judge(false); // ✗
+```
+
+**Type:** `null`
+
+---
+
 #### `nullish(validator)`
 
 Makes a validator nullish (allows `null` AND `undefined`).

package/dist/cjs/validators/index.d.ts

@@ -12,4 +12,8 @@ export * from './tuple';
 export * from './record';
 export * from './enum';
 export * from './date';
+export * from './undef';
+export * from './nil';
+export * from './unknown';
+export * from './intersection';
 //# sourceMappingURL=index.d.ts.map

package/dist/cjs/validators/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/validators/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC;AACxB,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,SAAS,CAAC;AACxB,cAAc,UAAU,CAAC;AACzB,cAAc,QAAQ,CAAC;AACvB,cAAc,QAAQ,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/validators/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC;AACxB,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,SAAS,CAAC;AACxB,cAAc,UAAU,CAAC;AACzB,cAAc,QAAQ,CAAC;AACvB,cAAc,QAAQ,CAAC;AACvB,cAAc,SAAS,CAAC;AACxB,cAAc,OAAO,CAAC;AACtB,cAAc,WAAW,CAAC;AAC1B,cAAc,gBAAgB,CAAC"}

package/dist/cjs/validators/index.js

@@ -28,4 +28,8 @@ __exportStar(require("./tuple"), exports);
 __exportStar(require("./record"), exports);
 __exportStar(require("./enum"), exports);
 __exportStar(require("./date"), exports);
+__exportStar(require("./undef"), exports);
+__exportStar(require("./nil"), exports);
+__exportStar(require("./unknown"), exports);
+__exportStar(require("./intersection"), exports);
 //# sourceMappingURL=index.js.map

package/dist/cjs/validators/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/validators/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,4CAA0B;AAC1B,2CAAyB;AACzB,2CAAyB;AACzB,2CAAyB;AACzB,0CAAwB;AACxB,0CAAwB;AACxB,4CAA0B;AAC1B,6CAA2B;AAC3B,6CAA2B;AAC3B,4CAA0B;AAC1B,0CAAwB;AACxB,2CAAyB;AACzB,yCAAuB;AACvB,yCAAuB"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/validators/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,4CAA0B;AAC1B,2CAAyB;AACzB,2CAAyB;AACzB,2CAAyB;AACzB,0CAAwB;AACxB,0CAAwB;AACxB,4CAA0B;AAC1B,6CAA2B;AAC3B,6CAA2B;AAC3B,4CAA0B;AAC1B,0CAAwB;AACxB,2CAAyB;AACzB,yCAAuB;AACvB,yCAAuB;AACvB,0CAAwB;AACxB,wCAAsB;AACtB,4CAA0B;AAC1B,iDAA+B"}

package/dist/cjs/validators/intersection.d.ts

@@ -0,0 +1,7 @@
+import type { Validator, ExtractValidatorType } from '../common';
+export type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
+export type SimplifyDeep<T> = T extends Record<string, unknown> ? {
+    [K in keyof T]: SimplifyDeep<T[K]>;
+} & {} : T;
+export declare const intersection: <V extends Validator[]>(validators: [...V]) => Validator<SimplifyDeep<UnionToIntersection<ExtractValidatorType<V[number]>>>>;
+//# sourceMappingURL=intersection.d.ts.map

package/dist/cjs/validators/intersection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intersection.d.ts","sourceRoot":"","sources":["../../../src/validators/intersection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AAKjE,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CACxF,CAAC,EAAE,MAAM,CAAC,KACP,IAAI,GACL,CAAC,GACD,KAAK,CAAC;AAmCV,MAAM,MAAM,YAAY,CAAC,CAAC,IAExB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAEtF,eAAO,MAAM,YAAY,GAAI,CAAC,SAAS,SAAS,EAAE,EAChD,YAAY,CAAC,GAAG,CAAC,CAAC,KACjB,SAAS,CAAC,YAAY,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAkC9E,CAAC"}

package/dist/cjs/validators/intersection.js

@@ -0,0 +1,58 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.intersection = void 0;
+const withTryJudge_1 = require("../withTryJudge");
+const error_1 = require("../error");
+const isObject = (item) => {
+    return (typeof item === 'object' && item !== null && !Array.isArray(item) && !(item instanceof Date));
+};
+// Helper for deep merging objects
+const deepMerge = (target, source) => {
+    if (!isObject(target) || !isObject(source)) {
+        return source;
+    }
+    return Object.keys(source).reduce((acc, key) => {
+        const targetValue = acc[key];
+        const sourceValue = source[key];
+        if (key in acc) {
+            return {
+                ...acc,
+                [key]: deepMerge(targetValue, sourceValue),
+            };
+        }
+        return {
+            ...acc,
+            [key]: sourceValue,
+        };
+    }, { ...target });
+};
+const intersection = (validators) => {
+    return (0, withTryJudge_1.withTryJudge)({
+        judge(value) {
+            const { result, issues } = validators.reduce((acc, validator) => {
+                try {
+                    const validValue = validator.judge(value);
+                    return {
+                        result: acc.result === undefined ? validValue : deepMerge(acc.result, validValue),
+                        issues: acc.issues,
+                    };
+                }
+                catch (error) {
+                    if (error instanceof error_1.JudgmentError) {
+                        return {
+                            result: acc.result,
+                            issues: [...acc.issues, ...error.issues],
+                        };
+                    }
+                    throw error;
+                }
+            }, { result: undefined, issues: [] });
+            if (issues.length > 0) {
+                throw new error_1.JudgmentError(issues);
+            }
+            return result;
+        },
+    });
+};
+exports.intersection = intersection;
+//# sourceMappingURL=intersection.js.map

package/dist/cjs/validators/intersection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intersection.js","sourceRoot":"","sources":["../../../src/validators/intersection.ts"],"names":[],"mappings":";;;AACA,kDAA+C;AAC/C,oCAA6D;AAS7D,MAAM,QAAQ,GAAG,CAAC,IAAa,EAAmC,EAAE;IAClE,OAAO,CACL,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,YAAY,IAAI,CAAC,CAC7F,CAAC;AACJ,CAAC,CAAC;AAEF,kCAAkC;AAClC,MAAM,SAAS,GAAG,CAAC,MAAe,EAAE,MAAe,EAAW,EAAE;IAC9D,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAC/B,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;QACX,MAAM,WAAW,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAEhC,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;YACf,OAAO;gBACL,GAAG,GAAG;gBACN,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,WAAW,EAAE,WAAW,CAAC;aAC3C,CAAC;QACJ,CAAC;QACD,OAAO;YACL,GAAG,GAAG;YACN,CAAC,GAAG,CAAC,EAAE,WAAW;SACnB,CAAC;IACJ,CAAC,EACD,EAAE,GAAG,MAAM,EAAE,CACd,CAAC;AACJ,CAAC,CAAC;AAOK,MAAM,YAAY,GAAG,CAC1B,UAAkB,EAC6D,EAAE;IACjF,OAAO,IAAA,2BAAY,EAAC;QAClB,KAAK,CAAC,KAAK;YACT,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC,MAAM,CAI1C,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE;gBACjB,IAAI,CAAC;oBACH,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBAC1C,OAAO;wBACL,MAAM,EAAE,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC;wBACjF,MAAM,EAAE,GAAG,CAAC,MAAM;qBACnB,CAAC;gBACJ,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,IAAI,KAAK,YAAY,qBAAa,EAAE,CAAC;wBACnC,OAAO;4BACL,MAAM,EAAE,GAAG,CAAC,MAAM;4BAClB,MAAM,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;yBACzC,CAAC;oBACJ,CAAC;oBACD,MAAM,KAAK,CAAC;gBACd,CAAC;YACH,CAAC,EACD,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,CAClC,CAAC;YAEF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,qBAAa,CAAC,MAAM,CAAC,CAAC;YAClC,CAAC;YAED,OAAO,MAA4E,CAAC;QACtF,CAAC;KACF,CAAC,CAAC;AACL,CAAC,CAAC;AApCW,QAAA,YAAY,gBAoCvB"}

package/dist/cjs/validators/nil.d.ts

@@ -0,0 +1,3 @@
+import { Validator } from '../common';
+export declare const nil: () => Validator<null>;
+//# sourceMappingURL=nil.d.ts.map

package/dist/cjs/validators/nil.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nil.d.ts","sourceRoot":"","sources":["../../../src/validators/nil.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAItC,eAAO,MAAM,GAAG,QAAO,SAAS,CAAC,IAAI,CAgBpC,CAAC"}

package/dist/cjs/validators/nil.js

@@ -0,0 +1,24 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.nil = void 0;
+const error_1 = require("../error");
+const getValueType_1 = require("../getValueType");
+const withTryJudge_1 = require("../withTryJudge");
+const nil = () => {
+    return (0, withTryJudge_1.withTryJudge)({
+        judge(value) {
+            if (value === null) {
+                return null;
+            }
+            const valueType = (0, getValueType_1.getValueType)(value);
+            throw new error_1.JudgmentError([
+                {
+                    message: `Value is ${valueType}, expected null`,
+                    path: '',
+                },
+            ]);
+        },
+    });
+};
+exports.nil = nil;
+//# sourceMappingURL=nil.js.map

package/dist/cjs/validators/nil.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nil.js","sourceRoot":"","sources":["../../../src/validators/nil.ts"],"names":[],"mappings":";;;AAAA,oCAAyC;AAEzC,kDAA+C;AAC/C,kDAA+C;AAExC,MAAM,GAAG,GAAG,GAAoB,EAAE;IACvC,OAAO,IAAA,2BAAY,EAAC;QAClB,KAAK,CAAC,KAAK;YACT,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,SAAS,GAAG,IAAA,2BAAY,EAAC,KAAK,CAAC,CAAC;YACtC,MAAM,IAAI,qBAAa,CAAC;gBACtB;oBACE,OAAO,EAAE,YAAY,SAAS,iBAAiB;oBAC/C,IAAI,EAAE,EAAE;iBACT;aACF,CAAC,CAAC;QACL,CAAC;KACF,CAAC,CAAC;AACL,CAAC,CAAC;AAhBW,QAAA,GAAG,OAgBd"}

package/dist/cjs/validators/undef.d.ts

@@ -0,0 +1,3 @@
+import { Validator } from '../common';
+export declare const undef: () => Validator<undefined>;
+//# sourceMappingURL=undef.d.ts.map

package/dist/cjs/validators/undef.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"undef.d.ts","sourceRoot":"","sources":["../../../src/validators/undef.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAItC,eAAO,MAAM,KAAK,QAAO,SAAS,CAAC,SAAS,CAgB3C,CAAC"}

package/dist/cjs/validators/undef.js

@@ -0,0 +1,24 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.undef = void 0;
+const error_1 = require("../error");
+const getValueType_1 = require("../getValueType");
+const withTryJudge_1 = require("../withTryJudge");
+const undef = () => {
+    return (0, withTryJudge_1.withTryJudge)({
+        judge(value) {
+            if (value === undefined) {
+                return undefined;
+            }
+            const valueType = (0, getValueType_1.getValueType)(value);
+            throw new error_1.JudgmentError([
+                {
+                    message: `Value is ${valueType}, expected undefined`,
+                    path: '',
+                },
+            ]);
+        },
+    });
+};
+exports.undef = undef;
+//# sourceMappingURL=undef.js.map

package/dist/cjs/validators/undef.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"undef.js","sourceRoot":"","sources":["../../../src/validators/undef.ts"],"names":[],"mappings":";;;AAAA,oCAAyC;AAEzC,kDAA+C;AAC/C,kDAA+C;AAExC,MAAM,KAAK,GAAG,GAAyB,EAAE;IAC9C,OAAO,IAAA,2BAAY,EAAC;QAClB,KAAK,CAAC,KAAK;YACT,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,SAAS,GAAG,IAAA,2BAAY,EAAC,KAAK,CAAC,CAAC;YACtC,MAAM,IAAI,qBAAa,CAAC;gBACtB;oBACE,OAAO,EAAE,YAAY,SAAS,sBAAsB;oBACpD,IAAI,EAAE,EAAE;iBACT;aACF,CAAC,CAAC;QACL,CAAC;KACF,CAAC,CAAC;AACL,CAAC,CAAC;AAhBW,QAAA,KAAK,SAgBhB"}

package/dist/cjs/validators/unknown.d.ts

@@ -0,0 +1,3 @@
+import type { Validator } from '../common';
+export declare const unknown: () => Validator<unknown>;
+//# sourceMappingURL=unknown.d.ts.map

package/dist/cjs/validators/unknown.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unknown.d.ts","sourceRoot":"","sources":["../../../src/validators/unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAG3C,eAAO,MAAM,OAAO,QAAO,SAAS,CAAC,OAAO,CAM3C,CAAC"}

package/dist/cjs/validators/unknown.js

@@ -0,0 +1,13 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.unknown = void 0;
+const withTryJudge_1 = require("../withTryJudge");
+const unknown = () => {
+    return (0, withTryJudge_1.withTryJudge)({
+        judge(value) {
+            return value;
+        },
+    });
+};
+exports.unknown = unknown;
+//# sourceMappingURL=unknown.js.map

package/dist/cjs/validators/unknown.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unknown.js","sourceRoot":"","sources":["../../../src/validators/unknown.ts"],"names":[],"mappings":";;;AACA,kDAA+C;AAExC,MAAM,OAAO,GAAG,GAAuB,EAAE;IAC9C,OAAO,IAAA,2BAAY,EAAC;QAClB,KAAK,CAAC,KAAK;YACT,OAAO,KAAK,CAAC;QACf,CAAC;KACF,CAAC,CAAC;AACL,CAAC,CAAC;AANW,QAAA,OAAO,WAMlB"}

package/dist/esm/validators/index.d.ts

@@ -12,4 +12,8 @@ export * from './tuple';
 export * from './record';
 export * from './enum';
 export * from './date';
+export * from './undef';
+export * from './nil';
+export * from './unknown';
+export * from './intersection';
 //# sourceMappingURL=index.d.ts.map

package/dist/esm/validators/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/validators/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC;AACxB,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,SAAS,CAAC;AACxB,cAAc,UAAU,CAAC;AACzB,cAAc,QAAQ,CAAC;AACvB,cAAc,QAAQ,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/validators/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC;AACxB,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,SAAS,CAAC;AACxB,cAAc,UAAU,CAAC;AACzB,cAAc,QAAQ,CAAC;AACvB,cAAc,QAAQ,CAAC;AACvB,cAAc,SAAS,CAAC;AACxB,cAAc,OAAO,CAAC;AACtB,cAAc,WAAW,CAAC;AAC1B,cAAc,gBAAgB,CAAC"}

package/dist/esm/validators/index.js

@@ -12,4 +12,8 @@ export * from './tuple';
 export * from './record';
 export * from './enum';
 export * from './date';
+export * from './undef';
+export * from './nil';
+export * from './unknown';
+export * from './intersection';
 //# sourceMappingURL=index.js.map

package/dist/esm/validators/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/validators/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC;AACxB,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,SAAS,CAAC;AACxB,cAAc,UAAU,CAAC;AACzB,cAAc,QAAQ,CAAC;AACvB,cAAc,QAAQ,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/validators/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC;AACxB,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,SAAS,CAAC;AACxB,cAAc,UAAU,CAAC;AACzB,cAAc,QAAQ,CAAC;AACvB,cAAc,QAAQ,CAAC;AACvB,cAAc,SAAS,CAAC;AACxB,cAAc,OAAO,CAAC;AACtB,cAAc,WAAW,CAAC;AAC1B,cAAc,gBAAgB,CAAC"}

package/dist/esm/validators/intersection.d.ts

@@ -0,0 +1,7 @@
+import type { Validator, ExtractValidatorType } from '../common';
+export type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
+export type SimplifyDeep<T> = T extends Record<string, unknown> ? {
+    [K in keyof T]: SimplifyDeep<T[K]>;
+} & {} : T;
+export declare const intersection: <V extends Validator[]>(validators: [...V]) => Validator<SimplifyDeep<UnionToIntersection<ExtractValidatorType<V[number]>>>>;
+//# sourceMappingURL=intersection.d.ts.map

package/dist/esm/validators/intersection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intersection.d.ts","sourceRoot":"","sources":["../../../src/validators/intersection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AAKjE,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CACxF,CAAC,EAAE,MAAM,CAAC,KACP,IAAI,GACL,CAAC,GACD,KAAK,CAAC;AAmCV,MAAM,MAAM,YAAY,CAAC,CAAC,IAExB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAEtF,eAAO,MAAM,YAAY,GAAI,CAAC,SAAS,SAAS,EAAE,EAChD,YAAY,CAAC,GAAG,CAAC,CAAC,KACjB,SAAS,CAAC,YAAY,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAkC9E,CAAC"}

package/dist/esm/validators/intersection.js

@@ -0,0 +1,54 @@
+import { withTryJudge } from '../withTryJudge';
+import { JudgmentError } from '../error';
+const isObject = (item) => {
+    return (typeof item === 'object' && item !== null && !Array.isArray(item) && !(item instanceof Date));
+};
+// Helper for deep merging objects
+const deepMerge = (target, source) => {
+    if (!isObject(target) || !isObject(source)) {
+        return source;
+    }
+    return Object.keys(source).reduce((acc, key) => {
+        const targetValue = acc[key];
+        const sourceValue = source[key];
+        if (key in acc) {
+            return {
+                ...acc,
+                [key]: deepMerge(targetValue, sourceValue),
+            };
+        }
+        return {
+            ...acc,
+            [key]: sourceValue,
+        };
+    }, { ...target });
+};
+export const intersection = (validators) => {
+    return withTryJudge({
+        judge(value) {
+            const { result, issues } = validators.reduce((acc, validator) => {
+                try {
+                    const validValue = validator.judge(value);
+                    return {
+                        result: acc.result === undefined ? validValue : deepMerge(acc.result, validValue),
+                        issues: acc.issues,
+                    };
+                }
+                catch (error) {
+                    if (error instanceof JudgmentError) {
+                        return {
+                            result: acc.result,
+                            issues: [...acc.issues, ...error.issues],
+                        };
+                    }
+                    throw error;
+                }
+            }, { result: undefined, issues: [] });
+            if (issues.length > 0) {
+                throw new JudgmentError(issues);
+            }
+            return result;
+        },
+    });
+};
+//# sourceMappingURL=intersection.js.map

package/dist/esm/validators/intersection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intersection.js","sourceRoot":"","sources":["../../../src/validators/intersection.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAsB,MAAM,UAAU,CAAC;AAS7D,MAAM,QAAQ,GAAG,CAAC,IAAa,EAAmC,EAAE;IAClE,OAAO,CACL,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,YAAY,IAAI,CAAC,CAC7F,CAAC;AACJ,CAAC,CAAC;AAEF,kCAAkC;AAClC,MAAM,SAAS,GAAG,CAAC,MAAe,EAAE,MAAe,EAAW,EAAE;IAC9D,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAC/B,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;QACX,MAAM,WAAW,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAEhC,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;YACf,OAAO;gBACL,GAAG,GAAG;gBACN,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,WAAW,EAAE,WAAW,CAAC;aAC3C,CAAC;QACJ,CAAC;QACD,OAAO;YACL,GAAG,GAAG;YACN,CAAC,GAAG,CAAC,EAAE,WAAW;SACnB,CAAC;IACJ,CAAC,EACD,EAAE,GAAG,MAAM,EAAE,CACd,CAAC;AACJ,CAAC,CAAC;AAOF,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,UAAkB,EAC6D,EAAE;IACjF,OAAO,YAAY,CAAC;QAClB,KAAK,CAAC,KAAK;YACT,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC,MAAM,CAI1C,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE;gBACjB,IAAI,CAAC;oBACH,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBAC1C,OAAO;wBACL,MAAM,EAAE,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC;wBACjF,MAAM,EAAE,GAAG,CAAC,MAAM;qBACnB,CAAC;gBACJ,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,IAAI,KAAK,YAAY,aAAa,EAAE,CAAC;wBACnC,OAAO;4BACL,MAAM,EAAE,GAAG,CAAC,MAAM;4BAClB,MAAM,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;yBACzC,CAAC;oBACJ,CAAC;oBACD,MAAM,KAAK,CAAC;gBACd,CAAC;YACH,CAAC,EACD,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,CAClC,CAAC;YAEF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;YAClC,CAAC;YAED,OAAO,MAA4E,CAAC;QACtF,CAAC;KACF,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/esm/validators/nil.d.ts

@@ -0,0 +1,3 @@
+import { Validator } from '../common';
+export declare const nil: () => Validator<null>;
+//# sourceMappingURL=nil.d.ts.map

package/dist/esm/validators/nil.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nil.d.ts","sourceRoot":"","sources":["../../../src/validators/nil.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAItC,eAAO,MAAM,GAAG,QAAO,SAAS,CAAC,IAAI,CAgBpC,CAAC"}

package/dist/esm/validators/nil.js

@@ -0,0 +1,20 @@
+import { JudgmentError } from '../error';
+import { getValueType } from '../getValueType';
+import { withTryJudge } from '../withTryJudge';
+export const nil = () => {
+    return withTryJudge({
+        judge(value) {
+            if (value === null) {
+                return null;
+            }
+            const valueType = getValueType(value);
+            throw new JudgmentError([
+                {
+                    message: `Value is ${valueType}, expected null`,
+                    path: '',
+                },
+            ]);
+        },
+    });
+};
+//# sourceMappingURL=nil.js.map

package/dist/esm/validators/nil.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nil.js","sourceRoot":"","sources":["../../../src/validators/nil.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,CAAC,MAAM,GAAG,GAAG,GAAoB,EAAE;IACvC,OAAO,YAAY,CAAC;QAClB,KAAK,CAAC,KAAK;YACT,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,IAAI,aAAa,CAAC;gBACtB;oBACE,OAAO,EAAE,YAAY,SAAS,iBAAiB;oBAC/C,IAAI,EAAE,EAAE;iBACT;aACF,CAAC,CAAC;QACL,CAAC;KACF,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/esm/validators/undef.d.ts

@@ -0,0 +1,3 @@
+import { Validator } from '../common';
+export declare const undef: () => Validator<undefined>;
+//# sourceMappingURL=undef.d.ts.map

package/dist/esm/validators/undef.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"undef.d.ts","sourceRoot":"","sources":["../../../src/validators/undef.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAItC,eAAO,MAAM,KAAK,QAAO,SAAS,CAAC,SAAS,CAgB3C,CAAC"}

package/dist/esm/validators/undef.js

@@ -0,0 +1,20 @@
+import { JudgmentError } from '../error';
+import { getValueType } from '../getValueType';
+import { withTryJudge } from '../withTryJudge';
+export const undef = () => {
+    return withTryJudge({
+        judge(value) {
+            if (value === undefined) {
+                return undefined;
+            }
+            const valueType = getValueType(value);
+            throw new JudgmentError([
+                {
+                    message: `Value is ${valueType}, expected undefined`,
+                    path: '',
+                },
+            ]);
+        },
+    });
+};
+//# sourceMappingURL=undef.js.map

package/dist/esm/validators/undef.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"undef.js","sourceRoot":"","sources":["../../../src/validators/undef.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,CAAC,MAAM,KAAK,GAAG,GAAyB,EAAE;IAC9C,OAAO,YAAY,CAAC;QAClB,KAAK,CAAC,KAAK;YACT,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,IAAI,aAAa,CAAC;gBACtB;oBACE,OAAO,EAAE,YAAY,SAAS,sBAAsB;oBACpD,IAAI,EAAE,EAAE;iBACT;aACF,CAAC,CAAC;QACL,CAAC;KACF,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/esm/validators/unknown.d.ts

@@ -0,0 +1,3 @@
+import type { Validator } from '../common';
+export declare const unknown: () => Validator<unknown>;
+//# sourceMappingURL=unknown.d.ts.map

package/dist/esm/validators/unknown.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unknown.d.ts","sourceRoot":"","sources":["../../../src/validators/unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAG3C,eAAO,MAAM,OAAO,QAAO,SAAS,CAAC,OAAO,CAM3C,CAAC"}

package/dist/esm/validators/unknown.js

@@ -0,0 +1,9 @@
+import { withTryJudge } from '../withTryJudge';
+export const unknown = () => {
+    return withTryJudge({
+        judge(value) {
+            return value;
+        },
+    });
+};
+//# sourceMappingURL=unknown.js.map

package/dist/esm/validators/unknown.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unknown.js","sourceRoot":"","sources":["../../../src/validators/unknown.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,CAAC,MAAM,OAAO,GAAG,GAAuB,EAAE;IAC9C,OAAO,YAAY,CAAC;QAClB,KAAK,CAAC,KAAK;YACT,OAAO,KAAK,CAAC;QACf,CAAC;KACF,CAAC,CAAC;AACL,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "sibyl-ts",
-  "version": "0.3.1",
+  "version": "0.5.0",
   "description": "TypeScript validation library with type-safe validators",
   "type": "module",
   "main": "./dist/cjs/index.js",