Async_quickcheck (p.async.v0.16.0.doc.async.async_quickcheck.Async

module Generator = Core.Quickcheck.Generator

module Observer = Core.Quickcheck.Observer

module Shrinker = Core.Quickcheck.Shrinker

include Core.Quickcheck.Quickcheck_configured

val default_seed : Core__Quickcheck_intf.seed

val default_sizes : Core__.Import.int Core__.Sequence.t

val default_trial_count : Core__.Import.int

val default_can_generate_trial_count : Core__.Import.int

val default_shrink_attempts : Core__Quickcheck_intf.shrink_attempts

val random_value : 
  ?seed:Core__Quickcheck_intf.seed ->
  ?size:Core__.Import.int ->
  'a Base_quickcheck.Generator.t ->
  'a

val iter : 
  ?seed:Core__Quickcheck_intf.seed ->
  ?sizes:Core__.Import.int Core__.Sequence.t ->
  ?trials:Core__.Import.int ->
  'a Base_quickcheck.Generator.t ->
  f:('a -> Core__.Import.unit) ->
  Core__.Import.unit

val test : 
  ?seed:Core__Quickcheck_intf.seed ->
  ?sizes:Core__.Import.int Core__.Sequence.t ->
  ?trials:Core__.Import.int ->
  ?shrinker:'a Base_quickcheck.Shrinker.t ->
  ?shrink_attempts:Core__Quickcheck_intf.shrink_attempts ->
  ?sexp_of:('a -> Base.Sexp.t) ->
  ?examples:'a Core__.Import.list ->
  'a Base_quickcheck.Generator.t ->
  f:('a -> Core__.Import.unit) ->
  Core__.Import.unit

val test_or_error : 
  ?seed:Core__Quickcheck_intf.seed ->
  ?sizes:Core__.Import.int Core__.Sequence.t ->
  ?trials:Core__.Import.int ->
  ?shrinker:'a Base_quickcheck.Shrinker.t ->
  ?shrink_attempts:Core__Quickcheck_intf.shrink_attempts ->
  ?sexp_of:('a -> Base.Sexp.t) ->
  ?examples:'a Core__.Import.list ->
  'a Base_quickcheck.Generator.t ->
  f:('a -> Core__.Import.unit Core__.Or_error.t) ->
  Core__.Import.unit Core__.Or_error.t

val test_can_generate : 
  ?seed:Core__Quickcheck_intf.seed ->
  ?sizes:Core__.Import.int Core__.Sequence.t ->
  ?trials:Core__.Import.int ->
  ?sexp_of:('a -> Base.Sexp.t) ->
  'a Base_quickcheck.Generator.t ->
  f:('a -> Core__.Import.bool) ->
  Core__.Import.unit

val test_distinct_values : 
  ?seed:Core__Quickcheck_intf.seed ->
  ?sizes:Core__.Import.int Core__.Sequence.t ->
  ?sexp_of:('a -> Base.Sexp.t) ->
  'a Base_quickcheck.Generator.t ->
  trials:Core__.Import.int ->
  distinct_values:Core__.Import.int ->
  compare:('a -> 'a -> Core__.Import.int) ->
  Core__.Import.unit

val random_sequence : 
  ?seed:Core__Quickcheck_intf.seed ->
  ?sizes:Core__.Import.int Core__.Sequence.t ->
  'a Base_quickcheck.Generator.t ->
  'a Core__.Sequence.t

Source

val 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.

Sourcemodule Configure (Config : Core.Quickcheck.Quickcheck_config) : sig ... end