import { Effect } from "effect";
import { QuintNotFoundError } from "./errors.js";
import type { RunOptions } from "./run-options.js";
import type { TraceGenerationAdapter } from "./trace-adapter.js";
interface QuintProcessResult {
    readonly exitCode: number;
    readonly stderr: string;
}
interface QuintCliAdapterDeps {
    readonly runQuintProcess: (args: ReadonlyArray<string>, verbose: boolean) => Effect.Effect<QuintProcessResult, QuintNotFoundError>;
}
interface QuintProcess {
    readonly pid: number | undefined;
    readonly stdout: {
        readonly resume: () => void;
    };
    readonly stderr: {
        readonly on: (event: "data", listener: (chunk: Buffer) => void) => unknown;
    };
    readonly on: {
        (event: "close", listener: (code: number | null) => void): unknown;
        (event: "error", listener: (e: Error) => void): unknown;
    };
}
type SpawnQuintProcess = (cmd: string, args: ReadonlyArray<string>, options: {
    readonly env: NodeJS.ProcessEnv;
    readonly detached: true;
}) => QuintProcess;
export declare const buildRunArgs: (opts: RunOptions, outDir: string) => ReadonlyArray<string>;
export declare const makeRunQuintProcess: (spawnProcess?: SpawnQuintProcess) => (args: ReadonlyArray<string>, verbose: boolean) => Effect.Effect<QuintProcessResult, QuintNotFoundError>;
export declare const makeQuintCliTraceAdapter: (deps?: QuintCliAdapterDeps) => TraceGenerationAdapter;
export declare const quintCliTraceAdapter: TraceGenerationAdapter;
export {};
//# sourceMappingURL=quint-cli-adapter.d.ts.map