@sinclair/typebox 0.32.0-dev-17 → 0.32.0-dev-19

package/build/require/type/extends/extends-check.js

@@ -1,31 +1,5 @@
 "use strict";
-/*--------------------------------------------------------------------------
 
-@sinclair/typebox/type
-
-The MIT License (MIT)
-
-Copyright (c) 2017-2023 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.ExtendsCheck = exports.ExtendsResult = exports.ExtendsResolverError = void 0;
 const index_1 = require("../any/index");
@@ -65,19 +39,19 @@ function Throw(message) {
 // ------------------------------------------------------------------
 // prettier-ignore
 function IsStructuralRight(right) {
-    return (index_9.TypeGuard.TNever(right) ||
-        index_9.TypeGuard.TIntersect(right) ||
-        index_9.TypeGuard.TUnion(right) ||
-        index_9.TypeGuard.TUnknown(right) ||
-        index_9.TypeGuard.TAny(right));
+    return (index_9.TypeGuard.IsNever(right) ||
+        index_9.TypeGuard.IsIntersect(right) ||
+        index_9.TypeGuard.IsUnion(right) ||
+        index_9.TypeGuard.IsUnknown(right) ||
+        index_9.TypeGuard.IsAny(right));
 }
 // prettier-ignore
 function StructuralRight(left, right) {
-    return (index_9.TypeGuard.TNever(right) ? TNeverRight(left, right) :
-        index_9.TypeGuard.TIntersect(right) ? TIntersectRight(left, right) :
-            index_9.TypeGuard.TUnion(right) ? TUnionRight(left, right) :
-                index_9.TypeGuard.TUnknown(right) ? TUnknownRight(left, right) :
-                    index_9.TypeGuard.TAny(right) ? TAnyRight(left, right) :
+    return (index_9.TypeGuard.IsNever(right) ? TNeverRight(left, right) :
+        index_9.TypeGuard.IsIntersect(right) ? TIntersectRight(left, right) :
+            index_9.TypeGuard.IsUnion(right) ? TUnionRight(left, right) :
+                index_9.TypeGuard.IsUnknown(right) ? TUnknownRight(left, right) :
+                    index_9.TypeGuard.IsAny(right) ? TAnyRight(left, right) :
                         Throw('StructuralRight'));
 }
 // ------------------------------------------------------------------
@@ -89,11 +63,11 @@ function TAnyRight(left, right) {
 }
 // prettier-ignore
 function TAny(left, right) {
-    return (index_9.TypeGuard.TIntersect(right) ? TIntersectRight(left, right) :
-        (index_9.TypeGuard.TUnion(right) && right.anyOf.some((schema) => index_9.TypeGuard.TAny(schema) || index_9.TypeGuard.TUnknown(schema))) ? ExtendsResult.True :
-            index_9.TypeGuard.TUnion(right) ? ExtendsResult.Union :
-                index_9.TypeGuard.TUnknown(right) ? ExtendsResult.True :
-                    index_9.TypeGuard.TAny(right) ? ExtendsResult.True :
+    return (index_9.TypeGuard.IsIntersect(right) ? TIntersectRight(left, right) :
+        (index_9.TypeGuard.IsUnion(right) && right.anyOf.some((schema) => index_9.TypeGuard.IsAny(schema) || index_9.TypeGuard.IsUnknown(schema))) ? ExtendsResult.True :
+            index_9.TypeGuard.IsUnion(right) ? ExtendsResult.Union :
+                index_9.TypeGuard.IsUnknown(right) ? ExtendsResult.True :
+                    index_9.TypeGuard.IsAny(right) ? ExtendsResult.True :
                         ExtendsResult.Union);
 }
 // ------------------------------------------------------------------
@@ -101,16 +75,16 @@ function TAny(left, right) {
 // ------------------------------------------------------------------
 // prettier-ignore
 function TArrayRight(left, right) {
-    return (index_9.TypeGuard.TUnknown(left) ? ExtendsResult.False :
-        index_9.TypeGuard.TAny(left) ? ExtendsResult.Union :
-            index_9.TypeGuard.TNever(left) ? ExtendsResult.True :
+    return (index_9.TypeGuard.IsUnknown(left) ? ExtendsResult.False :
+        index_9.TypeGuard.IsAny(left) ? ExtendsResult.Union :
+            index_9.TypeGuard.IsNever(left) ? ExtendsResult.True :
                 ExtendsResult.False);
 }
 // prettier-ignore
 function TArray(left, right) {
-    return (index_9.TypeGuard.TObject(right) && IsObjectArrayLike(right) ? ExtendsResult.True :
+    return (index_9.TypeGuard.IsObject(right) && IsObjectArrayLike(right) ? ExtendsResult.True :
         IsStructuralRight(right) ? StructuralRight(left, right) :
-            !index_9.TypeGuard.TArray(right) ? ExtendsResult.False :
+            !index_9.TypeGuard.IsArray(right) ? ExtendsResult.False :
                 IntoBooleanResult(Visit(left.items, right.items)));
 }
 // ------------------------------------------------------------------
@@ -119,7 +93,7 @@ function TArray(left, right) {
 // prettier-ignore
 function TAsyncIterator(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        !index_9.TypeGuard.TAsyncIterator(right) ? ExtendsResult.False :
+        !index_9.TypeGuard.IsAsyncIterator(right) ? ExtendsResult.False :
             IntoBooleanResult(Visit(left.items, right.items)));
 }
 // ------------------------------------------------------------------
@@ -128,9 +102,9 @@ function TAsyncIterator(left, right) {
 // prettier-ignore
 function TBigInt(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_9.TypeGuard.TBigInt(right) ? ExtendsResult.True :
+        index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+            index_9.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+                index_9.TypeGuard.IsBigInt(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
 // ------------------------------------------------------------------
@@ -138,16 +112,16 @@ function TBigInt(left, right) {
 // ------------------------------------------------------------------
 // prettier-ignore
 function TBooleanRight(left, right) {
-    return (index_9.TypeGuard.TLiteralBoolean(left) ? ExtendsResult.True :
-        index_9.TypeGuard.TBoolean(left) ? ExtendsResult.True :
+    return (index_9.TypeGuard.IsLiteralBoolean(left) ? ExtendsResult.True :
+        index_9.TypeGuard.IsBoolean(left) ? ExtendsResult.True :
             ExtendsResult.False);
 }
 // prettier-ignore
 function TBoolean(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_9.TypeGuard.TBoolean(right) ? ExtendsResult.True :
+        index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+            index_9.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+                index_9.TypeGuard.IsBoolean(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
 // ------------------------------------------------------------------
@@ -156,8 +130,8 @@ function TBoolean(left, right) {
 // prettier-ignore
 function TConstructor(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            !index_9.TypeGuard.TConstructor(right) ? ExtendsResult.False :
+        index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+            !index_9.TypeGuard.IsConstructor(right) ? ExtendsResult.False :
                 left.parameters.length > right.parameters.length ? ExtendsResult.False :
                     (!left.parameters.every((schema, index) => IntoBooleanResult(Visit(right.parameters[index], schema)) === ExtendsResult.True)) ? ExtendsResult.False :
                         IntoBooleanResult(Visit(left.returns, right.returns)));
@@ -168,9 +142,9 @@ function TConstructor(left, right) {
 // prettier-ignore
 function TDate(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_9.TypeGuard.TDate(right) ? ExtendsResult.True :
+        index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+            index_9.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+                index_9.TypeGuard.IsDate(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
 // ------------------------------------------------------------------
@@ -179,8 +153,8 @@ function TDate(left, right) {
 // prettier-ignore
 function TFunction(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            !index_9.TypeGuard.TFunction(right) ? ExtendsResult.False :
+        index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+            !index_9.TypeGuard.IsFunction(right) ? ExtendsResult.False :
                 left.parameters.length > right.parameters.length ? ExtendsResult.False :
                     (!left.parameters.every((schema, index) => IntoBooleanResult(Visit(right.parameters[index], schema)) === ExtendsResult.True)) ? ExtendsResult.False :
                         IntoBooleanResult(Visit(left.returns, right.returns)));
@@ -190,16 +164,16 @@ function TFunction(left, right) {
 // ------------------------------------------------------------------
 // prettier-ignore
 function TIntegerRight(left, right) {
-    return (index_9.TypeGuard.TLiteral(left) && index_9.ValueGuard.IsNumber(left.const) ? ExtendsResult.True :
-        index_9.TypeGuard.TNumber(left) || index_9.TypeGuard.TInteger(left) ? ExtendsResult.True :
+    return (index_9.TypeGuard.IsLiteral(left) && index_9.ValueGuard.IsNumber(left.const) ? ExtendsResult.True :
+        index_9.TypeGuard.IsNumber(left) || index_9.TypeGuard.IsInteger(left) ? ExtendsResult.True :
             ExtendsResult.False);
 }
 // prettier-ignore
 function TInteger(left, right) {
-    return (index_9.TypeGuard.TInteger(right) || index_9.TypeGuard.TNumber(right) ? ExtendsResult.True :
+    return (index_9.TypeGuard.IsInteger(right) || index_9.TypeGuard.IsNumber(right) ? ExtendsResult.True :
         IsStructuralRight(right) ? StructuralRight(left, right) :
-            index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-                index_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
+            index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+                index_9.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
                     ExtendsResult.False);
 }
 // ------------------------------------------------------------------
@@ -223,7 +197,7 @@ function TIntersect(left, right) {
 // prettier-ignore
 function TIterator(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        !index_9.TypeGuard.TIterator(right) ? ExtendsResult.False :
+        !index_9.TypeGuard.IsIterator(right) ? ExtendsResult.False :
             IntoBooleanResult(Visit(left.items, right.items)));
 }
 // ------------------------------------------------------------------
@@ -231,14 +205,14 @@ function TIterator(left, right) {
 // ------------------------------------------------------------------
 // prettier-ignore
 function TLiteral(left, right) {
-    return (index_9.TypeGuard.TLiteral(right) && right.const === left.const ? ExtendsResult.True :
+    return (index_9.TypeGuard.IsLiteral(right) && right.const === left.const ? ExtendsResult.True :
         IsStructuralRight(right) ? StructuralRight(left, right) :
-            index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-                index_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                    index_9.TypeGuard.TString(right) ? TStringRight(left, right) :
-                        index_9.TypeGuard.TNumber(right) ? TNumberRight(left, right) :
-                            index_9.TypeGuard.TInteger(right) ? TIntegerRight(left, right) :
-                                index_9.TypeGuard.TBoolean(right) ? TBooleanRight(left, right) :
+            index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+                index_9.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+                    index_9.TypeGuard.IsString(right) ? TStringRight(left, right) :
+                        index_9.TypeGuard.IsNumber(right) ? TNumberRight(left, right) :
+                            index_9.TypeGuard.IsInteger(right) ? TIntegerRight(left, right) :
+                                index_9.TypeGuard.IsBoolean(right) ? TBooleanRight(left, right) :
                                     ExtendsResult.False);
 }
 // ------------------------------------------------------------------
@@ -259,7 +233,7 @@ function TNever(left, right) {
 function UnwrapTNot(schema) {
     let [current, depth] = [schema, 0];
     while (true) {
-        if (!index_9.TypeGuard.TNot(current))
+        if (!index_9.TypeGuard.IsNot(current))
             break;
         current = current.not;
         depth += 1;
@@ -272,8 +246,8 @@ function TNot(left, right) {
     // type at runtime would put TypeBox at odds with TypeScripts ability to statically infer
     // the type. Instead we unwrap to either unknown or T and continue evaluating.
     // prettier-ignore
-    return (index_9.TypeGuard.TNot(left) ? Visit(UnwrapTNot(left), right) :
-        index_9.TypeGuard.TNot(right) ? Visit(left, UnwrapTNot(right)) :
+    return (index_9.TypeGuard.IsNot(left) ? Visit(UnwrapTNot(left), right) :
+        index_9.TypeGuard.IsNot(right) ? Visit(left, UnwrapTNot(right)) :
             Throw('Invalid fallthrough for Not'));
 }
 // ------------------------------------------------------------------
@@ -282,9 +256,9 @@ function TNot(left, right) {
 // prettier-ignore
 function TNull(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_9.TypeGuard.TNull(right) ? ExtendsResult.True :
+        index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+            index_9.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+                index_9.TypeGuard.IsNull(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
 // ------------------------------------------------------------------
@@ -292,16 +266,16 @@ function TNull(left, right) {
 // ------------------------------------------------------------------
 // prettier-ignore
 function TNumberRight(left, right) {
-    return (index_9.TypeGuard.TLiteralNumber(left) ? ExtendsResult.True :
-        index_9.TypeGuard.TNumber(left) || index_9.TypeGuard.TInteger(left) ? ExtendsResult.True :
+    return (index_9.TypeGuard.IsLiteralNumber(left) ? ExtendsResult.True :
+        index_9.TypeGuard.IsNumber(left) || index_9.TypeGuard.IsInteger(left) ? ExtendsResult.True :
             ExtendsResult.False);
 }
 // prettier-ignore
 function TNumber(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_9.TypeGuard.TInteger(right) || index_9.TypeGuard.TNumber(right) ? ExtendsResult.True :
+        index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+            index_9.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+                index_9.TypeGuard.IsInteger(right) || index_9.TypeGuard.IsNumber(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
 // ------------------------------------------------------------------
@@ -317,9 +291,9 @@ function IsObjectStringLike(schema) {
 }
 // prettier-ignore
 function IsObjectSymbolLike(schema) {
-    return IsObjectPropertyCount(schema, 0) || (IsObjectPropertyCount(schema, 1) && 'description' in schema.properties && index_9.TypeGuard.TUnion(schema.properties.description) && schema.properties.description.anyOf.length === 2 && ((index_9.TypeGuard.TString(schema.properties.description.anyOf[0]) &&
-        index_9.TypeGuard.TUndefined(schema.properties.description.anyOf[1])) || (index_9.TypeGuard.TString(schema.properties.description.anyOf[1]) &&
-        index_9.TypeGuard.TUndefined(schema.properties.description.anyOf[0]))));
+    return IsObjectPropertyCount(schema, 0) || (IsObjectPropertyCount(schema, 1) && 'description' in schema.properties && index_9.TypeGuard.IsUnion(schema.properties.description) && schema.properties.description.anyOf.length === 2 && ((index_9.TypeGuard.IsString(schema.properties.description.anyOf[0]) &&
+        index_9.TypeGuard.IsUndefined(schema.properties.description.anyOf[1])) || (index_9.TypeGuard.IsString(schema.properties.description.anyOf[1]) &&
+        index_9.TypeGuard.IsUndefined(schema.properties.description.anyOf[0]))));
 }
 // prettier-ignore
 function IsObjectNumberLike(schema) {
@@ -366,33 +340,33 @@ function IsObjectPromiseLike(schema) {
 // prettier-ignore
 function Property(left, right) {
     return (Visit(left, right) === ExtendsResult.False ? ExtendsResult.False :
-        index_9.TypeGuard.TOptional(left) && !index_9.TypeGuard.TOptional(right) ? ExtendsResult.False :
+        index_9.TypeGuard.IsOptional(left) && !index_9.TypeGuard.IsOptional(right) ? ExtendsResult.False :
             ExtendsResult.True);
 }
 // prettier-ignore
 function TObjectRight(left, right) {
-    return (index_9.TypeGuard.TUnknown(left) ? ExtendsResult.False :
-        index_9.TypeGuard.TAny(left) ? ExtendsResult.Union : (index_9.TypeGuard.TNever(left) ||
-            (index_9.TypeGuard.TLiteralString(left) && IsObjectStringLike(right)) ||
-            (index_9.TypeGuard.TLiteralNumber(left) && IsObjectNumberLike(right)) ||
-            (index_9.TypeGuard.TLiteralBoolean(left) && IsObjectBooleanLike(right)) ||
-            (index_9.TypeGuard.TSymbol(left) && IsObjectSymbolLike(right)) ||
-            (index_9.TypeGuard.TBigInt(left) && IsObjectBigIntLike(right)) ||
-            (index_9.TypeGuard.TString(left) && IsObjectStringLike(right)) ||
-            (index_9.TypeGuard.TSymbol(left) && IsObjectSymbolLike(right)) ||
-            (index_9.TypeGuard.TNumber(left) && IsObjectNumberLike(right)) ||
-            (index_9.TypeGuard.TInteger(left) && IsObjectNumberLike(right)) ||
-            (index_9.TypeGuard.TBoolean(left) && IsObjectBooleanLike(right)) ||
-            (index_9.TypeGuard.TUint8Array(left) && IsObjectUint8ArrayLike(right)) ||
-            (index_9.TypeGuard.TDate(left) && IsObjectDateLike(right)) ||
-            (index_9.TypeGuard.TConstructor(left) && IsObjectConstructorLike(right)) ||
-            (index_9.TypeGuard.TFunction(left) && IsObjectFunctionLike(right))) ? ExtendsResult.True :
-            (index_9.TypeGuard.TRecord(left) && index_9.TypeGuard.TString(RecordKey(left))) ? (() => {
+    return (index_9.TypeGuard.IsUnknown(left) ? ExtendsResult.False :
+        index_9.TypeGuard.IsAny(left) ? ExtendsResult.Union : (index_9.TypeGuard.IsNever(left) ||
+            (index_9.TypeGuard.IsLiteralString(left) && IsObjectStringLike(right)) ||
+            (index_9.TypeGuard.IsLiteralNumber(left) && IsObjectNumberLike(right)) ||
+            (index_9.TypeGuard.IsLiteralBoolean(left) && IsObjectBooleanLike(right)) ||
+            (index_9.TypeGuard.IsSymbol(left) && IsObjectSymbolLike(right)) ||
+            (index_9.TypeGuard.IsBigInt(left) && IsObjectBigIntLike(right)) ||
+            (index_9.TypeGuard.IsString(left) && IsObjectStringLike(right)) ||
+            (index_9.TypeGuard.IsSymbol(left) && IsObjectSymbolLike(right)) ||
+            (index_9.TypeGuard.IsNumber(left) && IsObjectNumberLike(right)) ||
+            (index_9.TypeGuard.IsInteger(left) && IsObjectNumberLike(right)) ||
+            (index_9.TypeGuard.IsBoolean(left) && IsObjectBooleanLike(right)) ||
+            (index_9.TypeGuard.IsUint8Array(left) && IsObjectUint8ArrayLike(right)) ||
+            (index_9.TypeGuard.IsDate(left) && IsObjectDateLike(right)) ||
+            (index_9.TypeGuard.IsConstructor(left) && IsObjectConstructorLike(right)) ||
+            (index_9.TypeGuard.IsFunction(left) && IsObjectFunctionLike(right))) ? ExtendsResult.True :
+            (index_9.TypeGuard.IsRecord(left) && index_9.TypeGuard.IsString(RecordKey(left))) ? (() => {
                 // When expressing a Record with literal key values, the Record is converted into a Object with
                 // the Hint assigned as `Record`. This is used to invert the extends logic.
                 return right[index_8.Hint] === 'Record' ? ExtendsResult.True : ExtendsResult.False;
             })() :
-                (index_9.TypeGuard.TRecord(left) && index_9.TypeGuard.TNumber(RecordKey(left))) ? (() => {
+                (index_9.TypeGuard.IsRecord(left) && index_9.TypeGuard.IsNumber(RecordKey(left))) ? (() => {
                     return IsObjectPropertyCount(right, 0) ? ExtendsResult.True : ExtendsResult.False;
                 })() :
                     ExtendsResult.False);
@@ -400,14 +374,14 @@ function TObjectRight(left, right) {
 // prettier-ignore
 function TObject(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-            !index_9.TypeGuard.TObject(right) ? ExtendsResult.False :
+        index_9.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+            !index_9.TypeGuard.IsObject(right) ? ExtendsResult.False :
                 (() => {
                     for (const key of Object.getOwnPropertyNames(right.properties)) {
-                        if (!(key in left.properties) && !index_9.TypeGuard.TOptional(right.properties[key])) {
+                        if (!(key in left.properties) && !index_9.TypeGuard.IsOptional(right.properties[key])) {
                             return ExtendsResult.False;
                         }
-                        if (index_9.TypeGuard.TOptional(right.properties[key])) {
+                        if (index_9.TypeGuard.IsOptional(right.properties[key])) {
                             return ExtendsResult.True;
                         }
                         if (Property(left.properties[key], right.properties[key]) === ExtendsResult.False) {
@@ -423,8 +397,8 @@ function TObject(left, right) {
 // prettier-ignore
 function TPromise(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_9.TypeGuard.TObject(right) && IsObjectPromiseLike(right) ? ExtendsResult.True :
-            !index_9.TypeGuard.TPromise(right) ? ExtendsResult.False :
+        index_9.TypeGuard.IsObject(right) && IsObjectPromiseLike(right) ? ExtendsResult.True :
+            !index_9.TypeGuard.IsPromise(right) ? ExtendsResult.False :
                 IntoBooleanResult(Visit(left.item, right.item)));
 }
 // ------------------------------------------------------------------
@@ -445,11 +419,11 @@ function RecordValue(schema) {
 // prettier-ignore
 function TRecordRight(left, right) {
     const [Key, Value] = [RecordKey(right), RecordValue(right)];
-    return ((index_9.TypeGuard.TLiteralString(left) && index_9.TypeGuard.TNumber(Key) && IntoBooleanResult(Visit(left, Value)) === ExtendsResult.True) ? ExtendsResult.True :
-        index_9.TypeGuard.TUint8Array(left) && index_9.TypeGuard.TNumber(Key) ? Visit(left, Value) :
-            index_9.TypeGuard.TString(left) && index_9.TypeGuard.TNumber(Key) ? Visit(left, Value) :
-                index_9.TypeGuard.TArray(left) && index_9.TypeGuard.TNumber(Key) ? Visit(left, Value) :
-                    index_9.TypeGuard.TObject(left) ? (() => {
+    return ((index_9.TypeGuard.IsLiteralString(left) && index_9.TypeGuard.IsNumber(Key) && IntoBooleanResult(Visit(left, Value)) === ExtendsResult.True) ? ExtendsResult.True :
+        index_9.TypeGuard.IsUint8Array(left) && index_9.TypeGuard.IsNumber(Key) ? Visit(left, Value) :
+            index_9.TypeGuard.IsString(left) && index_9.TypeGuard.IsNumber(Key) ? Visit(left, Value) :
+                index_9.TypeGuard.IsArray(left) && index_9.TypeGuard.IsNumber(Key) ? Visit(left, Value) :
+                    index_9.TypeGuard.IsObject(left) ? (() => {
                         for (const key of Object.getOwnPropertyNames(left.properties)) {
                             if (Property(Value, left.properties[key]) === ExtendsResult.False) {
                                 return ExtendsResult.False;
@@ -462,8 +436,8 @@ function TRecordRight(left, right) {
 // prettier-ignore
 function TRecord(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            !index_9.TypeGuard.TRecord(right) ? ExtendsResult.False :
+        index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+            !index_9.TypeGuard.IsRecord(right) ? ExtendsResult.False :
                 Visit(RecordValue(left), RecordValue(right)));
 }
 // ------------------------------------------------------------------
@@ -471,16 +445,16 @@ function TRecord(left, right) {
 // ------------------------------------------------------------------
 // prettier-ignore
 function TStringRight(left, right) {
-    return (index_9.TypeGuard.TLiteral(left) && index_9.ValueGuard.IsString(left.const) ? ExtendsResult.True :
-        index_9.TypeGuard.TString(left) ? ExtendsResult.True :
+    return (index_9.TypeGuard.IsLiteral(left) && index_9.ValueGuard.IsString(left.const) ? ExtendsResult.True :
+        index_9.TypeGuard.IsString(left) ? ExtendsResult.True :
             ExtendsResult.False);
 }
 // prettier-ignore
 function TString(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_9.TypeGuard.TString(right) ? ExtendsResult.True :
+        index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+            index_9.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+                index_9.TypeGuard.IsString(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
 // ------------------------------------------------------------------
@@ -489,9 +463,9 @@ function TString(left, right) {
 // prettier-ignore
 function TSymbol(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_9.TypeGuard.TSymbol(right) ? ExtendsResult.True :
+        index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+            index_9.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+                index_9.TypeGuard.IsSymbol(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
 // ------------------------------------------------------------------
@@ -502,8 +476,8 @@ function TTemplateLiteral(left, right) {
     // TemplateLiteral types are resolved to either unions for finite expressions or string
     // for infinite expressions. Here we call to TemplateLiteralResolver to resolve for
     // either type and continue evaluating.
-    return (index_9.TypeGuard.TTemplateLiteral(left) ? Visit((0, index_6.TemplateLiteralToUnion)(left), right) :
-        index_9.TypeGuard.TTemplateLiteral(right) ? Visit(left, (0, index_6.TemplateLiteralToUnion)(right)) :
+    return (index_9.TypeGuard.IsTemplateLiteral(left) ? Visit((0, index_6.TemplateLiteralToUnion)(left), right) :
+        index_9.TypeGuard.IsTemplateLiteral(right) ? Visit(left, (0, index_6.TemplateLiteralToUnion)(right)) :
             Throw('Invalid fallthrough for TemplateLiteral'));
 }
 // ------------------------------------------------------------------
@@ -511,23 +485,23 @@ function TTemplateLiteral(left, right) {
 // ------------------------------------------------------------------
 // prettier-ignore
 function IsArrayOfTuple(left, right) {
-    return (index_9.TypeGuard.TArray(right) &&
+    return (index_9.TypeGuard.IsArray(right) &&
         left.items !== undefined &&
         left.items.every((schema) => Visit(schema, right.items) === ExtendsResult.True));
 }
 // prettier-ignore
 function TTupleRight(left, right) {
-    return (index_9.TypeGuard.TNever(left) ? ExtendsResult.True :
-        index_9.TypeGuard.TUnknown(left) ? ExtendsResult.False :
-            index_9.TypeGuard.TAny(left) ? ExtendsResult.Union :
+    return (index_9.TypeGuard.IsNever(left) ? ExtendsResult.True :
+        index_9.TypeGuard.IsUnknown(left) ? ExtendsResult.False :
+            index_9.TypeGuard.IsAny(left) ? ExtendsResult.Union :
                 ExtendsResult.False);
 }
 // prettier-ignore
 function TTuple(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_9.TypeGuard.TObject(right) && IsObjectArrayLike(right) ? ExtendsResult.True :
-            index_9.TypeGuard.TArray(right) && IsArrayOfTuple(left, right) ? ExtendsResult.True :
-                !index_9.TypeGuard.TTuple(right) ? ExtendsResult.False :
+        index_9.TypeGuard.IsObject(right) && IsObjectArrayLike(right) ? ExtendsResult.True :
+            index_9.TypeGuard.IsArray(right) && IsArrayOfTuple(left, right) ? ExtendsResult.True :
+                !index_9.TypeGuard.IsTuple(right) ? ExtendsResult.False :
                     (index_9.ValueGuard.IsUndefined(left.items) && !index_9.ValueGuard.IsUndefined(right.items)) || (!index_9.ValueGuard.IsUndefined(left.items) && index_9.ValueGuard.IsUndefined(right.items)) ? ExtendsResult.False :
                         (index_9.ValueGuard.IsUndefined(left.items) && !index_9.ValueGuard.IsUndefined(right.items)) ? ExtendsResult.True :
                             left.items.every((schema, index) => Visit(schema, right.items[index]) === ExtendsResult.True) ? ExtendsResult.True :
@@ -539,9 +513,9 @@ function TTuple(left, right) {
 // prettier-ignore
 function TUint8Array(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_9.TypeGuard.TUint8Array(right) ? ExtendsResult.True :
+        index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+            index_9.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+                index_9.TypeGuard.IsUint8Array(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
 // ------------------------------------------------------------------
@@ -550,10 +524,10 @@ function TUint8Array(left, right) {
 // prettier-ignore
 function TUndefined(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_9.TypeGuard.TVoid(right) ? VoidRight(left, right) :
-                    index_9.TypeGuard.TUndefined(right) ? ExtendsResult.True :
+        index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+            index_9.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+                index_9.TypeGuard.IsVoid(right) ? VoidRight(left, right) :
+                    index_9.TypeGuard.IsUndefined(right) ? ExtendsResult.True :
                         ExtendsResult.False);
 }
 // ------------------------------------------------------------------
@@ -580,18 +554,18 @@ function TUnknownRight(left, right) {
 }
 // prettier-ignore
 function TUnknown(left, right) {
-    return (index_9.TypeGuard.TNever(right) ? TNeverRight(left, right) :
-        index_9.TypeGuard.TIntersect(right) ? TIntersectRight(left, right) :
-            index_9.TypeGuard.TUnion(right) ? TUnionRight(left, right) :
-                index_9.TypeGuard.TAny(right) ? TAnyRight(left, right) :
-                    index_9.TypeGuard.TString(right) ? TStringRight(left, right) :
-                        index_9.TypeGuard.TNumber(right) ? TNumberRight(left, right) :
-                            index_9.TypeGuard.TInteger(right) ? TIntegerRight(left, right) :
-                                index_9.TypeGuard.TBoolean(right) ? TBooleanRight(left, right) :
-                                    index_9.TypeGuard.TArray(right) ? TArrayRight(left, right) :
-                                        index_9.TypeGuard.TTuple(right) ? TTupleRight(left, right) :
-                                            index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-                                                index_9.TypeGuard.TUnknown(right) ? ExtendsResult.True :
+    return (index_9.TypeGuard.IsNever(right) ? TNeverRight(left, right) :
+        index_9.TypeGuard.IsIntersect(right) ? TIntersectRight(left, right) :
+            index_9.TypeGuard.IsUnion(right) ? TUnionRight(left, right) :
+                index_9.TypeGuard.IsAny(right) ? TAnyRight(left, right) :
+                    index_9.TypeGuard.IsString(right) ? TStringRight(left, right) :
+                        index_9.TypeGuard.IsNumber(right) ? TNumberRight(left, right) :
+                            index_9.TypeGuard.IsInteger(right) ? TIntegerRight(left, right) :
+                                index_9.TypeGuard.IsBoolean(right) ? TBooleanRight(left, right) :
+                                    index_9.TypeGuard.IsArray(right) ? TArrayRight(left, right) :
+                                        index_9.TypeGuard.IsTuple(right) ? TTupleRight(left, right) :
+                                            index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+                                                index_9.TypeGuard.IsUnknown(right) ? ExtendsResult.True :
                                                     ExtendsResult.False);
 }
 // ------------------------------------------------------------------
@@ -599,53 +573,53 @@ function TUnknown(left, right) {
 // ------------------------------------------------------------------
 // prettier-ignore
 function VoidRight(left, right) {
-    return (index_9.TypeGuard.TUndefined(left) ? ExtendsResult.True :
-        index_9.TypeGuard.TUndefined(left) ? ExtendsResult.True :
+    return (index_9.TypeGuard.IsUndefined(left) ? ExtendsResult.True :
+        index_9.TypeGuard.IsUndefined(left) ? ExtendsResult.True :
             ExtendsResult.False);
 }
 // prettier-ignore
 function TVoid(left, right) {
-    return (index_9.TypeGuard.TIntersect(right) ? TIntersectRight(left, right) :
-        index_9.TypeGuard.TUnion(right) ? TUnionRight(left, right) :
-            index_9.TypeGuard.TUnknown(right) ? TUnknownRight(left, right) :
-                index_9.TypeGuard.TAny(right) ? TAnyRight(left, right) :
-                    index_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-                        index_9.TypeGuard.TVoid(right) ? ExtendsResult.True :
+    return (index_9.TypeGuard.IsIntersect(right) ? TIntersectRight(left, right) :
+        index_9.TypeGuard.IsUnion(right) ? TUnionRight(left, right) :
+            index_9.TypeGuard.IsUnknown(right) ? TUnknownRight(left, right) :
+                index_9.TypeGuard.IsAny(right) ? TAnyRight(left, right) :
+                    index_9.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+                        index_9.TypeGuard.IsVoid(right) ? ExtendsResult.True :
                             ExtendsResult.False);
 }
 // prettier-ignore
 function Visit(left, right) {
     return (
     // resolvable
-    (index_9.TypeGuard.TTemplateLiteral(left) || index_9.TypeGuard.TTemplateLiteral(right)) ? TTemplateLiteral(left, right) :
-        (index_9.TypeGuard.TNot(left) || index_9.TypeGuard.TNot(right)) ? TNot(left, right) :
+    (index_9.TypeGuard.IsTemplateLiteral(left) || index_9.TypeGuard.IsTemplateLiteral(right)) ? TTemplateLiteral(left, right) :
+        (index_9.TypeGuard.IsNot(left) || index_9.TypeGuard.IsNot(right)) ? TNot(left, right) :
             // standard
-            index_9.TypeGuard.TAny(left) ? TAny(left, right) :
-                index_9.TypeGuard.TArray(left) ? TArray(left, right) :
-                    index_9.TypeGuard.TBigInt(left) ? TBigInt(left, right) :
-                        index_9.TypeGuard.TBoolean(left) ? TBoolean(left, right) :
-                            index_9.TypeGuard.TAsyncIterator(left) ? TAsyncIterator(left, right) :
-                                index_9.TypeGuard.TConstructor(left) ? TConstructor(left, right) :
-                                    index_9.TypeGuard.TDate(left) ? TDate(left, right) :
-                                        index_9.TypeGuard.TFunction(left) ? TFunction(left, right) :
-                                            index_9.TypeGuard.TInteger(left) ? TInteger(left, right) :
-                                                index_9.TypeGuard.TIntersect(left) ? TIntersect(left, right) :
-                                                    index_9.TypeGuard.TIterator(left) ? TIterator(left, right) :
-                                                        index_9.TypeGuard.TLiteral(left) ? TLiteral(left, right) :
-                                                            index_9.TypeGuard.TNever(left) ? TNever(left, right) :
-                                                                index_9.TypeGuard.TNull(left) ? TNull(left, right) :
-                                                                    index_9.TypeGuard.TNumber(left) ? TNumber(left, right) :
-                                                                        index_9.TypeGuard.TObject(left) ? TObject(left, right) :
-                                                                            index_9.TypeGuard.TRecord(left) ? TRecord(left, right) :
-                                                                                index_9.TypeGuard.TString(left) ? TString(left, right) :
-                                                                                    index_9.TypeGuard.TSymbol(left) ? TSymbol(left, right) :
-                                                                                        index_9.TypeGuard.TTuple(left) ? TTuple(left, right) :
-                                                                                            index_9.TypeGuard.TPromise(left) ? TPromise(left, right) :
-                                                                                                index_9.TypeGuard.TUint8Array(left) ? TUint8Array(left, right) :
-                                                                                                    index_9.TypeGuard.TUndefined(left) ? TUndefined(left, right) :
-                                                                                                        index_9.TypeGuard.TUnion(left) ? TUnion(left, right) :
-                                                                                                            index_9.TypeGuard.TUnknown(left) ? TUnknown(left, right) :
-                                                                                                                index_9.TypeGuard.TVoid(left) ? TVoid(left, right) :
+            index_9.TypeGuard.IsAny(left) ? TAny(left, right) :
+                index_9.TypeGuard.IsArray(left) ? TArray(left, right) :
+                    index_9.TypeGuard.IsBigInt(left) ? TBigInt(left, right) :
+                        index_9.TypeGuard.IsBoolean(left) ? TBoolean(left, right) :
+                            index_9.TypeGuard.IsAsyncIterator(left) ? TAsyncIterator(left, right) :
+                                index_9.TypeGuard.IsConstructor(left) ? TConstructor(left, right) :
+                                    index_9.TypeGuard.IsDate(left) ? TDate(left, right) :
+                                        index_9.TypeGuard.IsFunction(left) ? TFunction(left, right) :
+                                            index_9.TypeGuard.IsInteger(left) ? TInteger(left, right) :
+                                                index_9.TypeGuard.IsIntersect(left) ? TIntersect(left, right) :
+                                                    index_9.TypeGuard.IsIterator(left) ? TIterator(left, right) :
+                                                        index_9.TypeGuard.IsLiteral(left) ? TLiteral(left, right) :
+                                                            index_9.TypeGuard.IsNever(left) ? TNever(left, right) :
+                                                                index_9.TypeGuard.IsNull(left) ? TNull(left, right) :
+                                                                    index_9.TypeGuard.IsNumber(left) ? TNumber(left, right) :
+                                                                        index_9.TypeGuard.IsObject(left) ? TObject(left, right) :
+                                                                            index_9.TypeGuard.IsRecord(left) ? TRecord(left, right) :
+                                                                                index_9.TypeGuard.IsString(left) ? TString(left, right) :
+                                                                                    index_9.TypeGuard.IsSymbol(left) ? TSymbol(left, right) :
+                                                                                        index_9.TypeGuard.IsTuple(left) ? TTuple(left, right) :
+                                                                                            index_9.TypeGuard.IsPromise(left) ? TPromise(left, right) :
+                                                                                                index_9.TypeGuard.IsUint8Array(left) ? TUint8Array(left, right) :
+                                                                                                    index_9.TypeGuard.IsUndefined(left) ? TUndefined(left, right) :
+                                                                                                        index_9.TypeGuard.IsUnion(left) ? TUnion(left, right) :
+                                                                                                            index_9.TypeGuard.IsUnknown(left) ? TUnknown(left, right) :
+                                                                                                                index_9.TypeGuard.IsVoid(left) ? TVoid(left, right) :
                                                                                                                     Throw(`Unknown left type operand '${left[index_8.Kind]}'`));
 }
 function ExtendsCheck(left, right) {