import { defaultScheduler } from "./evaluate";
import { ExpressionStatement, Program } from "./nodeTypes";
import { ASTNode, Continuation, Environment, ErrorContinuation, EvalParam, Evaluate, EvaluateBase, EvaluateMid, EvaluationConfig, PartialErrorContinuation, Phase, Script, Source } from "./types";
export interface Context {
    evaluate: Evaluate;
}
export declare const BaseConfig: {
    interpreters: {
        values: {
            BlockStatement: import("./types").Interpreter<Program | import("./nodeTypes").BlockStatement>;
            Program: import("./types").Interpreter<Program>;
            VariableDeclarator: import("./types").Interpreter<import("./nodeTypes").VariableDeclarator>;
            VariableDeclaration: import("./types").Interpreter<import("./nodeTypes").VariableDeclaration>;
            ObjectPattern: import("./types").Interpreter<import("./nodeTypes").ObjectPattern>;
            AssignmentPattern: import("./types").Interpreter<import("./nodeTypes").AssignmentPattern>;
            IfStatement: import("./types").Interpreter<import("./nodeTypes").ConditionalExpression | import("./nodeTypes").IfStatement>;
            ExpressionStatement: import("./types").Interpreter<ExpressionStatement>;
            TryStatement: import("./types").Interpreter<import("./nodeTypes").TryStatement>;
            ThrowStatement: import("./types").Interpreter<import("./nodeTypes").ThrowStatement>;
            CatchClause: import("./types").Interpreter<import("./nodeTypes").CatchClause>;
            ReturnStatement: import("./types").Interpreter<import("./nodeTypes").ReturnStatement>;
            BreakStatement: import("./types").Interpreter<import("./nodeTypes").BreakStatement>;
            FunctionDeclaration: import("./types").Interpreter<import("./nodeTypes").FunctionDeclaration>;
            ForInStatement: import("./types").Interpreter<import("./nodeTypes").ForInStatement>;
            ForStatement: import("./types").Interpreter<import("./nodeTypes").ForStatement>;
            ForOfStatement: import("./types").Interpreter<import("./nodeTypes").ForOfStatement>;
            WhileStatement: import("./types").Interpreter<import("./nodeTypes").WhileStatement>;
            ContinueStatement: import("./types").Interpreter<import("./nodeTypes").ContinueStatement>;
            EmptyStatement: import("./types").Interpreter<import("./nodeTypes").EmptyStatement>;
            ClassDeclaration: import("./types").Interpreter<import("./nodeTypes").ClassDeclaration>;
            ClassBody: import("./types").Interpreter<import("./nodeTypes").ClassBody>;
            MethodDefinition: import("./types").Interpreter<import("./nodeTypes").MethodDefinition>;
            DebuggerStatement: import("./types").Interpreter<import("./nodeTypes").DebuggerStatement>;
            SwitchStatement: import("./types").Interpreter<import("./nodeTypes").SwitchStatement>;
            DoWhileStatement: import("./types").Interpreter<import("./nodeTypes").DoWhileStatement>;
            CallExpression: import("./types").Interpreter<import("./nodeTypes").CallExpression>;
            MemberExpression: import("./types").Interpreter<import("./nodeTypes").MemberExpression>;
            ArrowFunctionExpression: import("./types").Interpreter<import("./nodeTypes").ArrowFunctionExpression>;
            FunctionExpression: import("./types").Interpreter<import("./nodeTypes").FunctionExpression>;
            AssignmentExpression: import("./types").Interpreter<import("./nodeTypes").AssignmentExpression>;
            ObjectExpression: import("./types").Interpreter<import("./nodeTypes").ObjectExpression>;
            Property: import("./types").Interpreter<import("./nodeTypes").Property>;
            BinaryExpression: import("./types").Interpreter<import("./nodeTypes").BinaryExpression>;
            ArrayExpression: import("./types").Interpreter<import("./nodeTypes").ArrayExpression>;
            NullValue: import("./types").Interpreter<{
                type: "NullValue";
            }>;
            NewExpression: import("./types").Interpreter<import("./nodeTypes").NewExpression>;
            SequenceExpression: import("./types").Interpreter<import("./nodeTypes").SequenceExpression>;
            LogicalExpression: import("./types").Interpreter<import("./nodeTypes").LogicalExpression>;
            UpdateExpression: import("./types").Interpreter<import("./nodeTypes").UpdateExpression>;
            UnaryExpression: import("./types").Interpreter<import("./nodeTypes").UnaryExpression>;
            ThisExpression: import("./types").Interpreter<import("./nodeTypes").ThisExpression>;
            ConditionalExpression: import("./types").Interpreter<import("./nodeTypes").ConditionalExpression>;
            TemplateLiteral: import("./types").Interpreter<import("./nodeTypes").TemplateLiteral>;
            TaggedTemplateExpression: import("./types").Interpreter<import("./nodeTypes").TaggedTemplateExpression>;
            SpreadElement: import("./types").Interpreter<import("./nodeTypes").SpreadElement>;
            AwaitExpression: import("./types").Interpreter<import("./nodeTypes").AwaitExpression>;
            ClassExpression: import("./types").Interpreter<import("./nodeTypes").ClassExpression>;
            Identifier: import("./types").Interpreter<import("./nodeTypes").Identifier>;
            Literal: import("./types").Interpreter<import("./nodeTypes").Literal>;
            Apply: import("./types").Interpreter<import("./nodeTypes").Apply>;
            GetProperty: import("./types").Interpreter<import("./nodeTypes").GetProperty>;
            SetProperty: import("./types").Interpreter<import("./nodeTypes").SetProperty>;
            SetValue: typeof import("./environment").SetValue;
            GetValue: typeof import("./environment").GetValue;
        };
    };
    schedule: typeof defaultScheduler;
};
export declare const BaseModuleConfig: {
    interpreters: {
        values: {
            ExportNamedDeclaration: import("./types").Interpreter<import("./nodeTypes").ExportNamedDeclaration>;
            ExportDefaultDeclaration: import("./types").Interpreter<import("./nodeTypes").ExportDefaultDeclaration>;
            ImportDeclaration: import("./types").Interpreter<import("./nodeTypes").ImportDeclaration>;
            Identifier: import("./types").Interpreter<import("./nodeTypes").Identifier>;
        };
        prev: {
            values: {
                BlockStatement: import("./types").Interpreter<Program | import("./nodeTypes").BlockStatement>;
                Program: import("./types").Interpreter<Program>;
                VariableDeclarator: import("./types").Interpreter<import("./nodeTypes").VariableDeclarator>;
                VariableDeclaration: import("./types").Interpreter<import("./nodeTypes").VariableDeclaration>;
                ObjectPattern: import("./types").Interpreter<import("./nodeTypes").ObjectPattern>;
                AssignmentPattern: import("./types").Interpreter<import("./nodeTypes").AssignmentPattern>;
                IfStatement: import("./types").Interpreter<import("./nodeTypes").ConditionalExpression | import("./nodeTypes").IfStatement>;
                ExpressionStatement: import("./types").Interpreter<ExpressionStatement>;
                TryStatement: import("./types").Interpreter<import("./nodeTypes").TryStatement>;
                ThrowStatement: import("./types").Interpreter<import("./nodeTypes").ThrowStatement>;
                CatchClause: import("./types").Interpreter<import("./nodeTypes").CatchClause>;
                ReturnStatement: import("./types").Interpreter<import("./nodeTypes").ReturnStatement>;
                BreakStatement: import("./types").Interpreter<import("./nodeTypes").BreakStatement>;
                FunctionDeclaration: import("./types").Interpreter<import("./nodeTypes").FunctionDeclaration>;
                ForInStatement: import("./types").Interpreter<import("./nodeTypes").ForInStatement>;
                ForStatement: import("./types").Interpreter<import("./nodeTypes").ForStatement>;
                ForOfStatement: import("./types").Interpreter<import("./nodeTypes").ForOfStatement>;
                WhileStatement: import("./types").Interpreter<import("./nodeTypes").WhileStatement>;
                ContinueStatement: import("./types").Interpreter<import("./nodeTypes").ContinueStatement>;
                EmptyStatement: import("./types").Interpreter<import("./nodeTypes").EmptyStatement>;
                ClassDeclaration: import("./types").Interpreter<import("./nodeTypes").ClassDeclaration>;
                ClassBody: import("./types").Interpreter<import("./nodeTypes").ClassBody>;
                MethodDefinition: import("./types").Interpreter<import("./nodeTypes").MethodDefinition>;
                DebuggerStatement: import("./types").Interpreter<import("./nodeTypes").DebuggerStatement>;
                SwitchStatement: import("./types").Interpreter<import("./nodeTypes").SwitchStatement>;
                DoWhileStatement: import("./types").Interpreter<import("./nodeTypes").DoWhileStatement>;
                CallExpression: import("./types").Interpreter<import("./nodeTypes").CallExpression>;
                MemberExpression: import("./types").Interpreter<import("./nodeTypes").MemberExpression>;
                ArrowFunctionExpression: import("./types").Interpreter<import("./nodeTypes").ArrowFunctionExpression>;
                FunctionExpression: import("./types").Interpreter<import("./nodeTypes").FunctionExpression>;
                AssignmentExpression: import("./types").Interpreter<import("./nodeTypes").AssignmentExpression>;
                ObjectExpression: import("./types").Interpreter<import("./nodeTypes").ObjectExpression>;
                Property: import("./types").Interpreter<import("./nodeTypes").Property>;
                BinaryExpression: import("./types").Interpreter<import("./nodeTypes").BinaryExpression>;
                ArrayExpression: import("./types").Interpreter<import("./nodeTypes").ArrayExpression>;
                NullValue: import("./types").Interpreter<{
                    type: "NullValue";
                }>;
                NewExpression: import("./types").Interpreter<import("./nodeTypes").NewExpression>;
                SequenceExpression: import("./types").Interpreter<import("./nodeTypes").SequenceExpression>;
                LogicalExpression: import("./types").Interpreter<import("./nodeTypes").LogicalExpression>;
                UpdateExpression: import("./types").Interpreter<import("./nodeTypes").UpdateExpression>;
                UnaryExpression: import("./types").Interpreter<import("./nodeTypes").UnaryExpression>;
                ThisExpression: import("./types").Interpreter<import("./nodeTypes").ThisExpression>;
                ConditionalExpression: import("./types").Interpreter<import("./nodeTypes").ConditionalExpression>;
                TemplateLiteral: import("./types").Interpreter<import("./nodeTypes").TemplateLiteral>;
                TaggedTemplateExpression: import("./types").Interpreter<import("./nodeTypes").TaggedTemplateExpression>;
                SpreadElement: import("./types").Interpreter<import("./nodeTypes").SpreadElement>;
                AwaitExpression: import("./types").Interpreter<import("./nodeTypes").AwaitExpression>;
                ClassExpression: import("./types").Interpreter<import("./nodeTypes").ClassExpression>;
                Identifier: import("./types").Interpreter<import("./nodeTypes").Identifier>;
                Literal: import("./types").Interpreter<import("./nodeTypes").Literal>;
                Apply: import("./types").Interpreter<import("./nodeTypes").Apply>;
                GetProperty: import("./types").Interpreter<import("./nodeTypes").GetProperty>;
                SetProperty: import("./types").Interpreter<import("./nodeTypes").SetProperty>;
                SetValue: typeof import("./environment").SetValue;
                GetValue: typeof import("./environment").GetValue;
            };
        };
    };
    schedule: typeof defaultScheduler;
};
export declare function isEvaluable(input: EvalParam): input is Script | Source;
export declare const metaesEval: EvaluateBase;
export declare const metaesEvalModule: EvaluateBase<{
    [key: string]: any;
}>;
export declare class MetaesContext implements Context {
    c?: (() => void) | ((value?: unknown) => void) | ((value: any) => void) | undefined;
    cerr?: ErrorContinuation | undefined;
    defaultConfig: Partial<EvaluationConfig>;
    cache?: {
        get(source: string): Program;
        set(source: string, value: Program): Program;
    } | undefined;
    environment: Environment;
    constructor(c?: (() => void) | ((value?: unknown) => void) | ((value: any) => void) | undefined, cerr?: ErrorContinuation | undefined, environment?: Environment | object, defaultConfig?: Partial<EvaluationConfig>, cache?: {
        get(source: string): Program;
        set(source: string, value: Program): Program;
    } | undefined);
    evaluate: EvaluateBase;
}
export declare const parseFunction: (fn: Function, cache?: {
    get(source: string): Program;
    set(source: string, value: Program): Program;
} | undefined) => Program;
export declare const createScriptFromFnBody: (source: Function, cache?: {
    get(source: string): Program;
    set(source: string, value: Program): Program;
} | undefined) => {
    ast: ASTNode;
    scriptId: string;
    source: Function;
};
export declare const evalFn: <T extends any[]>(evaluate: EvaluateMid) => EvaluateMid<any, {
    source: (...T: any[]) => void;
    args?: T | undefined;
}, false>;
export declare const evalFnBody: (evaluate: EvaluateBase) => EvaluateBase<any, Function>;
export declare const consoleLoggingMetaesContext: (environment?: Environment) => MetaesContext;
export declare const callInterceptor: (phase: Phase, config: EvaluationConfig, e: ASTNode, env: Environment, value?: any) => void | undefined;
/**
 * Converts function from continuation passing style style back to normal return/throw style.
 *
 * It may not work if provided function `fn` doesn't use `c` or `cerr` callbacks immediately. Use `uncpsp` in this case.
 */
export declare const uncps: <I, O, R extends any[]>(fn: (input: I, c: Continuation<O>, cerr: PartialErrorContinuation, ...rest: R) => void, thisValue?: any) => (input?: I | undefined, ...rest: R) => O;
/**
 * Converts function from continuation passing style style back to normal return/throw style using Promise.
 */
export declare const uncpsp: <I, O, R extends any[]>(fn: (input: I, c: Continuation<O>, cerr: PartialErrorContinuation, ...rest: R) => void, thisValue?: any) => (input?: I | undefined, ...rest: R) => Promise<O>;
export declare const cpsify: <I, O>(fn: (input: I, env?: Environment<any> | undefined, config?: Partial<EvaluationConfig> | undefined) => O) => EvaluateMid<O, I, false>;
export declare type Upgradable<T> = T | ((arg: T) => T);
export declare const upgraded: <T>(superArg: T, update?: Upgradable<Partial<T>> | undefined) => T & {};
/**
 * Creates list of arguments waiting to be applied to a function.
 */
export declare const bindArgs: <T extends any[]>(...args: T) => (fn: (...args: T) => unknown) => unknown;