import { Effect } from "effect";
import type { StateComparator } from "../driver/types.js";
import { StateMismatchError, TraceReplayError } from "./replay-errors.js";
export interface StateCheck<S> {
    readonly compareState: StateComparator<S>;
    readonly deserializeState: (raw: unknown) => Effect.Effect<S>;
}
type RawState = {
    readonly [key: string]: unknown;
};
interface StateReadableDriver<S, E, R> {
    readonly getState?: () => Effect.Effect<S, E, R>;
}
interface CheckReplayStateOptions<S, E, R> {
    readonly rawState: RawState;
    readonly statePath: ReadonlyArray<string>;
    readonly driver: StateReadableDriver<S, E, R>;
    readonly stateCheck: StateCheck<S>;
    readonly traceIndex: number;
    readonly stepIndex: number;
    readonly action: string;
    readonly seed: string;
}
/** @internal */
export declare const projectState: (rawState: import("./trace-state.js").TraceStateRecord, statePath: ReadonlyArray<string>) => unknown;
/** @internal */
export declare const checkReplayState: <S, E, R>(opts: CheckReplayStateOptions<S, E, R>) => Effect.Effect<void, E | StateMismatchError | TraceReplayError, R>;
export {};
//# sourceMappingURL=state-check.d.ts.map