package async

  1. Overview
  2. Docs

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:[ `Deterministic of Base.String.t | `Nondeterministic ] -> ?size:Base.Int.t -> 'a Base_quickcheck.Generator.t -> 'a
Sourceval iter : ?seed:[ `Deterministic of Base.String.t | `Nondeterministic ] -> ?sizes:Base.Int.t Core.Sequence.t -> ?trials:Base.Int.t -> 'a Base_quickcheck.Generator.t -> f:('a -> Base.Unit.t) -> Base.Unit.t
Sourceval test : ?seed:[ `Deterministic of Base.String.t | `Nondeterministic ] -> ?sizes:Base.Int.t Core.Sequence.t -> ?trials:Base.Int.t -> ?shrinker:'a Base_quickcheck.Shrinker.t -> ?shrink_attempts:[ `Exhaustive | `Limit of Base.Int.t ] -> ?sexp_of:('a -> Base.Sexp.t) -> ?examples:'a Base.List.t -> 'a Base_quickcheck.Generator.t -> f:('a -> Base.Unit.t) -> Base.Unit.t
Sourceval test_or_error : ?seed:[ `Deterministic of Base.String.t | `Nondeterministic ] -> ?sizes:Base.Int.t Core.Sequence.t -> ?trials:Base.Int.t -> ?shrinker:'a Base_quickcheck.Shrinker.t -> ?shrink_attempts:[ `Exhaustive | `Limit of Base.Int.t ] -> ?sexp_of:('a -> Base.Sexp.t) -> ?examples:'a Base.List.t -> '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:[ `Deterministic of Base.String.t | `Nondeterministic ] -> ?sizes:Base.Int.t Core.Sequence.t -> ?trials:Base.Int.t -> ?sexp_of:('a -> Base.Sexp.t) -> 'a Base_quickcheck.Generator.t -> f:('a -> Base.Bool.t) -> Base.Unit.t
Sourceval test_distinct_values : ?seed:[ `Deterministic of Base.String.t | `Nondeterministic ] -> ?sizes:Base.Int.t Core.Sequence.t -> ?sexp_of:('a -> Base.Sexp.t) -> '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:[ `Deterministic of Base.String.t | `Nondeterministic ] -> ?sizes:Base.Int.t Core.Sequence.t -> '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.