Module Core_extended.Quickcheck_deprecated

type 'a gen = unit ‑> 'a

the type of a random 'a-generator

val fg : float gen

float generator (no nan, inf, etc.)

val cg : char gen

character generator

val nng : int gen

natural number generator

val uig : int gen

unsigned int generator (uniform random in range min_int, max_int)

val pg : 'a gen ‑> 'b gen ‑> ('a * 'b) gen

pair generator

val tg : 'a gen ‑> 'b gen ‑> 'c gen ‑> ('a * 'b * 'c) gen

triple generator

val lg : 'a gen ‑> ?⁠size_gen:int gen ‑> 'a list gen

list generator

val sg : ?⁠char_gen:char gen ‑> ?⁠size_gen:int gen ‑> string gen

string generator

val always : 'a ‑> 'a gen

generator that always returns given value

val laws : int ‑> 'a gen ‑> ('a ‑> bool) ‑> 'a option

laws iter gen func applies func repeatedly (iter times) on output of gen, and if func ever returns false, then the input that caused the failure is returned optionally.

val laws_exn : string ‑> int ‑> 'a gen ‑> ('a ‑> bool) ‑> unit

Like laws, but throws an exception instead of returning an option.

val repeat : int ‑> ('a ‑> unit) ‑> 'a gen ‑> unit