@sinclair/typebox 0.32.0-dev-27 → 0.32.0-dev-28

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

@@ -48,23 +48,23 @@ function IsStructuralRight(right) {
 }
 // prettier-ignore
 function StructuralRight(left, right) {
-    return (index_10.TypeGuard.IsNever(right) ? TNeverRight(left, right) :
-        index_10.TypeGuard.IsIntersect(right) ? TIntersectRight(left, right) :
-            index_10.TypeGuard.IsUnion(right) ? TUnionRight(left, right) :
-                index_10.TypeGuard.IsUnknown(right) ? TUnknownRight(left, right) :
-                    index_10.TypeGuard.IsAny(right) ? TAnyRight(left, right) :
+    return (index_10.TypeGuard.IsNever(right) ? FromNeverRight(left, right) :
+        index_10.TypeGuard.IsIntersect(right) ? FromIntersectRight(left, right) :
+            index_10.TypeGuard.IsUnion(right) ? FromUnionRight(left, right) :
+                index_10.TypeGuard.IsUnknown(right) ? FromUnknownRight(left, right) :
+                    index_10.TypeGuard.IsAny(right) ? FromAnyRight(left, right) :
                         Throw('StructuralRight'));
 }
 // ------------------------------------------------------------------
 // Any
 // ------------------------------------------------------------------
 // prettier-ignore
-function TAnyRight(left, right) {
+function FromAnyRight(left, right) {
     return ExtendsResult.True;
 }
 // prettier-ignore
-function TAny(left, right) {
-    return (index_10.TypeGuard.IsIntersect(right) ? TIntersectRight(left, right) :
+function FromAny(left, right) {
+    return (index_10.TypeGuard.IsIntersect(right) ? FromIntersectRight(left, right) :
         (index_10.TypeGuard.IsUnion(right) && right.anyOf.some((schema) => index_10.TypeGuard.IsAny(schema) || index_10.TypeGuard.IsUnknown(schema))) ? ExtendsResult.True :
             index_10.TypeGuard.IsUnion(right) ? ExtendsResult.Union :
                 index_10.TypeGuard.IsUnknown(right) ? ExtendsResult.True :
@@ -75,14 +75,14 @@ function TAny(left, right) {
 // Array
 // ------------------------------------------------------------------
 // prettier-ignore
-function TArrayRight(left, right) {
+function FromArrayRight(left, right) {
     return (index_10.TypeGuard.IsUnknown(left) ? ExtendsResult.False :
         index_10.TypeGuard.IsAny(left) ? ExtendsResult.Union :
             index_10.TypeGuard.IsNever(left) ? ExtendsResult.True :
                 ExtendsResult.False);
 }
 // prettier-ignore
-function TArray(left, right) {
+function FromArray(left, right) {
     return (index_10.TypeGuard.IsObject(right) && IsObjectArrayLike(right) ? ExtendsResult.True :
         IsStructuralRight(right) ? StructuralRight(left, right) :
             !index_10.TypeGuard.IsArray(right) ? ExtendsResult.False :
@@ -92,7 +92,7 @@ function TArray(left, right) {
 // AsyncIterator
 // ------------------------------------------------------------------
 // prettier-ignore
-function TAsyncIterator(left, right) {
+function FromAsyncIterator(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
         !index_10.TypeGuard.IsAsyncIterator(right) ? ExtendsResult.False :
             IntoBooleanResult(Visit(left.items, right.items)));
@@ -101,10 +101,10 @@ function TAsyncIterator(left, right) {
 // BigInt
 // ------------------------------------------------------------------
 // prettier-ignore
-function TBigInt(left, right) {
+function FromBigInt(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
-            index_10.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+        index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
+            index_10.TypeGuard.IsRecord(right) ? FromRecordRight(left, right) :
                 index_10.TypeGuard.IsBigInt(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
@@ -112,16 +112,16 @@ function TBigInt(left, right) {
 // Boolean
 // ------------------------------------------------------------------
 // prettier-ignore
-function TBooleanRight(left, right) {
+function FromBooleanRight(left, right) {
     return (index_10.TypeGuard.IsLiteralBoolean(left) ? ExtendsResult.True :
         index_10.TypeGuard.IsBoolean(left) ? ExtendsResult.True :
             ExtendsResult.False);
 }
 // prettier-ignore
-function TBoolean(left, right) {
+function FromBoolean(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
-            index_10.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+        index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
+            index_10.TypeGuard.IsRecord(right) ? FromRecordRight(left, right) :
                 index_10.TypeGuard.IsBoolean(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
@@ -129,9 +129,9 @@ function TBoolean(left, right) {
 // Constructor
 // ------------------------------------------------------------------
 // prettier-ignore
-function TConstructor(left, right) {
+function FromConstructor(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+        index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
             !index_10.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 :
@@ -141,10 +141,10 @@ function TConstructor(left, right) {
 // Date
 // ------------------------------------------------------------------
 // prettier-ignore
-function TDate(left, right) {
+function FromDate(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
-            index_10.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+        index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
+            index_10.TypeGuard.IsRecord(right) ? FromRecordRight(left, right) :
                 index_10.TypeGuard.IsDate(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
@@ -152,9 +152,9 @@ function TDate(left, right) {
 // Function
 // ------------------------------------------------------------------
 // prettier-ignore
-function TFunction(left, right) {
+function FromFunction(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+        index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
             !index_10.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 :
@@ -164,30 +164,30 @@ function TFunction(left, right) {
 // Integer
 // ------------------------------------------------------------------
 // prettier-ignore
-function TIntegerRight(left, right) {
+function FromIntegerRight(left, right) {
     return (index_10.TypeGuard.IsLiteral(left) && index_10.ValueGuard.IsNumber(left.const) ? ExtendsResult.True :
         index_10.TypeGuard.IsNumber(left) || index_10.TypeGuard.IsInteger(left) ? ExtendsResult.True :
             ExtendsResult.False);
 }
 // prettier-ignore
-function TInteger(left, right) {
+function FromInteger(left, right) {
     return (index_10.TypeGuard.IsInteger(right) || index_10.TypeGuard.IsNumber(right) ? ExtendsResult.True :
         IsStructuralRight(right) ? StructuralRight(left, right) :
-            index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
-                index_10.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+            index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
+                index_10.TypeGuard.IsRecord(right) ? FromRecordRight(left, right) :
                     ExtendsResult.False);
 }
 // ------------------------------------------------------------------
 // Intersect
 // ------------------------------------------------------------------
 // prettier-ignore
-function TIntersectRight(left, right) {
+function FromIntersectRight(left, right) {
     return right.allOf.every((schema) => Visit(left, schema) === ExtendsResult.True)
         ? ExtendsResult.True
         : ExtendsResult.False;
 }
 // prettier-ignore
-function TIntersect(left, right) {
+function FromIntersect(left, right) {
     return left.allOf.some((schema) => Visit(schema, right) === ExtendsResult.True)
         ? ExtendsResult.True
         : ExtendsResult.False;
@@ -196,7 +196,7 @@ function TIntersect(left, right) {
 // Iterator
 // ------------------------------------------------------------------
 // prettier-ignore
-function TIterator(left, right) {
+function FromIterator(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
         !index_10.TypeGuard.IsIterator(right) ? ExtendsResult.False :
             IntoBooleanResult(Visit(left.items, right.items)));
@@ -205,26 +205,26 @@ function TIterator(left, right) {
 // Literal
 // ------------------------------------------------------------------
 // prettier-ignore
-function TLiteral(left, right) {
+function FromLiteral(left, right) {
     return (index_10.TypeGuard.IsLiteral(right) && right.const === left.const ? ExtendsResult.True :
         IsStructuralRight(right) ? StructuralRight(left, right) :
-            index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
-                index_10.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
-                    index_10.TypeGuard.IsString(right) ? TStringRight(left, right) :
-                        index_10.TypeGuard.IsNumber(right) ? TNumberRight(left, right) :
-                            index_10.TypeGuard.IsInteger(right) ? TIntegerRight(left, right) :
-                                index_10.TypeGuard.IsBoolean(right) ? TBooleanRight(left, right) :
+            index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
+                index_10.TypeGuard.IsRecord(right) ? FromRecordRight(left, right) :
+                    index_10.TypeGuard.IsString(right) ? FromStringRight(left, right) :
+                        index_10.TypeGuard.IsNumber(right) ? FromNumberRight(left, right) :
+                            index_10.TypeGuard.IsInteger(right) ? FromIntegerRight(left, right) :
+                                index_10.TypeGuard.IsBoolean(right) ? FromBooleanRight(left, right) :
                                     ExtendsResult.False);
 }
 // ------------------------------------------------------------------
 // Never
 // ------------------------------------------------------------------
 // prettier-ignore
-function TNeverRight(left, right) {
+function FromNeverRight(left, right) {
     return ExtendsResult.False;
 }
 // prettier-ignore
-function TNever(left, right) {
+function FromNever(left, right) {
     return ExtendsResult.True;
 }
 // ------------------------------------------------------------------
@@ -242,7 +242,7 @@ function UnwrapTNot(schema) {
     return depth % 2 === 0 ? current : (0, index_5.Unknown)();
 }
 // prettier-ignore
-function TNot(left, right) {
+function FromNot(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.
@@ -255,10 +255,10 @@ function TNot(left, right) {
 // Null
 // ------------------------------------------------------------------
 // prettier-ignore
-function TNull(left, right) {
+function FromNull(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
-            index_10.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+        index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
+            index_10.TypeGuard.IsRecord(right) ? FromRecordRight(left, right) :
                 index_10.TypeGuard.IsNull(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
@@ -266,16 +266,16 @@ function TNull(left, right) {
 // Number
 // ------------------------------------------------------------------
 // prettier-ignore
-function TNumberRight(left, right) {
+function FromNumberRight(left, right) {
     return (index_10.TypeGuard.IsLiteralNumber(left) ? ExtendsResult.True :
         index_10.TypeGuard.IsNumber(left) || index_10.TypeGuard.IsInteger(left) ? ExtendsResult.True :
             ExtendsResult.False);
 }
 // prettier-ignore
-function TNumber(left, right) {
+function FromNumber(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
-            index_10.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+        index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
+            index_10.TypeGuard.IsRecord(right) ? FromRecordRight(left, right) :
                 index_10.TypeGuard.IsInteger(right) || index_10.TypeGuard.IsNumber(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
@@ -345,7 +345,7 @@ function Property(left, right) {
             ExtendsResult.True);
 }
 // prettier-ignore
-function TObjectRight(left, right) {
+function FromObjectRight(left, right) {
     return (index_10.TypeGuard.IsUnknown(left) ? ExtendsResult.False :
         index_10.TypeGuard.IsAny(left) ? ExtendsResult.Union : (index_10.TypeGuard.IsNever(left) ||
             (index_10.TypeGuard.IsLiteralString(left) && IsObjectStringLike(right)) ||
@@ -373,9 +373,9 @@ function TObjectRight(left, right) {
                     ExtendsResult.False);
 }
 // prettier-ignore
-function TObject(left, right) {
+function FromObject(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_10.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+        index_10.TypeGuard.IsRecord(right) ? FromRecordRight(left, right) :
             !index_10.TypeGuard.IsObject(right) ? ExtendsResult.False :
                 (() => {
                     for (const key of Object.getOwnPropertyNames(right.properties)) {
@@ -396,7 +396,7 @@ function TObject(left, right) {
 // Promise
 // ------------------------------------------------------------------
 // prettier-ignore
-function TPromise(left, right) {
+function FromPromise(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
         index_10.TypeGuard.IsObject(right) && IsObjectPromiseLike(right) ? ExtendsResult.True :
             !index_10.TypeGuard.IsPromise(right) ? ExtendsResult.False :
@@ -418,7 +418,7 @@ function RecordValue(schema) {
             Throw('Unable to get record value schema'));
 }
 // prettier-ignore
-function TRecordRight(left, right) {
+function FromRecordRight(left, right) {
     const [Key, Value] = [RecordKey(right), RecordValue(right)];
     return ((index_10.TypeGuard.IsLiteralString(left) && index_10.TypeGuard.IsNumber(Key) && IntoBooleanResult(Visit(left, Value)) === ExtendsResult.True) ? ExtendsResult.True :
         index_10.TypeGuard.IsUint8Array(left) && index_10.TypeGuard.IsNumber(Key) ? Visit(left, Value) :
@@ -435,26 +435,37 @@ function TRecordRight(left, right) {
                         ExtendsResult.False);
 }
 // prettier-ignore
-function TRecord(left, right) {
+function FromRecord(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+        index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
             !index_10.TypeGuard.IsRecord(right) ? ExtendsResult.False :
                 Visit(RecordValue(left), RecordValue(right)));
 }
 // ------------------------------------------------------------------
+// RegExp
+// ------------------------------------------------------------------
+// prettier-ignore
+function FromRegExp(left, right) {
+    // Note: RegExp types evaluate as strings, not RegExp objects.
+    // Here we remap either into string and continue evaluating.
+    const L = index_10.TypeGuard.IsRegExp(left) ? (0, index_4.String)() : left;
+    const R = index_10.TypeGuard.IsRegExp(right) ? (0, index_4.String)() : right;
+    return Visit(L, R);
+}
+// ------------------------------------------------------------------
 // String
 // ------------------------------------------------------------------
 // prettier-ignore
-function TStringRight(left, right) {
+function FromStringRight(left, right) {
     return (index_10.TypeGuard.IsLiteral(left) && index_10.ValueGuard.IsString(left.const) ? ExtendsResult.True :
         index_10.TypeGuard.IsString(left) ? ExtendsResult.True :
             ExtendsResult.False);
 }
 // prettier-ignore
-function TString(left, right) {
+function FromString(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
-            index_10.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+        index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
+            index_10.TypeGuard.IsRecord(right) ? FromRecordRight(left, right) :
                 index_10.TypeGuard.IsString(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
@@ -462,10 +473,10 @@ function TString(left, right) {
 // Symbol
 // ------------------------------------------------------------------
 // prettier-ignore
-function TSymbol(left, right) {
+function FromSymbol(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
-            index_10.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+        index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
+            index_10.TypeGuard.IsRecord(right) ? FromRecordRight(left, right) :
                 index_10.TypeGuard.IsSymbol(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
@@ -473,7 +484,7 @@ function TSymbol(left, right) {
 // TemplateLiteral
 // ------------------------------------------------------------------
 // prettier-ignore
-function TTemplateLiteral(left, right) {
+function FromTemplateLiteral(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.
@@ -491,14 +502,14 @@ function IsArrayOfTuple(left, right) {
         left.items.every((schema) => Visit(schema, right.items) === ExtendsResult.True));
 }
 // prettier-ignore
-function TTupleRight(left, right) {
+function FromTupleRight(left, right) {
     return (index_10.TypeGuard.IsNever(left) ? ExtendsResult.True :
         index_10.TypeGuard.IsUnknown(left) ? ExtendsResult.False :
             index_10.TypeGuard.IsAny(left) ? ExtendsResult.Union :
                 ExtendsResult.False);
 }
 // prettier-ignore
-function TTuple(left, right) {
+function FromTuple(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
         index_10.TypeGuard.IsObject(right) && IsObjectArrayLike(right) ? ExtendsResult.True :
             index_10.TypeGuard.IsArray(right) && IsArrayOfTuple(left, right) ? ExtendsResult.True :
@@ -512,10 +523,10 @@ function TTuple(left, right) {
 // Uint8Array
 // ------------------------------------------------------------------
 // prettier-ignore
-function TUint8Array(left, right) {
+function FromUint8Array(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
-            index_10.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
+        index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
+            index_10.TypeGuard.IsRecord(right) ? FromRecordRight(left, right) :
                 index_10.TypeGuard.IsUint8Array(right) ? ExtendsResult.True :
                     ExtendsResult.False);
 }
@@ -523,11 +534,11 @@ function TUint8Array(left, right) {
 // Undefined
 // ------------------------------------------------------------------
 // prettier-ignore
-function TUndefined(left, right) {
+function FromUndefined(left, right) {
     return (IsStructuralRight(right) ? StructuralRight(left, right) :
-        index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
-            index_10.TypeGuard.IsRecord(right) ? TRecordRight(left, right) :
-                index_10.TypeGuard.IsVoid(right) ? VoidRight(left, right) :
+        index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
+            index_10.TypeGuard.IsRecord(right) ? FromRecordRight(left, right) :
+                index_10.TypeGuard.IsVoid(right) ? FromVoidRight(left, right) :
                     index_10.TypeGuard.IsUndefined(right) ? ExtendsResult.True :
                         ExtendsResult.False);
 }
@@ -535,13 +546,13 @@ function TUndefined(left, right) {
 // Union
 // ------------------------------------------------------------------
 // prettier-ignore
-function TUnionRight(left, right) {
+function FromUnionRight(left, right) {
     return right.anyOf.some((schema) => Visit(left, schema) === ExtendsResult.True)
         ? ExtendsResult.True
         : ExtendsResult.False;
 }
 // prettier-ignore
-function TUnion(left, right) {
+function FromUnion(left, right) {
     return left.anyOf.every((schema) => Visit(schema, right) === ExtendsResult.True)
         ? ExtendsResult.True
         : ExtendsResult.False;
@@ -550,22 +561,22 @@ function TUnion(left, right) {
 // Unknown
 // ------------------------------------------------------------------
 // prettier-ignore
-function TUnknownRight(left, right) {
+function FromUnknownRight(left, right) {
     return ExtendsResult.True;
 }
 // prettier-ignore
-function TUnknown(left, right) {
-    return (index_10.TypeGuard.IsNever(right) ? TNeverRight(left, right) :
-        index_10.TypeGuard.IsIntersect(right) ? TIntersectRight(left, right) :
-            index_10.TypeGuard.IsUnion(right) ? TUnionRight(left, right) :
-                index_10.TypeGuard.IsAny(right) ? TAnyRight(left, right) :
-                    index_10.TypeGuard.IsString(right) ? TStringRight(left, right) :
-                        index_10.TypeGuard.IsNumber(right) ? TNumberRight(left, right) :
-                            index_10.TypeGuard.IsInteger(right) ? TIntegerRight(left, right) :
-                                index_10.TypeGuard.IsBoolean(right) ? TBooleanRight(left, right) :
-                                    index_10.TypeGuard.IsArray(right) ? TArrayRight(left, right) :
-                                        index_10.TypeGuard.IsTuple(right) ? TTupleRight(left, right) :
-                                            index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+function FromUnknown(left, right) {
+    return (index_10.TypeGuard.IsNever(right) ? FromNeverRight(left, right) :
+        index_10.TypeGuard.IsIntersect(right) ? FromIntersectRight(left, right) :
+            index_10.TypeGuard.IsUnion(right) ? FromUnionRight(left, right) :
+                index_10.TypeGuard.IsAny(right) ? FromAnyRight(left, right) :
+                    index_10.TypeGuard.IsString(right) ? FromStringRight(left, right) :
+                        index_10.TypeGuard.IsNumber(right) ? FromNumberRight(left, right) :
+                            index_10.TypeGuard.IsInteger(right) ? FromIntegerRight(left, right) :
+                                index_10.TypeGuard.IsBoolean(right) ? FromBooleanRight(left, right) :
+                                    index_10.TypeGuard.IsArray(right) ? FromArrayRight(left, right) :
+                                        index_10.TypeGuard.IsTuple(right) ? FromTupleRight(left, right) :
+                                            index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
                                                 index_10.TypeGuard.IsUnknown(right) ? ExtendsResult.True :
                                                     ExtendsResult.False);
 }
@@ -573,18 +584,18 @@ function TUnknown(left, right) {
 // Void
 // ------------------------------------------------------------------
 // prettier-ignore
-function VoidRight(left, right) {
+function FromVoidRight(left, right) {
     return (index_10.TypeGuard.IsUndefined(left) ? ExtendsResult.True :
         index_10.TypeGuard.IsUndefined(left) ? ExtendsResult.True :
             ExtendsResult.False);
 }
 // prettier-ignore
-function TVoid(left, right) {
-    return (index_10.TypeGuard.IsIntersect(right) ? TIntersectRight(left, right) :
-        index_10.TypeGuard.IsUnion(right) ? TUnionRight(left, right) :
-            index_10.TypeGuard.IsUnknown(right) ? TUnknownRight(left, right) :
-                index_10.TypeGuard.IsAny(right) ? TAnyRight(left, right) :
-                    index_10.TypeGuard.IsObject(right) ? TObjectRight(left, right) :
+function FromVoid(left, right) {
+    return (index_10.TypeGuard.IsIntersect(right) ? FromIntersectRight(left, right) :
+        index_10.TypeGuard.IsUnion(right) ? FromUnionRight(left, right) :
+            index_10.TypeGuard.IsUnknown(right) ? FromUnknownRight(left, right) :
+                index_10.TypeGuard.IsAny(right) ? FromAnyRight(left, right) :
+                    index_10.TypeGuard.IsObject(right) ? FromObjectRight(left, right) :
                         index_10.TypeGuard.IsVoid(right) ? ExtendsResult.True :
                             ExtendsResult.False);
 }
@@ -592,36 +603,37 @@ function TVoid(left, right) {
 function Visit(left, right) {
     return (
     // resolvable
-    (index_10.TypeGuard.IsTemplateLiteral(left) || index_10.TypeGuard.IsTemplateLiteral(right)) ? TTemplateLiteral(left, right) :
-        (index_10.TypeGuard.IsNot(left) || index_10.TypeGuard.IsNot(right)) ? TNot(left, right) :
-            // standard
-            index_10.TypeGuard.IsAny(left) ? TAny(left, right) :
-                index_10.TypeGuard.IsArray(left) ? TArray(left, right) :
-                    index_10.TypeGuard.IsBigInt(left) ? TBigInt(left, right) :
-                        index_10.TypeGuard.IsBoolean(left) ? TBoolean(left, right) :
-                            index_10.TypeGuard.IsAsyncIterator(left) ? TAsyncIterator(left, right) :
-                                index_10.TypeGuard.IsConstructor(left) ? TConstructor(left, right) :
-                                    index_10.TypeGuard.IsDate(left) ? TDate(left, right) :
-                                        index_10.TypeGuard.IsFunction(left) ? TFunction(left, right) :
-                                            index_10.TypeGuard.IsInteger(left) ? TInteger(left, right) :
-                                                index_10.TypeGuard.IsIntersect(left) ? TIntersect(left, right) :
-                                                    index_10.TypeGuard.IsIterator(left) ? TIterator(left, right) :
-                                                        index_10.TypeGuard.IsLiteral(left) ? TLiteral(left, right) :
-                                                            index_10.TypeGuard.IsNever(left) ? TNever(left, right) :
-                                                                index_10.TypeGuard.IsNull(left) ? TNull(left, right) :
-                                                                    index_10.TypeGuard.IsNumber(left) ? TNumber(left, right) :
-                                                                        index_10.TypeGuard.IsObject(left) ? TObject(left, right) :
-                                                                            index_10.TypeGuard.IsRecord(left) ? TRecord(left, right) :
-                                                                                index_10.TypeGuard.IsString(left) ? TString(left, right) :
-                                                                                    index_10.TypeGuard.IsSymbol(left) ? TSymbol(left, right) :
-                                                                                        index_10.TypeGuard.IsTuple(left) ? TTuple(left, right) :
-                                                                                            index_10.TypeGuard.IsPromise(left) ? TPromise(left, right) :
-                                                                                                index_10.TypeGuard.IsUint8Array(left) ? TUint8Array(left, right) :
-                                                                                                    index_10.TypeGuard.IsUndefined(left) ? TUndefined(left, right) :
-                                                                                                        index_10.TypeGuard.IsUnion(left) ? TUnion(left, right) :
-                                                                                                            index_10.TypeGuard.IsUnknown(left) ? TUnknown(left, right) :
-                                                                                                                index_10.TypeGuard.IsVoid(left) ? TVoid(left, right) :
-                                                                                                                    Throw(`Unknown left type operand '${left[index_8.Kind]}'`));
+    (index_10.TypeGuard.IsTemplateLiteral(left) || index_10.TypeGuard.IsTemplateLiteral(right)) ? FromTemplateLiteral(left, right) :
+        (index_10.TypeGuard.IsRegExp(left) || index_10.TypeGuard.IsRegExp(right)) ? FromRegExp(left, right) :
+            (index_10.TypeGuard.IsNot(left) || index_10.TypeGuard.IsNot(right)) ? FromNot(left, right) :
+                // standard
+                index_10.TypeGuard.IsAny(left) ? FromAny(left, right) :
+                    index_10.TypeGuard.IsArray(left) ? FromArray(left, right) :
+                        index_10.TypeGuard.IsBigInt(left) ? FromBigInt(left, right) :
+                            index_10.TypeGuard.IsBoolean(left) ? FromBoolean(left, right) :
+                                index_10.TypeGuard.IsAsyncIterator(left) ? FromAsyncIterator(left, right) :
+                                    index_10.TypeGuard.IsConstructor(left) ? FromConstructor(left, right) :
+                                        index_10.TypeGuard.IsDate(left) ? FromDate(left, right) :
+                                            index_10.TypeGuard.IsFunction(left) ? FromFunction(left, right) :
+                                                index_10.TypeGuard.IsInteger(left) ? FromInteger(left, right) :
+                                                    index_10.TypeGuard.IsIntersect(left) ? FromIntersect(left, right) :
+                                                        index_10.TypeGuard.IsIterator(left) ? FromIterator(left, right) :
+                                                            index_10.TypeGuard.IsLiteral(left) ? FromLiteral(left, right) :
+                                                                index_10.TypeGuard.IsNever(left) ? FromNever(left, right) :
+                                                                    index_10.TypeGuard.IsNull(left) ? FromNull(left, right) :
+                                                                        index_10.TypeGuard.IsNumber(left) ? FromNumber(left, right) :
+                                                                            index_10.TypeGuard.IsObject(left) ? FromObject(left, right) :
+                                                                                index_10.TypeGuard.IsRecord(left) ? FromRecord(left, right) :
+                                                                                    index_10.TypeGuard.IsString(left) ? FromString(left, right) :
+                                                                                        index_10.TypeGuard.IsSymbol(left) ? FromSymbol(left, right) :
+                                                                                            index_10.TypeGuard.IsTuple(left) ? FromTuple(left, right) :
+                                                                                                index_10.TypeGuard.IsPromise(left) ? FromPromise(left, right) :
+                                                                                                    index_10.TypeGuard.IsUint8Array(left) ? FromUint8Array(left, right) :
+                                                                                                        index_10.TypeGuard.IsUndefined(left) ? FromUndefined(left, right) :
+                                                                                                            index_10.TypeGuard.IsUnion(left) ? FromUnion(left, right) :
+                                                                                                                index_10.TypeGuard.IsUnknown(left) ? FromUnknown(left, right) :
+                                                                                                                    index_10.TypeGuard.IsVoid(left) ? FromVoid(left, right) :
+                                                                                                                        Throw(`Unknown left type operand '${left[index_8.Kind]}'`));
 }
 function ExtendsCheck(left, right) {
     return Visit(left, right);

package/build/require/type/guard/type.d.ts

@@ -26,6 +26,7 @@ import type { TOptional } from '../optional/index';
 import type { TPromise } from '../promise/index';
 import type { TReadonly } from '../readonly/index';
 import type { TRef } from '../ref/index';
+import type { TRegExp } from '../regexp/index';
 import type { TSchema } from '../schema/index';
 import type { TSymbol } from '../symbol/index';
 import type { TTuple } from '../tuple/index';
@@ -104,6 +105,8 @@ export declare function IsRecursive(value: unknown): value is {
 };
 /** Returns true if the given value is TRef */
 export declare function IsRef(value: unknown): value is TRef;
+/** Returns true if the given value is TRegExp */
+export declare function IsRegExp(value: unknown): value is TRegExp;
 /** Returns true if the given value is TString */
 export declare function IsString(value: unknown): value is TString;
 /** Returns true if the given value is TSymbol */

package/build/require/type/guard/type.js

@@ -1,7 +1,7 @@
 "use strict";
 
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.IsSchema = exports.IsKind = exports.IsVoid = exports.IsUnsafe = exports.IsUnknown = exports.IsUint8Array = exports.IsUnion = exports.IsUnionLiteral = exports.IsUndefined = exports.IsTuple = exports.IsTransform = exports.IsThis = exports.IsTemplateLiteral = exports.IsSymbol = exports.IsString = exports.IsRef = exports.IsRecursive = exports.IsRecord = exports.IsPromise = exports.IsObject = exports.IsNumber = exports.IsNull = exports.IsNot = exports.IsNever = exports.IsMappedResult = exports.IsMappedKey = exports.IsLiteralValue = exports.IsLiteral = exports.IsLiteralBoolean = exports.IsLiteralNumber = exports.IsLiteralString = exports.IsKindOf = exports.IsIterator = exports.IsIntersect = exports.IsProperties = exports.IsInteger = exports.IsFunction = exports.IsDate = exports.IsConstructor = exports.IsBoolean = exports.IsBigInt = exports.IsAsyncIterator = exports.IsArray = exports.IsAny = exports.IsOptional = exports.IsReadonly = exports.TypeGuardUnknownTypeError = void 0;
+exports.IsSchema = exports.IsKind = exports.IsVoid = exports.IsUnsafe = exports.IsUnknown = exports.IsUint8Array = exports.IsUnion = exports.IsUnionLiteral = exports.IsUndefined = exports.IsTuple = exports.IsTransform = exports.IsThis = exports.IsTemplateLiteral = exports.IsSymbol = exports.IsString = exports.IsRegExp = exports.IsRef = exports.IsRecursive = exports.IsRecord = exports.IsPromise = exports.IsObject = exports.IsNumber = exports.IsNull = exports.IsNot = exports.IsNever = exports.IsMappedResult = exports.IsMappedKey = exports.IsLiteralValue = exports.IsLiteral = exports.IsLiteralBoolean = exports.IsLiteralNumber = exports.IsLiteralString = exports.IsKindOf = exports.IsIterator = exports.IsIntersect = exports.IsProperties = exports.IsInteger = exports.IsFunction = exports.IsDate = exports.IsConstructor = exports.IsBoolean = exports.IsBigInt = exports.IsAsyncIterator = exports.IsArray = exports.IsAny = exports.IsOptional = exports.IsReadonly = exports.TypeGuardUnknownTypeError = void 0;
 const ValueGuard = require("./value");
 const index_1 = require("../symbols/index");
 const index_2 = require("../error/index");
@@ -31,6 +31,7 @@ const KnownTypes = [
     'Promise',
     'Record',
     'Ref',
+    'RegExp',
     'String',
     'Symbol',
     'TemplateLiteral',
@@ -360,6 +361,15 @@ function IsRef(value) {
         ValueGuard.IsString(value.$ref));
 }
 exports.IsRef = IsRef;
+/** Returns true if the given value is TRegExp */
+function IsRegExp(value) {
+    // prettier-ignore
+    return (IsKindOf(value, 'RegExp') &&
+        IsOptionalString(value.$id) &&
+        ValueGuard.IsString(value.source) &&
+        ValueGuard.IsString(value.flags));
+}
+exports.IsRegExp = IsRegExp;
 /** Returns true if the given value is TString */
 function IsString(value) {
     // prettier-ignore
@@ -502,6 +512,7 @@ function IsSchema(value) {
         IsPromise(value) ||
         IsRecord(value) ||
         IsRef(value) ||
+        IsRegExp(value) ||
         IsString(value) ||
         IsSymbol(value) ||
         IsTemplateLiteral(value) ||

package/build/require/type/guard/value.d.ts

@@ -18,6 +18,8 @@ export declare function IsNull(value: unknown): value is null;
 export declare function IsNumber(value: unknown): value is number;
 /** Returns true if this value is an object */
 export declare function IsObject(value: unknown): value is Record<PropertyKey, unknown>;
+/** Returns true if this value is RegExp */
+export declare function IsRegExp(value: unknown): value is RegExp;
 /** Returns true if this value is string */
 export declare function IsString(value: unknown): value is string;
 /** Returns true if this value is symbol */

package/build/require/type/guard/value.js

@@ -1,7 +1,7 @@
 "use strict";
 
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.IsUndefined = exports.IsUint8Array = exports.IsSymbol = exports.IsString = exports.IsObject = exports.IsNumber = exports.IsNull = exports.IsIterator = exports.IsFunction = exports.IsDate = exports.IsBoolean = exports.IsBigInt = exports.IsArray = exports.IsAsyncIterator = void 0;
+exports.IsUndefined = exports.IsUint8Array = exports.IsSymbol = exports.IsString = exports.IsRegExp = exports.IsObject = exports.IsNumber = exports.IsNull = exports.IsIterator = exports.IsFunction = exports.IsDate = exports.IsBoolean = exports.IsBigInt = exports.IsArray = exports.IsAsyncIterator = void 0;
 /** Returns true if this value is an async iterator */
 function IsAsyncIterator(value) {
     return IsObject(value) && !IsArray(value) && !IsUint8Array(value) && Symbol.asyncIterator in value;
@@ -52,6 +52,11 @@ function IsObject(value) {
     return typeof value === 'object' && value !== null;
 }
 exports.IsObject = IsObject;
+/** Returns true if this value is RegExp */
+function IsRegExp(value) {
+    return value instanceof globalThis.RegExp;
+}
+exports.IsRegExp = IsRegExp;
 /** Returns true if this value is string */
 function IsString(value) {
     return typeof value === 'string';