package async

  1. Overview
  2. Docs
package async
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Async.Quickcheck

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 : Base.Int.t Core.Sequence.t
val default_trial_count : Base.Int.t
val default_can_generate_trial_count : Base.Int.t
val default_shrink_attempts : Core.Quickcheck_intf.shrink_attempts
val random_value : ?seed:Core.Quickcheck_intf.seed -> ?size:Base.Int.t -> 'a Base_quickcheck.Generator.t -> 'a
val iter : ?seed:Core.Quickcheck_intf.seed -> ?sizes:Base.Int.t Core.Sequence.t -> ?trials:Base.Int.t -> 'a Base_quickcheck.Generator.t -> f:('a -> Base.Unit.t) -> Base.Unit.t
val test : ?seed:Core.Quickcheck_intf.seed -> ?sizes:Base.Int.t Core.Sequence.t -> ?trials:Base.Int.t -> ?shrinker:'a Base_quickcheck.Shrinker.t -> ?shrink_attempts:Core.Quickcheck_intf.shrink_attempts -> ?sexp_of:('a -> Base.Sexp.t) -> ?examples:'a Base.List.t -> 'a Base_quickcheck.Generator.t -> f:('a -> Base.Unit.t) -> Base.Unit.t
val test_or_error : ?seed:Core.Quickcheck_intf.seed -> ?sizes:Base.Int.t Core.Sequence.t -> ?trials:Base.Int.t -> ?shrinker:'a Base_quickcheck.Shrinker.t -> ?shrink_attempts:Core.Quickcheck_intf.shrink_attempts -> ?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
val test_can_generate : ?seed:Core.Quickcheck_intf.seed -> ?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
val test_distinct_values : ?seed:Core.Quickcheck_intf.seed -> ?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
val random_sequence : ?seed:Core.Quickcheck_intf.seed -> ?sizes:Base.Int.t 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