@sinclair/typebox 0.24.22 → 0.24.25

package/errors/errors.js

@@ -0,0 +1,381 @@
+"use strict";
+/*--------------------------------------------------------------------------
+
+@sinclair/typebox/errors
+
+The MIT License (MIT)
+
+Copyright (c) 2022 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+
+---------------------------------------------------------------------------*/
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ValueErrors = exports.ValueErrorsInvalidTypeError = exports.ValueErrorType = void 0;
+const index_1 = require("../guard/index");
+// -------------------------------------------------------------------
+// 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["Boolean"] = 4] = "Boolean";
+    ValueErrorType[ValueErrorType["Function"] = 5] = "Function";
+    ValueErrorType[ValueErrorType["Integer"] = 6] = "Integer";
+    ValueErrorType[ValueErrorType["IntegerMultipleOf"] = 7] = "IntegerMultipleOf";
+    ValueErrorType[ValueErrorType["IntegerExclusiveMinimum"] = 8] = "IntegerExclusiveMinimum";
+    ValueErrorType[ValueErrorType["IntegerExclusiveMaximum"] = 9] = "IntegerExclusiveMaximum";
+    ValueErrorType[ValueErrorType["IntegerMinimum"] = 10] = "IntegerMinimum";
+    ValueErrorType[ValueErrorType["IntegerMaximum"] = 11] = "IntegerMaximum";
+    ValueErrorType[ValueErrorType["Literal"] = 12] = "Literal";
+    ValueErrorType[ValueErrorType["Null"] = 13] = "Null";
+    ValueErrorType[ValueErrorType["Number"] = 14] = "Number";
+    ValueErrorType[ValueErrorType["NumberMultipleOf"] = 15] = "NumberMultipleOf";
+    ValueErrorType[ValueErrorType["NumberExclusiveMinimum"] = 16] = "NumberExclusiveMinimum";
+    ValueErrorType[ValueErrorType["NumberExclusiveMaximum"] = 17] = "NumberExclusiveMaximum";
+    ValueErrorType[ValueErrorType["NumberMinumum"] = 18] = "NumberMinumum";
+    ValueErrorType[ValueErrorType["NumberMaximum"] = 19] = "NumberMaximum";
+    ValueErrorType[ValueErrorType["Object"] = 20] = "Object";
+    ValueErrorType[ValueErrorType["ObjectMinProperties"] = 21] = "ObjectMinProperties";
+    ValueErrorType[ValueErrorType["ObjectMaxProperties"] = 22] = "ObjectMaxProperties";
+    ValueErrorType[ValueErrorType["ObjectAdditionalProperties"] = 23] = "ObjectAdditionalProperties";
+    ValueErrorType[ValueErrorType["Promise"] = 24] = "Promise";
+    ValueErrorType[ValueErrorType["RecordKeyNumeric"] = 25] = "RecordKeyNumeric";
+    ValueErrorType[ValueErrorType["RecordKeyString"] = 26] = "RecordKeyString";
+    ValueErrorType[ValueErrorType["String"] = 27] = "String";
+    ValueErrorType[ValueErrorType["StringMinLength"] = 28] = "StringMinLength";
+    ValueErrorType[ValueErrorType["StringMaxLength"] = 29] = "StringMaxLength";
+    ValueErrorType[ValueErrorType["StringPattern"] = 30] = "StringPattern";
+    ValueErrorType[ValueErrorType["TupleZeroLength"] = 31] = "TupleZeroLength";
+    ValueErrorType[ValueErrorType["TupleLength"] = 32] = "TupleLength";
+    ValueErrorType[ValueErrorType["Undefined"] = 33] = "Undefined";
+    ValueErrorType[ValueErrorType["Union"] = 34] = "Union";
+    ValueErrorType[ValueErrorType["Uint8Array"] = 35] = "Uint8Array";
+    ValueErrorType[ValueErrorType["Uint8ArrayMinByteLength"] = 36] = "Uint8ArrayMinByteLength";
+    ValueErrorType[ValueErrorType["Uint8ArrayMaxByteLength"] = 37] = "Uint8ArrayMaxByteLength";
+    ValueErrorType[ValueErrorType["Void"] = 38] = "Void";
+})(ValueErrorType = exports.ValueErrorType || (exports.ValueErrorType = {}));
+// -------------------------------------------------------------------
+// ValueErrors
+// -------------------------------------------------------------------
+class ValueErrorsInvalidTypeError extends Error {
+    constructor(schema) {
+        super('ValueErrors: Invalid type');
+        this.schema = schema;
+    }
+}
+exports.ValueErrorsInvalidTypeError = ValueErrorsInvalidTypeError;
+var ValueErrors;
+(function (ValueErrors) {
+    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 (schema.minItems !== undefined && !(value.length >= schema.minItems)) {
+            yield { type: ValueErrorType.ArrayMinItems, schema, path, value, message: `Expected array length to be greater or equal to ${schema.minItems}` };
+        }
+        if (schema.maxItems !== undefined && !(value.length <= schema.maxItems)) {
+            yield { type: ValueErrorType.ArrayMinItems, schema, path, value, message: `Expected array length to be less or equal to ${schema.maxItems}` };
+        }
+        if (schema.uniqueItems === true && !(new Set(value).size === value.length)) {
+            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]);
+        }
+    }
+    function* Boolean(schema, references, path, value) {
+        if (!(typeof value === 'boolean')) {
+            return yield { type: ValueErrorType.Boolean, schema, path, value, message: `Expected boolean` };
+        }
+    }
+    function* Constructor(schema, references, path, value) {
+        yield* Visit(schema.returns, references, path, value);
+    }
+    function* Function(schema, references, path, value) {
+        if (!(typeof value === 'function')) {
+            return yield { type: ValueErrorType.Function, schema, path, value, message: `Expected function` };
+        }
+    }
+    function* Integer(schema, references, path, value) {
+        if (!(typeof value === 'number')) {
+            return yield { type: ValueErrorType.Number, schema, path, value, message: `Expected number` };
+        }
+        if (!globalThis.Number.isInteger(value)) {
+            yield { type: ValueErrorType.Integer, schema, path, value, message: `Expected integer` };
+        }
+        if (schema.multipleOf && !(value % schema.multipleOf === 0)) {
+            yield { type: ValueErrorType.IntegerMultipleOf, schema, path, value, message: `Expected integer to be a multiple of ${schema.multipleOf}` };
+        }
+        if (schema.exclusiveMinimum && !(value > schema.exclusiveMinimum)) {
+            yield { type: ValueErrorType.IntegerExclusiveMinimum, schema, path, value, message: `Expected integer to be greater than ${schema.exclusiveMinimum}` };
+        }
+        if (schema.exclusiveMaximum && !(value < schema.exclusiveMaximum)) {
+            yield { type: ValueErrorType.IntegerExclusiveMaximum, schema, path, value, message: `Expected integer to be less than ${schema.exclusiveMaximum}` };
+        }
+        if (schema.minimum && !(value >= schema.minimum)) {
+            yield { type: ValueErrorType.IntegerMinimum, schema, path, value, message: `Expected integer to be greater or equal to ${schema.minimum}` };
+        }
+        if (schema.maximum && !(value <= schema.maximum)) {
+            yield { type: ValueErrorType.IntegerMaximum, schema, path, value, message: `Expected integer to be less or equal to ${schema.maximum}` };
+        }
+    }
+    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* Null(schema, references, path, value) {
+        if (!(value === null)) {
+            return yield { type: ValueErrorType.Null, schema, path, value, message: `Expected null` };
+        }
+    }
+    function* Number(schema, references, path, value) {
+        if (!(typeof value === 'number')) {
+            return yield { type: ValueErrorType.Number, schema, path, value, message: `Expected number` };
+        }
+        if (schema.multipleOf && !(value % schema.multipleOf === 0)) {
+            yield { type: ValueErrorType.NumberMultipleOf, schema, path, value, message: `Expected number to be a multiple of ${schema.multipleOf}` };
+        }
+        if (schema.exclusiveMinimum && !(value > schema.exclusiveMinimum)) {
+            yield { type: ValueErrorType.NumberExclusiveMinimum, schema, path, value, message: `Expected number to be greater than ${schema.exclusiveMinimum}` };
+        }
+        if (schema.exclusiveMaximum && !(value < schema.exclusiveMaximum)) {
+            yield { type: ValueErrorType.NumberExclusiveMaximum, schema, path, value, message: `Expected number to be less than ${schema.exclusiveMaximum}` };
+        }
+        if (schema.minimum && !(value >= schema.minimum)) {
+            yield { type: ValueErrorType.NumberMaximum, schema, path, value, message: `Expected number to be greater or equal to ${schema.minimum}` };
+        }
+        if (schema.maximum && !(value <= schema.maximum)) {
+            yield { type: ValueErrorType.NumberMinumum, schema, path, value, message: `Expected number to be less or equal to ${schema.maximum}` };
+        }
+    }
+    function* Object(schema, references, path, value) {
+        if (!(typeof value === 'object' && value !== null && !globalThis.Array.isArray(value))) {
+            return yield { type: ValueErrorType.Object, schema, path, value, message: `Expected object` };
+        }
+        if (schema.minProperties !== undefined && !(globalThis.Object.keys(value).length >= schema.minProperties)) {
+            yield { type: ValueErrorType.ObjectMinProperties, schema, path, value, message: `Expected object to have at least ${schema.minProperties} properties` };
+        }
+        if (schema.maxProperties !== undefined && !(globalThis.Object.keys(value).length <= schema.maxProperties)) {
+            yield { type: ValueErrorType.ObjectMaxProperties, schema, path, value, message: `Expected object to have less than ${schema.minProperties} properties` };
+        }
+        const propertyKeys = globalThis.Object.keys(schema.properties);
+        if (schema.additionalProperties === false) {
+            for (const propKey of globalThis.Object.keys(value)) {
+                if (!propertyKeys.includes(propKey)) {
+                    yield { type: ValueErrorType.ObjectAdditionalProperties, schema, path: `${path}/${propKey}`, value: value[propKey], message: 'Unexpected property' };
+                }
+            }
+        }
+        for (const propertyKey of propertyKeys) {
+            const propertySchema = schema.properties[propertyKey];
+            if (schema.required && schema.required.includes(propertyKey)) {
+                yield* Visit(propertySchema, references, `${path}/${propertyKey}`, value[propertyKey]);
+            }
+            else {
+                if (value[propertyKey] !== undefined) {
+                    yield* Visit(propertySchema, references, `${path}/${propertyKey}`, value[propertyKey]);
+                }
+            }
+        }
+    }
+    function* Promise(schema, references, path, value) {
+        if (!(typeof value === 'object' && typeof value.then === 'function')) {
+            yield { type: ValueErrorType.Promise, schema, path, value, message: `Expected Promise` };
+        }
+    }
+    function* Record(schema, references, path, value) {
+        if (!(typeof value === 'object' && value !== null && !globalThis.Array.isArray(value))) {
+            return yield { type: ValueErrorType.Object, schema, path, value, message: `Expected object` };
+        }
+        const [keyPattern, valueSchema] = globalThis.Object.entries(schema.patternProperties)[0];
+        const regex = new RegExp(keyPattern);
+        if (!globalThis.Object.keys(value).every((key) => regex.test(key))) {
+            const numeric = keyPattern === '^(0|[1-9][0-9]*)$';
+            const type = numeric ? ValueErrorType.RecordKeyNumeric : ValueErrorType.RecordKeyString;
+            const message = numeric ? 'Expected all object property keys to be numeric' : 'Expected all object property keys to be strings';
+            return yield { type, schema, path, value, message };
+        }
+        for (const [propKey, propValue] of globalThis.Object.entries(value)) {
+            yield* Visit(valueSchema, references, `${path}/${propKey}`, propValue);
+        }
+    }
+    function* Ref(schema, references, path, value) {
+        const reference = references.find((reference) => reference.$id === schema.$ref);
+        if (reference === undefined)
+            throw new Error(`ValueErrors.Ref: Cannot find schema with $id '${schema.$ref}'.`);
+        yield* Visit(reference, references, path, value);
+    }
+    function* Self(schema, references, path, value) {
+        const reference = references.find((reference) => reference.$id === schema.$ref);
+        if (reference === undefined)
+            throw new Error(`ValueErrors.Self: Cannot find schema with $id '${schema.$ref}'.`);
+        yield* Visit(reference, references, path, value);
+    }
+    function* String(schema, references, path, value) {
+        if (!(typeof value === 'string')) {
+            return yield { type: ValueErrorType.String, schema, path, value, message: 'Expected string' };
+        }
+        if (schema.minLength !== undefined && !(value.length >= schema.minLength)) {
+            yield { type: ValueErrorType.StringMinLength, schema, path, value, message: `Expected string length greater or equal to ${schema.minLength}` };
+        }
+        if (schema.maxLength !== undefined && !(value.length <= schema.maxLength)) {
+            yield { type: ValueErrorType.StringMaxLength, schema, path, value, message: `Expected string length less or equal to ${schema.maxLength}` };
+        }
+        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}` };
+            }
+        }
+    }
+    function* Tuple(schema, references, path, value) {
+        if (!globalThis.Array.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* Undefined(schema, references, path, value) {
+        if (!(value === undefined)) {
+            yield { type: ValueErrorType.Undefined, schema, path, value, message: `Expected undefined` };
+        }
+    }
+    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);
+        }
+        for (const error of errors) {
+            yield error;
+        }
+        if (errors.length > 0) {
+            yield { type: ValueErrorType.Union, schema, path, value, message: 'Expected value of union' };
+        }
+    }
+    function* Uint8Array(schema, references, path, value) {
+        if (!(value instanceof globalThis.Uint8Array)) {
+            return yield { type: ValueErrorType.Uint8Array, schema, path, value, message: `Expected Uint8Array` };
+        }
+        if (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 (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* Unknown(schema, references, path, value) { }
+    function* Void(schema, references, path, value) {
+        if (!(value === null)) {
+            return yield { type: ValueErrorType.Void, schema, path, value, message: `Expected null` };
+        }
+    }
+    function* Visit(schema, references, path, value) {
+        const refs = schema.$id === undefined ? references : [schema, ...references];
+        if (index_1.TypeGuard.TAny(schema)) {
+            return yield* Any(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TArray(schema)) {
+            return yield* Array(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TBoolean(schema)) {
+            return yield* Boolean(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TConstructor(schema)) {
+            return yield* Constructor(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TFunction(schema)) {
+            return yield* Function(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TInteger(schema)) {
+            return yield* Integer(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TLiteral(schema)) {
+            return yield* Literal(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TNull(schema)) {
+            return yield* Null(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TNumber(schema)) {
+            return yield* Number(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TObject(schema)) {
+            return yield* Object(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TPromise(schema)) {
+            return yield* Promise(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TRecord(schema)) {
+            return yield* Record(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TRef(schema)) {
+            return yield* Ref(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TSelf(schema)) {
+            return yield* Self(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TString(schema)) {
+            return yield* String(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TTuple(schema)) {
+            return yield* Tuple(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TUndefined(schema)) {
+            return yield* Undefined(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TUnion(schema)) {
+            return yield* Union(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TUint8Array(schema)) {
+            return yield* Uint8Array(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TUnknown(schema)) {
+            return yield* Unknown(schema, refs, path, value);
+        }
+        else if (index_1.TypeGuard.TVoid(schema)) {
+            return yield* Void(schema, refs, path, value);
+        }
+        else {
+            throw new ValueErrorsInvalidTypeError(schema);
+        }
+    }
+    function* Errors(schema, references, value) {
+        yield* Visit(schema, references, '', value);
+    }
+    ValueErrors.Errors = Errors;
+})(ValueErrors = exports.ValueErrors || (exports.ValueErrors = {}));

package/errors/index.d.ts

@@ -0,0 +1 @@
+export * from './errors';

package/{compiler/property.js → errors/index.js}

@@ -1,7 +1,7 @@
 "use strict";
 /*--------------------------------------------------------------------------
 
-@sinclair/typebox/compiler
+@sinclair/typebox/errors
 
 The MIT License (MIT)
 
@@ -26,39 +26,19 @@ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 THE SOFTWARE.
 
 ---------------------------------------------------------------------------*/
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Property = void 0;
-var Property;
-(function (Property) {
-    function DollarSign(char) {
-        return char === 36;
-    }
-    function Underscore(char) {
-        return char === 95;
-    }
-    function Numeric(char) {
-        return char >= 48 && char <= 57;
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
     }
-    function Alpha(char) {
-        return (char >= 65 && char <= 90) || (char >= 97 && char <= 122);
-    }
-    /** Tests if this property name can be used in a member expression */
-    function Check(propertyName) {
-        if (propertyName.length === 0)
-            return false;
-        {
-            const code = propertyName.charCodeAt(0);
-            if (!(DollarSign(code) || Underscore(code) || Alpha(code))) {
-                return false;
-            }
-        }
-        for (let i = 1; i < propertyName.length; i++) {
-            const code = propertyName.charCodeAt(i);
-            if (!(DollarSign(code) || Underscore(code) || Alpha(code) || Numeric(code))) {
-                return false;
-            }
-        }
-        return true;
-    }
-    Property.Check = Check;
-})(Property = exports.Property || (exports.Property = {}));
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./errors"), exports);

package/guard/guard.js

@@ -32,11 +32,41 @@ const Types = require("../typebox");
 /** TypeGuard tests that values conform to a known TypeBox type specification */
 var TypeGuard;
 (function (TypeGuard) {
-    function IsObject(schema) {
-        return typeof schema === 'object' && schema !== null && !Array.isArray(schema);
+    function IsObject(value) {
+        return typeof value === 'object' && value !== null && !Array.isArray(value);
     }
-    function IsArray(schema) {
-        return typeof schema === 'object' && schema !== null && Array.isArray(schema);
+    function IsArray(value) {
+        return typeof value === 'object' && value !== null && Array.isArray(value);
+    }
+    function IsPattern(value) {
+        try {
+            new RegExp(value);
+            return true;
+        }
+        catch {
+            return false;
+        }
+    }
+    function IsString(value) {
+        return typeof value === 'string';
+    }
+    function IsNumber(value) {
+        return typeof value === 'number';
+    }
+    function IsBoolean(value) {
+        return typeof value === 'boolean';
+    }
+    function IsOptionalNumber(value) {
+        return value === undefined || (value !== undefined && IsNumber(value));
+    }
+    function IsOptionalBoolean(value) {
+        return value === undefined || (value !== undefined && IsBoolean(value));
+    }
+    function IsOptionalString(value) {
+        return value === undefined || (value !== undefined && IsString(value));
+    }
+    function IsOptionalPattern(value) {
+        return value === undefined || (value !== undefined && IsPattern(value));
     }
     /** Returns true if the given schema is TAny */
     function TAny(schema) {
@@ -45,7 +75,7 @@ var TypeGuard;
     TypeGuard.TAny = TAny;
     /** Returns true if the given schema is TArray */
     function TArray(schema) {
-        return IsObject(schema) && schema[Types.Kind] === 'Array' && schema.type === 'array' && TSchema(schema.items);
+        return IsObject(schema) && schema[Types.Kind] === 'Array' && schema.type === 'array' && TSchema(schema.items) && IsOptionalNumber(schema.minItems) && IsOptionalNumber(schema.maxItems);
     }
     TypeGuard.TArray = TArray;
     /** Returns true if the given schema is TBoolean */
@@ -79,12 +109,19 @@ var TypeGuard;
     TypeGuard.TFunction = TFunction;
     /** Returns true if the given schema is TInteger */
     function TInteger(schema) {
-        return IsObject(schema) && schema[Types.Kind] === 'Integer' && schema.type === 'integer';
+        return (IsObject(schema) &&
+            schema[Types.Kind] === 'Integer' &&
+            schema.type === 'integer' &&
+            IsOptionalNumber(schema.multipleOf) &&
+            IsOptionalNumber(schema.minimum) &&
+            IsOptionalNumber(schema.maximum) &&
+            IsOptionalNumber(schema.exclusiveMinimum) &&
+            IsOptionalNumber(schema.exclusiveMaximum));
     }
     TypeGuard.TInteger = TInteger;
     /** Returns true if the given schema is TLiteral */
     function TLiteral(schema) {
-        return IsObject(schema) && schema[Types.Kind] === 'Literal' && (typeof schema.const === 'string' || typeof schema.const === 'number' || typeof schema.const === 'boolean');
+        return IsObject(schema) && schema[Types.Kind] === 'Literal' && (IsString(schema.const) || IsNumber(schema.const) || IsBoolean(schema.const));
     }
     TypeGuard.TLiteral = TLiteral;
     /** Returns true if the given schema is TNull */
@@ -94,12 +131,25 @@ var TypeGuard;
     TypeGuard.TNull = TNull;
     /** Returns true if the given schema is TNumber */
     function TNumber(schema) {
-        return IsObject(schema) && schema[Types.Kind] === 'Number' && schema.type === 'number';
+        return (IsObject(schema) &&
+            schema[Types.Kind] === 'Number' &&
+            schema.type === 'number' &&
+            IsOptionalNumber(schema.multipleOf) &&
+            IsOptionalNumber(schema.minimum) &&
+            IsOptionalNumber(schema.maximum) &&
+            IsOptionalNumber(schema.exclusiveMinimum) &&
+            IsOptionalNumber(schema.exclusiveMaximum));
     }
     TypeGuard.TNumber = TNumber;
     /** Returns true if the given schema is TObject */
     function TObject(schema) {
-        if (!(IsObject(schema) && schema[Types.Kind] === 'Object' && schema.type === 'object' && IsObject(schema.properties))) {
+        if (!(IsObject(schema) &&
+            schema[Types.Kind] === 'Object' &&
+            schema.type === 'object' &&
+            IsObject(schema.properties) &&
+            IsOptionalBoolean(schema.additionalProperties) &&
+            IsOptionalNumber(schema.minProperties) &&
+            IsOptionalNumber(schema.maxProperties))) {
             return false;
         }
         for (const property of Object.values(schema.properties)) {
@@ -123,6 +173,9 @@ var TypeGuard;
         if (keys.length !== 1) {
             return false;
         }
+        if (!IsPattern(keys[0])) {
+            return false;
+        }
         if (!TSchema(schema.patternProperties[keys[0]])) {
             return false;
         }
@@ -131,22 +184,22 @@ var TypeGuard;
     TypeGuard.TRecord = TRecord;
     /** Returns true if the given schema is TSelf */
     function TSelf(schema) {
-        return IsObject(schema) && schema[Types.Kind] === 'Self' && typeof schema.$ref === 'string';
+        return IsObject(schema) && schema[Types.Kind] === 'Self' && IsString(schema.$ref);
     }
     TypeGuard.TSelf = TSelf;
     /** Returns true if the given schema is TRef */
     function TRef(schema) {
-        return IsObject(schema) && schema[Types.Kind] === 'Ref' && typeof schema.$ref === 'string';
+        return IsObject(schema) && schema[Types.Kind] === 'Ref' && IsString(schema.$ref);
     }
     TypeGuard.TRef = TRef;
     /** Returns true if the given schema is TString */
     function TString(schema) {
-        return IsObject(schema) && schema[Types.Kind] === 'String' && schema.type === 'string';
+        return IsObject(schema) && schema[Types.Kind] === 'String' && schema.type === 'string' && IsOptionalNumber(schema.minLength) && IsOptionalNumber(schema.maxLength) && IsOptionalPattern(schema.pattern) && IsOptionalString(schema.format);
     }
     TypeGuard.TString = TString;
     /** Returns true if the given schema is TTuple */
     function TTuple(schema) {
-        if (!(IsObject(schema) && schema[Types.Kind] === 'Tuple' && schema.type === 'array' && typeof schema.minItems === 'number' && typeof schema.maxItems === 'number' && schema.minItems === schema.maxItems)) {
+        if (!(IsObject(schema) && schema[Types.Kind] === 'Tuple' && schema.type === 'array' && IsNumber(schema.minItems) && IsNumber(schema.maxItems) && schema.minItems === schema.maxItems)) {
             return false;
         }
         if (schema.items === undefined && schema.additionalItems === undefined && schema.minItems === 0) {
@@ -181,7 +234,7 @@ var TypeGuard;
     TypeGuard.TUnion = TUnion;
     /** Returns true if the given schema is TUint8Array */
     function TUint8Array(schema) {
-        return IsObject(schema) && schema[Types.Kind] === 'Uint8Array' && schema.type === 'object' && schema.specialized === 'Uint8Array';
+        return IsObject(schema) && schema[Types.Kind] === 'Uint8Array' && schema.type === 'object' && schema.specialized === 'Uint8Array' && IsOptionalNumber(schema.minByteLength) && IsOptionalNumber(schema.maxByteLength);
     }
     TypeGuard.TUint8Array = TUint8Array;
     /** Returns true if the given schema is TUnknown */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sinclair/typebox",
-  "version": "0.24.22",
+  "version": "0.24.25",
   "description": "JSONSchema Type Builder with Static Type Resolution for TypeScript",
   "keywords": [
     "typescript",