@firfi/quint-connect/dist/effect.d.ts

Model-based testing framework connecting Quint specifications to TypeScript implementations

import { Effect, Schema } from "effect";
import type { Config, DriverFactory } from "./driver/types.js";
import type { StateCheck } from "./runner/runner.js";
export type { ActionDef, ActionMap, ActionPicks, Config, Driver, DriverFactory, StateComparator } from "./driver/types.js";
export { defaultConfig } from "./driver/types.js";
export type { QuintRunGeneration, QuintTestGeneration, RunGenerationOptions, RunOptions, TestGenerationOptions, TraceGenerationMode, TraceGenerationOptions } from "./cli/quint.js";
export { generateTraces, QuintError, QuintNotFoundError } from "./cli/quint.js";
export type { TraceGenerationService } from "./cli/trace-generation.js";
export { TraceGeneration, traceGenerationLayer } from "./cli/trace-generation.js";
export type { QuintGenerationOptions, QuintRunOptions, QuintTestOptions, StateCheck } from "./runner/runner.js";
export { NoTracesError, quintRun, quintRunWithTraceGeneration, StateMismatchError, TraceReplayError } from "./runner/runner.js";
export { ITFBigInt, ITFList, ITFMap, ItfOption, ITFSet, ItfTrace, ITFTuple, ITFUnserializable, ITFVariant, MbtMeta, UntypedTraceSchema } from "./itf/schema.js";
export type { ITFValueRaw } from "./itf/schema.js";
export declare const stateCheck: <S, E, R>(deserializeState: (raw: unknown) => Effect.Effect<S, E, R>, compareState: (spec: S, impl: S) => boolean) => StateCheck<S, E, R>;
type EffectPicksSchema = Record<string, Schema.Schema<any, any, never>>;
type EffectHandlerPicks<Fields extends EffectPicksSchema> = {
    readonly [K in keyof Fields]: Schema.Schema.Type<Fields[K]>;
};
export declare const defineDriver: <S extends Record<string, Record<string, Schema.Schema<any, any, never>>>, State = unknown, E = never, R = never>(schema: S, factory: () => { [K in keyof S]: (picks: EffectHandlerPicks<S[K]>) => Effect.Effect<void, E, R>; } & {
    getState?: () => Effect.Effect<State, E, R>;
    config?: () => Config;
}) => DriverFactory<State, E, R>;
//# sourceMappingURL=effect.d.ts.map