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

effect-ts law testing using fast-check.

/**
 * Arbitraries for basic effect-ts temporal datatypes.
 * @module
 */
import { Bounded as BU } from '@effect/typeclass';
import { DateTime as DT, Duration as DU } from 'effect';
import fc from 'fast-check';
/**
 * Finite `Duration` arbitrary.
 * @category arbitraries
 */
export declare const duration: fc.Arbitrary<DU.Duration>;
/**
 * Arbitrary for a duration and its bounds.
 * @category arbitraries
 */
export declare const boundedDuration: fc.Arbitrary<[
    fc.Arbitrary<DU.Duration>,
    BU.Bounded<DU.Duration>
]>;
/**
 * `DateTime.TimeZone.Offset` arbitrary. The offset is clamped between -14hrs
 * and 14hrs, allowing for a maximum 28hrs offset between any two points on
 * earth.
 * @category arbitraries
 */
export declare const offsetTimezone: fc.Arbitrary<DT.TimeZone.Offset>;
/**
 * `DateTime.Utc` arbitrary. Only valid dates are generated.
 * @category arbitraries
 */
export declare const utc: (constraints?: fc.DateConstraints) => fc.Arbitrary<DT.Utc>;
/**
 * `DateTime.Zoned` arbitrary. Only valid dates are generated.
 * @category arbitraries
 */
export declare const zoned: (constraints?: fc.DateConstraints) => fc.Arbitrary<DT.Zoned>;
//# sourceMappingURL=time.d.ts.map