js-slang
Version:
Javascript-based implementations of Source, written in Typescript
25 lines (24 loc) • 1.01 kB
TypeScript
import type { Runner } from './types';
declare const runners: {
fulljs: Runner;
'cse-machine': (program: import("estree").Program, context: import("..").Context<any>, options: import("..").IOptions) => Promise<import("..").Result>;
substitution: (program: import("estree").Program, context: import("..").Context<any>, options: import("..").IOptions) => Promise<{
status: "error";
context: import("..").Context<any>;
}> | Promise<{
status: "finished";
context: import("..").Context<any>;
value: import("../tracer").IStepperPropContents[];
}>;
native: (program: import("estree").Program, context: import("..").Context<any>, options: import("..").IOptions) => Promise<{
status: "finished";
context: import("..").Context<any>;
value: any;
} | {
status: "error";
context: import("..").Context<any>;
value?: undefined;
}>;
};
export default runners;
export type RunnerTypes = keyof typeof runners;