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

module Generator = Core_kernel.Quickcheck.Generator

module Observer = Core_kernel.Quickcheck.Observer

module Shrinker = Core_kernel.Quickcheck.Shrinker

include Core_kernel.Quickcheck.Quickcheck_configured

val default_seed : Core_kernel__.Quickcheck_intf.seed

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

val default_trial_count : Core_kernel__.Import.int

val default_can_generate_trial_count : Core_kernel__.Import.int

val default_shrink_attempts : Core_kernel__.Quickcheck_intf.shrink_attempts

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

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

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

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

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

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

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

val async_test : 
  ?seed:Core_kernel.Quickcheck.seed ->
  ?trials:int ->
  ?sexp_of:('a -> Core_kernel.Sexp.t) ->
  'a Core_kernel.Quickcheck.Generator.t ->
  f:('a -> unit Async_kernel.Deferred.t) ->
  unit Async_kernel.Deferred.t

Like test, but for asynchronous tests.

module Configure
  (Config : Core_kernel.Quickcheck.Quickcheck_config) : 
  sig ... end