package async

You can search for identifiers within the package.

in-package search v0.2.0

Monadic concurrency library

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (6)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

async-v0.14.0.tar.gz

sha256=74f2b7b01ce3b92289cc7a68cd3ae53885c763cedd320d27949d585e5c13dc64

md5=9f80cfb72e3defcc9fca50f67e23e93c

doc/async.async_quickcheck/Async_quickcheck/index.html

Module `Async_quickcheck`

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