package async

  1. Overview
  2. Docs
include module type of struct include Async_quickcheck end
module Generator = Async_quickcheck.Generator
module Observer = Async_quickcheck.Observer
module Shrinker = Async_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
val async_test : ?seed:Core.Quickcheck.seed -> ?trials:int -> ?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.

module Configure = Async_quickcheck.Configure
OCaml

Innovation. Community. Security.