import fc from 'fast-check';
import { NonEmptyArray } from 'fp-ts/lib/NonEmptyArray';
import { Maybe } from './Maybe';
declare type Config = {
    beforeEach?: () => void;
    afterEach?: () => void;
    timeout?: number;
    runs: number;
};
export declare const asyncProperty: {
    <A>(title: string, arbs: fc.Arbitrary<A>, predicate: (a: A) => Promise<boolean | void>, config?: Config): void;
    skip<A_1>(title: string, arbs: fc.Arbitrary<A_1>, predicate: (a: A_1) => Promise<boolean | void>, config?: Config): void;
    only<A_2>(title: string, arbs: fc.Arbitrary<A_2>, predicate: (a: A_2) => Promise<boolean | void>, config?: Config): void;
};
export declare const property: {
    <A>(title: string, arbs: fc.Arbitrary<A>, predicate: (a: A) => boolean | void, config?: Config): void;
    skip<A_1>(title: string, arbs: fc.Arbitrary<A_1>, predicate: (a: A_1) => boolean | void, config?: Config): void;
    only<A_2>(title: string, arbs: fc.Arbitrary<A_2>, predicate: (a: A_2) => boolean | void, config?: Config): void;
};
export declare namespace Arbitrary {
    const set: <A>(a: fc.Arbitrary<A>, c: fc.SetConstraints<A>) => fc.Arbitrary<Set<A>>;
    const maybe: <A>(a: fc.Arbitrary<A>) => fc.Arbitrary<Maybe<A>>;
    const iterable: ({ minLength, maxLength }: {
        minLength?: number | undefined;
        maxLength?: number | undefined;
    }) => fc.Arbitrary<Iterable<any>>;
    const nonEmptyArray: <A>(a: fc.Arbitrary<A>) => fc.Arbitrary<NonEmptyArray<A>>;
}
export {};