@firfi/quint-connect
Version:
Model-based testing framework connecting Quint specifications to TypeScript implementations
14 lines • 986 B
TypeScript
import type { StandardSchemaV1 } from "@standard-schema/spec";
import { Effect, Schema } from "effect";
type EffectPicksFields = Record<string, Schema.Schema<any, any, never>>;
type StandardPicksSchema = Record<string, StandardSchemaV1<any, any>>;
type StandardPicksOutput<Fields extends StandardPicksSchema> = {
readonly [K in keyof Fields]: StandardSchemaV1.InferOutput<Fields[K]>;
};
export declare const buildEffectPicksDecoder: <Fields extends EffectPicksFields>(picksShape: Schema.Struct<Fields>) => (rawPicks: unknown) => Effect.Effect<{}, import("effect/ParseResult").ParseError, never>;
export declare const decodeStandardPicks: <Fields extends StandardPicksSchema>(rawPicks: {
readonly [key: string]: unknown;
}, picksSchema: Fields) => Promise<StandardPicksOutput<Fields>>;
export declare const pickFrom: <T>(nondetPicks: ReadonlyMap<string, unknown>, key: string, schema: StandardSchemaV1<unknown, T>) => T | undefined;
export {};
//# sourceMappingURL=picks.d.ts.map