package async

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

Module Async_quickcheck.ConfigureSource

Parameters

module Config : Core_kernel.Quickcheck.Quickcheck_config

Signature

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

OCaml

Innovation. Community. Security.