@firfi/quint-connect/dist/driver/types.d.ts

Model-based testing framework connecting Quint specifications to TypeScript implementations

import type { Effect, Schema } from "effect";
export interface Config {
    readonly statePath?: ReadonlyArray<string> | undefined;
    readonly nondetPath?: ReadonlyArray<string> | undefined;
}
export declare const defaultConfig: Config;
type SchemaFields = {
    readonly [key: string]: Schema.Schema<any, any, never>;
};
export type ActionPicks<Fields extends SchemaFields> = {
    readonly [K in keyof Fields]: Schema.Schema.Type<Fields[K]>;
};
interface ActionDefSchema<Fields extends SchemaFields> {
    readonly picks: Schema.Struct<Fields>;
}
interface ActionDefHandler<Fields extends SchemaFields, E, R> {
    readonly handler: (picks: ActionPicks<Fields>) => Effect.Effect<void, E, R>;
}
export type ActionDef<Fields extends SchemaFields, E = never, R = never> = ActionDefSchema<Fields> & ActionDefHandler<Fields, E, R>;
interface AnyActionDefSchema {
    readonly picks: Schema.Struct<Record<string, Schema.Schema<any, any, never>>>;
}
interface AnyActionDefHandler<E, R> {
    readonly handler: (picks: any) => Effect.Effect<void, E, R>;
}
export type AnyActionDef<E = never, R = never> = AnyActionDefSchema & AnyActionDefHandler<E, R>;
export interface ActionMap<E = never, R = never> {
    readonly [action: string]: AnyActionDef<E, R> | undefined;
}
interface DriverActions<Actions extends ActionMap<E, R>, E, R> {
    readonly actions: Actions;
}
interface DriverHooks<S, E, R> {
    readonly getState?: () => Effect.Effect<S, E, R>;
    readonly config?: () => Config;
}
export type Driver<S, E = never, R = never, Actions extends ActionMap<E, R> = ActionMap<E, R>> = DriverActions<Actions, E, R> & DriverHooks<S, E, R>;
export interface DriverFactory<S, E = never, R = never, Actions extends ActionMap<E, R> = ActionMap<E, R>> {
    readonly create: () => Effect.Effect<Driver<S, E, R, Actions>, E, R>;
}
export type StateComparator<S> = (spec: S, impl: S) => boolean;
export {};
//# sourceMappingURL=types.d.ts.map