import type { Binding, NodePath } from '@babel/traverse';
import * as t from '@babel/types';
import * as m from '@codemod/matchers';
/**
 * Matches any literal except for template literals with expressions (that could have side effects)
 */
export declare const safeLiteral: m.Matcher<t.Literal>;
export declare function infiniteLoop(body?: m.Matcher<t.Statement>): m.Matcher<t.ForStatement | t.WhileStatement>;
export declare function constKey(name?: string | m.Matcher<string>): m.Matcher<t.Identifier | t.StringLiteral>;
export declare function constObjectProperty(value?: m.Matcher<t.Expression>): m.Matcher<t.ObjectProperty>;
export declare function matchIife(body?: m.Matcher<t.Statement[]> | m.Matcher<t.Statement>[]): m.Matcher<t.CallExpression>;
export declare const iife: m.Matcher<t.CallExpression>;
export declare const emptyIife: m.Matcher<t.CallExpression>;
/**
 * Matches either `object.property` or `object['property']`
 */
export declare function constMemberExpression(object: string | m.Matcher<t.Expression>, property?: string | m.Matcher<string>): m.Matcher<t.MemberExpression>;
export declare const undefinedMatcher: m.Matcher<t.Identifier | t.UnaryExpression>;
export declare const trueMatcher: m.Matcher<t.BooleanLiteral | t.UnaryExpression>;
export declare const falseMatcher: m.Matcher<t.BooleanLiteral | t.UnaryExpression>;
export declare const truthyMatcher: m.Matcher<t.ArrayExpression | t.BooleanLiteral | t.UnaryExpression>;
/**
 * Starting at the parent path of the current `NodePath` and going up the
 * tree, return the first `NodePath` that causes the provided `matcher`
 * to return true, or `null` if the `matcher` never returns true.
 */
export declare function findParent<T extends t.Node>(path: NodePath, matcher: m.Matcher<T>): NodePath<T> | null;
/**
 * Starting at current `NodePath` and going up the tree, return the first
 * `NodePath` that causes the provided `matcher` to return true,
 * or `null` if the `matcher` never returns true.
 */
export declare function findPath<T extends t.Node>(path: NodePath, matcher: m.Matcher<T>): NodePath<T> | null;
/**
 * Matches a function expression or arrow function expression with a block body.
 */
export declare function anyFunctionExpression(params?: m.Matcher<(t.Identifier | t.Pattern | t.RestElement)[]> | (m.Matcher<t.Identifier> | m.Matcher<t.Pattern> | m.Matcher<t.RestElement>)[], body?: m.Matcher<t.BlockStatement>): m.Matcher<t.FunctionExpression | t.ArrowFunctionExpression>;
/**
 * Function expression matcher that captures the parameters
 * and allows them to be referenced in the body.
 */
export declare function createFunctionMatcher(params: number, body: (...captures: m.Matcher<t.Identifier>[]) => m.Matcher<t.Statement[]> | m.Matcher<t.Statement>[]): m.Matcher<t.FunctionExpression>;
/**
 * Returns true if every reference is a member expression whose value is read
 */
export declare function isReadonlyObject(binding: Binding, memberAccess: m.Matcher<t.MemberExpression>): boolean;
/**
 * Checks if the binding is a temporary variable that is only assigned
 * once and has limited references. Often created by transpilers.
 *
 * Example with 1 reference to `_tmp`:
 * ```js
 * var _tmp; x[_tmp = y] || (x[_tmp] = z);
 * ```
 */
export declare function isTemporaryVariable(binding: Binding | undefined, references: number, kind?: 'var' | 'param'): binding is Binding;
//# sourceMappingURL=matcher.d.ts.map