import { Refinement } from 'fp-ts/Refinement';
import * as S from 'io-ts/Schemable';
/**
 * @since 0.0.2
 * @category Model
 */
export interface Arbitrary<A> extends fc.Arbitrary<A> {
}
/**
 * @since 0.0.2
 * @category Constructors
 */
export declare const literal: <A extends readonly [L, ...L[]], L extends S.Literal = S.Literal>(...values: A) => Arbitrary<A[number]>;
/**
 * @since 0.0.2
 * @category Primitives
 */
export declare const string: Arbitrary<string>;
/**
 * @since 0.0.2
 * @category Primitives
 */
export declare const number: Arbitrary<number>;
/**
 * @since 0.0.2
 * @category Primitives
 */
export declare const boolean: Arbitrary<boolean>;
/**
 * @since 0.0.2
 * @category Primitives
 */
export declare const UnknownArray: Arbitrary<Array<unknown>>;
/**
 * @since 0.0.2
 * @category Primitives
 */
export declare const UnknownRecord: Arbitrary<Record<string, unknown>>;
/**
 * @since 0.0.2
 * @category Combinators
 */
export declare const refine: <A, B extends A>(refinement: Refinement<A, B>) => (from: Arbitrary<A>) => Arbitrary<B>;
/**
 * @since 0.0.2
 * @category Combinators
 */
export declare const nullable: <A>(or: Arbitrary<A>) => Arbitrary<A | null>;
/**
 * @since 0.0.2
 * @category Combinators
 */
export declare const struct: <A>(properties: { [K in keyof A]: Arbitrary<A[K]>; }) => Arbitrary<A>;
/**
 * @since 0.0.2
 * @category Combinators
 */
export declare const partial: <A>(properties: { [K in keyof A]: Arbitrary<A[K]>; }) => Arbitrary<Partial<A>>;
/**
 * @since 0.0.2
 * @category Combinators
 */
export declare const record: <A>(codomain: Arbitrary<A>) => Arbitrary<Record<string, A>>;
/**
 * @since 0.0.2
 * @category Combinators
 */
export declare const array: <A>(item: Arbitrary<A>) => Arbitrary<A[]>;
/**
 * @since 0.0.2
 * @category Combinators
 */
export declare const tuple: <A extends readonly unknown[]>(...components: { [K in keyof A]: Arbitrary<A[K]>; }) => Arbitrary<A>;
/**
 * @since 0.0.2
 * @category Combinators
 */
export declare const intersect: <B>(right: Arbitrary<B>) => <A>(left: Arbitrary<A>) => Arbitrary<A & B>;
/**
 * @since 0.0.2
 * @category Combinators
 */
export declare const sum: <T extends string>(_tag: T) => <A>(members: { [K in keyof A]: Arbitrary<A[K] & Record<T, K>>; }) => Arbitrary<A[keyof A]>;
/**
 * @since 0.0.2
 * @category Combinators
 */
export declare const lazy: <A>(f: () => Arbitrary<A>) => Arbitrary<A>;
/**
 * @since 0.0.2
 * @category Combintors
 */
export declare const readonly: <A>(arb: Arbitrary<A>) => Arbitrary<Readonly<A>>;
/**
 * @since 0.0.2
 * @category Combinators
 */
export declare const union: <A extends [Arbitrary<unknown>, ...Arbitrary<unknown>[]]>(...members: A) => Arbitrary<A[number]>;
/**
 * @since 0.0.2
 * @category Instances
 */
export declare const URI = "Arbitrary";
export declare type URI = typeof URI;
declare module 'fp-ts/lib/HKT' {
    interface URItoKind<A> {
        readonly Arbitrary: Arbitrary<A>;
    }
}
/**
 * @since 0.0.2
 * @category Instances
 */
export declare const Schemable: S.Schemable1<URI> & S.WithUnknownContainers1<URI> & S.WithUnion1<URI> & S.WithRefine1<URI>;
//# sourceMappingURL=ArbitraryBase.d.ts.map