package async

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

Module Async_quickcheck.ConfigureSource

Parameters

module Config : Core.Quickcheck.Quickcheck_config

Signature

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

Sourceval async_test_or_error : ?seed:Core.Quickcheck.seed -> ?sizes:int Core.Sequence.t -> ?trials:int -> ?shrinker:'a Core.Quickcheck.Shrinker.t -> ?shrink_attempts:Core.Quickcheck.shrink_attempts -> ?examples:'a list -> 'a Core.Quickcheck.Generator.t -> f:('a -> unit Core.Or_error.t Async_kernel.Deferred.t) -> (unit, 'a * Core.Error.t) Core.Result.t Async_kernel.Deferred.t

async_test_or_error is like test, except failure is determined using Or_error.t. Any exceptions raised by f are also treated as failures. The failing input and the error are returned in a Result.t.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct