@sinclair/typebox 0.29.6 → 0.30.0-dev-2

package/errors/errors.js

@@ -1,6 +1,4 @@
 "use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ValueErrors = exports.ValueErrorsDereferenceError = exports.ValueErrorsUnknownTypeError = exports.ValueErrorIterator = exports.ValueErrorType = void 0;
 /*--------------------------------------------------------------------------
 
 @sinclair/typebox/errors
@@ -28,77 +26,85 @@ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 THE SOFTWARE.
 
 ---------------------------------------------------------------------------*/
-const Types = require("../typebox");
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Errors = exports.ValueErrorsDereferenceError = exports.ValueErrorsUnknownTypeError = exports.ValueErrorIterator = exports.ValueErrorType = void 0;
 const index_1 = require("../system/index");
-const hash_1 = require("../value/hash");
-// -------------------------------------------------------------------
+const Types = require("../typebox");
+const ValueHash = require("../value/hash");
+const ValueGuard = require("../value/guard");
+// --------------------------------------------------------------------------
 // ValueErrorType
-// -------------------------------------------------------------------
+// --------------------------------------------------------------------------
 var ValueErrorType;
 (function (ValueErrorType) {
     ValueErrorType[ValueErrorType["Array"] = 0] = "Array";
     ValueErrorType[ValueErrorType["ArrayMinItems"] = 1] = "ArrayMinItems";
     ValueErrorType[ValueErrorType["ArrayMaxItems"] = 2] = "ArrayMaxItems";
-    ValueErrorType[ValueErrorType["ArrayUniqueItems"] = 3] = "ArrayUniqueItems";
-    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["NumberMinimum"] = 33] = "NumberMinimum";
-    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[ValueErrorType["ArrayContains"] = 3] = "ArrayContains";
+    ValueErrorType[ValueErrorType["ArrayMinContains"] = 4] = "ArrayMinContains";
+    ValueErrorType[ValueErrorType["ArrayMaxContains"] = 5] = "ArrayMaxContains";
+    ValueErrorType[ValueErrorType["ArrayUniqueItems"] = 6] = "ArrayUniqueItems";
+    ValueErrorType[ValueErrorType["AsyncIterator"] = 7] = "AsyncIterator";
+    ValueErrorType[ValueErrorType["BigInt"] = 8] = "BigInt";
+    ValueErrorType[ValueErrorType["BigIntMultipleOf"] = 9] = "BigIntMultipleOf";
+    ValueErrorType[ValueErrorType["BigIntExclusiveMinimum"] = 10] = "BigIntExclusiveMinimum";
+    ValueErrorType[ValueErrorType["BigIntExclusiveMaximum"] = 11] = "BigIntExclusiveMaximum";
+    ValueErrorType[ValueErrorType["BigIntMinimum"] = 12] = "BigIntMinimum";
+    ValueErrorType[ValueErrorType["BigIntMaximum"] = 13] = "BigIntMaximum";
+    ValueErrorType[ValueErrorType["Boolean"] = 14] = "Boolean";
+    ValueErrorType[ValueErrorType["Date"] = 15] = "Date";
+    ValueErrorType[ValueErrorType["DateExclusiveMinimumTimestamp"] = 16] = "DateExclusiveMinimumTimestamp";
+    ValueErrorType[ValueErrorType["DateExclusiveMaximumTimestamp"] = 17] = "DateExclusiveMaximumTimestamp";
+    ValueErrorType[ValueErrorType["DateMinimumTimestamp"] = 18] = "DateMinimumTimestamp";
+    ValueErrorType[ValueErrorType["DateMaximumTimestamp"] = 19] = "DateMaximumTimestamp";
+    ValueErrorType[ValueErrorType["Function"] = 20] = "Function";
+    ValueErrorType[ValueErrorType["Integer"] = 21] = "Integer";
+    ValueErrorType[ValueErrorType["IntegerMultipleOf"] = 22] = "IntegerMultipleOf";
+    ValueErrorType[ValueErrorType["IntegerExclusiveMinimum"] = 23] = "IntegerExclusiveMinimum";
+    ValueErrorType[ValueErrorType["IntegerExclusiveMaximum"] = 24] = "IntegerExclusiveMaximum";
+    ValueErrorType[ValueErrorType["IntegerMinimum"] = 25] = "IntegerMinimum";
+    ValueErrorType[ValueErrorType["IntegerMaximum"] = 26] = "IntegerMaximum";
+    ValueErrorType[ValueErrorType["Intersect"] = 27] = "Intersect";
+    ValueErrorType[ValueErrorType["IntersectUnevaluatedProperties"] = 28] = "IntersectUnevaluatedProperties";
+    ValueErrorType[ValueErrorType["Iterator"] = 29] = "Iterator";
+    ValueErrorType[ValueErrorType["Literal"] = 30] = "Literal";
+    ValueErrorType[ValueErrorType["Never"] = 31] = "Never";
+    ValueErrorType[ValueErrorType["Not"] = 32] = "Not";
+    ValueErrorType[ValueErrorType["Null"] = 33] = "Null";
+    ValueErrorType[ValueErrorType["Number"] = 34] = "Number";
+    ValueErrorType[ValueErrorType["NumberMultipleOf"] = 35] = "NumberMultipleOf";
+    ValueErrorType[ValueErrorType["NumberExclusiveMinimum"] = 36] = "NumberExclusiveMinimum";
+    ValueErrorType[ValueErrorType["NumberExclusiveMaximum"] = 37] = "NumberExclusiveMaximum";
+    ValueErrorType[ValueErrorType["NumberMinimum"] = 38] = "NumberMinimum";
+    ValueErrorType[ValueErrorType["NumberMaximum"] = 39] = "NumberMaximum";
+    ValueErrorType[ValueErrorType["Object"] = 40] = "Object";
+    ValueErrorType[ValueErrorType["ObjectMinProperties"] = 41] = "ObjectMinProperties";
+    ValueErrorType[ValueErrorType["ObjectMaxProperties"] = 42] = "ObjectMaxProperties";
+    ValueErrorType[ValueErrorType["ObjectAdditionalProperties"] = 43] = "ObjectAdditionalProperties";
+    ValueErrorType[ValueErrorType["ObjectRequiredProperties"] = 44] = "ObjectRequiredProperties";
+    ValueErrorType[ValueErrorType["Promise"] = 45] = "Promise";
+    ValueErrorType[ValueErrorType["RecordKeyNumeric"] = 46] = "RecordKeyNumeric";
+    ValueErrorType[ValueErrorType["RecordKeyString"] = 47] = "RecordKeyString";
+    ValueErrorType[ValueErrorType["String"] = 48] = "String";
+    ValueErrorType[ValueErrorType["StringMinLength"] = 49] = "StringMinLength";
+    ValueErrorType[ValueErrorType["StringMaxLength"] = 50] = "StringMaxLength";
+    ValueErrorType[ValueErrorType["StringPattern"] = 51] = "StringPattern";
+    ValueErrorType[ValueErrorType["StringFormatUnknown"] = 52] = "StringFormatUnknown";
+    ValueErrorType[ValueErrorType["StringFormat"] = 53] = "StringFormat";
+    ValueErrorType[ValueErrorType["Symbol"] = 54] = "Symbol";
+    ValueErrorType[ValueErrorType["TupleZeroLength"] = 55] = "TupleZeroLength";
+    ValueErrorType[ValueErrorType["TupleLength"] = 56] = "TupleLength";
+    ValueErrorType[ValueErrorType["Undefined"] = 57] = "Undefined";
+    ValueErrorType[ValueErrorType["Union"] = 58] = "Union";
+    ValueErrorType[ValueErrorType["Uint8Array"] = 59] = "Uint8Array";
+    ValueErrorType[ValueErrorType["Uint8ArrayMinByteLength"] = 60] = "Uint8ArrayMinByteLength";
+    ValueErrorType[ValueErrorType["Uint8ArrayMaxByteLength"] = 61] = "Uint8ArrayMaxByteLength";
+    ValueErrorType[ValueErrorType["Void"] = 62] = "Void";
+    ValueErrorType[ValueErrorType["Kind"] = 63] = "Kind";
 })(ValueErrorType || (exports.ValueErrorType = ValueErrorType = {}));
