Add support for RegExp

package.json

@@ -44,6 +44,7 @@
 		"prettier": "^2.1.1",
 		"rimraf": "^3.0.2",
 		"rollup": "^2.26.9",
+		"ts-morph": "^14.0.0",
 		"ts-node": "^9.0.0",
 		"typescript": "^4.3.5"
 	},

src/is-assignable/is-assignable-to-simple-type.ts

@@ -920,6 +920,11 @@ function isAssignableToSimpleTypeInternal(typeA: SimpleType, typeB: SimpleType,
 		case "DATE": {
 			return typeB.kind === "DATE";
 		}
+
+		// [typeA] (compare)
+		case "REGEXP": {
+			return typeB.kind === "REGEXP";
+		}
 	}
 
 	// If we some how end up here (we shouldn't), return "true" as a safe fallback

src/is-assignable/is-assignable-to-value.ts

@@ -84,6 +84,10 @@ function convertValueToSimpleType(value: unknown, { visitValueSet, widening }: {
 		return {
 			kind: "DATE"
 		};
+	} else if (value instanceof RegExp) {
+		return {
+			kind: "REGEXP"
+		};
 	} else if (typeof value === "object" && value != null) {
 		visitValueSet.add(value);
 

src/simple-type.ts

@@ -39,7 +39,8 @@ export type SimpleTypeKind =
 	| "ARRAY"
 	// Special types
 	| "DATE"
-	| "PROMISE";
+	| "PROMISE"
+	| "REGEXP";
 
 export type SimpleTypeModifierKind = "EXPORT" | "AMBIENT" | "PUBLIC" | "PRIVATE" | "PROTECTED" | "STATIC" | "READONLY" | "ABSTRACT" | "ASYNC" | "DEFAULT";
 
@@ -272,6 +273,10 @@ export interface SimpleTypePromise extends SimpleTypeBase {
 	readonly type: SimpleType;
 }
 
+export interface SimpleTypeRegExp extends SimpleTypeBase {
+	readonly kind: "REGEXP";
+}
+
 export type SimpleType =
 	| SimpleTypeBigIntLiteral
 	| SimpleTypeEnumMember
@@ -304,6 +309,7 @@ export type SimpleType =
 	| SimpleTypeUnknown
 	| SimpleTypeAlias
 	| SimpleTypeDate
+	| SimpleTypeRegExp
 	| SimpleTypeGenericArguments
 	| SimpleTypeGenericParameter;
 
@@ -329,6 +335,7 @@ const SIMPLE_TYPE_MAP: Record<SimpleTypeKind, "primitive" | "primitive_literal"
 	ARRAY: undefined,
 	CLASS: undefined,
 	DATE: undefined,
+	REGEXP: undefined,
 	ENUM: undefined,
 	FUNCTION: undefined,
 	GENERIC_ARGUMENTS: undefined,
@@ -397,5 +404,6 @@ export type SimpleTypeKindMap = {
 	TUPLE: SimpleTypeTuple;
 	ARRAY: SimpleTypeArray;
 	DATE: SimpleTypeDate;
+	REGEXP: SimpleTypeRegExp;
 	PROMISE: SimpleTypePromise;
 };

src/transform/to-simple-type.ts

@@ -43,6 +43,7 @@ import {
 	isObject,
 	isObjectTypeReference,
 	isPromise,
+	isRegExp,
 	isString,
 	isSymbol,
 	isThisType,
@@ -345,6 +346,11 @@ function toSimpleTypeInternal(type: Type, options: ToSimpleTypeInternalOptions):
 			kind: "DATE",
 			name
 		};
+	} else if (isRegExp(type, ts)) {
+		simpleType = {
+			kind: "REGEXP",
+			name
+		};
 	}
 
 	// Array

src/utils/ts-util.ts

@@ -170,6 +170,13 @@ export function isDate(type: Type, ts: typeof tsModule): type is ObjectType {
 	return symbol.getName() === "Date";
 }
 
+export function isRegExp(type: Type, ts: typeof tsModule): type is ObjectType {
+	if (!isObject(type, ts)) return false;
+	const symbol = type.getSymbol();
+	if (symbol == null) return false;
+	return symbol.getName() === "RegExp";
+}
+
 export function isTupleTypeReference(type: Type, ts: typeof tsModule): type is TupleTypeReference {
 	const target = getTargetType(type, ts);
 	if (target == null) return false;