js-slang/dist/schedulers.d.ts

Javascript-based implementations of Source, written in Typescript

import { Context, Result, Scheduler, Value } from './types';
export declare class AsyncScheduler implements Scheduler {
    run(it: IterableIterator<Value>, context: Context): Promise<Result>;
}
export declare class NonDetScheduler implements Scheduler {
    run(it: IterableIterator<Value>, context: Context): Promise<Result>;
}
export declare class PreemptiveScheduler implements Scheduler {
    steps: number;
    constructor(steps: number);
    run(it: IterableIterator<Value>, context: Context): Promise<Result>;
}