@sinclair/typebox 0.29.6 → 0.30.0-dev-2

package/value/check.js

@@ -27,13 +27,14 @@ THE SOFTWARE.
 
 ---------------------------------------------------------------------------*/
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.ValueCheck = exports.ValueCheckDereferenceError = exports.ValueCheckUnknownTypeError = void 0;
-const Types = require("../typebox");
+exports.Check = exports.ValueCheckDereferenceError = exports.ValueCheckUnknownTypeError = void 0;
 const index_1 = require("../system/index");
-const hash_1 = require("./hash");
-// -------------------------------------------------------------------------
+const Types = require("../typebox");
+const ValueGuard = require("./guard");
+const ValueHash = require("./hash");
+// --------------------------------------------------------------------------
 // Errors
-// -------------------------------------------------------------------------
+// --------------------------------------------------------------------------
 class ValueCheckUnknownTypeError extends Error {
     constructor(schema) {
         super(`ValueCheck: ${schema[Types.Kind] ? `Unknown type '${schema[Types.Kind]}'` : 'Unknown type'}`);
@@ -48,445 +49,459 @@ class ValueCheckDereferenceError extends Error {
     }
 }
 exports.ValueCheckDereferenceError = ValueCheckDereferenceError;
-var ValueCheck;
-(function (ValueCheck) {
-    // ----------------------------------------------------------------------
-    // 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;
-    }
-    // ----------------------------------------------------------------------
-    // SchemaGuards
-    // ----------------------------------------------------------------------
-    function IsAnyOrUnknown(schema) {
-        return schema[Types.Kind] === 'Any' || schema[Types.Kind] === 'Unknown';
-    }
-    // ----------------------------------------------------------------------
-    // 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, value) {
-        return true;
+// --------------------------------------------------------------------------
+// TypeGuards
+// --------------------------------------------------------------------------
+function IsAnyOrUnknown(schema) {
+    return schema[Types.Kind] === 'Any' || schema[Types.Kind] === 'Unknown';
+}
+// --------------------------------------------------------------------------
+// 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, value) {
+    return true;
+}
+function TArray(schema, references, value) {
+    if (!Array.isArray(value)) {
+        return false;
     }
-    function Array(schema, references, value) {
-        if (!globalThis.Array.isArray(value)) {
-            return false;
-        }
-        if (IsDefined(schema.minItems) && !(value.length >= schema.minItems)) {
-            return false;
-        }
-        if (IsDefined(schema.maxItems) && !(value.length <= schema.maxItems)) {
-            return false;
-        }
-        // 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; })())) {
-            return false;
-        }
-        return value.every((value) => Visit(schema.items, references, value));
+    if (IsDefined(schema.minItems) && !(value.length >= schema.minItems)) {
+        return false;
     }
-    function BigInt(schema, references, value) {
-        if (!IsBigInt(value)) {
-            return false;
-        }
-        if (IsDefined(schema.multipleOf) && !(value % schema.multipleOf === globalThis.BigInt(0))) {
-            return false;
-        }
-        if (IsDefined(schema.exclusiveMinimum) && !(value > schema.exclusiveMinimum)) {
-            return false;
-        }
-        if (IsDefined(schema.exclusiveMaximum) && !(value < schema.exclusiveMaximum)) {
-            return false;
-        }
-        if (IsDefined(schema.minimum) && !(value >= schema.minimum)) {
+    if (IsDefined(schema.maxItems) && !(value.length <= schema.maxItems)) {
+        return false;
+    }
+    if (!value.every((value) => Visit(schema.items, references, value))) {
+        return false;
+    }
+    // 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.maximum) && !(value <= schema.maximum)) {
-            return false;
+        else {
+            set.add(hashed);
         }
-        return true;
+    } return true; })())) {
+        return false;
     }
