@sinclair/typebox 0.25.23 → 0.26.0-dev

package/errors/errors.js

@@ -30,9 +30,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.ValueErrors = exports.ValueErrorsUnknownTypeError = exports.ValueErrorType = void 0;
 const Types = require("../typebox");
 const index_1 = require("../system/index");
-const index_2 = require("../format/index");
-const index_3 = require("../custom/index");
-const index_4 = require("../hash/index");
+const hash_1 = require("../value/hash");
 // -------------------------------------------------------------------
 // ValueErrorType
 // -------------------------------------------------------------------
@@ -42,51 +40,61 @@ var ValueErrorType;
     ValueErrorType[ValueErrorType["ArrayMinItems"] = 1] = "ArrayMinItems";
     ValueErrorType[ValueErrorType["ArrayMaxItems"] = 2] = "ArrayMaxItems";
     ValueErrorType[ValueErrorType["ArrayUniqueItems"] = 3] = "ArrayUniqueItems";
-    ValueErrorType[ValueErrorType["Boolean"] = 4] = "Boolean";
-    ValueErrorType[ValueErrorType["Date"] = 5] = "Date";
-    ValueErrorType[ValueErrorType["DateExclusiveMinimumTimestamp"] = 6] = "DateExclusiveMinimumTimestamp";
-    ValueErrorType[ValueErrorType["DateExclusiveMaximumTimestamp"] = 7] = "DateExclusiveMaximumTimestamp";
-    ValueErrorType[ValueErrorType["DateMinimumTimestamp"] = 8] = "DateMinimumTimestamp";
-    ValueErrorType[ValueErrorType["DateMaximumTimestamp"] = 9] = "DateMaximumTimestamp";
-    ValueErrorType[ValueErrorType["Function"] = 10] = "Function";
-    ValueErrorType[ValueErrorType["Integer"] = 11] = "Integer";
-    ValueErrorType[ValueErrorType["IntegerMultipleOf"] = 12] = "IntegerMultipleOf";
-    ValueErrorType[ValueErrorType["IntegerExclusiveMinimum"] = 13] = "IntegerExclusiveMinimum";
-    ValueErrorType[ValueErrorType["IntegerExclusiveMaximum"] = 14] = "IntegerExclusiveMaximum";
-    ValueErrorType[ValueErrorType["IntegerMinimum"] = 15] = "IntegerMinimum";
-    ValueErrorType[ValueErrorType["IntegerMaximum"] = 16] = "IntegerMaximum";
-    ValueErrorType[ValueErrorType["Literal"] = 17] = "Literal";
-    ValueErrorType[ValueErrorType["Never"] = 18] = "Never";
-    ValueErrorType[ValueErrorType["Null"] = 19] = "Null";
-    ValueErrorType[ValueErrorType["Number"] = 20] = "Number";
-    ValueErrorType[ValueErrorType["NumberMultipleOf"] = 21] = "NumberMultipleOf";
-    ValueErrorType[ValueErrorType["NumberExclusiveMinimum"] = 22] = "NumberExclusiveMinimum";
-    ValueErrorType[ValueErrorType["NumberExclusiveMaximum"] = 23] = "NumberExclusiveMaximum";
-    ValueErrorType[ValueErrorType["NumberMinumum"] = 24] = "NumberMinumum";
-    ValueErrorType[ValueErrorType["NumberMaximum"] = 25] = "NumberMaximum";
-    ValueErrorType[ValueErrorType["Object"] = 26] = "Object";
-    ValueErrorType[ValueErrorType["ObjectMinProperties"] = 27] = "ObjectMinProperties";
-    ValueErrorType[ValueErrorType["ObjectMaxProperties"] = 28] = "ObjectMaxProperties";
-    ValueErrorType[ValueErrorType["ObjectAdditionalProperties"] = 29] = "ObjectAdditionalProperties";
-    ValueErrorType[ValueErrorType["ObjectRequiredProperties"] = 30] = "ObjectRequiredProperties";
-    ValueErrorType[ValueErrorType["Promise"] = 31] = "Promise";
-    ValueErrorType[ValueErrorType["RecordKeyNumeric"] = 32] = "RecordKeyNumeric";
-    ValueErrorType[ValueErrorType["RecordKeyString"] = 33] = "RecordKeyString";
-    ValueErrorType[ValueErrorType["String"] = 34] = "String";
-    ValueErrorType[ValueErrorType["StringMinLength"] = 35] = "StringMinLength";
-    ValueErrorType[ValueErrorType["StringMaxLength"] = 36] = "StringMaxLength";
-    ValueErrorType[ValueErrorType["StringPattern"] = 37] = "StringPattern";
-    ValueErrorType[ValueErrorType["StringFormatUnknown"] = 38] = "StringFormatUnknown";
-    ValueErrorType[ValueErrorType["StringFormat"] = 39] = "StringFormat";
-    ValueErrorType[ValueErrorType["TupleZeroLength"] = 40] = "TupleZeroLength";
-    ValueErrorType[ValueErrorType["TupleLength"] = 41] = "TupleLength";
-    ValueErrorType[ValueErrorType["Undefined"] = 42] = "Undefined";
-    ValueErrorType[ValueErrorType["Union"] = 43] = "Union";
-    ValueErrorType[ValueErrorType["Uint8Array"] = 44] = "Uint8Array";
-    ValueErrorType[ValueErrorType["Uint8ArrayMinByteLength"] = 45] = "Uint8ArrayMinByteLength";
-    ValueErrorType[ValueErrorType["Uint8ArrayMaxByteLength"] = 46] = "Uint8ArrayMaxByteLength";
-    ValueErrorType[ValueErrorType["Void"] = 47] = "Void";
-    ValueErrorType[ValueErrorType["Custom"] = 48] = "Custom";
+    ValueErrorType[ValueErrorType["BigInt"] = 4] = "BigInt";
+    ValueErrorType[ValueErrorType["BigIntMultipleOf"] = 5] = "BigIntMultipleOf";
+    ValueErrorType[ValueErrorType["BigIntExclusiveMinimum"] = 6] = "BigIntExclusiveMinimum";
+    ValueErrorType[ValueErrorType["BigIntExclusiveMaximum"] = 7] = "BigIntExclusiveMaximum";
+    ValueErrorType[ValueErrorType["BigIntMinimum"] = 8] = "BigIntMinimum";
+    ValueErrorType[ValueErrorType["BigIntMaximum"] = 9] = "BigIntMaximum";
+    ValueErrorType[ValueErrorType["Boolean"] = 10] = "Boolean";
+    ValueErrorType[ValueErrorType["Date"] = 11] = "Date";
+    ValueErrorType[ValueErrorType["DateExclusiveMinimumTimestamp"] = 12] = "DateExclusiveMinimumTimestamp";
+    ValueErrorType[ValueErrorType["DateExclusiveMaximumTimestamp"] = 13] = "DateExclusiveMaximumTimestamp";
+    ValueErrorType[ValueErrorType["DateMinimumTimestamp"] = 14] = "DateMinimumTimestamp";
+    ValueErrorType[ValueErrorType["DateMaximumTimestamp"] = 15] = "DateMaximumTimestamp";
+    ValueErrorType[ValueErrorType["Function"] = 16] = "Function";
+    ValueErrorType[ValueErrorType["Integer"] = 17] = "Integer";
+    ValueErrorType[ValueErrorType["IntegerMultipleOf"] = 18] = "IntegerMultipleOf";
+    ValueErrorType[ValueErrorType["IntegerExclusiveMinimum"] = 19] = "IntegerExclusiveMinimum";
+    ValueErrorType[ValueErrorType["IntegerExclusiveMaximum"] = 20] = "IntegerExclusiveMaximum";
+    ValueErrorType[ValueErrorType["IntegerMinimum"] = 21] = "IntegerMinimum";
+    ValueErrorType[ValueErrorType["IntegerMaximum"] = 22] = "IntegerMaximum";
+    ValueErrorType[ValueErrorType["Intersect"] = 23] = "Intersect";
+    ValueErrorType[ValueErrorType["IntersectUnevaluatedProperties"] = 24] = "IntersectUnevaluatedProperties";
+    ValueErrorType[ValueErrorType["Literal"] = 25] = "Literal";
+    ValueErrorType[ValueErrorType["Never"] = 26] = "Never";
+    ValueErrorType[ValueErrorType["Not"] = 27] = "Not";
+    ValueErrorType[ValueErrorType["Null"] = 28] = "Null";
+    ValueErrorType[ValueErrorType["Number"] = 29] = "Number";
+    ValueErrorType[ValueErrorType["NumberMultipleOf"] = 30] = "NumberMultipleOf";
+    ValueErrorType[ValueErrorType["NumberExclusiveMinimum"] = 31] = "NumberExclusiveMinimum";
+    ValueErrorType[ValueErrorType["NumberExclusiveMaximum"] = 32] = "NumberExclusiveMaximum";
+    ValueErrorType[ValueErrorType["NumberMinumum"] = 33] = "NumberMinumum";
+    ValueErrorType[ValueErrorType["NumberMaximum"] = 34] = "NumberMaximum";
+    ValueErrorType[ValueErrorType["Object"] = 35] = "Object";
+    ValueErrorType[ValueErrorType["ObjectMinProperties"] = 36] = "ObjectMinProperties";
+    ValueErrorType[ValueErrorType["ObjectMaxProperties"] = 37] = "ObjectMaxProperties";
+    ValueErrorType[ValueErrorType["ObjectAdditionalProperties"] = 38] = "ObjectAdditionalProperties";
+    ValueErrorType[ValueErrorType["ObjectRequiredProperties"] = 39] = "ObjectRequiredProperties";
+    ValueErrorType[ValueErrorType["Promise"] = 40] = "Promise";
+    ValueErrorType[ValueErrorType["RecordKeyNumeric"] = 41] = "RecordKeyNumeric";
+    ValueErrorType[ValueErrorType["RecordKeyString"] = 42] = "RecordKeyString";
+    ValueErrorType[ValueErrorType["String"] = 43] = "String";
+    ValueErrorType[ValueErrorType["StringMinLength"] = 44] = "StringMinLength";
+    ValueErrorType[ValueErrorType["StringMaxLength"] = 45] = "StringMaxLength";
+    ValueErrorType[ValueErrorType["StringPattern"] = 46] = "StringPattern";
+    ValueErrorType[ValueErrorType["StringFormatUnknown"] = 47] = "StringFormatUnknown";
+    ValueErrorType[ValueErrorType["StringFormat"] = 48] = "StringFormat";
+    ValueErrorType[ValueErrorType["Symbol"] = 49] = "Symbol";
+    ValueErrorType[ValueErrorType["TupleZeroLength"] = 50] = "TupleZeroLength";
+    ValueErrorType[ValueErrorType["TupleLength"] = 51] = "TupleLength";
+    ValueErrorType[ValueErrorType["Undefined"] = 52] = "Undefined";
+    ValueErrorType[ValueErrorType["Union"] = 53] = "Union";
+    ValueErrorType[ValueErrorType["Uint8Array"] = 54] = "Uint8Array";
+    ValueErrorType[ValueErrorType["Uint8ArrayMinByteLength"] = 55] = "Uint8ArrayMinByteLength";
+    ValueErrorType[ValueErrorType["Uint8ArrayMaxByteLength"] = 56] = "Uint8ArrayMaxByteLength";
+    ValueErrorType[ValueErrorType["Void"] = 57] = "Void";
+    ValueErrorType[ValueErrorType["Custom"] = 58] = "Custom";
 })(ValueErrorType = exports.ValueErrorType || (exports.ValueErrorType = {}));
 // -------------------------------------------------------------------
 // ValueErrors
