effect-ts-laws/src/arbitrary/effect.d.ts

effect-ts law testing using fast-check.

import * as EF from 'effect/Effect';
import fc from 'fast-check';
import type { LiftArbitrary } from './types.js';
/**
 * Convert an arbitrary of `T` into a successful effect of `T`.
 * @category arbitraries
 */
export declare const succeed: LiftArbitrary<EF.EffectTypeLambda, never, never>;
/**
 * Convert an arbitrary of a string error message into a fail effect.
 * @category arbitraries
 */
export declare const fail: (message: fc.Arbitrary<string>) => fc.Arbitrary<EF.Effect<never, Error>>;
/**
 * Convert an arbitrary of a string error message and an arbitrary of `T`
 * into a sync effect, possibly suspended.
 * @category arbitraries
 */
export declare const sync: <T>(a: fc.Arbitrary<T>, message: fc.Arbitrary<string>) => fc.Arbitrary<EF.Effect<T, Error>>;
//# sourceMappingURL=effect.d.ts.map