-    function Boolean(schema, references, value) {
-        return typeof value === 'boolean';
+    // contains
+    if (!(IsDefined(schema.contains) || IsNumber(schema.minContains) || IsNumber(schema.maxContains))) {
+        return true; // exit
     }
-    function Constructor(schema, references, value) {
-        return Visit(schema.returns, references, value.prototype);
+    const containsSchema = IsDefined(schema.contains) ? schema.contains : Types.Type.Never();
+    const containsCount = value.reduce((acc, value) => (Visit(containsSchema, references, value) ? acc + 1 : acc), 0);
+    if (containsCount === 0) {
+        return false;
     }
-    function Date(schema, references, value) {
-        if (!(value instanceof globalThis.Date)) {
-            return false;
-        }
-        if (!IsNumber(value.getTime())) {
-            return false;
-        }
-        if (IsDefined(schema.exclusiveMinimumTimestamp) && !(value.getTime() > schema.exclusiveMinimumTimestamp)) {
-            return false;
-        }
-        if (IsDefined(schema.exclusiveMaximumTimestamp) && !(value.getTime() < schema.exclusiveMaximumTimestamp)) {
-            return false;
-        }
-        if (IsDefined(schema.minimumTimestamp) && !(value.getTime() >= schema.minimumTimestamp)) {
-            return false;
-        }
-        if (IsDefined(schema.maximumTimestamp) && !(value.getTime() <= schema.maximumTimestamp)) {
-            return false;
-        }
-        return true;
+    if (IsNumber(schema.minContains) && containsCount < schema.minContains) {
+        return false;
     }
-    function Function(schema, references, value) {
-        return typeof value === 'function';
+    if (IsNumber(schema.maxContains) && containsCount > schema.maxContains) {
+        return false;
     }
-    function Integer(schema, references, value) {
-        if (!IsInteger(value)) {
-            return false;
-        }
-        if (IsDefined(schema.multipleOf) && !(value % schema.multipleOf === 0)) {
-            return false;
-        }
-        if (IsDefined(schema.exclusiveMinimum) && !(value > schema.exclusiveMinimum)) {
-            return false;
-        }
-        if (IsDefined(schema.exclusiveMaximum) && !(value < schema.exclusiveMaximum)) {
-            return false;
-        }
-        if (IsDefined(schema.minimum) && !(value >= schema.minimum)) {
-            return false;
-        }
-        if (IsDefined(schema.maximum) && !(value <= schema.maximum)) {
-            return false;
-        }
-        return true;
+    return true;
+}
+function TAsyncIterator(schema, references, value) {
+    return IsObject(value) && Symbol.asyncIterator in value;
+}
+function TBigInt(schema, references, value) {
+    if (!ValueGuard.IsBigInt(value)) {
+        return false;
     }
-    function Intersect(schema, references, value) {
-        const check1 = schema.allOf.every((schema) => Visit(schema, references, value));
-        if (schema.unevaluatedProperties === false) {
-            const keyCheck = new RegExp(Types.KeyResolver.ResolvePattern(schema));
-            const check2 = globalThis.Object.getOwnPropertyNames(value).every((key) => keyCheck.test(key));
-            return check1 && check2;
-        }
-        else if (Types.TypeGuard.TSchema(schema.unevaluatedProperties)) {
-            const keyCheck = new RegExp(Types.KeyResolver.ResolvePattern(schema));
-            const check2 = globalThis.Object.getOwnPropertyNames(value).every((key) => keyCheck.test(key) || Visit(schema.unevaluatedProperties, references, value[key]));
-            return check1 && check2;
-        }
-        else {
-            return check1;
-        }
+    if (IsDefined(schema.multipleOf) && !(value % schema.multipleOf === BigInt(0))) {
+        return false;
     }
-    function Literal(schema, references, value) {
-        return value === schema.const;
+    if (IsDefined(schema.exclusiveMinimum) && !(value > schema.exclusiveMinimum)) {
+        return false;
     }
-    function Never(schema, references, value) {
+    if (IsDefined(schema.exclusiveMaximum) && !(value < schema.exclusiveMaximum)) {
         return false;
     }
-    function Not(schema, references, value) {
-        return !Visit(schema.not, references, value);
+    if (IsDefined(schema.minimum) && !(value >= schema.minimum)) {
+        return false;
     }
-    function Null(schema, references, value) {
-        return value === null;
+    if (IsDefined(schema.maximum) && !(value <= schema.maximum)) {
+        return false;
     }
-    function Number(schema, references, value) {
-        if (!IsNumber(value)) {
-            return false;
-        }
-        if (IsDefined(schema.multipleOf) && !(value % schema.multipleOf === 0)) {
-            return false;
-        }
-        if (IsDefined(schema.exclusiveMinimum) && !(value > schema.exclusiveMinimum)) {
-            return false;
-        }
-        if (IsDefined(schema.exclusiveMaximum) && !(value < schema.exclusiveMaximum)) {
-            return false;
-        }
-        if (IsDefined(schema.minimum) && !(value >= schema.minimum)) {
-            return false;
-        }
-        if (IsDefined(schema.maximum) && !(value <= schema.maximum)) {
-            return false;
-        }
-        return true;
+    return true;
+}
+function TBoolean(schema, references, value) {
+    return typeof value === 'boolean';
+}
+function TConstructor(schema, references, value) {
+    return Visit(schema.returns, references, value.prototype);
+}
+function TDate(schema, references, value) {
+    if (!(value instanceof Date)) {
+        return false;
     }
-    function Object(schema, references, value) {
-        if (!IsObject(value)) {
-            return false;
-        }
-        if (IsDefined(schema.minProperties) && !(globalThis.Object.getOwnPropertyNames(value).length >= schema.minProperties)) {
-            return false;
-        }
-        if (IsDefined(schema.maxProperties) && !(globalThis.Object.getOwnPropertyNames(value).length <= schema.maxProperties)) {
-            return false;
-        }
-        const knownKeys = globalThis.Object.getOwnPropertyNames(schema.properties);
-        for (const knownKey of knownKeys) {
-            const property = schema.properties[knownKey];
-            if (schema.required && schema.required.includes(knownKey)) {
-                if (!Visit(property, references, value[knownKey])) {
-                    return false;
-                }
-                if ((Types.ExtendsUndefined.Check(property) || IsAnyOrUnknown(property)) && !(knownKey in value)) {
-                    return false;
-                }
+    if (!IsNumber(value.getTime())) {
+        return false;
+    }
+    if (IsDefined(schema.exclusiveMinimumTimestamp) && !(value.getTime() > schema.exclusiveMinimumTimestamp)) {
+        return false;
+    }
+    if (IsDefined(schema.exclusiveMaximumTimestamp) && !(value.getTime() < schema.exclusiveMaximumTimestamp)) {
+        return false;
+    }
+    if (IsDefined(schema.minimumTimestamp) && !(value.getTime() >= schema.minimumTimestamp)) {
+        return false;
+    }
+    if (IsDefined(schema.maximumTimestamp) && !(value.getTime() <= schema.maximumTimestamp)) {
+        return false;
+    }
+    return true;
+}
+function TFunction(schema, references, value) {
+    return typeof value === 'function';
+}
+function TInteger(schema, references, value) {
+    if (!ValueGuard.IsInteger(value)) {
+        return false;
+    }
+    if (IsDefined(schema.multipleOf) && !(value % schema.multipleOf === 0)) {
+        return false;
+    }
+    if (IsDefined(schema.exclusiveMinimum) && !(value > schema.exclusiveMinimum)) {
+        return false;
+    }
+    if (IsDefined(schema.exclusiveMaximum) && !(value < schema.exclusiveMaximum)) {
+        return false;
+    }
+    if (IsDefined(schema.minimum) && !(value >= schema.minimum)) {
+        return false;
+    }
+    if (IsDefined(schema.maximum) && !(value <= schema.maximum)) {
+        return false;
+    }
+    return true;
+}
+function TIntersect(schema, references, value) {
+    const check1 = schema.allOf.every((schema) => Visit(schema, references, value));
+    if (schema.unevaluatedProperties === false) {
+        const keyPattern = new RegExp(Types.KeyResolver.ResolvePattern(schema));
+        const check2 = Object.getOwnPropertyNames(value).every((key) => keyPattern.test(key));
+        return check1 && check2;
+    }
+    else if (Types.TypeGuard.TSchema(schema.unevaluatedProperties)) {
+        const keyCheck = new RegExp(Types.KeyResolver.ResolvePattern(schema));
+        const check2 = Object.getOwnPropertyNames(value).every((key) => keyCheck.test(key) || Visit(schema.unevaluatedProperties, references, value[key]));
+        return check1 && check2;
+    }
+    else {
+        return check1;
+    }
+}
+function TIterator(schema, references, value) {
+    return IsObject(value) && Symbol.iterator in value;
+}
+function TLiteral(schema, references, value) {
+    return value === schema.const;
+}
+function TNever(schema, references, value) {
+    return false;
+}
+function TNot(schema, references, value) {
+    return !Visit(schema.not, references, value);
+}
+function TNull(schema, references, value) {
+    return value === null;
+}
+function TNumber(schema, references, value) {
+    if (!IsNumber(value)) {
+        return false;
+    }
+    if (IsDefined(schema.multipleOf) && !(value % schema.multipleOf === 0)) {
+        return false;
+    }
+    if (IsDefined(schema.exclusiveMinimum) && !(value > schema.exclusiveMinimum)) {
+        return false;
+    }
+    if (IsDefined(schema.exclusiveMaximum) && !(value < schema.exclusiveMaximum)) {
+        return false;
+    }
+    if (IsDefined(schema.minimum) && !(value >= schema.minimum)) {
+        return false;
+    }
+    if (IsDefined(schema.maximum) && !(value <= schema.maximum)) {
+        return false;
+    }
+    return true;
+}
+function TObject(schema, references, value) {
+    if (!IsObject(value)) {
+        return false;
+    }
+    if (IsDefined(schema.minProperties) && !(Object.getOwnPropertyNames(value).length >= schema.minProperties)) {
+        return false;
+    }
+    if (IsDefined(schema.maxProperties) && !(Object.getOwnPropertyNames(value).length <= schema.maxProperties)) {
+        return false;
+    }
+    const knownKeys = Object.getOwnPropertyNames(schema.properties);
+    for (const knownKey of knownKeys) {
+        const property = schema.properties[knownKey];
+        if (schema.required && schema.required.includes(knownKey)) {
+            if (!Visit(property, references, value[knownKey])) {
+                return false;
             }
-            else {
-                if (IsExactOptionalProperty(value, knownKey) && !Visit(property, references, value[knownKey])) {
-                    return false;
-                }
+            if ((Types.ExtendsUndefined.Check(property) || IsAnyOrUnknown(property)) && !(knownKey in value)) {
+                return false;
             }
         }
-        if (schema.additionalProperties === false) {
-            const valueKeys = globalThis.Object.getOwnPropertyNames(value);
-            // optimization: value is valid if schemaKey length matches the valueKey length
-            if (schema.required && schema.required.length === knownKeys.length && valueKeys.length === knownKeys.length) {
-                return true;
-            }
-            else {
-                return valueKeys.every((valueKey) => knownKeys.includes(valueKey));
+        else {
+            if (IsExactOptionalProperty(value, knownKey) && !Visit(property, references, value[knownKey])) {
+                return false;
             }
         }
-        else if (typeof schema.additionalProperties === 'object') {
-            const valueKeys = globalThis.Object.getOwnPropertyNames(value);
-            return valueKeys.every((key) => knownKeys.includes(key) || Visit(schema.additionalProperties, references, value[key]));
+    }
+    if (schema.additionalProperties === false) {
+        const valueKeys = Object.getOwnPropertyNames(value);
+        // optimization: value is valid if schemaKey length matches the valueKey length
+        if (schema.required && schema.required.length === knownKeys.length && valueKeys.length === knownKeys.length) {
+            return true;
         }
         else {
-            return true;
+            return valueKeys.every((valueKey) => knownKeys.includes(valueKey));
         }
     }
-    function Promise(schema, references, value) {
-        return typeof value === 'object' && typeof value.then === 'function';
+    else if (typeof schema.additionalProperties === 'object') {
+        const valueKeys = Object.getOwnPropertyNames(value);
+        return valueKeys.every((key) => knownKeys.includes(key) || Visit(schema.additionalProperties, references, value[key]));
     }
-    function Record(schema, references, value) {
-        if (!IsRecordObject(value)) {
-            return false;
-        }
-        if (IsDefined(schema.minProperties) && !(globalThis.Object.getOwnPropertyNames(value).length >= schema.minProperties)) {
-            return false;
-        }
-        if (IsDefined(schema.maxProperties) && !(globalThis.Object.getOwnPropertyNames(value).length <= schema.maxProperties)) {
-            return false;
-        }
-        const [patternKey, patternSchema] = globalThis.Object.entries(schema.patternProperties)[0];
-        const regex = new RegExp(patternKey);
-        return globalThis.Object.entries(value).every(([key, value]) => {
-            if (regex.test(key)) {
-                return Visit(patternSchema, references, value);
-            }
-            if (typeof schema.additionalProperties === 'object') {
-                return Visit(schema.additionalProperties, references, value);
-            }
-            if (schema.additionalProperties === false) {
-                return false;
-            }
-            return true;
-        });
+    else {
+        return true;
     }
-    function Ref(schema, references, value) {
-        const index = references.findIndex((foreign) => foreign.$id === schema.$ref);
-        if (index === -1)
-            throw new ValueCheckDereferenceError(schema);
-        const target = references[index];
-        return Visit(target, references, value);
+}
+function TPromise(schema, references, value) {
+    return typeof value === 'object' && typeof value.then === 'function';
+}
+function TRecord(schema, references, value) {
+    if (!IsRecordObject(value)) {
+        return false;
     }
-    function String(schema, references, value) {
-        if (!IsString(value)) {
-            return false;
-        }
-        if (IsDefined(schema.minLength)) {
-            if (!(value.length >= schema.minLength))
-                return false;
-        }
-        if (IsDefined(schema.maxLength)) {
-            if (!(value.length <= schema.maxLength))
-                return false;
-        }
-        if (IsDefined(schema.pattern)) {
-            const regex = new RegExp(schema.pattern);
-            if (!regex.test(value))
-                return false;
+    if (IsDefined(schema.minProperties) && !(Object.getOwnPropertyNames(value).length >= schema.minProperties)) {
+        return false;
+    }
+    if (IsDefined(schema.maxProperties) && !(Object.getOwnPropertyNames(value).length <= schema.maxProperties)) {
+        return false;
+    }
+    const [patternKey, patternSchema] = Object.entries(schema.patternProperties)[0];
+    const regex = new RegExp(patternKey);
+    return Object.entries(value).every(([key, value]) => {
+        if (regex.test(key)) {
+            return Visit(patternSchema, references, value);
         }
-        if (IsDefined(schema.format)) {
-            if (!Types.FormatRegistry.Has(schema.format))
-                return false;
-            const func = Types.FormatRegistry.Get(schema.format);
-            return func(value);
+        if (typeof schema.additionalProperties === 'object') {
+            return Visit(schema.additionalProperties, references, value);
         }
-        return true;
-    }
-    function Symbol(schema, references, value) {
-        if (!(typeof value === 'symbol')) {
+        if (schema.additionalProperties === false) {
             return false;
         }
         return true;
+    });
+}
+function TRef(schema, references, value) {
+    const index = references.findIndex((foreign) => foreign.$id === schema.$ref);
+    if (index === -1)
+        throw new ValueCheckDereferenceError(schema);
+    const target = references[index];
+    return Visit(target, references, value);
+}
+function TString(schema, references, value) {
+    if (!ValueGuard.IsString(value)) {
+        return false;
     }
-    function TemplateLiteral(schema, references, value) {
-        if (!IsString(value)) {
+    if (IsDefined(schema.minLength)) {
+        if (!(value.length >= schema.minLength))
             return false;
-        }
-        return new RegExp(schema.pattern).test(value);
     }
-    function This(schema, references, value) {
-        const index = references.findIndex((foreign) => foreign.$id === schema.$ref);
-        if (index === -1)
-            throw new ValueCheckDereferenceError(schema);
-        const target = references[index];
-        return Visit(target, references, value);
-    }
-    function Tuple(schema, references, value) {
-        if (!globalThis.Array.isArray(value)) {
+    if (IsDefined(schema.maxLength)) {
+        if (!(value.length <= schema.maxLength))
             return false;
-        }
-        if (schema.items === undefined && !(value.length === 0)) {
+    }
+    if (IsDefined(schema.pattern)) {
+        const regex = new RegExp(schema.pattern);
+        if (!regex.test(value))
             return false;
-        }
-        if (!(value.length === schema.maxItems)) {
+    }
+    if (IsDefined(schema.format)) {
+        if (!Types.FormatRegistry.Has(schema.format))
             return false;
-        }
-        if (!schema.items) {
-            return true;
-        }
-        for (let i = 0; i < schema.items.length; i++) {
-            if (!Visit(schema.items[i], references, value[i]))
-                return false;
-        }
-        return true;
+        const func = Types.FormatRegistry.Get(schema.format);
+        return func(value);
     }
-    function Undefined(schema, references, value) {
-        return value === undefined;
+    return true;
+}
+function TSymbol(schema, references, value) {
+    if (!(typeof value === 'symbol')) {
+        return false;
     }
-    function Union(schema, references, value) {
-        return schema.anyOf.some((inner) => Visit(inner, references, value));
+    return true;
+}
+function TTemplateLiteral(schema, references, value) {
+    if (!ValueGuard.IsString(value)) {
+        return false;
     }
-    function Uint8Array(schema, references, value) {
-        if (!(value instanceof globalThis.Uint8Array)) {
-            return false;
-        }
-        if (IsDefined(schema.maxByteLength) && !(value.length <= schema.maxByteLength)) {
-            return false;
-        }
-        if (IsDefined(schema.minByteLength) && !(value.length >= schema.minByteLength)) {
-            return false;
-        }
-        return true;
+    return new RegExp(schema.pattern).test(value);
+}
+function TThis(schema, references, value) {
+    const index = references.findIndex((foreign) => foreign.$id === schema.$ref);
+    if (index === -1)
+        throw new ValueCheckDereferenceError(schema);
+    const target = references[index];
+    return Visit(target, references, value);
+}
+function TTuple(schema, references, value) {
+    if (!ValueGuard.IsArray(value)) {
+        return false;
     }
-    function Unknown(schema, references, value) {
-        return true;
+    if (schema.items === undefined && !(value.length === 0)) {
+        return false;
     }
-    function Void(schema, references, value) {
-        return IsVoid(value);
+    if (!(value.length === schema.maxItems)) {
+        return false;
     }
-    function UserDefined(schema, references, value) {
-        if (!Types.TypeRegistry.Has(schema[Types.Kind]))
+    if (!schema.items) {
+        return true;
+    }
+    for (let i = 0; i < schema.items.length; i++) {
+        if (!Visit(schema.items[i], references, value[i]))
             return false;
-        const func = Types.TypeRegistry.Get(schema[Types.Kind]);
-        return func(schema, value);
-    }
-    function Visit(schema, references, value) {
-        const references_ = IsDefined(schema.$id) ? [...references, schema] : references;
-        const schema_ = schema;
-        switch (schema_[Types.Kind]) {
-            case 'Any':
-                return Any(schema_, references_, value);
-            case 'Array':
-                return Array(schema_, references_, value);
-            case 'BigInt':
-                return BigInt(schema_, references_, value);
-            case 'Boolean':
-                return Boolean(schema_, references_, value);
-            case 'Constructor':
-                return Constructor(schema_, references_, value);
-            case 'Date':
-                return Date(schema_, references_, value);
-            case 'Function':
-                return Function(schema_, references_, value);
-            case 'Integer':
-                return Integer(schema_, references_, value);
-            case 'Intersect':
-                return Intersect(schema_, references_, value);
-            case 'Literal':
-                return Literal(schema_, references_, value);
-            case 'Never':
-                return Never(schema_, references_, value);
-            case 'Not':
-                return Not(schema_, references_, value);
-            case 'Null':
-                return Null(schema_, references_, value);
-            case 'Number':
-                return Number(schema_, references_, value);
-            case 'Object':
-                return Object(schema_, references_, value);
-            case 'Promise':
-                return Promise(schema_, references_, value);
-            case 'Record':
-                return Record(schema_, references_, value);
-            case 'Ref':
-                return Ref(schema_, references_, value);
-            case 'String':
-                return String(schema_, references_, value);
-            case 'Symbol':
-                return Symbol(schema_, references_, value);
-            case 'TemplateLiteral':
-                return TemplateLiteral(schema_, references_, value);
-            case 'This':
-                return This(schema_, references_, value);
-            case 'Tuple':
-                return Tuple(schema_, references_, value);
-            case 'Undefined':
-                return Undefined(schema_, references_, value);
-            case 'Union':
-                return Union(schema_, references_, value);
-            case 'Uint8Array':
-                return Uint8Array(schema_, references_, value);
-            case 'Unknown':
-                return Unknown(schema_, references_, value);
-            case 'Void':
-                return Void(schema_, references_, value);
-            default:
-                if (!Types.TypeRegistry.Has(schema_[Types.Kind]))
-                    throw new ValueCheckUnknownTypeError(schema_);
-                return UserDefined(schema_, references_, value);
-        }
     }
-    // -------------------------------------------------------------------------
-    // Check
-    // -------------------------------------------------------------------------
-    function Check(schema, references, value) {
-        return Visit(schema, references, value);
+    return true;
+}
+function TUndefined(schema, references, value) {
+    return value === undefined;
+}
+function TUnion(schema, references, value) {
+    return schema.anyOf.some((inner) => Visit(inner, references, value));
+}
+function TUint8Array(schema, references, value) {
+    if (!(value instanceof Uint8Array)) {
+        return false;
+    }
+    if (IsDefined(schema.maxByteLength) && !(value.length <= schema.maxByteLength)) {
+        return false;
+    }
+    if (IsDefined(schema.minByteLength) && !(value.length >= schema.minByteLength)) {
+        return false;
     }
-    ValueCheck.Check = Check;
-})(ValueCheck || (exports.ValueCheck = ValueCheck = {}));
+    return true;
+}
+function TUnknown(schema, references, value) {
+    return true;
+}
+function TVoid(schema, references, value) {
+    return IsVoid(value);
+}
+function TKind(schema, references, value) {
+    if (!Types.TypeRegistry.Has(schema[Types.Kind]))
+        return false;
+    const func = Types.TypeRegistry.Get(schema[Types.Kind]);
+    return func(schema, value);
+}
+function Visit(schema, references, value) {
+    const references_ = IsDefined(schema.$id) ? [...references, schema] : references;
+    const schema_ = schema;
+    switch (schema_[Types.Kind]) {
+        case 'Any':
+            return TAny(schema_, references_, value);
+        case 'Array':
+            return TArray(schema_, references_, value);
+        case 'AsyncIterator':
+            return TAsyncIterator(schema_, references_, value);
+        case 'BigInt':
+            return TBigInt(schema_, references_, value);
+        case 'Boolean':
+            return TBoolean(schema_, references_, value);
+        case 'Constructor':
+            return TConstructor(schema_, references_, value);
+        case 'Date':
+            return TDate(schema_, references_, value);
+        case 'Function':
+            return TFunction(schema_, references_, value);
+        case 'Integer':
+            return TInteger(schema_, references_, value);
+        case 'Intersect':
+            return TIntersect(schema_, references_, value);
+        case 'Iterator':
+            return TIterator(schema_, references_, value);
+        case 'Literal':
+            return TLiteral(schema_, references_, value);
+        case 'Never':
+            return TNever(schema_, references_, value);
+        case 'Not':
+            return TNot(schema_, references_, value);
+        case 'Null':
+            return TNull(schema_, references_, value);
+        case 'Number':
+            return TNumber(schema_, references_, value);
+        case 'Object':
+            return TObject(schema_, references_, value);
+        case 'Promise':
+            return TPromise(schema_, references_, value);
+        case 'Record':
+            return TRecord(schema_, references_, value);
+        case 'Ref':
+            return TRef(schema_, references_, value);
+        case 'String':
+            return TString(schema_, references_, value);
+        case 'Symbol':
+            return TSymbol(schema_, references_, value);
+        case 'TemplateLiteral':
+            return TTemplateLiteral(schema_, references_, value);
+        case 'This':
+            return TThis(schema_, references_, value);
+        case 'Tuple':
+            return TTuple(schema_, references_, value);
+        case 'Undefined':
+            return TUndefined(schema_, references_, value);
+        case 'Union':
+            return TUnion(schema_, references_, value);
+        case 'Uint8Array':
+            return TUint8Array(schema_, references_, value);
+        case 'Unknown':
+            return TUnknown(schema_, references_, value);
+        case 'Void':
+            return TVoid(schema_, references_, value);
+        default:
+            if (!Types.TypeRegistry.Has(schema_[Types.Kind]))
+                throw new ValueCheckUnknownTypeError(schema_);
+            return TKind(schema_, references_, value);
+    }
+}
+/** Returns true if the value matches the given type. */
+function Check(...args) {
+    return args.length === 3 ? Visit(args[0], args[1], args[2]) : Visit(args[0], [], args[1]);
+}
+exports.Check = Check;