@firfi/quint-connect/dist/itf/picks.d.ts

Model-based testing framework connecting Quint specifications to TypeScript implementations

import type { StandardSchemaV1 } from "@standard-schema/spec";
import { Effect, Schema } from "effect";
type EffectPicksFields = Record<string, Schema.Codec<unknown, unknown, never, unknown>>;
type StandardPicksSchema = Record<string, StandardSchemaV1<any, any>>;
export declare const buildEffectPicksDecoder: <Fields extends EffectPicksFields>(picksShape: Schema.Struct<Fields>) => (rawPicks: unknown) => Effect.Effect<Schema.Struct.View<Fields, "Type", Schema.Struct.TypeOptionalKeys<Fields>, Schema.Struct.TypeMutableKeys<Fields>>, Schema.SchemaError, never>;
export declare const decodeStandardPicks: <Fields extends StandardPicksSchema>(rawPicks: {
    readonly [key: string]: unknown;
}, picksSchema: Fields) => Promise<Readonly<Record<string, unknown>>>;
export declare const pickFrom: <T>(nondetPicks: ReadonlyMap<string, unknown>, key: string, schema: StandardSchemaV1<unknown, T>) => T | undefined;
export {};
//# sourceMappingURL=picks.d.ts.map