ast-types 0.13.0 → 0.13.4

package/gen/namedTypes.d.ts

@@ -251,11 +251,13 @@ export declare namespace namedTypes {
         type: "NewExpression";
         callee: K.ExpressionKind;
         arguments: (K.ExpressionKind | K.SpreadElementKind)[];
+        typeArguments?: null | K.TypeParameterInstantiationKind;
     }
     interface CallExpression extends Omit<Expression, "type"> {
         type: "CallExpression";
         callee: K.ExpressionKind;
         arguments: (K.ExpressionKind | K.SpreadElementKind)[];
+        typeArguments?: null | K.TypeParameterInstantiationKind;
     }
     interface RestElement extends Omit<Pattern, "type"> {
         type: "RestElement";
@@ -441,6 +443,10 @@ export declare namespace namedTypes {
         argument: K.ExpressionKind | null;
         all?: boolean;
     }
+    interface ImportExpression extends Omit<Expression, "type"> {
+        type: "ImportExpression";
+        source: K.ExpressionKind;
+    }
     interface JSXAttribute extends Omit<Node, "type"> {
         type: "JSXAttribute";
         name: K.JSXIdentifierKind | K.JSXNamespacedNameKind;
@@ -1117,7 +1123,13 @@ export declare namespace namedTypes {
     }
     interface TSTupleType extends Omit<TSType, "type"> {
         type: "TSTupleType";
-        elementTypes: K.TSTypeKind[];
+        elementTypes: (K.TSTypeKind | K.TSNamedTupleMemberKind)[];
+    }
+    interface TSNamedTupleMember extends Omit<TSType, "type"> {
+        type: "TSNamedTupleMember";
+        label: K.IdentifierKind;
+        optional?: boolean;
+        elementType: K.TSTypeKind;
     }
     interface TSRestType extends Omit<TSType, "type"> {
         type: "TSRestType";
@@ -1157,10 +1169,11 @@ export declare namespace namedTypes {
         optional?: boolean;
         parameters: (K.IdentifierKind | K.RestElementKind | K.ArrayPatternKind | K.ObjectPatternKind)[];
     }
-    interface TSTypePredicate extends Omit<TSTypeAnnotation, "type" | "typeAnnotation"> {
+    interface TSTypePredicate extends Omit<TSTypeAnnotation, "type" | "typeAnnotation">, Omit<TSType, "type"> {
         type: "TSTypePredicate";
         parameterName: K.IdentifierKind | K.TSThisTypeKind;
-        typeAnnotation: K.TSTypeAnnotationKind;
+        typeAnnotation?: K.TSTypeAnnotationKind | null;
+        asserts?: boolean;
     }
     interface TSCallSignatureDeclaration extends Omit<Declaration, "type">, TSHasOptionalTypeParameters, TSHasOptionalTypeAnnotation {
         type: "TSCallSignatureDeclaration";
@@ -1264,7 +1277,7 @@ export declare namespace namedTypes {
         type: "OptionalCallExpression";
         optional?: boolean;
     }
-    type ASTNode = File | Program | Identifier | BlockStatement | EmptyStatement | ExpressionStatement | IfStatement | LabeledStatement | BreakStatement | ContinueStatement | WithStatement | SwitchStatement | SwitchCase | ReturnStatement | ThrowStatement | TryStatement | CatchClause | WhileStatement | DoWhileStatement | ForStatement | VariableDeclaration | ForInStatement | DebuggerStatement | FunctionDeclaration | FunctionExpression | VariableDeclarator | ThisExpression | ArrayExpression | ObjectExpression | Property | Literal | SequenceExpression | UnaryExpression | BinaryExpression | AssignmentExpression | MemberExpression | UpdateExpression | LogicalExpression | ConditionalExpression | NewExpression | CallExpression | RestElement | TypeAnnotation | TSTypeAnnotation | SpreadElementPattern | ArrowFunctionExpression | ForOfStatement | YieldExpression | GeneratorExpression | ComprehensionBlock | ComprehensionExpression | ObjectProperty | PropertyPattern | ObjectPattern | ArrayPattern | MethodDefinition | SpreadElement | AssignmentPattern | ClassPropertyDefinition | ClassProperty | ClassBody | ClassDeclaration | ClassExpression | ImportSpecifier | ImportNamespaceSpecifier | ImportDefaultSpecifier | ImportDeclaration | TaggedTemplateExpression | TemplateLiteral | TemplateElement | SpreadProperty | SpreadPropertyPattern | AwaitExpression | JSXAttribute | JSXIdentifier | JSXNamespacedName | JSXExpressionContainer | JSXMemberExpression | JSXSpreadAttribute | JSXElement | JSXOpeningElement | JSXClosingElement | JSXFragment | JSXText | JSXOpeningFragment | JSXClosingFragment | JSXEmptyExpression | JSXSpreadChild | TypeParameterDeclaration | TSTypeParameterDeclaration | TypeParameterInstantiation | TSTypeParameterInstantiation | ClassImplements | TSExpressionWithTypeArguments | AnyTypeAnnotation | EmptyTypeAnnotation | MixedTypeAnnotation | VoidTypeAnnotation | NumberTypeAnnotation | NumberLiteralTypeAnnotation | NumericLiteralTypeAnnotation | StringTypeAnnotation | StringLiteralTypeAnnotation | BooleanTypeAnnotation | BooleanLiteralTypeAnnotation | NullableTypeAnnotation | NullLiteralTypeAnnotation | NullTypeAnnotation | ThisTypeAnnotation | ExistsTypeAnnotation | ExistentialTypeParam | FunctionTypeAnnotation | FunctionTypeParam | ArrayTypeAnnotation | ObjectTypeAnnotation | ObjectTypeProperty | ObjectTypeSpreadProperty | ObjectTypeIndexer | ObjectTypeCallProperty | ObjectTypeInternalSlot | Variance | QualifiedTypeIdentifier | GenericTypeAnnotation | MemberTypeAnnotation | UnionTypeAnnotation | IntersectionTypeAnnotation | TypeofTypeAnnotation | TypeParameter | InterfaceTypeAnnotation | InterfaceExtends | InterfaceDeclaration | DeclareInterface | TypeAlias | OpaqueType | DeclareTypeAlias | DeclareOpaqueType | TypeCastExpression | TupleTypeAnnotation | DeclareVariable | DeclareFunction | DeclareClass | DeclareModule | DeclareModuleExports | DeclareExportDeclaration | ExportSpecifier | ExportBatchSpecifier | DeclareExportAllDeclaration | InferredPredicate | DeclaredPredicate | ExportDeclaration | Block | Line | Noop | DoExpression | Super | BindExpression | Decorator | MetaProperty | ParenthesizedExpression | ExportDefaultDeclaration | ExportNamedDeclaration | ExportNamespaceSpecifier | ExportDefaultSpecifier | ExportAllDeclaration | CommentBlock | CommentLine | Directive | DirectiveLiteral | InterpreterDirective | StringLiteral | NumericLiteral | BigIntLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | ObjectMethod | ClassPrivateProperty | ClassMethod | ClassPrivateMethod | PrivateName | RestProperty | ForAwaitStatement | Import | TSQualifiedName | TSTypeReference | TSAsExpression | TSNonNullExpression | TSAnyKeyword | TSBigIntKeyword | TSBooleanKeyword | TSNeverKeyword | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSStringKeyword | TSSymbolKeyword | TSUndefinedKeyword | TSUnknownKeyword | TSVoidKeyword | TSThisType | TSArrayType | TSLiteralType | TSUnionType | TSIntersectionType | TSConditionalType | TSInferType | TSTypeParameter | TSParenthesizedType | TSFunctionType | TSConstructorType | TSDeclareFunction | TSDeclareMethod | TSMappedType | TSTupleType | TSRestType | TSOptionalType | TSIndexedAccessType | TSTypeOperator | TSIndexSignature | TSPropertySignature | TSMethodSignature | TSTypePredicate | TSCallSignatureDeclaration | TSConstructSignatureDeclaration | TSEnumMember | TSTypeQuery | TSImportType | TSTypeLiteral | TSTypeAssertion | TSEnumDeclaration | TSTypeAliasDeclaration | TSModuleBlock | TSModuleDeclaration | TSImportEqualsDeclaration | TSExternalModuleReference | TSExportAssignment | TSNamespaceExportDeclaration | TSInterfaceBody | TSInterfaceDeclaration | TSParameterProperty | OptionalMemberExpression | OptionalCallExpression;
+    type ASTNode = File | Program | Identifier | BlockStatement | EmptyStatement | ExpressionStatement | IfStatement | LabeledStatement | BreakStatement | ContinueStatement | WithStatement | SwitchStatement | SwitchCase | ReturnStatement | ThrowStatement | TryStatement | CatchClause | WhileStatement | DoWhileStatement | ForStatement | VariableDeclaration | ForInStatement | DebuggerStatement | FunctionDeclaration | FunctionExpression | VariableDeclarator | ThisExpression | ArrayExpression | ObjectExpression | Property | Literal | SequenceExpression | UnaryExpression | BinaryExpression | AssignmentExpression | MemberExpression | UpdateExpression | LogicalExpression | ConditionalExpression | NewExpression | CallExpression | RestElement | TypeAnnotation | TSTypeAnnotation | SpreadElementPattern | ArrowFunctionExpression | ForOfStatement | YieldExpression | GeneratorExpression | ComprehensionBlock | ComprehensionExpression | ObjectProperty | PropertyPattern | ObjectPattern | ArrayPattern | MethodDefinition | SpreadElement | AssignmentPattern | ClassPropertyDefinition | ClassProperty | ClassBody | ClassDeclaration | ClassExpression | ImportSpecifier | ImportNamespaceSpecifier | ImportDefaultSpecifier | ImportDeclaration | TaggedTemplateExpression | TemplateLiteral | TemplateElement | SpreadProperty | SpreadPropertyPattern | AwaitExpression | ImportExpression | JSXAttribute | JSXIdentifier | JSXNamespacedName | JSXExpressionContainer | JSXMemberExpression | JSXSpreadAttribute | JSXElement | JSXOpeningElement | JSXClosingElement | JSXFragment | JSXText | JSXOpeningFragment | JSXClosingFragment | JSXEmptyExpression | JSXSpreadChild | TypeParameterDeclaration | TSTypeParameterDeclaration | TypeParameterInstantiation | TSTypeParameterInstantiation | ClassImplements | TSExpressionWithTypeArguments | AnyTypeAnnotation | EmptyTypeAnnotation | MixedTypeAnnotation | VoidTypeAnnotation | NumberTypeAnnotation | NumberLiteralTypeAnnotation | NumericLiteralTypeAnnotation | StringTypeAnnotation | StringLiteralTypeAnnotation | BooleanTypeAnnotation | BooleanLiteralTypeAnnotation | NullableTypeAnnotation | NullLiteralTypeAnnotation | NullTypeAnnotation | ThisTypeAnnotation | ExistsTypeAnnotation | ExistentialTypeParam | FunctionTypeAnnotation | FunctionTypeParam | ArrayTypeAnnotation | ObjectTypeAnnotation | ObjectTypeProperty | ObjectTypeSpreadProperty | ObjectTypeIndexer | ObjectTypeCallProperty | ObjectTypeInternalSlot | Variance | QualifiedTypeIdentifier | GenericTypeAnnotation | MemberTypeAnnotation | UnionTypeAnnotation | IntersectionTypeAnnotation | TypeofTypeAnnotation | TypeParameter | InterfaceTypeAnnotation | InterfaceExtends | InterfaceDeclaration | DeclareInterface | TypeAlias | OpaqueType | DeclareTypeAlias | DeclareOpaqueType | TypeCastExpression | TupleTypeAnnotation | DeclareVariable | DeclareFunction | DeclareClass | DeclareModule | DeclareModuleExports | DeclareExportDeclaration | ExportSpecifier | ExportBatchSpecifier | DeclareExportAllDeclaration | InferredPredicate | DeclaredPredicate | ExportDeclaration | Block | Line | Noop | DoExpression | Super | BindExpression | Decorator | MetaProperty | ParenthesizedExpression | ExportDefaultDeclaration | ExportNamedDeclaration | ExportNamespaceSpecifier | ExportDefaultSpecifier | ExportAllDeclaration | CommentBlock | CommentLine | Directive | DirectiveLiteral | InterpreterDirective | StringLiteral | NumericLiteral | BigIntLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | ObjectMethod | ClassPrivateProperty | ClassMethod | ClassPrivateMethod | PrivateName | RestProperty | ForAwaitStatement | Import | TSQualifiedName | TSTypeReference | TSAsExpression | TSNonNullExpression | TSAnyKeyword | TSBigIntKeyword | TSBooleanKeyword | TSNeverKeyword | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSStringKeyword | TSSymbolKeyword | TSUndefinedKeyword | TSUnknownKeyword | TSVoidKeyword | TSThisType | TSArrayType | TSLiteralType | TSUnionType | TSIntersectionType | TSConditionalType | TSInferType | TSTypeParameter | TSParenthesizedType | TSFunctionType | TSConstructorType | TSDeclareFunction | TSDeclareMethod | TSMappedType | TSTupleType | TSNamedTupleMember | TSRestType | TSOptionalType | TSIndexedAccessType | TSTypeOperator | TSIndexSignature | TSPropertySignature | TSMethodSignature | TSTypePredicate | TSCallSignatureDeclaration | TSConstructSignatureDeclaration | TSEnumMember | TSTypeQuery | TSImportType | TSTypeLiteral | TSTypeAssertion | TSEnumDeclaration | TSTypeAliasDeclaration | TSModuleBlock | TSModuleDeclaration | TSImportEqualsDeclaration | TSExternalModuleReference | TSExportAssignment | TSNamespaceExportDeclaration | TSInterfaceBody | TSInterfaceDeclaration | TSParameterProperty | OptionalMemberExpression | OptionalCallExpression;
     let Printable: Type<Printable>;
     let SourceLocation: Type<SourceLocation>;
     let Node: Type<Node>;
@@ -1350,6 +1363,7 @@ export declare namespace namedTypes {
     let SpreadProperty: Type<SpreadProperty>;
     let SpreadPropertyPattern: Type<SpreadPropertyPattern>;
     let AwaitExpression: Type<AwaitExpression>;
+    let ImportExpression: Type<ImportExpression>;
     let JSXAttribute: Type<JSXAttribute>;
     let JSXIdentifier: Type<JSXIdentifier>;
     let JSXNamespacedName: Type<JSXNamespacedName>;
@@ -1498,6 +1512,7 @@ export declare namespace namedTypes {
     let TSDeclareMethod: Type<TSDeclareMethod>;
     let TSMappedType: Type<TSMappedType>;
     let TSTupleType: Type<TSTupleType>;
+    let TSNamedTupleMember: Type<TSNamedTupleMember>;
     let TSRestType: Type<TSRestType>;
     let TSOptionalType: Type<TSOptionalType>;
     let TSIndexedAccessType: Type<TSIndexedAccessType>;
@@ -1613,6 +1628,7 @@ export interface NamedTypes {
     SpreadProperty: Type<namedTypes.SpreadProperty>;
     SpreadPropertyPattern: Type<namedTypes.SpreadPropertyPattern>;
     AwaitExpression: Type<namedTypes.AwaitExpression>;
+    ImportExpression: Type<namedTypes.ImportExpression>;
     JSXAttribute: Type<namedTypes.JSXAttribute>;
     JSXIdentifier: Type<namedTypes.JSXIdentifier>;
     JSXNamespacedName: Type<namedTypes.JSXNamespacedName>;
@@ -1761,6 +1777,7 @@ export interface NamedTypes {
     TSDeclareMethod: Type<namedTypes.TSDeclareMethod>;
     TSMappedType: Type<namedTypes.TSMappedType>;
     TSTupleType: Type<namedTypes.TSTupleType>;
+    TSNamedTupleMember: Type<namedTypes.TSNamedTupleMember>;
     TSRestType: Type<namedTypes.TSRestType>;
     TSOptionalType: Type<namedTypes.TSOptionalType>;
     TSIndexedAccessType: Type<namedTypes.TSIndexedAccessType>;

package/gen/namedTypes.js

@@ -1,5 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.namedTypes = void 0;
 var namedTypes;
 (function (namedTypes) {
 })(namedTypes = exports.namedTypes || (exports.namedTypes = {}));

package/gen/visitor.d.ts

@@ -87,6 +87,7 @@ export interface Visitor<M = {}> {
     visitSpreadProperty?(this: Context & M, path: NodePath<namedTypes.SpreadProperty>): any;
     visitSpreadPropertyPattern?(this: Context & M, path: NodePath<namedTypes.SpreadPropertyPattern>): any;
     visitAwaitExpression?(this: Context & M, path: NodePath<namedTypes.AwaitExpression>): any;
+    visitImportExpression?(this: Context & M, path: NodePath<namedTypes.ImportExpression>): any;
     visitJSXAttribute?(this: Context & M, path: NodePath<namedTypes.JSXAttribute>): any;
     visitJSXIdentifier?(this: Context & M, path: NodePath<namedTypes.JSXIdentifier>): any;
     visitJSXNamespacedName?(this: Context & M, path: NodePath<namedTypes.JSXNamespacedName>): any;
@@ -235,6 +236,7 @@ export interface Visitor<M = {}> {
     visitTSDeclareMethod?(this: Context & M, path: NodePath<namedTypes.TSDeclareMethod>): any;
     visitTSMappedType?(this: Context & M, path: NodePath<namedTypes.TSMappedType>): any;
     visitTSTupleType?(this: Context & M, path: NodePath<namedTypes.TSTupleType>): any;
+    visitTSNamedTupleMember?(this: Context & M, path: NodePath<namedTypes.TSNamedTupleMember>): any;
     visitTSRestType?(this: Context & M, path: NodePath<namedTypes.TSRestType>): any;
     visitTSOptionalType?(this: Context & M, path: NodePath<namedTypes.TSOptionalType>): any;
     visitTSIndexedAccessType?(this: Context & M, path: NodePath<namedTypes.TSIndexedAccessType>): any;

package/lib/equiv.js

@@ -1,9 +1,7 @@
 "use strict";;
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
 Object.defineProperty(exports, "__esModule", { value: true });
-var types_1 = __importDefault(require("./types"));
+var tslib_1 = require("tslib");
+var types_1 = tslib_1.__importDefault(require("./types"));
 function default_1(fork) {
     var types = fork.use(types_1.default);
     var getFieldNames = types.getFieldNames;

package/lib/node-path.js

@@ -1,11 +1,9 @@
 "use strict";;
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
 Object.defineProperty(exports, "__esModule", { value: true });
-var types_1 = __importDefault(require("./types"));
-var path_1 = __importDefault(require("./path"));
-var scope_1 = __importDefault(require("./scope"));
+var tslib_1 = require("tslib");
+var types_1 = tslib_1.__importDefault(require("./types"));
+var path_1 = tslib_1.__importDefault(require("./path"));
+var scope_1 = tslib_1.__importDefault(require("./scope"));
 function nodePathPlugin(fork) {
     var types = fork.use(types_1.default);
     var n = types.namedTypes;

package/lib/path-visitor.js

@@ -1,10 +1,8 @@
 "use strict";;
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
 Object.defineProperty(exports, "__esModule", { value: true });
-var types_1 = __importDefault(require("./types"));
-var node_path_1 = __importDefault(require("./node-path"));
+var tslib_1 = require("tslib");
+var types_1 = tslib_1.__importDefault(require("./types"));
+var node_path_1 = tslib_1.__importDefault(require("./node-path"));
 var hasOwn = Object.prototype.hasOwnProperty;
 function pathVisitorPlugin(fork) {
     var types = fork.use(types_1.default);

package/lib/path.js

@@ -1,9 +1,7 @@
 "use strict";;
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
 Object.defineProperty(exports, "__esModule", { value: true });
-var types_1 = __importDefault(require("./types"));
+var tslib_1 = require("tslib");
+var types_1 = tslib_1.__importDefault(require("./types"));
 var Op = Object.prototype;
 var hasOwn = Op.hasOwnProperty;
 function pathPlugin(fork) {

package/lib/scope.js

@@ -1,9 +1,7 @@
 "use strict";;
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
 Object.defineProperty(exports, "__esModule", { value: true });
-var types_1 = __importDefault(require("./types"));
+var tslib_1 = require("tslib");
+var types_1 = tslib_1.__importDefault(require("./types"));
 var hasOwn = Object.prototype.hasOwnProperty;
 function scopePlugin(fork) {
     var types = fork.use(types_1.default);
@@ -118,7 +116,10 @@ function scopePlugin(fork) {
             // A catch clause establishes a new scope but the only variable
             // bound in that scope is the catch parameter. Any other
             // declarations create bindings in the outer scope.
-            addPattern(path.get("param"), bindings);
+            var param = path.get("param");
+            if (param.value) {
+                addPattern(param, bindings);
+            }
         }
         else {
             recursiveScanScope(path, bindings, scopeTypes);

package/lib/shared.d.ts

@@ -1,13 +1,13 @@
 import { Fork } from "../types";
 export default function (fork: Fork): {
-    geq: (than: any) => import("./types").Type<{}>;
+    geq: (than: any) => import("./types").Type<unknown>;
     defaults: {
-        "null": () => null;
-        "emptyArray": () => never[];
-        "false": () => boolean;
-        "true": () => boolean;
-        "undefined": () => void;
+        null: () => null;
+        emptyArray: () => never[];
+        false: () => boolean;
+        true: () => boolean;
+        undefined: () => void;
         "use strict": () => string;
     };
-    isPrimitive: import("./types").Type<{}>;
+    isPrimitive: import("./types").Type<unknown>;
 };

package/lib/shared.js

@@ -1,9 +1,7 @@
 "use strict";;
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
 Object.defineProperty(exports, "__esModule", { value: true });
-var types_1 = __importDefault(require("./types"));
+var tslib_1 = require("tslib");
+var types_1 = tslib_1.__importDefault(require("./types"));
 function default_1(fork) {
     var types = fork.use(types_1.default);
     var Type = types.Type;

package/lib/types.d.ts

@@ -102,7 +102,7 @@ export default function typesPlugin(_fork: Fork): {
     Type: {
         or(...types: any[]): Type<any>;
         from<T>(value: any, name?: string | undefined): Type<T>;
-        def(typeName: string): Def<any>;
+        def(typeName: string): Def;
         hasDef(typeName: string): boolean;
     };
     builtInTypes: {

package/lib/types.js

@@ -1,18 +1,7 @@
 "use strict";
-var __extends = (this && this.__extends) || (function () {
-    var extendStatics = function (d, b) {
-        extendStatics = Object.setPrototypeOf ||
-            ({ __proto__: [] } instanceof Array && function (d, b) { d.__proto__ = b; }) ||
-            function (d, b) { for (var p in b) if (b.hasOwnProperty(p)) d[p] = b[p]; };
-        return extendStatics(d, b);
-    };
-    return function (d, b) {
-        extendStatics(d, b);
-        function __() { this.constructor = d; }
-        d.prototype = b === null ? Object.create(b) : (__.prototype = b.prototype, new __());
-    };
-})();
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.Def = void 0;
+var tslib_1 = require("tslib");
 var Op = Object.prototype;
 var objToStr = Op.toString;
 var hasOwn = Op.hasOwnProperty;
@@ -33,7 +22,7 @@ var BaseType = /** @class */ (function () {
     return BaseType;
 }());
 var ArrayType = /** @class */ (function (_super) {
-    __extends(ArrayType, _super);
+    tslib_1.__extends(ArrayType, _super);
     function ArrayType(elemType) {
         var _this = _super.call(this) || this;
         _this.elemType = elemType;
@@ -50,7 +39,7 @@ var ArrayType = /** @class */ (function (_super) {
     return ArrayType;
 }(BaseType));
 var IdentityType = /** @class */ (function (_super) {
-    __extends(IdentityType, _super);
+    tslib_1.__extends(IdentityType, _super);
     function IdentityType(value) {
         var _this = _super.call(this) || this;
         _this.value = value;
@@ -70,7 +59,7 @@ var IdentityType = /** @class */ (function (_super) {
     return IdentityType;
 }(BaseType));
 var ObjectType = /** @class */ (function (_super) {
-    __extends(ObjectType, _super);
+    tslib_1.__extends(ObjectType, _super);
     function ObjectType(fields) {
         var _this = _super.call(this) || this;
         _this.fields = fields;
@@ -89,7 +78,7 @@ var ObjectType = /** @class */ (function (_super) {
     return ObjectType;
 }(BaseType));
 var OrType = /** @class */ (function (_super) {
-    __extends(OrType, _super);
+    tslib_1.__extends(OrType, _super);
     function OrType(types) {
         var _this = _super.call(this) || this;
         _this.types = types;
@@ -107,7 +96,7 @@ var OrType = /** @class */ (function (_super) {
     return OrType;
 }(BaseType));
 var PredicateType = /** @class */ (function (_super) {
-    __extends(PredicateType, _super);
+    tslib_1.__extends(PredicateType, _super);
     function PredicateType(name, predicate) {
         var _this = _super.call(this) || this;
         _this.name = name;
@@ -304,11 +293,9 @@ function typesPlugin(_fork) {
     };
     var builtInCtorFns = [];
     var builtInCtorTypes = [];
-    var builtInTypes = {};
-    function defBuiltInType(example, name) {
+    function defBuiltInType(name, example) {
         var objStr = objToStr.call(example);
         var type = new PredicateType(name, function (value) { return objToStr.call(value) === objStr; });
-        builtInTypes[name] = type;
         if (example && typeof example.constructor === "function") {
             builtInCtorFns.push(example.constructor);
             builtInCtorTypes.push(type);
@@ -319,16 +306,28 @@ function typesPlugin(_fork) {
     // value, rather than using the problematic typeof operator. Note however
     // that no subtyping is considered; so, for instance, isObject.check
     // returns false for [], /./, new Date, and null.
-    var isString = defBuiltInType("truthy", "string");
-    var isFunction = defBuiltInType(function () { }, "function");
-    var isArray = defBuiltInType([], "array");
-    var isObject = defBuiltInType({}, "object");
-    var isRegExp = defBuiltInType(/./, "RegExp");
-    var isDate = defBuiltInType(new Date, "Date");
-    var isNumber = defBuiltInType(3, "number");
-    var isBoolean = defBuiltInType(true, "boolean");
-    var isNull = defBuiltInType(null, "null");
-    var isUndefined = defBuiltInType(void 0, "undefined");
+    var isString = defBuiltInType("string", "truthy");
+    var isFunction = defBuiltInType("function", function () { });
+    var isArray = defBuiltInType("array", []);
+    var isObject = defBuiltInType("object", {});
+    var isRegExp = defBuiltInType("RegExp", /./);
+    var isDate = defBuiltInType("Date", new Date());
+    var isNumber = defBuiltInType("number", 3);
+    var isBoolean = defBuiltInType("boolean", true);
+    var isNull = defBuiltInType("null", null);
+    var isUndefined = defBuiltInType("undefined", undefined);
+    var builtInTypes = {
+        string: isString,
+        function: isFunction,
+        array: isArray,
+        object: isObject,
+        RegExp: isRegExp,
+        Date: isDate,
+        number: isNumber,
+        boolean: isBoolean,
+        null: isNull,
+        undefined: isUndefined,
+    };
     // In order to return the same Def instance every time Type.def is called
     // with a particular name, those instances need to be stored in a cache.
     var defCache = Object.create(null);
@@ -346,7 +345,7 @@ function typesPlugin(_fork) {
         return null;
     }
     var DefImpl = /** @class */ (function (_super) {
-        __extends(DefImpl, _super);
+        tslib_1.__extends(DefImpl, _super);
         function DefImpl(typeName) {
             var _this = _super.call(this, new PredicateType(typeName, function (value, deep) { return _this.check(value, deep); }), typeName) || this;
             return _this;

package/main.js

@@ -1,20 +1,20 @@
 "use strict";
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
 Object.defineProperty(exports, "__esModule", { value: true });
-var fork_1 = __importDefault(require("./fork"));
-var core_1 = __importDefault(require("./def/core"));
-var es6_1 = __importDefault(require("./def/es6"));
-var es7_1 = __importDefault(require("./def/es7"));
-var jsx_1 = __importDefault(require("./def/jsx"));
-var flow_1 = __importDefault(require("./def/flow"));
-var esprima_1 = __importDefault(require("./def/esprima"));
-var babel_1 = __importDefault(require("./def/babel"));
-var typescript_1 = __importDefault(require("./def/typescript"));
-var es_proposals_1 = __importDefault(require("./def/es-proposals"));
+exports.visit = exports.use = exports.Type = exports.someField = exports.PathVisitor = exports.Path = exports.NodePath = exports.namedTypes = exports.getSupertypeNames = exports.getFieldValue = exports.getFieldNames = exports.getBuilderName = exports.finalize = exports.eachField = exports.defineMethod = exports.builtInTypes = exports.builders = exports.astNodesAreEquivalent = void 0;
+var tslib_1 = require("tslib");
+var fork_1 = tslib_1.__importDefault(require("./fork"));
+var core_1 = tslib_1.__importDefault(require("./def/core"));
+var es6_1 = tslib_1.__importDefault(require("./def/es6"));
+var es7_1 = tslib_1.__importDefault(require("./def/es7"));
+var es2020_1 = tslib_1.__importDefault(require("./def/es2020"));
+var jsx_1 = tslib_1.__importDefault(require("./def/jsx"));
+var flow_1 = tslib_1.__importDefault(require("./def/flow"));
+var esprima_1 = tslib_1.__importDefault(require("./def/esprima"));
+var babel_1 = tslib_1.__importDefault(require("./def/babel"));
+var typescript_1 = tslib_1.__importDefault(require("./def/typescript"));
+var es_proposals_1 = tslib_1.__importDefault(require("./def/es-proposals"));
 var namedTypes_1 = require("./gen/namedTypes");
-exports.namedTypes = namedTypes_1.namedTypes;
+Object.defineProperty(exports, "namedTypes", { enumerable: true, get: function () { return namedTypes_1.namedTypes; } });
 var _a = fork_1.default([
     // This core module of AST types captures ES5 as it is parsed today by
     // git://github.com/ariya/esprima.git#master.
@@ -23,6 +23,7 @@ var _a = fork_1.default([
     // configure the precise type hierarchy that you need.
     es6_1.default,
     es7_1.default,
+    es2020_1.default,
     jsx_1.default,
     flow_1.default,
     esprima_1.default,

package/package.json

@@ -1,7 +1,7 @@
 {
   "author": "Ben Newman <bn@cs.stanford.edu>",
   "name": "ast-types",
-  "version": "0.13.0",
+  "version": "0.13.4",
   "description": "Esprima-compatible implementation of the Mozilla JS Parser API",
   "keywords": [
     "ast",
@@ -36,26 +36,28 @@
     "prepack": "npm run clean && npm run gen && npm run build",
     "postpack": "npm run clean"
   },
-  "dependencies": {},
+  "dependencies": {
+    "tslib": "^2.0.1"
+  },
   "devDependencies": {
-    "@babel/parser": "7.4.4",
+    "@babel/parser": "7.7.7",
     "@babel/types": "7.4.4",
     "@types/esprima": "4.0.2",
     "@types/glob": "7.1.1",
     "@types/mocha": "5.2.6",
     "@types/node": "12.0.0",
-    "espree": "5.0.1",
+    "espree": "7.3.0",
     "esprima": "4.0.1",
     "esprima-fb": "15001.1001.0-dev-harmony-fb",
-    "flow-parser": "0.98.1",
-    "glob": "7.1.4",
+    "flow-parser": "0.132.0",
+    "glob": "7.1.6",
     "mocha": "6.1.4",
-    "recast": "0.17.6",
-    "reify": "0.18.1",
+    "recast": "0.20.0",
+    "reify": "0.20.12",
     "ts-add-module-exports": "1.0.0",
     "ts-emit-clean": "1.0.0",
     "ts-node": "7.0.1",
-    "typescript": "3.4.5"
+    "typescript": "3.9.7"
   },
   "engines": {
     "node": ">=4"

package/tsconfig.json

@@ -10,6 +10,7 @@
     "noImplicitReturns": true,
     "moduleResolution": "node",
     "esModuleInterop": true,
+    "importHelpers": true,
     "stripInternal": true,
     "lib": ["es2015"]
   },

package/.travis.yml

@@ -1,11 +0,0 @@
-language: node_js
-node_js:
-  - "12"
-  - "11"
-  - "10"
-  - "9"
-  - "8"
-  - "7"
-  - "6"
-
-sudo: false