feat: extract & expose toString for stringifying types

Closes TypeStrong#1160

Author: haltcase

src/index.ts

@@ -1,5 +1,6 @@
 export { Application } from './lib/application';
 export { CliApplication } from './lib/cli';
+export * from './lib/stringifiers';
 
 export { EventDispatcher, Event } from './lib/utils/events';
 export { createMinimatch } from './lib/utils/paths';

src/lib/models/types/abstract.ts

@@ -1,3 +1,5 @@
+import { stringifyType } from '../../stringifiers';
+
 /**
  * Base class of all type definitions.
  *
@@ -31,7 +33,7 @@ export abstract class Type {
      * Return a string representation of this type.
      */
     toString(): string {
-        return 'void';
+        return this.type === 'void' ? 'void' : stringifyType(this);
     }
 
     /**

src/lib/models/types/array.ts

@@ -1,4 +1,4 @@
-import { Type, UnionType, IntersectionType } from './index';
+import { Type } from './index';
 
 /**
  * Represents an array type.
@@ -50,16 +50,4 @@ export class ArrayType extends Type {
         }
         return type.elementType.equals(this.elementType);
     }
-
-    /**
-     * Return a string representation of this type.
-     */
-    toString() {
-        const elementTypeStr = this.elementType.toString();
-        if (this.elementType instanceof UnionType || this.elementType instanceof IntersectionType) {
-            return '(' + elementTypeStr + ')[]';
-        } else {
-            return elementTypeStr + '[]';
-        }
-    }
 }

src/lib/models/types/conditional.ts

@@ -47,11 +47,4 @@ export class ConditionalType extends Type {
             this.trueType.equals(type.trueType) &&
             this.falseType.equals(type.falseType);
     }
-
-    /**
-     * Return a string representation of this type.
-     */
-    toString() {
-        return this.checkType + ' extends ' + this.extendsType + ' ? ' + this.trueType + ' : ' + this.falseType;
-    }
 }

src/lib/models/types/indexed-access.ts

@@ -39,11 +39,4 @@ export class IndexedAccessType extends Type {
         }
         return type.objectType.equals(this.objectType) && type.indexType.equals(this.indexType);
     }
-
-    /**
-     * Return a string representation of this type.
-     */
-    toString() {
-        return `${this.objectType.toString()}[${this.indexType.toString()}]`;
-    }
 }

src/lib/models/types/inferred.ts

@@ -38,11 +38,4 @@ export class InferredType extends Type {
         }
         return this.name === type.name;
     }
-
-    /**
-     * Return a string representation of this type.
-     */
-    toString() {
-        return `infer ${this.name}`;
-    }
 }

src/lib/models/types/intersection.ts

@@ -49,16 +49,4 @@ export class IntersectionType extends Type {
         }
         return Type.isTypeListSimilar(type.types, this.types);
     }
-
-    /**
-     * Return a string representation of this type.
-     */
-    toString() {
-        const names: string[] = [];
-        this.types.forEach((element) => {
-            names.push(element.toString());
-        });
-
-        return names.join(' & ');
-    }
 }

src/lib/models/types/intrinsic.ts

@@ -47,11 +47,4 @@ export class IntrinsicType extends Type {
         return type instanceof IntrinsicType &&
             type.name === this.name;
     }
-
-    /**
-     * Return a string representation of this type.
-     */
-    toString() {
-        return this.name;
-    }
 }

src/lib/models/types/predicate.ts

@@ -73,16 +73,4 @@ export class PredicateType extends Type {
             && this.asserts === type.asserts
             && (this.targetType?.equals(type.targetType!) ?? true);
     }
-
-    /**
-     * Return a string representation of this type.
-     */
-    toString() {
-        const out = this.asserts ? ['asserts', this.name] : [this.name];
-        if (this.targetType) {
-            out.push('is', this.targetType.toString());
-        }
-
-        return out.join(' ');
-    }
 }

src/lib/models/types/query.ts

@@ -25,8 +25,4 @@ export class QueryType extends Type {
     equals(other: Type) {
         return other instanceof QueryType && this.queryType.equals(other.queryType);
     }
-
-    toString() {
-        return `typeof ${this.queryType.toString()}`;
-    }
 }