Module Async.QuickcheckSource

include module type of struct include Async_quickcheck end
include Core.Quickcheck.Quickcheck_configured
Sourceval default_seed : [ `Deterministic of Base.String.t | `Nondeterministic ]
Sourceval default_sizes : Base.Int.t Core.Sequence.t
Sourceval default_trial_count : Base.Int.t
Sourceval default_can_generate_trial_count : Base.Int.t
Sourceval default_shrink_attempts : [ `Exhaustive | `Limit of Base.Int.t ]
Sourceval random_value : ?seed:??? -> ?size:??? -> 'a Base_quickcheck.Generator.t -> 'a
Sourceval iter : ?seed:??? -> ?sizes:??? -> ?trials:??? -> 'a Base_quickcheck.Generator.t -> f:('a -> Base.Unit.t) -> Base.Unit.t
Sourceval test : ?seed:??? -> ?sizes:??? -> ?trials:??? -> ?shrinker:??? -> ?shrink_attempts:??? -> ?sexp_of:??? -> ?examples:??? -> 'a Base_quickcheck.Generator.t -> f:('a -> Base.Unit.t) -> Base.Unit.t
Sourceval test_or_error : ?seed:??? -> ?sizes:??? -> ?trials:??? -> ?shrinker:??? -> ?shrink_attempts:??? -> ?sexp_of:??? -> ?examples:??? -> 'a Base_quickcheck.Generator.t -> f:('a -> Base.Unit.t Core.Or_error.t) -> Base.Unit.t Core.Or_error.t
Sourceval test_can_generate : ?seed:??? -> ?sizes:??? -> ?trials:??? -> ?sexp_of:??? -> 'a Base_quickcheck.Generator.t -> f:('a -> Base.Bool.t) -> Base.Unit.t
Sourceval test_distinct_values : ?seed:??? -> ?sizes:??? -> ?sexp_of:??? -> 'a Base_quickcheck.Generator.t -> trials:Base.Int.t -> distinct_values:Base.Int.t -> compare:('a -> 'a -> Base.Int.t) -> Base.Unit.t
Sourceval random_sequence : ?seed:??? -> ?sizes:??? -> 'a Base_quickcheck.Generator.t -> 'a Core.Sequence.t
Sourceval async_test : ?seed:Core.Quickcheck.seed -> ?sizes:int Core.Sequence.t -> ?trials:int -> ?shrinker:'a Core.Quickcheck.Shrinker.t -> ?shrink_attempts:Core.Quickcheck.shrink_attempts -> ?sexp_of:('a -> Core.Sexp.t) -> ?examples:'a list -> 'a Core.Quickcheck.Generator.t -> f:('a -> unit Async_kernel.Deferred.t) -> unit Async_kernel.Deferred.t

Like test, but for asynchronous tests.

Sourceval async_test_or_error : ?seed:Core.Quickcheck.seed -> ?sizes:int Core.Sequence.t -> ?trials:int -> ?shrinker:'a Core.Quickcheck.Shrinker.t -> ?shrink_attempts:Core.Quickcheck.shrink_attempts -> ?examples:'a list -> 'a Core.Quickcheck.Generator.t -> f:('a -> unit Core.Or_error.t Async_kernel.Deferred.t) -> (unit, 'a * Core.Error.t) Core.Result.t Async_kernel.Deferred.t

async_test_or_error is like test, except failure is determined using Or_error.t. Any exceptions raised by f are also treated as failures. The failing input and the error are returned in a Result.t.