@sinclair/typebox 0.32.0-dev-3 → 0.32.0-dev-5

package/cjs/type/extends/extends-check.js

@@ -1,654 +0,0 @@
-"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_mjs_1 = require("../any/index");
-const index_mjs_2 = require("../function/index");
-const index_mjs_3 = require("../number/index");
-const index_mjs_4 = require("../string/index");
-const index_mjs_5 = require("../unknown/index");
-const index_mjs_6 = require("../template-literal/index");
-const index_mjs_7 = require("../patterns/index");
-const index_mjs_8 = require("../symbols/index");
-const index_mjs_9 = require("../guard/index");
-class ExtendsResolverError extends Error {
-}
-exports.ExtendsResolverError = ExtendsResolverError;
-var ExtendsResult;
-(function (ExtendsResult) {
-    ExtendsResult[ExtendsResult["Union"] = 0] = "Union";
-    ExtendsResult[ExtendsResult["True"] = 1] = "True";
-    ExtendsResult[ExtendsResult["False"] = 2] = "False";
-})(ExtendsResult || (exports.ExtendsResult = ExtendsResult = {}));
-// ------------------------------------------------------------------
-// IntoBooleanResult
-// ------------------------------------------------------------------
-// prettier-ignore
-function IntoBooleanResult(result) {
-    return result === ExtendsResult.False ? result : ExtendsResult.True;
-}
-// ------------------------------------------------------------------
-// Throw
-// ------------------------------------------------------------------
-// prettier-ignore
-function Throw(message) {
-    throw new ExtendsResolverError(message);
-}
-// ------------------------------------------------------------------
-// StructuralRight
-// ------------------------------------------------------------------
-// prettier-ignore
-function IsStructuralRight(right) {
-    return (index_mjs_9.TypeGuard.TNever(right) ||
-        index_mjs_9.TypeGuard.TIntersect(right) ||
-        index_mjs_9.TypeGuard.TUnion(right) ||
-        index_mjs_9.TypeGuard.TUnknown(right) ||
-        index_mjs_9.TypeGuard.TAny(right));
-}
-// prettier-ignore
-function StructuralRight(left, right) {
-    return (index_mjs_9.TypeGuard.TNever(right) ? TNeverRight(left, right) :
-        index_mjs_9.TypeGuard.TIntersect(right) ? TIntersectRight(left, right) :
-            index_mjs_9.TypeGuard.TUnion(right) ? TUnionRight(left, right) :
-                index_mjs_9.TypeGuard.TUnknown(right) ? TUnknownRight(left, right) :
-                    index_mjs_9.TypeGuard.TAny(right) ? TAnyRight(left, right) :
-                        Throw('StructuralRight'));
-}
-// ------------------------------------------------------------------
-// Any
-// ------------------------------------------------------------------
-// prettier-ignore
-function TAnyRight(left, right) {
-    return ExtendsResult.True;
-}
-// prettier-ignore
-function TAny(left, right) {
-    return (index_mjs_9.TypeGuard.TIntersect(right) ? TIntersectRight(left, right) :
-        (index_mjs_9.TypeGuard.TUnion(right) && right.anyOf.some((schema) => index_mjs_9.TypeGuard.TAny(schema) || index_mjs_9.TypeGuard.TUnknown(schema))) ? ExtendsResult.True :
-            index_mjs_9.TypeGuard.TUnion(right) ? ExtendsResult.Union :
-                index_mjs_9.TypeGuard.TUnknown(right) ? ExtendsResult.True :
-                    index_mjs_9.TypeGuard.TAny(right) ? ExtendsResult.True :
-                        ExtendsResult.Union);
-}
-// ------------------------------------------------------------------
-// Array
-// ------------------------------------------------------------------
-// prettier-ignore
-function TArrayRight(left, right) {
-    return (index_mjs_9.TypeGuard.TUnknown(left) ? ExtendsResult.False :
-        index_mjs_9.TypeGuard.TAny(left) ? ExtendsResult.Union :
-            index_mjs_9.TypeGuard.TNever(left) ? ExtendsResult.True :
-                ExtendsResult.False);
-}
-// prettier-ignore
-function TArray(left, right) {
-    return (index_mjs_9.TypeGuard.TObject(right) && IsObjectArrayLike(right) ? ExtendsResult.True :
-        IsStructuralRight(right) ? StructuralRight(left, right) :
-            !index_mjs_9.TypeGuard.TArray(right) ? ExtendsResult.False :
-                IntoBooleanResult(Visit(left.items, right.items)));
-}
-// ------------------------------------------------------------------
-// AsyncIterator
-// ------------------------------------------------------------------
-// prettier-ignore
-function TAsyncIterator(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        !index_mjs_9.TypeGuard.TAsyncIterator(right) ? ExtendsResult.False :
-            IntoBooleanResult(Visit(left.items, right.items)));
-}
-// ------------------------------------------------------------------
-// BigInt
-// ------------------------------------------------------------------
-// prettier-ignore
-function TBigInt(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_mjs_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_mjs_9.TypeGuard.TBigInt(right) ? ExtendsResult.True :
-                    ExtendsResult.False);
-}
-// ------------------------------------------------------------------
-// Boolean
-// ------------------------------------------------------------------
-// prettier-ignore
-function TBooleanRight(left, right) {
-    return (index_mjs_9.TypeGuard.TLiteralBoolean(left) ? ExtendsResult.True :
-        index_mjs_9.TypeGuard.TBoolean(left) ? ExtendsResult.True :
-            ExtendsResult.False);
-}
-// prettier-ignore
-function TBoolean(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_mjs_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_mjs_9.TypeGuard.TBoolean(right) ? ExtendsResult.True :
-                    ExtendsResult.False);
-}
-// ------------------------------------------------------------------
-// Constructor
-// ------------------------------------------------------------------
-// prettier-ignore
-function TConstructor(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            !index_mjs_9.TypeGuard.TConstructor(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)));
-}
-// ------------------------------------------------------------------
-// Date
-// ------------------------------------------------------------------
-// prettier-ignore
-function TDate(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_mjs_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_mjs_9.TypeGuard.TDate(right) ? ExtendsResult.True :
-                    ExtendsResult.False);
-}
-// ------------------------------------------------------------------
-// Function
-// ------------------------------------------------------------------
-// prettier-ignore
-function TFunction(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            !index_mjs_9.TypeGuard.TFunction(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)));
-}
-// ------------------------------------------------------------------
-// Integer
-// ------------------------------------------------------------------
-// prettier-ignore
-function TIntegerRight(left, right) {
-    return (index_mjs_9.TypeGuard.TLiteral(left) && index_mjs_9.ValueGuard.IsNumber(left.const) ? ExtendsResult.True :
-        index_mjs_9.TypeGuard.TNumber(left) || index_mjs_9.TypeGuard.TInteger(left) ? ExtendsResult.True :
-            ExtendsResult.False);
-}
-// prettier-ignore
-function TInteger(left, right) {
-    return (index_mjs_9.TypeGuard.TInteger(right) || index_mjs_9.TypeGuard.TNumber(right) ? ExtendsResult.True :
-        IsStructuralRight(right) ? StructuralRight(left, right) :
-            index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-                index_mjs_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                    ExtendsResult.False);
-}
-// ------------------------------------------------------------------
-// Intersect
-// ------------------------------------------------------------------
-// prettier-ignore
-function TIntersectRight(left, right) {
-    return right.allOf.every((schema) => Visit(left, schema) === ExtendsResult.True)
-        ? ExtendsResult.True
-        : ExtendsResult.False;
-}
-// prettier-ignore
-function TIntersect(left, right) {
-    return left.allOf.some((schema) => Visit(schema, right) === ExtendsResult.True)
-        ? ExtendsResult.True
-        : ExtendsResult.False;
-}
-// ------------------------------------------------------------------
-// Iterator
-// ------------------------------------------------------------------
-// prettier-ignore
-function TIterator(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        !index_mjs_9.TypeGuard.TIterator(right) ? ExtendsResult.False :
-            IntoBooleanResult(Visit(left.items, right.items)));
-}
-// ------------------------------------------------------------------
-// Literal
-// ------------------------------------------------------------------
-// prettier-ignore
-function TLiteral(left, right) {
-    return (index_mjs_9.TypeGuard.TLiteral(right) && right.const === left.const ? ExtendsResult.True :
-        IsStructuralRight(right) ? StructuralRight(left, right) :
-            index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-                index_mjs_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                    index_mjs_9.TypeGuard.TString(right) ? TStringRight(left, right) :
-                        index_mjs_9.TypeGuard.TNumber(right) ? TNumberRight(left, right) :
-                            index_mjs_9.TypeGuard.TInteger(right) ? TIntegerRight(left, right) :
-                                index_mjs_9.TypeGuard.TBoolean(right) ? TBooleanRight(left, right) :
-                                    ExtendsResult.False);
-}
-// ------------------------------------------------------------------
-// Never
-// ------------------------------------------------------------------
-// prettier-ignore
-function TNeverRight(left, right) {
-    return ExtendsResult.False;
-}
-// prettier-ignore
-function TNever(left, right) {
-    return ExtendsResult.True;
-}
-// ------------------------------------------------------------------
-// Not
-// ------------------------------------------------------------------
-// prettier-ignore
-function UnwrapTNot(schema) {
-    let [current, depth] = [schema, 0];
-    while (true) {
-        if (!index_mjs_9.TypeGuard.TNot(current))
-            break;
-        current = current.not;
-        depth += 1;
-    }
-    return depth % 2 === 0 ? current : (0, index_mjs_5.Unknown)();
-}
-// prettier-ignore
-function TNot(left, right) {
-    // TypeScript has no concept of negated types, and attempts to correctly check the negated
-    // 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_mjs_9.TypeGuard.TNot(left) ? Visit(UnwrapTNot(left), right) :
-        index_mjs_9.TypeGuard.TNot(right) ? Visit(left, UnwrapTNot(right)) :
-            Throw('Invalid fallthrough for Not'));
-}
-// ------------------------------------------------------------------
-// Null
-// ------------------------------------------------------------------
-// prettier-ignore
-function TNull(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_mjs_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_mjs_9.TypeGuard.TNull(right) ? ExtendsResult.True :
-                    ExtendsResult.False);
-}
-// ------------------------------------------------------------------
-// Number
-// ------------------------------------------------------------------
-// prettier-ignore
-function TNumberRight(left, right) {
-    return (index_mjs_9.TypeGuard.TLiteralNumber(left) ? ExtendsResult.True :
-        index_mjs_9.TypeGuard.TNumber(left) || index_mjs_9.TypeGuard.TInteger(left) ? ExtendsResult.True :
-            ExtendsResult.False);
-}
-// prettier-ignore
-function TNumber(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_mjs_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_mjs_9.TypeGuard.TInteger(right) || index_mjs_9.TypeGuard.TNumber(right) ? ExtendsResult.True :
-                    ExtendsResult.False);
-}
-// ------------------------------------------------------------------
-// Object
-// ------------------------------------------------------------------
-// prettier-ignore
-function IsObjectPropertyCount(schema, count) {
-    return Object.getOwnPropertyNames(schema.properties).length === count;
-}
-// prettier-ignore
-function IsObjectStringLike(schema) {
-    return IsObjectArrayLike(schema);
-}
-// prettier-ignore
-function IsObjectSymbolLike(schema) {
-    return IsObjectPropertyCount(schema, 0) || (IsObjectPropertyCount(schema, 1) && 'description' in schema.properties && index_mjs_9.TypeGuard.TUnion(schema.properties.description) && schema.properties.description.anyOf.length === 2 && ((index_mjs_9.TypeGuard.TString(schema.properties.description.anyOf[0]) &&
-        index_mjs_9.TypeGuard.TUndefined(schema.properties.description.anyOf[1])) || (index_mjs_9.TypeGuard.TString(schema.properties.description.anyOf[1]) &&
-        index_mjs_9.TypeGuard.TUndefined(schema.properties.description.anyOf[0]))));
-}
-// prettier-ignore
-function IsObjectNumberLike(schema) {
-    return IsObjectPropertyCount(schema, 0);
-}
-// prettier-ignore
-function IsObjectBooleanLike(schema) {
-    return IsObjectPropertyCount(schema, 0);
-}
-// prettier-ignore
-function IsObjectBigIntLike(schema) {
-    return IsObjectPropertyCount(schema, 0);
-}
-// prettier-ignore
-function IsObjectDateLike(schema) {
-    return IsObjectPropertyCount(schema, 0);
-}
-// prettier-ignore
-function IsObjectUint8ArrayLike(schema) {
-    return IsObjectArrayLike(schema);
-}
-// prettier-ignore
-function IsObjectFunctionLike(schema) {
-    const length = (0, index_mjs_3.Number)();
-    return IsObjectPropertyCount(schema, 0) || (IsObjectPropertyCount(schema, 1) && 'length' in schema.properties && IntoBooleanResult(Visit(schema.properties['length'], length)) === ExtendsResult.True);
-}
-// prettier-ignore
-function IsObjectConstructorLike(schema) {
-    return IsObjectPropertyCount(schema, 0);
-}
-// prettier-ignore
-function IsObjectArrayLike(schema) {
-    const length = (0, index_mjs_3.Number)();
-    return IsObjectPropertyCount(schema, 0) || (IsObjectPropertyCount(schema, 1) && 'length' in schema.properties && IntoBooleanResult(Visit(schema.properties['length'], length)) === ExtendsResult.True);
-}
-// prettier-ignore
-function IsObjectPromiseLike(schema) {
-    const then = (0, index_mjs_2.Function)([(0, index_mjs_1.Any)()], (0, index_mjs_1.Any)());
-    return IsObjectPropertyCount(schema, 0) || (IsObjectPropertyCount(schema, 1) && 'then' in schema.properties && IntoBooleanResult(Visit(schema.properties['then'], then)) === ExtendsResult.True);
-}
-// ------------------------------------------------------------------
-// Property
-// ------------------------------------------------------------------
-// prettier-ignore
-function Property(left, right) {
-    return (Visit(left, right) === ExtendsResult.False ? ExtendsResult.False :
-        index_mjs_9.TypeGuard.TOptional(left) && !index_mjs_9.TypeGuard.TOptional(right) ? ExtendsResult.False :
-            ExtendsResult.True);
-}
-// prettier-ignore
-function TObjectRight(left, right) {
-    return (index_mjs_9.TypeGuard.TUnknown(left) ? ExtendsResult.False :
-        index_mjs_9.TypeGuard.TAny(left) ? ExtendsResult.Union : (index_mjs_9.TypeGuard.TNever(left) ||
-            (index_mjs_9.TypeGuard.TLiteralString(left) && IsObjectStringLike(right)) ||
-            (index_mjs_9.TypeGuard.TLiteralNumber(left) && IsObjectNumberLike(right)) ||
-            (index_mjs_9.TypeGuard.TLiteralBoolean(left) && IsObjectBooleanLike(right)) ||
-            (index_mjs_9.TypeGuard.TSymbol(left) && IsObjectSymbolLike(right)) ||
-            (index_mjs_9.TypeGuard.TBigInt(left) && IsObjectBigIntLike(right)) ||
-            (index_mjs_9.TypeGuard.TString(left) && IsObjectStringLike(right)) ||
-            (index_mjs_9.TypeGuard.TSymbol(left) && IsObjectSymbolLike(right)) ||
-            (index_mjs_9.TypeGuard.TNumber(left) && IsObjectNumberLike(right)) ||
-            (index_mjs_9.TypeGuard.TInteger(left) && IsObjectNumberLike(right)) ||
-            (index_mjs_9.TypeGuard.TBoolean(left) && IsObjectBooleanLike(right)) ||
-            (index_mjs_9.TypeGuard.TUint8Array(left) && IsObjectUint8ArrayLike(right)) ||
-            (index_mjs_9.TypeGuard.TDate(left) && IsObjectDateLike(right)) ||
-            (index_mjs_9.TypeGuard.TConstructor(left) && IsObjectConstructorLike(right)) ||
-            (index_mjs_9.TypeGuard.TFunction(left) && IsObjectFunctionLike(right))) ? ExtendsResult.True :
-            (index_mjs_9.TypeGuard.TRecord(left) && index_mjs_9.TypeGuard.TString(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_mjs_8.Hint] === 'Record' ? ExtendsResult.True : ExtendsResult.False;
-            })() :
-                (index_mjs_9.TypeGuard.TRecord(left) && index_mjs_9.TypeGuard.TNumber(RecordKey(left))) ? (() => {
-                    return IsObjectPropertyCount(right, 0) ? ExtendsResult.True : ExtendsResult.False;
-                })() :
-                    ExtendsResult.False);
-}
-// prettier-ignore
-function TObject(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_mjs_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-            !index_mjs_9.TypeGuard.TObject(right) ? ExtendsResult.False :
-                (() => {
-                    for (const key of Object.getOwnPropertyNames(right.properties)) {
-                        if (!(key in left.properties) && !index_mjs_9.TypeGuard.TOptional(right.properties[key])) {
-                            return ExtendsResult.False;
-                        }
-                        if (index_mjs_9.TypeGuard.TOptional(right.properties[key])) {
-                            return ExtendsResult.True;
-                        }
-                        if (Property(left.properties[key], right.properties[key]) === ExtendsResult.False) {
-                            return ExtendsResult.False;
-                        }
-                    }
-                    return ExtendsResult.True;
-                })());
-}
-// ------------------------------------------------------------------
-// Promise
-// ------------------------------------------------------------------
-// prettier-ignore
-function TPromise(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_mjs_9.TypeGuard.TObject(right) && IsObjectPromiseLike(right) ? ExtendsResult.True :
-            !index_mjs_9.TypeGuard.TPromise(right) ? ExtendsResult.False :
-                IntoBooleanResult(Visit(left.item, right.item)));
-}
-// ------------------------------------------------------------------
-// Record
-// ------------------------------------------------------------------
-// prettier-ignore
-function RecordKey(schema) {
-    return (index_mjs_7.PatternNumberExact in schema.patternProperties ? (0, index_mjs_3.Number)() :
-        index_mjs_7.PatternStringExact in schema.patternProperties ? (0, index_mjs_4.String)() :
-            Throw('Unknown record key pattern'));
-}
-// prettier-ignore
-function RecordValue(schema) {
-    return (index_mjs_7.PatternNumberExact in schema.patternProperties ? schema.patternProperties[index_mjs_7.PatternNumberExact] :
-        index_mjs_7.PatternStringExact in schema.patternProperties ? schema.patternProperties[index_mjs_7.PatternStringExact] :
-            Throw('Unable to get record value schema'));
-}
-// prettier-ignore
-function TRecordRight(left, right) {
-    const [Key, Value] = [RecordKey(right), RecordValue(right)];
-    return ((index_mjs_9.TypeGuard.TLiteralString(left) && index_mjs_9.TypeGuard.TNumber(Key) && IntoBooleanResult(Visit(left, Value)) === ExtendsResult.True) ? ExtendsResult.True :
-        index_mjs_9.TypeGuard.TUint8Array(left) && index_mjs_9.TypeGuard.TNumber(Key) ? Visit(left, Value) :
-            index_mjs_9.TypeGuard.TString(left) && index_mjs_9.TypeGuard.TNumber(Key) ? Visit(left, Value) :
-                index_mjs_9.TypeGuard.TArray(left) && index_mjs_9.TypeGuard.TNumber(Key) ? Visit(left, Value) :
-                    index_mjs_9.TypeGuard.TObject(left) ? (() => {
-                        for (const key of Object.getOwnPropertyNames(left.properties)) {
-                            if (Property(Value, left.properties[key]) === ExtendsResult.False) {
-                                return ExtendsResult.False;
-                            }
-                        }
-                        return ExtendsResult.True;
-                    })() :
-                        ExtendsResult.False);
-}
-// prettier-ignore
-function TRecord(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            !index_mjs_9.TypeGuard.TRecord(right) ? ExtendsResult.False :
-                Visit(RecordValue(left), RecordValue(right)));
-}
-// ------------------------------------------------------------------
-// String
-// ------------------------------------------------------------------
-// prettier-ignore
-function TStringRight(left, right) {
-    return (index_mjs_9.TypeGuard.TLiteral(left) && index_mjs_9.ValueGuard.IsString(left.const) ? ExtendsResult.True :
-        index_mjs_9.TypeGuard.TString(left) ? ExtendsResult.True :
-            ExtendsResult.False);
-}
-// prettier-ignore
-function TString(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_mjs_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_mjs_9.TypeGuard.TString(right) ? ExtendsResult.True :
-                    ExtendsResult.False);
-}
-// ------------------------------------------------------------------
-// Symbol
-// ------------------------------------------------------------------
-// prettier-ignore
-function TSymbol(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_mjs_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_mjs_9.TypeGuard.TSymbol(right) ? ExtendsResult.True :
-                    ExtendsResult.False);
-}
-// ------------------------------------------------------------------
-// TemplateLiteral
-// ------------------------------------------------------------------
-// prettier-ignore
-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_mjs_9.TypeGuard.TTemplateLiteral(left) ? Visit((0, index_mjs_6.TemplateLiteralToUnion)(left), right) :
-        index_mjs_9.TypeGuard.TTemplateLiteral(right) ? Visit(left, (0, index_mjs_6.TemplateLiteralToUnion)(right)) :
-            Throw('Invalid fallthrough for TemplateLiteral'));
-}
-// ------------------------------------------------------------------
-// Tuple
-// ------------------------------------------------------------------
-// prettier-ignore
-function IsArrayOfTuple(left, right) {
-    return (index_mjs_9.TypeGuard.TArray(right) &&
-        left.items !== undefined &&
-        left.items.every((schema) => Visit(schema, right.items) === ExtendsResult.True));
-}
-// prettier-ignore
-function TTupleRight(left, right) {
-    return (index_mjs_9.TypeGuard.TNever(left) ? ExtendsResult.True :
-        index_mjs_9.TypeGuard.TUnknown(left) ? ExtendsResult.False :
-            index_mjs_9.TypeGuard.TAny(left) ? ExtendsResult.Union :
-                ExtendsResult.False);
-}
-// prettier-ignore
-function TTuple(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_mjs_9.TypeGuard.TObject(right) && IsObjectArrayLike(right) ? ExtendsResult.True :
-            index_mjs_9.TypeGuard.TArray(right) && IsArrayOfTuple(left, right) ? ExtendsResult.True :
-                !index_mjs_9.TypeGuard.TTuple(right) ? ExtendsResult.False :
-                    (index_mjs_9.ValueGuard.IsUndefined(left.items) && !index_mjs_9.ValueGuard.IsUndefined(right.items)) || (!index_mjs_9.ValueGuard.IsUndefined(left.items) && index_mjs_9.ValueGuard.IsUndefined(right.items)) ? ExtendsResult.False :
-                        (index_mjs_9.ValueGuard.IsUndefined(left.items) && !index_mjs_9.ValueGuard.IsUndefined(right.items)) ? ExtendsResult.True :
-                            left.items.every((schema, index) => Visit(schema, right.items[index]) === ExtendsResult.True) ? ExtendsResult.True :
-                                ExtendsResult.False);
-}
-// ------------------------------------------------------------------
-// Uint8Array
-// ------------------------------------------------------------------
-// prettier-ignore
-function TUint8Array(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_mjs_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_mjs_9.TypeGuard.TUint8Array(right) ? ExtendsResult.True :
-                    ExtendsResult.False);
-}
-// ------------------------------------------------------------------
-// Undefined
-// ------------------------------------------------------------------
-// prettier-ignore
-function TUndefined(left, right) {
-    return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-            index_mjs_9.TypeGuard.TRecord(right) ? TRecordRight(left, right) :
-                index_mjs_9.TypeGuard.TVoid(right) ? VoidRight(left, right) :
-                    index_mjs_9.TypeGuard.TUndefined(right) ? ExtendsResult.True :
-                        ExtendsResult.False);
-}
-// ------------------------------------------------------------------
-// Union
-// ------------------------------------------------------------------
-// prettier-ignore
-function TUnionRight(left, right) {
-    return right.anyOf.some((schema) => Visit(left, schema) === ExtendsResult.True)
-        ? ExtendsResult.True
-        : ExtendsResult.False;
-}
-// prettier-ignore
-function TUnion(left, right) {
-    return left.anyOf.every((schema) => Visit(schema, right) === ExtendsResult.True)
-        ? ExtendsResult.True
-        : ExtendsResult.False;
-}
-// ------------------------------------------------------------------
-// Unknown
-// ------------------------------------------------------------------
-// prettier-ignore
-function TUnknownRight(left, right) {
-    return ExtendsResult.True;
-}
-// prettier-ignore
-function TUnknown(left, right) {
-    return (index_mjs_9.TypeGuard.TNever(right) ? TNeverRight(left, right) :
-        index_mjs_9.TypeGuard.TIntersect(right) ? TIntersectRight(left, right) :
-            index_mjs_9.TypeGuard.TUnion(right) ? TUnionRight(left, right) :
-                index_mjs_9.TypeGuard.TAny(right) ? TAnyRight(left, right) :
-                    index_mjs_9.TypeGuard.TString(right) ? TStringRight(left, right) :
-                        index_mjs_9.TypeGuard.TNumber(right) ? TNumberRight(left, right) :
-                            index_mjs_9.TypeGuard.TInteger(right) ? TIntegerRight(left, right) :
-                                index_mjs_9.TypeGuard.TBoolean(right) ? TBooleanRight(left, right) :
-                                    index_mjs_9.TypeGuard.TArray(right) ? TArrayRight(left, right) :
-                                        index_mjs_9.TypeGuard.TTuple(right) ? TTupleRight(left, right) :
-                                            index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-                                                index_mjs_9.TypeGuard.TUnknown(right) ? ExtendsResult.True :
-                                                    ExtendsResult.False);
-}
-// ------------------------------------------------------------------
-// Void
-// ------------------------------------------------------------------
-// prettier-ignore
-function VoidRight(left, right) {
-    return (index_mjs_9.TypeGuard.TUndefined(left) ? ExtendsResult.True :
-        index_mjs_9.TypeGuard.TUndefined(left) ? ExtendsResult.True :
-            ExtendsResult.False);
-}
-// prettier-ignore
-function TVoid(left, right) {
-    return (index_mjs_9.TypeGuard.TIntersect(right) ? TIntersectRight(left, right) :
-        index_mjs_9.TypeGuard.TUnion(right) ? TUnionRight(left, right) :
-            index_mjs_9.TypeGuard.TUnknown(right) ? TUnknownRight(left, right) :
-                index_mjs_9.TypeGuard.TAny(right) ? TAnyRight(left, right) :
-                    index_mjs_9.TypeGuard.TObject(right) ? TObjectRight(left, right) :
-                        index_mjs_9.TypeGuard.TVoid(right) ? ExtendsResult.True :
-                            ExtendsResult.False);
-}
-// prettier-ignore
-function Visit(left, right) {
-    return (
-    // resolvable
-    (index_mjs_9.TypeGuard.TTemplateLiteral(left) || index_mjs_9.TypeGuard.TTemplateLiteral(right)) ? TTemplateLiteral(left, right) :
-        (index_mjs_9.TypeGuard.TNot(left) || index_mjs_9.TypeGuard.TNot(right)) ? TNot(left, right) :
-            // standard
-            index_mjs_9.TypeGuard.TAny(left) ? TAny(left, right) :
-                index_mjs_9.TypeGuard.TArray(left) ? TArray(left, right) :
-                    index_mjs_9.TypeGuard.TBigInt(left) ? TBigInt(left, right) :
-                        index_mjs_9.TypeGuard.TBoolean(left) ? TBoolean(left, right) :
-                            index_mjs_9.TypeGuard.TAsyncIterator(left) ? TAsyncIterator(left, right) :
-                                index_mjs_9.TypeGuard.TConstructor(left) ? TConstructor(left, right) :
-                                    index_mjs_9.TypeGuard.TDate(left) ? TDate(left, right) :
-                                        index_mjs_9.TypeGuard.TFunction(left) ? TFunction(left, right) :
-                                            index_mjs_9.TypeGuard.TInteger(left) ? TInteger(left, right) :
-                                                index_mjs_9.TypeGuard.TIntersect(left) ? TIntersect(left, right) :
-                                                    index_mjs_9.TypeGuard.TIterator(left) ? TIterator(left, right) :
-                                                        index_mjs_9.TypeGuard.TLiteral(left) ? TLiteral(left, right) :
-                                                            index_mjs_9.TypeGuard.TNever(left) ? TNever(left, right) :
-                                                                index_mjs_9.TypeGuard.TNull(left) ? TNull(left, right) :
-                                                                    index_mjs_9.TypeGuard.TNumber(left) ? TNumber(left, right) :
-                                                                        index_mjs_9.TypeGuard.TObject(left) ? TObject(left, right) :
-                                                                            index_mjs_9.TypeGuard.TRecord(left) ? TRecord(left, right) :
-                                                                                index_mjs_9.TypeGuard.TString(left) ? TString(left, right) :
-                                                                                    index_mjs_9.TypeGuard.TSymbol(left) ? TSymbol(left, right) :
-                                                                                        index_mjs_9.TypeGuard.TTuple(left) ? TTuple(left, right) :
-                                                                                            index_mjs_9.TypeGuard.TPromise(left) ? TPromise(left, right) :
-                                                                                                index_mjs_9.TypeGuard.TUint8Array(left) ? TUint8Array(left, right) :
-                                                                                                    index_mjs_9.TypeGuard.TUndefined(left) ? TUndefined(left, right) :
-                                                                                                        index_mjs_9.TypeGuard.TUnion(left) ? TUnion(left, right) :
-                                                                                                            index_mjs_9.TypeGuard.TUnknown(left) ? TUnknown(left, right) :
-                                                                                                                index_mjs_9.TypeGuard.TVoid(left) ? TVoid(left, right) :
-                                                                                                                    Throw(`Unknown left type operand '${left[index_mjs_8.Kind]}'`));
-}
-function ExtendsCheck(left, right) {
-    return Visit(left, right);
-}
-exports.ExtendsCheck = ExtendsCheck;