-// -------------------------------------------------------------------
+// --------------------------------------------------------------------------
 // ValueErrorIterator
-// -------------------------------------------------------------------
+// --------------------------------------------------------------------------
 class ValueErrorIterator {
     constructor(iterator) {
         this.iterator = iterator;
@@ -113,9 +119,9 @@ class ValueErrorIterator {
     }
 }
 exports.ValueErrorIterator = ValueErrorIterator;
-// -------------------------------------------------------------------
+// --------------------------------------------------------------------------
 // ValueErrors
-// -------------------------------------------------------------------
+// --------------------------------------------------------------------------
 class ValueErrorsUnknownTypeError extends Error {
     constructor(schema) {
         super('ValueErrors: Unknown type');
@@ -130,482 +136,499 @@ class ValueErrorsDereferenceError extends Error {
     }
 }
 exports.ValueErrorsDereferenceError = ValueErrorsDereferenceError;
-/** Provides functionality to generate a sequence of errors against a TypeBox type.  */
-var ValueErrors;
-(function (ValueErrors) {
-    // ----------------------------------------------------------------------
-    // Guards
-    // ----------------------------------------------------------------------
-    function IsBigInt(value) {
-        return typeof value === 'bigint';
-    }
-    function IsInteger(value) {
-        return globalThis.Number.isInteger(value);
-    }
-    function IsString(value) {
-        return typeof value === 'string';
-    }
-    function IsDefined(value) {
-        return value !== undefined;
-    }
-    // ----------------------------------------------------------------------
-    // Policies
-    // ----------------------------------------------------------------------
-    function IsExactOptionalProperty(value, key) {
-        return index_1.TypeSystem.ExactOptionalPropertyTypes ? key in value : value[key] !== undefined;
-    }
-    function IsObject(value) {
-        const result = typeof value === 'object' && value !== null;
-        return index_1.TypeSystem.AllowArrayObjects ? result : result && !globalThis.Array.isArray(value);
-    }
-    function IsRecordObject(value) {
-        return IsObject(value) && !(value instanceof globalThis.Date) && !(value instanceof globalThis.Uint8Array);
-    }
-    function IsNumber(value) {
-        const result = typeof value === 'number';
-        return index_1.TypeSystem.AllowNaN ? result : result && globalThis.Number.isFinite(value);
-    }
-    function IsVoid(value) {
-        const result = value === undefined;
-        return index_1.TypeSystem.AllowVoidNull ? result || value === null : result;
-    }
-    // ----------------------------------------------------------------------
-    // Types
-    // ----------------------------------------------------------------------
-    function* Any(schema, references, path, value) { }
-    function* Array(schema, references, path, value) {
-        if (!globalThis.Array.isArray(value)) {
-            return yield { type: ValueErrorType.Array, schema, path, value, message: `Expected array` };
-        }
-        if (IsDefined(schema.minItems) && !(value.length >= schema.minItems)) {
-            yield { type: ValueErrorType.ArrayMinItems, schema, path, value, message: `Expected array length to be greater or equal to ${schema.minItems}` };
-        }
-        if (IsDefined(schema.maxItems) && !(value.length <= schema.maxItems)) {
-            yield { type: ValueErrorType.ArrayMinItems, schema, path, value, message: `Expected array length to be less or equal to ${schema.maxItems}` };
-        }
-        // prettier-ignore
-        if (schema.uniqueItems === true && !((function () { const set = new Set(); for (const element of value) {
-            const hashed = hash_1.ValueHash.Create(element);
-            if (set.has(hashed)) {
-                return false;
-            }
-            else {
-                set.add(hashed);
-            }
-        } return true; })())) {
-            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]);
-        }
+// --------------------------------------------------------------------------
+// Guards
+// --------------------------------------------------------------------------
+function IsDefined(value) {
+    return value !== undefined;
+}
+// --------------------------------------------------------------------------
+// Policies
+// --------------------------------------------------------------------------
+function IsExactOptionalProperty(value, key) {
+    return index_1.TypeSystem.ExactOptionalPropertyTypes ? key in value : value[key] !== undefined;
+}
+function IsObject(value) {
+    const isObject = ValueGuard.IsObject(value);
+    return index_1.TypeSystem.AllowArrayObjects ? isObject : isObject && !ValueGuard.IsArray(value);
+}
+function IsRecordObject(value) {
+    return IsObject(value) && !(value instanceof Date) && !(value instanceof Uint8Array);
+}
+function IsNumber(value) {
+    const isNumber = ValueGuard.IsNumber(value);
+    return index_1.TypeSystem.AllowNaN ? isNumber : isNumber && Number.isFinite(value);
+}
+function IsVoid(value) {
+    const isUndefined = ValueGuard.IsUndefined(value);
+    return index_1.TypeSystem.AllowVoidNull ? isUndefined || value === null : isUndefined;
+}
+// --------------------------------------------------------------------------
+// Types
+// --------------------------------------------------------------------------
+function* TAny(schema, references, path, value) { }
+function* TArray(schema, references, path, value) {
+    if (!ValueGuard.IsArray(value)) {
+        return yield { type: ValueErrorType.Array, schema, path, value, message: `Expected array` };
     }
-    function* BigInt(schema, references, path, value) {
-        if (!IsBigInt(value)) {
-            return yield { type: ValueErrorType.BigInt, schema, path, value, message: `Expected bigint` };
-        }
-        if (IsDefined(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 (IsDefined(schema.exclusiveMinimum) && !(value > schema.exclusiveMinimum)) {
-            yield { type: ValueErrorType.BigIntExclusiveMinimum, schema, path, value, message: `Expected bigint to be greater than ${schema.exclusiveMinimum}` };
-        }
-        if (IsDefined(schema.exclusiveMaximum) && !(value < schema.exclusiveMaximum)) {
-            yield { type: ValueErrorType.BigIntExclusiveMaximum, schema, path, value, message: `Expected bigint to be less than ${schema.exclusiveMaximum}` };
-        }
-        if (IsDefined(schema.minimum) && !(value >= schema.minimum)) {
-            yield { type: ValueErrorType.BigIntMinimum, schema, path, value, message: `Expected bigint to be greater or equal to ${schema.minimum}` };
-        }
-        if (IsDefined(schema.maximum) && !(value <= schema.maximum)) {
-            yield { type: ValueErrorType.BigIntMaximum, schema, path, value, message: `Expected bigint to be less or equal to ${schema.maximum}` };
-        }
+    if (IsDefined(schema.minItems) && !(value.length >= schema.minItems)) {
+        yield { type: ValueErrorType.ArrayMinItems, schema, path, value, message: `Expected array length to be greater or equal to ${schema.minItems}` };
     }
-    function* Boolean(schema, references, path, value) {
-        if (!(typeof value === 'boolean')) {
-            return yield { type: ValueErrorType.Boolean, schema, path, value, message: `Expected boolean` };
-        }
+    if (IsDefined(schema.maxItems) && !(value.length <= schema.maxItems)) {
+        yield { type: ValueErrorType.ArrayMinItems, schema, path, value, message: `Expected array length to be less or equal to ${schema.maxItems}` };
     }
-    function* Constructor(schema, references, path, value) {
-        yield* Visit(schema.returns, references, path, value.prototype);
+    for (let i = 0; i < value.length; i++) {
+        yield* Visit(schema.items, references, `${path}/${i}`, value[i]);
     }
-    function* Date(schema, references, path, value) {
-        if (!(value instanceof globalThis.Date)) {
-            return yield { type: ValueErrorType.Date, schema, path, value, message: `Expected Date object` };
-        }
-        if (!globalThis.isFinite(value.getTime())) {
-            return yield { type: ValueErrorType.Date, schema, path, value, message: `Invalid Date` };
-        }
-        if (IsDefined(schema.exclusiveMinimumTimestamp) && !(value.getTime() > schema.exclusiveMinimumTimestamp)) {
-            yield { type: ValueErrorType.DateExclusiveMinimumTimestamp, schema, path, value, message: `Expected Date timestamp to be greater than ${schema.exclusiveMinimum}` };
-        }
-        if (IsDefined(schema.exclusiveMaximumTimestamp) && !(value.getTime() < schema.exclusiveMaximumTimestamp)) {
-            yield { type: ValueErrorType.DateExclusiveMaximumTimestamp, schema, path, value, message: `Expected Date timestamp to be less than ${schema.exclusiveMaximum}` };
-        }
-        if (IsDefined(schema.minimumTimestamp) && !(value.getTime() >= schema.minimumTimestamp)) {
-            yield { type: ValueErrorType.DateMinimumTimestamp, schema, path, value, message: `Expected Date timestamp to be greater or equal to ${schema.minimum}` };
+    // prettier-ignore
+    if (schema.uniqueItems === true && !((function () { const set = new Set(); for (const element of value) {
+        const hashed = ValueHash.Hash(element);
+        if (set.has(hashed)) {
+            return false;
         }
-        if (IsDefined(schema.maximumTimestamp) && !(value.getTime() <= schema.maximumTimestamp)) {
-            yield { type: ValueErrorType.DateMaximumTimestamp, schema, path, value, message: `Expected Date timestamp to be less or equal to ${schema.maximum}` };
+        else {
+            set.add(hashed);
         }
+    } return true; })())) {
+        yield { type: ValueErrorType.ArrayUniqueItems, schema, path, value, message: `Expected array elements to be unique` };
     }
-    function* Function(schema, references, path, value) {
-        if (!(typeof value === 'function')) {
-            return yield { type: ValueErrorType.Function, schema, path, value, message: `Expected function` };
-        }
+    // contains
+    if (!(IsDefined(schema.contains) || IsNumber(schema.minContains) || IsNumber(schema.maxContains))) {
+        return;
     }
-    function* Integer(schema, references, path, value) {
-        if (!IsInteger(value)) {
-            return yield { type: ValueErrorType.Integer, schema, path, value, message: `Expected integer` };
-        }
-        if (IsDefined(schema.multipleOf) && !(value % schema.multipleOf === 0)) {
-            yield { type: ValueErrorType.IntegerMultipleOf, schema, path, value, message: `Expected integer to be a multiple of ${schema.multipleOf}` };
-        }
-        if (IsDefined(schema.exclusiveMinimum) && !(value > schema.exclusiveMinimum)) {
-            yield { type: ValueErrorType.IntegerExclusiveMinimum, schema, path, value, message: `Expected integer to be greater than ${schema.exclusiveMinimum}` };
-        }
-        if (IsDefined(schema.exclusiveMaximum) && !(value < schema.exclusiveMaximum)) {
-            yield { type: ValueErrorType.IntegerExclusiveMaximum, schema, path, value, message: `Expected integer to be less than ${schema.exclusiveMaximum}` };
-        }
-        if (IsDefined(schema.minimum) && !(value >= schema.minimum)) {
-            yield { type: ValueErrorType.IntegerMinimum, schema, path, value, message: `Expected integer to be greater or equal to ${schema.minimum}` };
-        }
-        if (IsDefined(schema.maximum) && !(value <= schema.maximum)) {
-            yield { type: ValueErrorType.IntegerMaximum, schema, path, value, message: `Expected integer to be less or equal to ${schema.maximum}` };
-        }
+    const containsSchema = IsDefined(schema.contains) ? schema.contains : Types.Type.Never();
+    const containsCount = value.reduce((acc, value, index) => (Visit(containsSchema, references, `${path}${index}`, value).next().done === true ? acc + 1 : acc), 0);
+    if (containsCount === 0) {
+        yield { type: ValueErrorType.ArrayContains, schema, path, value, message: `Expected array to contain at least one matching type` };
     }
-    function* Intersect(schema, references, path, value) {
-        for (const inner of schema.allOf) {
-            const next = Visit(inner, references, 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 (ValueGuard.IsNumber(schema.minContains) && containsCount < schema.minContains) {
+        yield { type: ValueErrorType.ArrayMinContains, schema, path, value, message: `Expected array to contain at least ${schema.minContains} matching types` };
+    }
+    if (ValueGuard.IsNumber(schema.maxContains) && containsCount > schema.maxContains) {
+        yield { type: ValueErrorType.ArrayMaxContains, schema, path, value, message: `Expected array to contain no more than ${schema.maxContains} matching types` };
+    }
+}
+function* TAsyncIterator(schema, references, path, value) {
+    if (!ValueGuard.IsAsyncIterator(value)) {
+        yield { type: ValueErrorType.AsyncIterator, schema, path, value, message: `Expected value to be an async iterator` };
+    }
+}
+function* TBigInt(schema, references, path, value) {
+    if (!ValueGuard.IsBigInt(value)) {
+        return yield { type: ValueErrorType.BigInt, schema, path, value, message: `Expected bigint` };
+    }
+    if (IsDefined(schema.multipleOf) && !(value % schema.multipleOf === BigInt(0))) {
+        yield { type: ValueErrorType.BigIntMultipleOf, schema, path, value, message: `Expected bigint to be a multiple of ${schema.multipleOf}` };
+    }
+    if (IsDefined(schema.exclusiveMinimum) && !(value > schema.exclusiveMinimum)) {
+        yield { type: ValueErrorType.BigIntExclusiveMinimum, schema, path, value, message: `Expected bigint to be greater than ${schema.exclusiveMinimum}` };
+    }
+    if (IsDefined(schema.exclusiveMaximum) && !(value < schema.exclusiveMaximum)) {
+        yield { type: ValueErrorType.BigIntExclusiveMaximum, schema, path, value, message: `Expected bigint to be less than ${schema.exclusiveMaximum}` };
+    }
+    if (IsDefined(schema.minimum) && !(value >= schema.minimum)) {
+        yield { type: ValueErrorType.BigIntMinimum, schema, path, value, message: `Expected bigint to be greater or equal to ${schema.minimum}` };
+    }
+    if (IsDefined(schema.maximum) && !(value <= schema.maximum)) {
+        yield { type: ValueErrorType.BigIntMaximum, schema, path, value, message: `Expected bigint to be less or equal to ${schema.maximum}` };
+    }
+}
+function* TBoolean(schema, references, path, value) {
+    if (!ValueGuard.IsBoolean(value)) {
+        return yield { type: ValueErrorType.Boolean, schema, path, value, message: `Expected boolean` };
+    }
+}
+function* TConstructor(schema, references, path, value) {
+    yield* Visit(schema.returns, references, path, value.prototype);
+}
+function* TDate(schema, references, path, value) {
+    if (!ValueGuard.IsDate(value)) {
+        return yield { type: ValueErrorType.Date, schema, path, value, message: `Expected Date object` };
+    }
+    if (!isFinite(value.getTime())) {
+        return yield { type: ValueErrorType.Date, schema, path, value, message: `Invalid Date` };
+    }
+    if (IsDefined(schema.exclusiveMinimumTimestamp) && !(value.getTime() > schema.exclusiveMinimumTimestamp)) {
+        yield { type: ValueErrorType.DateExclusiveMinimumTimestamp, schema, path, value, message: `Expected Date timestamp to be greater than ${schema.exclusiveMinimum}` };
+    }
+    if (IsDefined(schema.exclusiveMaximumTimestamp) && !(value.getTime() < schema.exclusiveMaximumTimestamp)) {
+        yield { type: ValueErrorType.DateExclusiveMaximumTimestamp, schema, path, value, message: `Expected Date timestamp to be less than ${schema.exclusiveMaximum}` };
+    }
+    if (IsDefined(schema.minimumTimestamp) && !(value.getTime() >= schema.minimumTimestamp)) {
+        yield { type: ValueErrorType.DateMinimumTimestamp, schema, path, value, message: `Expected Date timestamp to be greater or equal to ${schema.minimum}` };
+    }
+    if (IsDefined(schema.maximumTimestamp) && !(value.getTime() <= schema.maximumTimestamp)) {
+        yield { type: ValueErrorType.DateMaximumTimestamp, schema, path, value, message: `Expected Date timestamp to be less or equal to ${schema.maximum}` };
+    }
+}
+function* TFunction(schema, references, path, value) {
+    if (!ValueGuard.IsFunction(value)) {
+        return yield { type: ValueErrorType.Function, schema, path, value, message: `Expected function` };
+    }
+}
+function* TInteger(schema, references, path, value) {
+    if (!ValueGuard.IsInteger(value)) {
+        return yield { type: ValueErrorType.Integer, schema, path, value, message: `Expected integer` };
+    }
+    if (IsDefined(schema.multipleOf) && !(value % schema.multipleOf === 0)) {
+        yield { type: ValueErrorType.IntegerMultipleOf, schema, path, value, message: `Expected integer to be a multiple of ${schema.multipleOf}` };
+    }
+    if (IsDefined(schema.exclusiveMinimum) && !(value > schema.exclusiveMinimum)) {
+        yield { type: ValueErrorType.IntegerExclusiveMinimum, schema, path, value, message: `Expected integer to be greater than ${schema.exclusiveMinimum}` };
+    }
+    if (IsDefined(schema.exclusiveMaximum) && !(value < schema.exclusiveMaximum)) {
+        yield { type: ValueErrorType.IntegerExclusiveMaximum, schema, path, value, message: `Expected integer to be less than ${schema.exclusiveMaximum}` };
+    }
+    if (IsDefined(schema.minimum) && !(value >= schema.minimum)) {
+        yield { type: ValueErrorType.IntegerMinimum, schema, path, value, message: `Expected integer to be greater or equal to ${schema.minimum}` };
+    }
+    if (IsDefined(schema.maximum) && !(value <= schema.maximum)) {
+        yield { type: ValueErrorType.IntegerMaximum, schema, path, value, message: `Expected integer to be less or equal to ${schema.maximum}` };
+    }
+}
+function* TIntersect(schema, references, path, value) {
+    for (const inner of schema.allOf) {
+        const next = Visit(inner, references, 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 keyCheck = new RegExp(Types.KeyResolver.ResolvePattern(schema));
-            for (const valueKey of globalThis.Object.getOwnPropertyNames(value)) {
-                if (!keyCheck.test(valueKey)) {
-                    yield { type: ValueErrorType.IntersectUnevaluatedProperties, schema, path: `${path}/${valueKey}`, value, message: `Unexpected property` };
-                }
+    }
+    if (schema.unevaluatedProperties === false) {
+        const keyCheck = new RegExp(Types.KeyResolver.ResolvePattern(schema));
+        for (const valueKey of Object.getOwnPropertyNames(value)) {
+            if (!keyCheck.test(valueKey)) {
+                yield { type: ValueErrorType.IntersectUnevaluatedProperties, schema, path: `${path}/${valueKey}`, value, message: `Unexpected property` };
             }
         }
-        if (typeof schema.unevaluatedProperties === 'object') {
-            const keyCheck = new RegExp(Types.KeyResolver.ResolvePattern(schema));
-            for (const valueKey of globalThis.Object.getOwnPropertyNames(value)) {
-                if (!keyCheck.test(valueKey)) {
-                    const next = Visit(schema.unevaluatedProperties, references, `${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;
-                    }
+    }
+    if (typeof schema.unevaluatedProperties === 'object') {
+        const keyCheck = new RegExp(Types.KeyResolver.ResolvePattern(schema));
+        for (const valueKey of Object.getOwnPropertyNames(value)) {
+            if (!keyCheck.test(valueKey)) {
+                const next = Visit(schema.unevaluatedProperties, references, `${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, references, 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* TIterator(schema, references, path, value) {
+    if (!(IsObject(value) && Symbol.iterator in value)) {
+        yield { type: ValueErrorType.Iterator, schema, path, value, message: `Expected value to be an iterator` };
     }
-    function* Never(schema, references, path, value) {
-        yield { type: ValueErrorType.Never, schema, path, value, message: `Value cannot be validated` };
+}
+function* TLiteral(schema, references, 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* Not(schema, references, path, value) {
-        if (Visit(schema.not, references, path, value).next().done === true) {
-            yield { type: ValueErrorType.Not, schema, path, value, message: `Value should not validate` };
-        }
+}
+function* TNever(schema, references, path, value) {
+    yield { type: ValueErrorType.Never, schema, path, value, message: `Value cannot be validated` };
+}
+function* TNot(schema, references, path, value) {
+    if (Visit(schema.not, references, path, value).next().done === true) {
+        yield { type: ValueErrorType.Not, schema, path, value, message: `Value should not validate` };
     }
-    function* Null(schema, references, path, value) {
-        if (!(value === null)) {
-            return yield { type: ValueErrorType.Null, schema, path, value, message: `Expected null` };
-        }
+}
+function* TNull(schema, references, path, value) {
+    if (!ValueGuard.IsNull(value)) {
+        return yield { type: ValueErrorType.Null, schema, path, value, message: `Expected null` };
     }
-    function* Number(schema, references, path, value) {
-        if (!IsNumber(value)) {
-            return yield { type: ValueErrorType.Number, schema, path, value, message: `Expected number` };
-        }
-        if (IsDefined(schema.multipleOf) && !(value % schema.multipleOf === 0)) {
-            yield { type: ValueErrorType.NumberMultipleOf, schema, path, value, message: `Expected number to be a multiple of ${schema.multipleOf}` };
-        }
-        if (IsDefined(schema.exclusiveMinimum) && !(value > schema.exclusiveMinimum)) {
-            yield { type: ValueErrorType.NumberExclusiveMinimum, schema, path, value, message: `Expected number to be greater than ${schema.exclusiveMinimum}` };
-        }
-        if (IsDefined(schema.exclusiveMaximum) && !(value < schema.exclusiveMaximum)) {
-            yield { type: ValueErrorType.NumberExclusiveMaximum, schema, path, value, message: `Expected number to be less than ${schema.exclusiveMaximum}` };
-        }
-        if (IsDefined(schema.minimum) && !(value >= schema.minimum)) {
-            yield { type: ValueErrorType.NumberMinimum, schema, path, value, message: `Expected number to be greater or equal to ${schema.minimum}` };
-        }
-        if (IsDefined(schema.maximum) && !(value <= schema.maximum)) {
-            yield { type: ValueErrorType.NumberMaximum, schema, path, value, message: `Expected number to be less or equal to ${schema.maximum}` };
-        }
+}
+function* TNumber(schema, references, path, value) {
+    if (!IsNumber(value)) {
+        return yield { type: ValueErrorType.Number, schema, path, value, message: `Expected number` };
     }
-    function* Object(schema, references, path, value) {
-        if (!IsObject(value)) {
-            return yield { type: ValueErrorType.Object, schema, path, value, message: `Expected object` };
-        }
-        if (IsDefined(schema.minProperties) && !(globalThis.Object.getOwnPropertyNames(value).length >= schema.minProperties)) {
-            yield { type: ValueErrorType.ObjectMinProperties, schema, path, value, message: `Expected object to have at least ${schema.minProperties} properties` };
-        }
-        if (IsDefined(schema.maxProperties) && !(globalThis.Object.getOwnPropertyNames(value).length <= schema.maxProperties)) {
-            yield { type: ValueErrorType.ObjectMaxProperties, schema, path, value, message: `Expected object to have no more than ${schema.maxProperties} properties` };
-        }
-        const requiredKeys = globalThis.Array.isArray(schema.required) ? schema.required : [];
-        const knownKeys = globalThis.Object.getOwnPropertyNames(schema.properties);
-        const unknownKeys = globalThis.Object.getOwnPropertyNames(value);
-        for (const knownKey of knownKeys) {
-            const property = schema.properties[knownKey];
-            if (schema.required && schema.required.includes(knownKey)) {
-                yield* Visit(property, references, `${path}/${knownKey}`, value[knownKey]);
-                if (Types.ExtendsUndefined.Check(schema) && !(knownKey in value)) {
-                    yield { type: ValueErrorType.ObjectRequiredProperties, schema: property, path: `${path}/${knownKey}`, value: undefined, message: `Expected required property` };
-                }
-            }
-            else {
-                if (IsExactOptionalProperty(value, knownKey)) {
-                    yield* Visit(property, references, `${path}/${knownKey}`, value[knownKey]);
-                }
-            }
-        }
-        for (const requiredKey of requiredKeys) {
-            if (unknownKeys.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 unknownKeys) {
-                if (!knownKeys.includes(valueKey)) {
-                    yield { type: ValueErrorType.ObjectAdditionalProperties, schema, path: `${path}/${valueKey}`, value: value[valueKey], message: `Unexpected property` };
-                }
+    if (IsDefined(schema.multipleOf) && !(value % schema.multipleOf === 0)) {
+        yield { type: ValueErrorType.NumberMultipleOf, schema, path, value, message: `Expected number to be a multiple of ${schema.multipleOf}` };
+    }
+    if (IsDefined(schema.exclusiveMinimum) && !(value > schema.exclusiveMinimum)) {
+        yield { type: ValueErrorType.NumberExclusiveMinimum, schema, path, value, message: `Expected number to be greater than ${schema.exclusiveMinimum}` };
+    }
+    if (IsDefined(schema.exclusiveMaximum) && !(value < schema.exclusiveMaximum)) {
+        yield { type: ValueErrorType.NumberExclusiveMaximum, schema, path, value, message: `Expected number to be less than ${schema.exclusiveMaximum}` };
+    }
+    if (IsDefined(schema.minimum) && !(value >= schema.minimum)) {
+        yield { type: ValueErrorType.NumberMinimum, schema, path, value, message: `Expected number to be greater or equal to ${schema.minimum}` };
+    }
+    if (IsDefined(schema.maximum) && !(value <= schema.maximum)) {
+        yield { type: ValueErrorType.NumberMaximum, schema, path, value, message: `Expected number to be less or equal to ${schema.maximum}` };
+    }
+}
+function* TObject(schema, references, path, value) {
+    if (!IsObject(value)) {
+        return yield { type: ValueErrorType.Object, schema, path, value, message: `Expected object` };
+    }
+    if (IsDefined(schema.minProperties) && !(Object.getOwnPropertyNames(value).length >= schema.minProperties)) {
+        yield { type: ValueErrorType.ObjectMinProperties, schema, path, value, message: `Expected object to have at least ${schema.minProperties} properties` };
+    }
+    if (IsDefined(schema.maxProperties) && !(Object.getOwnPropertyNames(value).length <= schema.maxProperties)) {
+        yield { type: ValueErrorType.ObjectMaxProperties, schema, path, value, message: `Expected object to have no more than ${schema.maxProperties} properties` };
+    }
+    const requiredKeys = Array.isArray(schema.required) ? schema.required : [];
+    const knownKeys = Object.getOwnPropertyNames(schema.properties);
+    const unknownKeys = Object.getOwnPropertyNames(value);
+    for (const knownKey of knownKeys) {
+        const property = schema.properties[knownKey];
+        if (schema.required && schema.required.includes(knownKey)) {
+            yield* Visit(property, references, `${path}/${knownKey}`, value[knownKey]);
+            if (Types.ExtendsUndefined.Check(schema) && !(knownKey in value)) {
+                yield { type: ValueErrorType.ObjectRequiredProperties, schema: property, path: `${path}/${knownKey}`, value: undefined, message: `Expected required property` };
             }
         }
-        if (typeof schema.additionalProperties === 'object') {
-            for (const valueKey of unknownKeys) {
-                if (knownKeys.includes(valueKey))
-                    continue;
-                yield* Visit(schema.additionalProperties, references, `${path}/${valueKey}`, value[valueKey]);
+        else {
+            if (IsExactOptionalProperty(value, knownKey)) {
+                yield* Visit(property, references, `${path}/${knownKey}`, value[knownKey]);
             }
         }
     }
-    function* Promise(schema, references, path, value) {
-        if (!(typeof value === 'object' && typeof value.then === 'function')) {
-            yield { type: ValueErrorType.Promise, schema, path, value, message: `Expected Promise` };
-        }
+    for (const requiredKey of requiredKeys) {
+        if (unknownKeys.includes(requiredKey))
+            continue;
+        yield { type: ValueErrorType.ObjectRequiredProperties, schema: schema.properties[requiredKey], path: `${path}/${requiredKey}`, value: undefined, message: `Expected required property` };
     }
-    function* Record(schema, references, path, value) {
-        if (!IsRecordObject(value)) {
-            return yield { type: ValueErrorType.Object, schema, path, value, message: `Expected record object` };
-        }
-        if (IsDefined(schema.minProperties) && !(globalThis.Object.getOwnPropertyNames(value).length >= schema.minProperties)) {
-            yield { type: ValueErrorType.ObjectMinProperties, schema, path, value, message: `Expected object to have at least ${schema.minProperties} properties` };
-        }
-        if (IsDefined(schema.maxProperties) && !(globalThis.Object.getOwnPropertyNames(value).length <= schema.maxProperties)) {
-            yield { type: ValueErrorType.ObjectMaxProperties, schema, path, value, message: `Expected object to have no more than ${schema.maxProperties} properties` };
+    if (schema.additionalProperties === false) {
+        for (const valueKey of unknownKeys) {
+            if (!knownKeys.includes(valueKey)) {
+                yield { type: ValueErrorType.ObjectAdditionalProperties, schema, path: `${path}/${valueKey}`, value: value[valueKey], message: `Unexpected property` };
+            }
         }
-        const [patternKey, patternSchema] = globalThis.Object.entries(schema.patternProperties)[0];
-        const regex = new RegExp(patternKey);
-        for (const [propertyKey, propertyValue] of globalThis.Object.entries(value)) {
-            if (regex.test(propertyKey)) {
-                yield* Visit(patternSchema, references, `${path}/${propertyKey}`, propertyValue);
+    }
+    if (typeof schema.additionalProperties === 'object') {
+        for (const valueKey of unknownKeys) {
+            if (knownKeys.includes(valueKey))
                 continue;
-            }
-            if (typeof schema.additionalProperties === 'object') {
-                yield* Visit(schema.additionalProperties, references, `${path}/${propertyKey}`, propertyValue);
-            }
-            if (schema.additionalProperties === false) {
-                const propertyPath = `${path}/${propertyKey}`;
-                const message = `Unexpected property '${propertyPath}'`;
-                return yield { type: ValueErrorType.ObjectAdditionalProperties, schema, path: propertyPath, value: propertyValue, message };
-            }
+            yield* Visit(schema.additionalProperties, references, `${path}/${valueKey}`, value[valueKey]);
         }
     }
-    function* Ref(schema, references, path, value) {
-        const index = references.findIndex((foreign) => foreign.$id === schema.$ref);
-        if (index === -1)
-            throw new ValueErrorsDereferenceError(schema);
-        const target = references[index];
-        yield* Visit(target, references, path, value);
+}
+function* TPromise(schema, references, path, value) {
+    if (!ValueGuard.IsPromise(value)) {
+        yield { type: ValueErrorType.Promise, schema, path, value, message: `Expected Promise` };
     }
-    function* String(schema, references, path, value) {
-        if (!IsString(value)) {
-            return yield { type: ValueErrorType.String, schema, path, value, message: 'Expected string' };
-        }
-        if (IsDefined(schema.minLength) && !(value.length >= schema.minLength)) {
-            yield { type: ValueErrorType.StringMinLength, schema, path, value, message: `Expected string length greater or equal to ${schema.minLength}` };
-        }
-        if (IsDefined(schema.maxLength) && !(value.length <= schema.maxLength)) {
-            yield { type: ValueErrorType.StringMaxLength, schema, path, value, message: `Expected string length less or equal to ${schema.maxLength}` };
+}
+function* TRecord(schema, references, path, value) {
+    if (!IsRecordObject(value)) {
+        return yield { type: ValueErrorType.Object, schema, path, value, message: `Expected record object` };
+    }
+    if (IsDefined(schema.minProperties) && !(Object.getOwnPropertyNames(value).length >= schema.minProperties)) {
+        yield { type: ValueErrorType.ObjectMinProperties, schema, path, value, message: `Expected object to have at least ${schema.minProperties} properties` };
+    }
+    if (IsDefined(schema.maxProperties) && !(Object.getOwnPropertyNames(value).length <= schema.maxProperties)) {
+        yield { type: ValueErrorType.ObjectMaxProperties, schema, path, value, message: `Expected object to have no more than ${schema.maxProperties} properties` };
+    }
+    const [patternKey, patternSchema] = Object.entries(schema.patternProperties)[0];
+    const regex = new RegExp(patternKey);
+    for (const [propertyKey, propertyValue] of Object.entries(value)) {
+        if (regex.test(propertyKey)) {
+            yield* Visit(patternSchema, references, `${path}/${propertyKey}`, propertyValue);
+            continue;
         }
-        if (schema.pattern !== undefined) {
-            const regex = new RegExp(schema.pattern);
-            if (!regex.test(value)) {
-                yield { type: ValueErrorType.StringPattern, schema, path, value, message: `Expected string to match pattern ${schema.pattern}` };
-            }
+        if (typeof schema.additionalProperties === 'object') {
+            yield* Visit(schema.additionalProperties, references, `${path}/${propertyKey}`, propertyValue);
         }
-        if (schema.format !== undefined) {
-            if (!Types.FormatRegistry.Has(schema.format)) {
-                yield { type: ValueErrorType.StringFormatUnknown, schema, path, value, message: `Unknown string format '${schema.format}'` };
-            }
-            else {
-                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}'` };
-                }
-            }
+        if (schema.additionalProperties === false) {
+            const propertyPath = `${path}/${propertyKey}`;
+            const message = `Unexpected property '${propertyPath}'`;
+            return yield { type: ValueErrorType.ObjectAdditionalProperties, schema, path: propertyPath, value: propertyValue, message };
         }
     }
-    function* Symbol(schema, references, path, value) {
-        if (!(typeof value === 'symbol')) {
-            return yield { type: ValueErrorType.Symbol, schema, path, value, message: 'Expected symbol' };
-        }
+}
+function* TRef(schema, references, path, value) {
+    const index = references.findIndex((foreign) => foreign.$id === schema.$ref);
+    if (index === -1)
+        throw new ValueErrorsDereferenceError(schema);
+    const target = references[index];
+    yield* Visit(target, references, path, value);
+}
+function* TString(schema, references, path, value) {
+    if (!ValueGuard.IsString(value)) {
+        return yield { type: ValueErrorType.String, schema, path, value, message: 'Expected string' };
     }
-    function* TemplateLiteral(schema, references, path, value) {
-        if (!IsString(value)) {
-            return yield { type: ValueErrorType.String, schema, path, value, message: 'Expected string' };
-        }
+    if (IsDefined(schema.minLength) && !(value.length >= schema.minLength)) {
+        yield { type: ValueErrorType.StringMinLength, schema, path, value, message: `Expected string length greater or equal to ${schema.minLength}` };
+    }
+    if (IsDefined(schema.maxLength) && !(value.length <= schema.maxLength)) {
+        yield { type: ValueErrorType.StringMaxLength, schema, path, value, message: `Expected string length less or equal to ${schema.maxLength}` };
+    }
+    if (ValueGuard.IsString(schema.pattern)) {
         const regex = new RegExp(schema.pattern);
         if (!regex.test(value)) {
             yield { type: ValueErrorType.StringPattern, schema, path, value, message: `Expected string to match pattern ${schema.pattern}` };
         }
     }
-    function* This(schema, references, path, value) {
-        const index = references.findIndex((foreign) => foreign.$id === schema.$ref);
-        if (index === -1)
-            throw new ValueErrorsDereferenceError(schema);
-        const target = references[index];
-        yield* Visit(target, references, path, value);
-    }
-    function* Tuple(schema, references, path, value) {
-        if (!globalThis.Array.isArray(value)) {
-            return yield { type: ValueErrorType.Array, schema, path, value, message: 'Expected Array' };
+    if (ValueGuard.IsString(schema.format)) {
+        if (!Types.FormatRegistry.Has(schema.format)) {
+            yield { type: ValueErrorType.StringFormatUnknown, schema, path, value, message: `Unknown string format '${schema.format}'` };
         }
-        if (schema.items === undefined && !(value.length === 0)) {
-            return yield { type: ValueErrorType.TupleZeroLength, schema, path, value, message: 'Expected tuple to have 0 elements' };
-        }
-        if (!(value.length === schema.maxItems)) {
-            yield { type: ValueErrorType.TupleLength, schema, path, value, message: `Expected tuple to have ${schema.maxItems} elements` };
+        else {
+            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}'` };
+            }
         }
-        if (!schema.items) {
+    }
+}
+function* TSymbol(schema, references, path, value) {
+    if (!ValueGuard.IsSymbol(value)) {
+        return yield { type: ValueErrorType.Symbol, schema, path, value, message: 'Expected symbol' };
+    }
+}
+function* TTemplateLiteral(schema, references, path, value) {
+    if (!ValueGuard.IsString(value)) {
+        return yield { type: ValueErrorType.String, schema, path, value, message: 'Expected string' };
+    }
+    const regex = new RegExp(schema.pattern);
+    if (!regex.test(value)) {
+        yield { type: ValueErrorType.StringPattern, schema, path, value, message: `Expected string to match pattern ${schema.pattern}` };
+    }
+}
+function* TThis(schema, references, path, value) {
+    const index = references.findIndex((foreign) => foreign.$id === schema.$ref);
+    if (index === -1)
+        throw new ValueErrorsDereferenceError(schema);
+    const target = references[index];
+    yield* Visit(target, references, path, value);
+}
+function* TTuple(schema, references, path, value) {
+    if (!ValueGuard.IsArray(value)) {
+        return yield { type: ValueErrorType.Array, schema, path, value, message: 'Expected Array' };
+    }
+    if (schema.items === undefined && !(value.length === 0)) {
+        return yield { type: ValueErrorType.TupleZeroLength, schema, path, value, message: 'Expected tuple to have 0 elements' };
+    }
+    if (!(value.length === schema.maxItems)) {
+        yield { type: ValueErrorType.TupleLength, schema, path, value, message: `Expected tuple to have ${schema.maxItems} elements` };
+    }
+    if (!schema.items) {
+        return;
+    }
+    for (let i = 0; i < schema.items.length; i++) {
+        yield* Visit(schema.items[i], references, `${path}/${i}`, value[i]);
+    }
+}
+function* TUndefined(schema, references, path, value) {
+    if (!(value === undefined)) {
+        yield { type: ValueErrorType.Undefined, schema, path, value, message: `Expected undefined` };
+    }
+}
+function* TUnion(schema, references, path, value) {
+    const errors = [];
+    for (const inner of schema.anyOf) {
+        const variantErrors = [...Visit(inner, references, path, value)];
+        if (variantErrors.length === 0)
             return;
-        }
-        for (let i = 0; i < schema.items.length; i++) {
-            yield* Visit(schema.items[i], references, `${path}/${i}`, value[i]);
-        }
+        errors.push(...variantErrors);
     }
-    function* Undefined(schema, references, path, value) {
-        if (!(value === undefined)) {
-            yield { type: ValueErrorType.Undefined, schema, path, value, message: `Expected undefined` };
-        }
+    if (errors.length > 0) {
+        yield { type: ValueErrorType.Union, schema, path, value, message: 'Expected value of union' };
     }
-    function* Union(schema, references, path, value) {
-        const errors = [];
-        for (const inner of schema.anyOf) {
-            const variantErrors = [...Visit(inner, references, path, value)];
-            if (variantErrors.length === 0)
-                return;
-            errors.push(...variantErrors);
-        }
-        if (errors.length > 0) {
-            yield { type: ValueErrorType.Union, schema, path, value, message: 'Expected value of union' };
-        }
-        for (const error of errors) {
-            yield error;
-        }
+    for (const error of errors) {
+        yield error;
     }
-    function* Uint8Array(schema, references, path, value) {
-        if (!(value instanceof globalThis.Uint8Array)) {
-            return yield { type: ValueErrorType.Uint8Array, schema, path, value, message: `Expected Uint8Array` };
-        }
-        if (IsDefined(schema.maxByteLength) && !(value.length <= schema.maxByteLength)) {
-            yield { type: ValueErrorType.Uint8ArrayMaxByteLength, schema, path, value, message: `Expected Uint8Array to have a byte length less or equal to ${schema.maxByteLength}` };
-        }
-        if (IsDefined(schema.minByteLength) && !(value.length >= schema.minByteLength)) {
-            yield { type: ValueErrorType.Uint8ArrayMinByteLength, schema, path, value, message: `Expected Uint8Array to have a byte length greater or equal to ${schema.maxByteLength}` };
-        }
+}
+function* TUint8Array(schema, references, path, value) {
+    if (!ValueGuard.IsUint8Array(value)) {
+        return yield { type: ValueErrorType.Uint8Array, schema, path, value, message: `Expected Uint8Array` };
     }
-    function* Unknown(schema, references, path, value) { }
-    function* Void(schema, references, path, value) {
-        if (!IsVoid(value)) {
-            return yield { type: ValueErrorType.Void, schema, path, value, message: `Expected void` };
-        }
+    if (IsDefined(schema.maxByteLength) && !(value.length <= schema.maxByteLength)) {
+        yield { type: ValueErrorType.Uint8ArrayMaxByteLength, schema, path, value, message: `Expected Uint8Array to have a byte length less or equal to ${schema.maxByteLength}` };
     }
-    function* UserDefined(schema, references, 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]}` };
-        }
+    if (IsDefined(schema.minByteLength) && !(value.length >= schema.minByteLength)) {
+        yield { type: ValueErrorType.Uint8ArrayMinByteLength, schema, path, value, message: `Expected Uint8Array to have a byte length greater or equal to ${schema.maxByteLength}` };
     }
-    function* Visit(schema, references, path, value) {
-        const references_ = IsDefined(schema.$id) ? [...references, schema] : references;
-        const schema_ = schema;
-        switch (schema_[Types.Kind]) {
-            case 'Any':
-                return yield* Any(schema_, references_, path, value);
-            case 'Array':
-                return yield* Array(schema_, references_, path, value);
-            case 'BigInt':
-                return yield* BigInt(schema_, references_, path, value);
-            case 'Boolean':
-                return yield* Boolean(schema_, references_, path, value);
-            case 'Constructor':
-                return yield* Constructor(schema_, references_, path, value);
-            case 'Date':
-                return yield* Date(schema_, references_, path, value);
-            case 'Function':
-                return yield* Function(schema_, references_, path, value);
-            case 'Integer':
-                return yield* Integer(schema_, references_, path, value);
-            case 'Intersect':
-                return yield* Intersect(schema_, references_, path, value);
-            case 'Literal':
-                return yield* Literal(schema_, references_, path, value);
-            case 'Never':
-                return yield* Never(schema_, references_, path, value);
-            case 'Not':
-                return yield* Not(schema_, references_, path, value);
-            case 'Null':
-                return yield* Null(schema_, references_, path, value);
-            case 'Number':
-                return yield* Number(schema_, references_, path, value);
-            case 'Object':
-                return yield* Object(schema_, references_, path, value);
-            case 'Promise':
-                return yield* Promise(schema_, references_, path, value);
-            case 'Record':
-                return yield* Record(schema_, references_, path, value);
-            case 'Ref':
-                return yield* Ref(schema_, references_, path, value);
-            case 'String':
-                return yield* String(schema_, references_, path, value);
-            case 'Symbol':
-                return yield* Symbol(schema_, references_, path, value);
-            case 'TemplateLiteral':
-                return yield* TemplateLiteral(schema_, references_, path, value);
-            case 'This':
-                return yield* This(schema_, references_, path, value);
-            case 'Tuple':
-                return yield* Tuple(schema_, references_, path, value);
-            case 'Undefined':
-                return yield* Undefined(schema_, references_, path, value);
-            case 'Union':
-                return yield* Union(schema_, references_, path, value);
-            case 'Uint8Array':
-                return yield* Uint8Array(schema_, references_, path, value);
-            case 'Unknown':
-                return yield* Unknown(schema_, references_, path, value);
-            case 'Void':
-                return yield* Void(schema_, references_, path, value);
-            default:
-                if (!Types.TypeRegistry.Has(schema_[Types.Kind]))
-                    throw new ValueErrorsUnknownTypeError(schema);
-                return yield* UserDefined(schema_, references_, path, value);
-        }
+}
+function* TUnknown(schema, references, path, value) { }
+function* TVoid(schema, references, path, value) {
+    if (!IsVoid(value)) {
+        return yield { type: ValueErrorType.Void, schema, path, value, message: `Expected void` };
     }
-    function Errors(schema, references, value) {
-        const iterator = Visit(schema, references, '', value);
-        return new ValueErrorIterator(iterator);
+}
+function* TKind(schema, references, path, value) {
+    const check = Types.TypeRegistry.Get(schema[Types.Kind]);
+    if (!check(schema, value)) {
+        return yield { type: ValueErrorType.Kind, schema, path, value, message: `Expected kind ${schema[Types.Kind]}` };
+    }
+}
+function* Visit(schema, references, path, value) {
+    const references_ = IsDefined(schema.$id) ? [...references, schema] : references;
+    const schema_ = schema;
+    switch (schema_[Types.Kind]) {
+        case 'Any':
+            return yield* TAny(schema_, references_, path, value);
+        case 'Array':
+            return yield* TArray(schema_, references_, path, value);
+        case 'AsyncIterator':
+            return yield* TAsyncIterator(schema_, references_, path, value);
+        case 'BigInt':
+            return yield* TBigInt(schema_, references_, path, value);
+        case 'Boolean':
+            return yield* TBoolean(schema_, references_, path, value);
+        case 'Constructor':
+            return yield* TConstructor(schema_, references_, path, value);
+        case 'Date':
+            return yield* TDate(schema_, references_, path, value);
+        case 'Function':
+            return yield* TFunction(schema_, references_, path, value);
+        case 'Integer':
+            return yield* TInteger(schema_, references_, path, value);
+        case 'Intersect':
+            return yield* TIntersect(schema_, references_, path, value);
+        case 'Iterator':
+            return yield* TIterator(schema_, references_, path, value);
+        case 'Literal':
+            return yield* TLiteral(schema_, references_, path, value);
+        case 'Never':
+            return yield* TNever(schema_, references_, path, value);
+        case 'Not':
+            return yield* TNot(schema_, references_, path, value);
+        case 'Null':
+            return yield* TNull(schema_, references_, path, value);
+        case 'Number':
+            return yield* TNumber(schema_, references_, path, value);
+        case 'Object':
+            return yield* TObject(schema_, references_, path, value);
+        case 'Promise':
+            return yield* TPromise(schema_, references_, path, value);
+        case 'Record':
+            return yield* TRecord(schema_, references_, path, value);
+        case 'Ref':
+            return yield* TRef(schema_, references_, path, value);
+        case 'String':
+            return yield* TString(schema_, references_, path, value);
+        case 'Symbol':
+            return yield* TSymbol(schema_, references_, path, value);
+        case 'TemplateLiteral':
+            return yield* TTemplateLiteral(schema_, references_, path, value);
+        case 'This':
+            return yield* TThis(schema_, references_, path, value);
+        case 'Tuple':
+            return yield* TTuple(schema_, references_, path, value);
+        case 'Undefined':
+            return yield* TUndefined(schema_, references_, path, value);
+        case 'Union':
+            return yield* TUnion(schema_, references_, path, value);
+        case 'Uint8Array':
+            return yield* TUint8Array(schema_, references_, path, value);
+        case 'Unknown':
+            return yield* TUnknown(schema_, references_, path, value);
+        case 'Void':
+            return yield* TVoid(schema_, references_, path, value);
+        default:
+            if (!Types.TypeRegistry.Has(schema_[Types.Kind]))
+                throw new ValueErrorsUnknownTypeError(schema);
+            return yield* TKind(schema_, references_, path, value);
     }
-    ValueErrors.Errors = Errors;
-})(ValueErrors || (exports.ValueErrors = ValueErrors = {}));
+}
+/** Returns an iterator for each error in this value. */
+function Errors(...args) {
+    const iterator = args.length === 3 ? Visit(args[0], args[1], '', args[2]) : Visit(args[0], [], '', args[1]);
+    return new ValueErrorIterator(iterator);
+}
+exports.Errors = Errors;