@fast-check/vitest
Version:
Property based testing for Vitest based on fast-check
21 lines (20 loc) • 854 B
TypeScript
import type { TestAPI } from 'vitest';
import type { Arbitrary, asyncProperty, assert, readConfigureGlobal, GeneratorValue } from 'fast-check';
export type FcExtra = {
asyncProperty: typeof asyncProperty;
assert: typeof assert;
readConfigureGlobal: typeof readConfigureGlobal;
};
export type ExtraContext = {
g: GeneratorValue;
};
export type It = TestAPI<ExtraContext>;
export type ArbitraryTuple<Ts extends [any] | any[]> = {
[P in keyof Ts]: Arbitrary<Ts[P]>;
};
export type ArbitraryRecord<Ts> = {
[P in keyof Ts]: Arbitrary<Ts[P]>;
};
export type Prop<Ts extends [any] | any[]> = (...args: Ts) => boolean | void | PromiseLike<boolean | void>;
export type PropRecord<Ts> = (arg: Ts) => boolean | void | PromiseLike<boolean | void>;
export type PromiseProp<Ts extends [any] | any[]> = (...args: Ts) => Promise<boolean | void>;