@@ -101,11 +109,14 @@ exports.ValueErrorsUnknownTypeError = ValueErrorsUnknownTypeError;
 /** Provides functionality to generate a sequence of errors against a TypeBox type.  */
 var ValueErrors;
 (function (ValueErrors) {
+    function IsBigInt(value) {
+        return typeof value === 'bigint';
+    }
     function IsNumber(value) {
-        return typeof value === 'number' && !isNaN(value);
+        return typeof value === 'number' && globalThis.isFinite(value);
     }
-    function* Any(schema, references, path, value) { }
-    function* Array(schema, references, path, value) {
+    function* Any(schema, path, value) { }
+    function* Array(schema, path, value) {
         if (!globalThis.Array.isArray(value)) {
             return yield { type: ValueErrorType.Array, schema, path, value, message: `Expected array` };
         }
@@ -117,7 +128,7 @@ var ValueErrors;
         }
         // prettier-ignore
         if (schema.uniqueItems === true && !((function () { const set = new Set(); for (const element of value) {
-            const hashed = index_4.ValueHash.Create(element);
+            const hashed = hash_1.ValueHash.Create(element);
             if (set.has(hashed)) {
                 return false;
             }
@@ -128,22 +139,42 @@ var ValueErrors;
             yield { type: ValueErrorType.ArrayUniqueItems, schema, path, value, message: `Expected array elements to be unique` };
         }
         for (let i = 0; i < value.length; i++) {
-            yield* Visit(schema.items, references, `${path}/${i}`, value[i]);
+            yield* Visit(schema.items, `${path}/${i}`, value[i]);
+        }
+    }
+    function* BigInt(schema, path, value) {
+        if (!(typeof value === 'bigint')) {
+            return yield { type: ValueErrorType.BigInt, schema, path, value, message: `Expected bigint` };
+        }
+        if (IsBigInt(schema.multipleOf) && !(value % schema.multipleOf === globalThis.BigInt(0))) {
+            yield { type: ValueErrorType.BigIntMultipleOf, schema, path, value, message: `Expected bigint to be a multiple of ${schema.multipleOf}` };
+        }
+        if (IsBigInt(schema.exclusiveMinimum) && !(value > schema.exclusiveMinimum)) {
+            yield { type: ValueErrorType.BigIntExclusiveMinimum, schema, path, value, message: `Expected bigint to be greater than ${schema.exclusiveMinimum}` };
+        }
+        if (IsBigInt(schema.exclusiveMaximum) && !(value < schema.exclusiveMaximum)) {
+            yield { type: ValueErrorType.BigIntExclusiveMaximum, schema, path, value, message: `Expected bigint to be less than ${schema.exclusiveMaximum}` };
+        }
+        if (IsBigInt(schema.minimum) && !(value >= schema.minimum)) {
+            yield { type: ValueErrorType.BigIntMinimum, schema, path, value, message: `Expected bigint to be greater or equal to ${schema.minimum}` };
+        }
+        if (IsBigInt(schema.maximum) && !(value <= schema.maximum)) {
+            yield { type: ValueErrorType.BigIntMaximum, schema, path, value, message: `Expected bigint to be less or equal to ${schema.maximum}` };
         }
     }
-    function* Boolean(schema, references, path, value) {
+    function* Boolean(schema, path, value) {
         if (!(typeof value === 'boolean')) {
             return yield { type: ValueErrorType.Boolean, schema, path, value, message: `Expected boolean` };
         }
     }
-    function* Constructor(schema, references, path, value) {
-        yield* Visit(schema.returns, references, path, value.prototype);
+    function* Constructor(schema, path, value) {
+        yield* Visit(schema.returns, path, value.prototype);
     }
-    function* Date(schema, references, path, value) {
+    function* Date(schema, path, value) {
         if (!(value instanceof globalThis.Date)) {
             return yield { type: ValueErrorType.Date, schema, path, value, message: `Expected Date object` };
         }
-        if (isNaN(value.getTime())) {
+        if (!globalThis.isFinite(value.getTime())) {
             return yield { type: ValueErrorType.Date, schema, path, value, message: `Invalid Date` };
         }
         if (IsNumber(schema.exclusiveMinimumTimestamp) && !(value.getTime() > schema.exclusiveMinimumTimestamp)) {
@@ -159,12 +190,12 @@ var ValueErrors;
             yield { type: ValueErrorType.DateMaximumTimestamp, schema, path, value, message: `Expected Date timestamp to be less or equal to ${schema.maximum}` };
         }
     }
-    function* Function(schema, references, path, value) {
+    function* Function(schema, path, value) {
         if (!(typeof value === 'function')) {
             return yield { type: ValueErrorType.Function, schema, path, value, message: `Expected function` };
         }
     }
-    function* Integer(schema, references, path, value) {
+    function* Integer(schema, path, value) {
         if (!(typeof value === 'number' && globalThis.Number.isInteger(value))) {
             return yield { type: ValueErrorType.Integer, schema, path, value, message: `Expected integer` };
         }
@@ -184,28 +215,67 @@ var ValueErrors;
             yield { type: ValueErrorType.IntegerMaximum, schema, path, value, message: `Expected integer to be less or equal to ${schema.maximum}` };
         }
     }
-    function* Literal(schema, references, path, value) {
+    function* Intersect(schema, path, value) {
+        for (const subschema of schema.allOf) {
+            const next = Visit(subschema, path, value).next();
+            if (!next.done) {
+                yield next.value;
+                yield { type: ValueErrorType.Intersect, schema, path, value, message: `Expected all sub schemas to be valid` };
+                return;
+            }
+        }
+        if (schema.unevaluatedProperties === false) {
+            const schemaKeys = Types.KeyResolver.Resolve(schema);
+            const valueKeys = globalThis.Object.getOwnPropertyNames(value);
+            for (const valueKey of valueKeys) {
+                if (!schemaKeys.includes(valueKey)) {
+                    yield { type: ValueErrorType.IntersectUnevaluatedProperties, schema, path: `${path}/${valueKey}`, value, message: `Unexpected property` };
+                }
+            }
+        }
+        if (typeof schema.unevaluatedProperties === 'object') {
+            const schemaKeys = Types.KeyResolver.Resolve(schema);
+            const valueKeys = globalThis.Object.getOwnPropertyNames(value);
+            for (const valueKey of valueKeys) {
+                if (!schemaKeys.includes(valueKey)) {
+                    const next = Visit(schema.unevaluatedProperties, `${path}/${valueKey}`, value[valueKey]).next();
+                    if (!next.done) {
+                        yield next.value;
+                        yield { type: ValueErrorType.IntersectUnevaluatedProperties, schema, path: `${path}/${valueKey}`, value, message: `Invalid additional property` };
+                        return;
+                    }
+                }
+            }
+        }
+    }
+    function* Literal(schema, path, value) {
         if (!(value === schema.const)) {
             const error = typeof schema.const === 'string' ? `'${schema.const}'` : schema.const;
             return yield { type: ValueErrorType.Literal, schema, path, value, message: `Expected ${error}` };
         }
     }
-    function* Never(schema, references, path, value) {
+    function* Never(schema, path, value) {
         yield { type: ValueErrorType.Never, schema, path, value, message: `Value cannot be validated` };
     }
-    function* Null(schema, references, path, value) {
+    function* Not(schema, path, value) {
+        if (Visit(schema.allOf[0].not, path, value).next().done === true) {
+            yield { type: ValueErrorType.Not, schema, path, value, message: `Value should not validate` };
+        }
+        yield* Visit(schema.allOf[1], path, value);
+    }
+    function* Null(schema, path, value) {
         if (!(value === null)) {
             return yield { type: ValueErrorType.Null, schema, path, value, message: `Expected null` };
         }
     }
-    function* Number(schema, references, path, value) {
+    function* Number(schema, path, value) {
         if (index_1.TypeSystem.AllowNaN) {
             if (!(typeof value === 'number')) {
                 return yield { type: ValueErrorType.Number, schema, path, value, message: `Expected number` };
             }
         }
         else {
-            if (!(typeof value === 'number' && !isNaN(value))) {
+            if (!(typeof value === 'number' && globalThis.Number.isFinite(value))) {
                 return yield { type: ValueErrorType.Number, schema, path, value, message: `Expected number` };
             }
         }
@@ -225,7 +295,7 @@ var ValueErrors;
             yield { type: ValueErrorType.NumberMinumum, schema, path, value, message: `Expected number to be less or equal to ${schema.maximum}` };
         }
     }
-    function* Object(schema, references, path, value) {
+    function* Object(schema, path, value) {
         if (index_1.TypeSystem.AllowArrayObjects) {
             if (!(typeof value === 'object' && value !== null)) {
                 return yield { type: ValueErrorType.Object, schema, path, value, message: `Expected object` };
@@ -242,47 +312,49 @@ var ValueErrors;
         if (IsNumber(schema.maxProperties) && !(globalThis.Object.getOwnPropertyNames(value).length <= schema.maxProperties)) {
             yield { type: ValueErrorType.ObjectMaxProperties, schema, path, value, message: `Expected object to have less than ${schema.minProperties} properties` };
         }
-        const propertyNames = globalThis.Object.getOwnPropertyNames(schema.properties);
-        if (schema.additionalProperties === false) {
-            for (const propertyName of globalThis.Object.getOwnPropertyNames(value)) {
-                if (!propertyNames.includes(propertyName)) {
-                    yield { type: ValueErrorType.ObjectAdditionalProperties, schema, path: `${path}/${propertyName}`, value: value[propertyName], message: `Unexpected property` };
+        const requiredKeys = globalThis.Array.isArray(schema.required) ? schema.required : [];
+        const schemaKeys = globalThis.Object.getOwnPropertyNames(schema.properties);
+        const valueKeys = globalThis.Object.getOwnPropertyNames(value);
+        for (const schemaKey of schemaKeys) {
+            const property = schema.properties[schemaKey];
+            if (schema.required && schema.required.includes(schemaKey)) {
+                yield* Visit(property, `${path}/${schemaKey}`, value[schemaKey]);
+                if (Types.ExtendsUndefined.Check(schema) && !(schemaKey in value)) {
+                    yield { type: ValueErrorType.ObjectRequiredProperties, schema: property, path: `${path}/${schemaKey}`, value: undefined, message: `Expected required property` };
+                }
+            }
+            else {
+                if (schemaKey in value) {
+                    yield* Visit(property, `${path}/${schemaKey}`, value[schemaKey]);
                 }
             }
         }
-        if (schema.required && schema.required.length > 0) {
-            const propertyNames = globalThis.Object.getOwnPropertyNames(value);
-            for (const requiredKey of schema.required) {
-                if (propertyNames.includes(requiredKey))
-                    continue;
-                yield { type: ValueErrorType.ObjectRequiredProperties, schema: schema.properties[requiredKey], path: `${path}/${requiredKey}`, value: undefined, message: `Expected required property` };
+        for (const requiredKey of requiredKeys) {
+            if (valueKeys.includes(requiredKey))
+                continue;
+            yield { type: ValueErrorType.ObjectRequiredProperties, schema: schema.properties[requiredKey], path: `${path}/${requiredKey}`, value: undefined, message: `Expected required property` };
+        }
+        if (schema.additionalProperties === false) {
+            for (const valueKey of valueKeys) {
+                if (!schemaKeys.includes(valueKey)) {
+                    yield { type: ValueErrorType.ObjectAdditionalProperties, schema, path: `${path}/${valueKey}`, value: value[valueKey], message: `Unexpected property` };
+                }
             }
         }
         if (typeof schema.additionalProperties === 'object') {
-            for (const propertyName of globalThis.Object.getOwnPropertyNames(value)) {
-                if (propertyNames.includes(propertyName))
+            for (const valueKey of valueKeys) {
+                if (schemaKeys.includes(valueKey))
                     continue;
-                yield* Visit(schema.additionalProperties, references, `${path}/${propertyName}`, value[propertyName]);
-            }
-        }
-        for (const propertyKey of propertyNames) {
-            const propertySchema = schema.properties[propertyKey];
-            if (schema.required && schema.required.includes(propertyKey)) {
-                yield* Visit(propertySchema, references, `${path}/${propertyKey}`, value[propertyKey]);
-            }
-            else {
-                if (value[propertyKey] !== undefined) {
-                    yield* Visit(propertySchema, references, `${path}/${propertyKey}`, value[propertyKey]);
-                }
+                yield* Visit(schema.additionalProperties, `${path}/${valueKey}`, value[valueKey]);
             }
         }
     }
-    function* Promise(schema, references, path, value) {
+    function* Promise(schema, path, value) {
         if (!(typeof value === 'object' && typeof value.then === 'function')) {
             yield { type: ValueErrorType.Promise, schema, path, value, message: `Expected Promise` };
         }
     }
-    function* Record(schema, references, path, value) {
+    function* Record(schema, path, value) {
         if (index_1.TypeSystem.AllowArrayObjects) {
             if (!(typeof value === 'object' && value !== null && !(value instanceof globalThis.Date))) {
                 return yield { type: ValueErrorType.Object, schema, path, value, message: `Expected object` };
@@ -302,22 +374,16 @@ var ValueErrors;
             return yield { type, schema, path, value, message };
         }
         for (const [propKey, propValue] of globalThis.Object.entries(value)) {
-            yield* Visit(valueSchema, references, `${path}/${propKey}`, propValue);
+            yield* Visit(valueSchema, `${path}/${propKey}`, propValue);
         }
     }
-    function* Ref(schema, references, path, value) {
-        const reference = references.find((reference) => reference.$id === schema.$ref);
-        if (reference === undefined)
-            throw new Error(`ValueErrors.Ref: Cannot find schema with $id '${schema.$ref}'.`);
-        yield* Visit(reference, references, path, value);
+    function* Ref(schema, path, value) {
+        yield* Visit(Types.ReferenceRegistry.DerefOne(schema), path, value);
     }
-    function* Self(schema, references, path, value) {
-        const reference = references.find((reference) => reference.$id === schema.$ref);
-        if (reference === undefined)
-            throw new Error(`ValueErrors.Self: Cannot find schema with $id '${schema.$ref}'.`);
-        yield* Visit(reference, references, path, value);
+    function* Self(schema, path, value) {
+        yield* Visit(Types.ReferenceRegistry.DerefOne(schema), path, value);
     }
-    function* String(schema, references, path, value) {
+    function* String(schema, path, value) {
         if (!(typeof value === 'string')) {
             return yield { type: ValueErrorType.String, schema, path, value, message: 'Expected string' };
         }
@@ -334,18 +400,23 @@ var ValueErrors;
             }
         }
         if (schema.format !== undefined) {
-            if (!index_2.Format.Has(schema.format)) {
+            if (!Types.FormatRegistry.Has(schema.format)) {
                 yield { type: ValueErrorType.StringFormatUnknown, schema, path, value, message: `Unknown string format '${schema.format}'` };
             }
             else {
-                const format = index_2.Format.Get(schema.format);
+                const format = Types.FormatRegistry.Get(schema.format);
                 if (!format(value)) {
                     yield { type: ValueErrorType.StringFormat, schema, path, value, message: `Expected string to match format '${schema.format}'` };
                 }
             }
         }
     }
-    function* Tuple(schema, references, path, value) {
+    function* Symbol(schema, path, value) {
+        if (!(typeof value === 'symbol')) {
+            return yield { type: ValueErrorType.Symbol, schema, path, value, message: 'Expected symbol' };
+        }
+    }
+    function* Tuple(schema, path, value) {
         if (!globalThis.Array.isArray(value)) {
             return yield { type: ValueErrorType.Array, schema, path, value, message: 'Expected Array' };
         }
@@ -359,18 +430,18 @@ var ValueErrors;
             return;
         }
         for (let i = 0; i < schema.items.length; i++) {
-            yield* Visit(schema.items[i], references, `${path}/${i}`, value[i]);
+            yield* Visit(schema.items[i], `${path}/${i}`, value[i]);
         }
     }
-    function* Undefined(schema, references, path, value) {
+    function* Undefined(schema, path, value) {
         if (!(value === undefined)) {
             yield { type: ValueErrorType.Undefined, schema, path, value, message: `Expected undefined` };
         }
     }
-    function* Union(schema, references, path, value) {
+    function* Union(schema, path, value) {
         const errors = [];
         for (const inner of schema.anyOf) {
-            const variantErrors = [...Visit(inner, references, path, value)];
+            const variantErrors = [...Visit(inner, path, value)];
             if (variantErrors.length === 0)
                 return;
             errors.push(...variantErrors);
@@ -382,7 +453,7 @@ var ValueErrors;
             yield { type: ValueErrorType.Union, schema, path, value, message: 'Expected value of union' };
         }
     }
-    function* Uint8Array(schema, references, path, value) {
+    function* Uint8Array(schema, path, value) {
         if (!(value instanceof globalThis.Uint8Array)) {
             return yield { type: ValueErrorType.Uint8Array, schema, path, value, message: `Expected Uint8Array` };
         }
@@ -393,76 +464,90 @@ var ValueErrors;
             yield { type: ValueErrorType.Uint8ArrayMinByteLength, schema, path, value, message: `Expected Uint8Array to have a byte length greater or equal to ${schema.maxByteLength}` };
         }
     }
-    function* Unknown(schema, references, path, value) { }
-    function* Void(schema, references, path, value) {
-        if (!(value === null)) {
-            return yield { type: ValueErrorType.Void, schema, path, value, message: `Expected null` };
+    function* Unknown(schema, path, value) { }
+    function* Void(schema, path, value) {
+        if (index_1.TypeSystem.AllowVoidNull) {
+            if (!(value === undefined || value === null)) {
+                return yield { type: ValueErrorType.Void, schema, path, value, message: `Expected null or undefined` };
+            }
+        }
+        else {
+            if (!(value === undefined)) {
+                return yield { type: ValueErrorType.Void, schema, path, value, message: `Expected undefined` };
+            }
         }
     }
-    function* UserDefined(schema, references, path, value) {
-        const func = index_3.Custom.Get(schema[Types.Kind]);
-        if (!func(schema, value)) {
+    function* UserDefined(schema, path, value) {
+        const check = Types.TypeRegistry.Get(schema[Types.Kind]);
+        if (!check(schema, value)) {
             return yield { type: ValueErrorType.Custom, schema, path, value, message: `Expected kind ${schema[Types.Kind]}` };
         }
     }
-    function* Visit(schema, references, path, value) {
-        const anyReferences = schema.$id === undefined ? references : [schema, ...references];
+    function* Visit(schema, path, value) {
         const anySchema = schema;
         switch (anySchema[Types.Kind]) {
             case 'Any':
-                return yield* Any(anySchema, anyReferences, path, value);
+                return yield* Any(anySchema, path, value);
             case 'Array':
-                return yield* Array(anySchema, anyReferences, path, value);
+                return yield* Array(anySchema, path, value);
+            case 'BigInt':
+                return yield* BigInt(anySchema, path, value);
             case 'Boolean':
-                return yield* Boolean(anySchema, anyReferences, path, value);
+                return yield* Boolean(anySchema, path, value);
             case 'Constructor':
-                return yield* Constructor(anySchema, anyReferences, path, value);
+                return yield* Constructor(anySchema, path, value);
             case 'Date':
-                return yield* Date(anySchema, anyReferences, path, value);
+                return yield* Date(anySchema, path, value);
             case 'Function':
-                return yield* Function(anySchema, anyReferences, path, value);
+                return yield* Function(anySchema, path, value);
             case 'Integer':
-                return yield* Integer(anySchema, anyReferences, path, value);
+                return yield* Integer(anySchema, path, value);
+            case 'Intersect':
+                return yield* Intersect(anySchema, path, value);
             case 'Literal':
-                return yield* Literal(anySchema, anyReferences, path, value);
+                return yield* Literal(anySchema, path, value);
             case 'Never':
-                return yield* Never(anySchema, anyReferences, path, value);
+                return yield* Never(anySchema, path, value);
+            case 'Not':
+                return yield* Not(anySchema, path, value);
             case 'Null':
-                return yield* Null(anySchema, anyReferences, path, value);
+                return yield* Null(anySchema, path, value);
             case 'Number':
-                return yield* Number(anySchema, anyReferences, path, value);
+                return yield* Number(anySchema, path, value);
             case 'Object':
-                return yield* Object(anySchema, anyReferences, path, value);
+                return yield* Object(anySchema, path, value);
             case 'Promise':
-                return yield* Promise(anySchema, anyReferences, path, value);
+                return yield* Promise(anySchema, path, value);
             case 'Record':
-                return yield* Record(anySchema, anyReferences, path, value);
+                return yield* Record(anySchema, path, value);
             case 'Ref':
-                return yield* Ref(anySchema, anyReferences, path, value);
+                return yield* Ref(anySchema, path, value);
             case 'Self':
-                return yield* Self(anySchema, anyReferences, path, value);
+                return yield* Self(anySchema, path, value);
             case 'String':
-                return yield* String(anySchema, anyReferences, path, value);
+                return yield* String(anySchema, path, value);
+            case 'Symbol':
+                return yield* Symbol(anySchema, path, value);
             case 'Tuple':
-                return yield* Tuple(anySchema, anyReferences, path, value);
+                return yield* Tuple(anySchema, path, value);
             case 'Undefined':
-                return yield* Undefined(anySchema, anyReferences, path, value);
+                return yield* Undefined(anySchema, path, value);
             case 'Union':
-                return yield* Union(anySchema, anyReferences, path, value);
+                return yield* Union(anySchema, path, value);
             case 'Uint8Array':
-                return yield* Uint8Array(anySchema, anyReferences, path, value);
+                return yield* Uint8Array(anySchema, path, value);
             case 'Unknown':
-                return yield* Unknown(anySchema, anyReferences, path, value);
+                return yield* Unknown(anySchema, path, value);
             case 'Void':
-                return yield* Void(anySchema, anyReferences, path, value);
+                return yield* Void(anySchema, path, value);
             default:
-                if (!index_3.Custom.Has(anySchema[Types.Kind]))
+                if (!Types.TypeRegistry.Has(anySchema[Types.Kind]))
                     throw new ValueErrorsUnknownTypeError(schema);
-                return yield* UserDefined(anySchema, anyReferences, path, value);
+                return yield* UserDefined(anySchema, path, value);
         }
     }
-    function* Errors(schema, references, value) {
-        yield* Visit(schema, references, '', value);
+    function* Errors(schema, value) {
+        yield* Visit(schema, '', value);
     }
     ValueErrors.Errors = Errors;
 })(ValueErrors = exports.ValueErrors || (exports.ValueErrors = {}));

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sinclair/typebox",
-  "version": "0.25.23",
+  "version": "0.26.0-dev",
   "description": "JSONSchema Type Builder with Static Type Resolution for TypeScript",
   "keywords": [
     "typescript",
@@ -14,12 +14,7 @@
   "types": "./typebox.d.ts",
   "exports": {
     "./compiler": "./compiler/index.js",
-    "./conditional": "./conditional/index.js",
-    "./custom": "./custom/index.js",
     "./errors": "./errors/index.js",
-    "./format": "./format/index.js",
-    "./guard": "./guard/index.js",
-    "./hash": "./hash/index.js",
     "./system": "./system/index.js",
     "./value": "./value/index.js",
     ".": "./typebox.js"