( and* ) [QCheck2.Gen] | Binding operator alias for |
( and* ) [QCheck.Iter] | |
( and* ) [QCheck.Gen] | |
( let* ) [QCheck2.Gen] | Binding operator alias for |
( let* ) [QCheck.Iter] | |
( let* ) [QCheck.Gen] | |
(--) [QCheck2.Gen] |
|
(--) [QCheck.Gen] | Synonym to |
(--) [QCheck] | Synonym to |
(--.) [QCheck2.Gen] |
|
(--.) [QCheck.Gen] | Synonym for |
(<$>) [QCheck2.Gen] | An infix synonym for |
(<$>) [QCheck.Gen] | An infix synonym for |
(<*>) [QCheck2.Gen] | Synonym for |
(<*>) [QCheck.Iter] | |
(<*>) [QCheck.Gen] | Infix operator for composing a function generator and an argument generator into a result generator. |
(<+>) [QCheck.Iter] | Synonym to |
(==>) [QCheck2] |
|
(==>) [QCheck] |
|
(>:::) [QCheck_ounit] | Same as |
(>>=) [QCheck2.Gen] | Synonym for |
(>>=) [QCheck.Iter] | |
(>>=) [QCheck.Gen] | Monadic bind for writing dependent generators. |
(>|=) [QCheck2.Gen] | An infix synonym for |
(>|=) [QCheck.Iter] | |
(>|=) [QCheck.Gen] | An infix synonym for |
(@->) [QCheck2.Tuple.Infix] | Alias for |
(@->) [QCheck.Tuple.Infix] | Alias to |
(@::) [QCheck2.Tuple.Infix] | Alias for |
(@::) [QCheck.Tuple.Infix] | Alias to |
A | |
add [QCheck2.Shrink.Number] | |
add_shrink_invariant [QCheck2.Gen] |
|
add_shrink_invariant [QCheck] | Update shrinker by only keeping smaller values satisfying the given invariant. |
add_stat [QCheck] | Add a statistic to the arbitrary instance. |
always [QCheck] | Always return the same element. |
and+ [QCheck2.Gen] | Binding operator alias for |
and+ [QCheck.Iter] | |
and+ [QCheck.Gen] | |
ap [QCheck2.Gen] |
|
append [QCheck.Iter] | |
append_l [QCheck.Iter] | |
apply [QCheck2.Fn] |
|
apply [QCheck.Fn] | |
array [QCheck2.Observable] |
|
array [QCheck2.Print] |
|
array [QCheck2.Gen] | Builds an array generator from an element generator. |
array [QCheck.Observable] | |
array [QCheck.Shrink] | Shrink an array. |
array [QCheck.Print] | Array printer. |
array [QCheck.Gen] | Builds an array generator from an element generator. |
array [QCheck] | Generates arrays with length generated by |
array_of_size [QCheck] | Generates arrays with length from the given distribution. |
array_repeat [QCheck2.Gen] |
|
array_repeat [QCheck.Gen] |
|
array_size [QCheck2.Gen] | Builds an array generator from a (non-negative) size generator and an element generator. |
array_size [QCheck.Gen] | Builds an array generator from a (non-negative) size generator and an element generator. |
array_subset [QCheck.Gen] |
|
assume [QCheck2] |
|
assume [QCheck] |
|
assume_fail [QCheck2] |
|
assume_fail [QCheck] |
|
B | |
big_nat [QCheck2.Gen] | Generates natural numbers, possibly large (< |
big_nat [QCheck.Gen] | Generates natural numbers, possibly large. |
bind [QCheck2.Gen] |
|
bool [QCheck2.Observable] |
|
bool [QCheck2.Print] |
|
bool [QCheck2.Gen] | The boolean generator. |
bool [QCheck.Observable] | |
bool [QCheck.Print] | Boolean printer. |
bool [QCheck.Gen] | The boolean generator. |
bool [QCheck] | Uniform boolean generator. |
C | |
callback [QCheck_base_runner.Raw] | |
char [QCheck2.Observable] |
|
char [QCheck2.Print] |
|
char [QCheck2.Gen] | Generates characters in the |
char [QCheck.Observable] | |
char [QCheck.Shrink] | |
char [QCheck.Print] | Character printer. |
char [QCheck.Gen] | Generates characters upto character code 255. |
char [QCheck] | Uniformly distributed on all the chars (not just ascii or valid latin-1). |
char_range [QCheck2.Gen] |
|
char_range [QCheck.Gen] | Generates chars between the two bounds, inclusive. |
check_cell [QCheck2.Test] |
|
check_cell [QCheck.Test] | |
check_cell_exn [QCheck2.Test] | Same as |
check_cell_exn [QCheck.Test] | |
check_exn [QCheck2.Test] | Checks the property against some test cases, and calls |
check_exn [QCheck.Test] | |
check_result [QCheck2.Test] |
|
children [QCheck2.Tree] |
|
choose [QCheck] | Choose among the given list of generators. |
collect [QCheck2.TestResult] | Obtain statistics |
collect [QCheck.TestResult] | Obtain statistics |
comap [QCheck2.Print] | |
comap [QCheck.Print] |
|
cons [QCheck2.Tuple] |
|
cons [QCheck.Tuple] | |
contramap [QCheck2.Observable] |
|
contramap [QCheck2.Print] |
|
D | |
default_handler [QCheck_base_runner] | The default handler used. |
delay [QCheck2.Gen] | Delay execution of some code until the generator is actually called. |
delay [QCheck.Gen] | Delay execution of some code until the generator is actually called. |
div [QCheck2.Shrink.Number] | |
E | |
empty [QCheck.Iter] | |
equal [QCheck2.Observable] |
|
equal [QCheck2.Shrink.Number] | |
equal [QCheck.Observable] | |
F | |
fail_report [QCheck2.Test] | Fail the test with some additional message that will be reported. |
fail_report [QCheck.Test] | Fail the test with some additional message that will be reported. |
fail_reportf [QCheck2.Test] | Format version of |
fail_reportf [QCheck.Test] | Format version of |
filter [QCheck.Shrink] |
|
filter [QCheck.Iter] | |
find [QCheck.Iter] | |
find_example [QCheck2] |
|
find_example [QCheck] |
|
find_example_gen [QCheck2] | Toplevel version of |
find_example_gen [QCheck] | Toplevel version of |
fix [QCheck2.Gen] | Parametrized fixpoint combinator for generating recursive values. |
fix [QCheck.Gen] | Parametrized fixpoint combinator for generating recursive values. |
flatten [QCheck.Iter] | |
flatten_a [QCheck2.Gen] | Generate an array of elements from individual generators. |
flatten_a [QCheck.Gen] | Generate an array of elements from individual generators |
flatten_l [QCheck2.Gen] | Generate a list of elements from individual generators. |
flatten_l [QCheck.Gen] | Generate a list of elements from individual generators |
flatten_opt [QCheck2.Gen] | Generate an option from an optional generator. |
flatten_opt [QCheck.Gen] | Generate an option from an optional generator |
flatten_res [QCheck2.Gen] | Generate a result from |
flatten_res [QCheck.Gen] | Generate a result from |
float [QCheck2.Observable] |
|
float [QCheck2.Print] |
|
float [QCheck2.Gen] | Generates floating point numbers. |
float [QCheck.Observable] | |
float [QCheck.Print] | Floating point number printer. |
float [QCheck.Gen] | Generates floating point numbers. |
float [QCheck] | Generates regular floats (no nan and no infinities). |
float_bound_exclusive [QCheck2.Gen] |
|
float_bound_exclusive [QCheck.Gen] |
|
float_bound_exclusive [QCheck] |
|
float_bound_inclusive [QCheck2.Gen] |
|
float_bound_inclusive [QCheck.Gen] |
|
float_bound_inclusive [QCheck] |
|
float_range [QCheck2.Gen] |
|
float_range [QCheck.Gen] |
|
float_range [QCheck] |
|
float_towards [QCheck2.Shrink] |
|
frequency [QCheck2.Gen] | Constructs a generator that selects among a given list of generators. |
frequency [QCheck.Gen] | Constructs a generator that selects among a given list of generators. |
frequency [QCheck] | Similar to |
frequencya [QCheck2.Gen] | Constructs a generator that selects among a given array of values. |
frequencya [QCheck.Gen] | Constructs a generator that selects among a given array of values. |
frequencya [QCheck] | Same as |
frequencyl [QCheck2.Gen] | Constructs a generator that selects among a given list of values. |
frequencyl [QCheck.Gen] | Constructs a generator that selects among a given list of values. |
frequencyl [QCheck] | Same as |
fun1 [QCheck2] |
|
fun1 [QCheck] |
|
fun1_unsafe [QCheck] | Generator of functions of arity 1. |
fun2 [QCheck2] | Specialized version of |
fun2 [QCheck] | |
fun2_unsafe [QCheck] | Generator of functions of arity 2. |
fun3 [QCheck2] | Specialized version of |
fun3 [QCheck] | |
fun4 [QCheck2] | Specialized version of |
fun4 [QCheck] | |
fun_nary [QCheck2] |
|
fun_nary [QCheck] |
|
G | |
gen [QCheck] | Access the underlying random generator of this arbitrary object. |
generate [QCheck2.Gen] |
|
generate [QCheck.Gen] |
|
generate1 [QCheck2.Gen] |
|
generate1 [QCheck.Gen] |
|
generate_tree [QCheck2.Gen] |
|
get_collect [QCheck2.TestResult] |
|
get_collect_opt [QCheck2.Test] | |
get_count [QCheck2.Test] | Get the count of a cell. |
get_count [QCheck2.TestResult] |
|
get_count [QCheck.Test] | Get the count of a cell. |
get_count [QCheck.TestResult] | Get the count of a cell. |
get_count_gen [QCheck2.TestResult] |
|
get_count_gen [QCheck.TestResult] | |
get_gen [QCheck2.Test] | |
get_gen [QCheck] | Access the underlying random generator of this arbitrary object. |
get_instances [QCheck2.TestResult] |
|
get_law [QCheck2.Test] | |
get_law [QCheck.Test] | |
get_long_factor [QCheck2.Test] | Get the long factor of a cell. |
get_long_factor [QCheck.Test] | Get the long factor of a cell. |
get_name [QCheck2.Test] | |
get_name [QCheck.Test] | |
get_print [QCheck] | |
get_print_opt [QCheck2.Test] | |
get_state [QCheck2.TestResult] |
|
get_state [QCheck.TestResult] | |
get_stats [QCheck2.Test] | |
get_stats [QCheck2.TestResult] |
|
get_time_between_msg [QCheck_base_runner] | Get the minimum time to wait between printing messages. |
get_warnings [QCheck2.TestResult] |
|
graft_corners [QCheck2.Gen] |
|
graft_corners [QCheck.Gen] |
|
H | |
hash [QCheck2.Observable] |
|
hash [QCheck.Observable] | |
I | |
int [QCheck2.Observable] |
|
int [QCheck2.Print] |
|
int [QCheck2.Gen] | Generates integers uniformly. |
int [QCheck.Observable] | |
int [QCheck.Shrink] | |
int [QCheck.Print] | Integer printer. |
int [QCheck.Gen] | Generates integers uniformly. |
int [QCheck] | Int generator. |
int32 [QCheck2.Gen] | Generates uniform |
int32 [QCheck.Shrink] | |
int32 [QCheck] | Int32 generator. |
int32_towards [QCheck2.Shrink] |
|
int64 [QCheck2.Gen] | Generates uniform |
int64 [QCheck.Shrink] | |
int64 [QCheck] | Int64 generator. |
int64_towards [QCheck2.Shrink] |
|
int_aggressive [QCheck2.Shrink] | |
int_aggressive [QCheck.Shrink] | Shrink integers by trying all smaller integers (can take a lot of time!) |
int_aggressive_towards [QCheck2.Shrink] |
|
int_bound [QCheck2.Gen] | Uniform integer generator producing integers within |
int_bound [QCheck.Gen] | Uniform integer generator producing integers within |
int_bound [QCheck] |
|
int_corners [QCheck2.Gen] | All corner cases for int. |
int_corners [QCheck.Gen] | All corner cases for int. |
int_pos_corners [QCheck2.Gen] | Non-negative corner cases for int. |
int_pos_corners [QCheck.Gen] | Non-negative corner cases for int. |
int_range [QCheck2.Gen] |
|
int_range [QCheck.Gen] | Uniform integer generator producing integers within |
int_range [QCheck] |
|
int_towards [QCheck2.Shrink] |
|
is_success [QCheck2.TestResult] | Returns true iff the state if |
is_success [QCheck.TestResult] | Returns true iff the state if |
J | |
join [QCheck2.Gen] | Collapses a generator of generators to a generator. |
join [QCheck.Gen] | Collapses a generator of generators to simply a generator. |
L | |
let+ [QCheck2.Gen] | Binding operator alias for |
let+ [QCheck.Iter] | |
let+ [QCheck.Gen] | |
list [QCheck2.Observable] |
|
list [QCheck2.Print] |
|
list [QCheck2.Gen] | Builds a list generator from an element generator. |
list [QCheck.Observable] | |
list [QCheck.Shrink] | Try to shrink lists by removing one or more elements. |
list [QCheck.Print] | List printer. |
list [QCheck.Gen] | Builds a list generator from an element generator. |
list [QCheck] | Generates lists with length generated by |
list_elems [QCheck.Shrink] | Shrinks the elements of a list, without changing the list size. |
list_of_size [QCheck] | Generates lists with length from the given distribution. |
list_repeat [QCheck2.Gen] |
|
list_repeat [QCheck.Gen] |
|
list_size [QCheck2.Gen] | Builds a list generator from a (non-negative) size generator and an element generator. |
list_size [QCheck.Gen] | Builds a list generator from a (non-negative) size generator and an element generator. |
list_spine [QCheck.Shrink] | Try to shrink lists by removing one or more elements. |
long_tests [QCheck_base_runner] | Is the default mode to run long tests or nor? |
M | |
make [QCheck2.Test] |
|
make [QCheck2.Observable] |
|
make [QCheck.Test] |
|
make [QCheck.Observable] | |
make [QCheck] | Builder for arbitrary. |
make_cell [QCheck2.Test] |
|
make_cell [QCheck.Test] |
|
make_cell_from_QCheck1 [QCheck2.Test] | ⚠️ Do not use, this is exposed for internal reasons only. |
make_primitive [QCheck2.Gen] |
|
map [QCheck2.Observable] | |
map [QCheck2.Gen] |
|
map [QCheck.Observable] | |
map [QCheck.Iter] | |
map [QCheck.Gen] |
|
map [QCheck] |
|
map2 [QCheck2.Gen] |
|
map2 [QCheck.Iter] | |
map2 [QCheck.Gen] |
|
map3 [QCheck2.Gen] |
|
map3 [QCheck.Gen] |
|
map_keep_input [QCheck.Gen] |
|
map_keep_input [QCheck] |
|
map_same_type [QCheck] | Specialization of |
N | |
nat [QCheck2.Gen] | Generates natural numbers (< |
nat [QCheck.Gen] | Generates small natural numbers. |
nat_split [QCheck.Gen] |
|
nat_split2 [QCheck.Gen] |
|
neg_float [QCheck] | Negative float generator (no nan and no infinities). |
neg_int [QCheck2.Gen] | Generates non-strictly negative integers ( |
neg_int [QCheck.Gen] | Generates non-strictly negative integers (0 included). |
neg_int [QCheck] | Negative int generator (0 included, see |
nfloat [QCheck2.Gen] | Generates negative floating point numbers. |
nfloat [QCheck.Gen] | Generates negative floating point numbers. |
nil [QCheck2.Tuple] |
|
nil [QCheck.Tuple] | |
nil [QCheck.Shrink] | No shrink |
number_towards [QCheck2.Shrink] | Shrink a number by edging towards a destination. |
numeral [QCheck2.Gen] | Generates numeral characters |
numeral [QCheck.Gen] | Generates numeral characters. |
numeral_char [QCheck] | Uniformly distributed over |
numeral_string [QCheck] | Generates strings with a distribution of length of |
numeral_string_of_size [QCheck] | Generates strings with a distribution of characters of |
O | |
o_cons [QCheck2.Tuple] |
|
o_cons [QCheck.Tuple] | |
o_nil [QCheck2.Tuple] |
|
o_nil [QCheck.Tuple] | |
observable [QCheck2.Tuple] |
|
observable [QCheck.Tuple] | |
of_array [QCheck.Iter] | |
of_int [QCheck2.Shrink.Number] | |
of_list [QCheck.Iter] | |
oneof [QCheck2.Gen] |
|
oneof [QCheck.Gen] | Constructs a generator that selects among a given list of generators. |
oneof [QCheck] | Pick a generator among the list, randomly. |
oneofa [QCheck2.Gen] |
|
oneofa [QCheck.Gen] | Constructs a generator that selects among a given array of values. |
oneofa [QCheck] | Pick an element randomly in the array. |
oneofl [QCheck2.Gen] |
|
oneofl [QCheck.Gen] | Constructs a generator that selects among a given list of values. |
oneofl [QCheck] | Pick an element randomly in the list. |
opt [QCheck2.Gen] |
|
opt [QCheck.Gen] | An option generator, with optional ratio. |
option [QCheck2.Observable] |
|
option [QCheck2.Print] |
|
option [QCheck.Observable] | |
option [QCheck.Shrink] | |
option [QCheck.Print] | Option printer. |
option [QCheck] | Choose between returning Some random value with optional ratio, or None. |
P | |
pair [QCheck2.Observable] |
|
pair [QCheck2.Print] |
|
pair [QCheck2.Gen] |
|
pair [QCheck.Observable] | |
pair [QCheck.Shrink] |
|
pair [QCheck.Iter] | |
pair [QCheck.Print] | Pair printer. |
pair [QCheck.Gen] | Generates pairs. |
pair [QCheck] | Combines two generators into a generator of pairs. |
parse_cli [QCheck_base_runner.Raw] | |
pfloat [QCheck2.Gen] | Generates positive floating point numbers ( |
pfloat [QCheck.Gen] | Generates positive floating point numbers (0. |
pint [QCheck2.Gen] | Generates non-strictly positive integers uniformly ( |
pint [QCheck.Gen] | Generates non-strictly positive integers uniformly (0 included). |
pos_float [QCheck] | Positive float generator (no nan and no infinities). |
pos_int [QCheck] | Positive int generator (0 included). |
pos_split [QCheck.Gen] |
|
pos_split2 [QCheck.Gen] |
|
pp [QCheck2.Tree] |
|
pp_str_c [QCheck_base_runner.Color] | |
print [QCheck2.Fn] |
|
print [QCheck2.Observable] |
|
print [QCheck.Fn] | |
print [QCheck.Observable] | |
print_c_ex [QCheck2.Test] | |
print_c_ex [QCheck.Test] | |
print_collect [QCheck2.Test] | Print "collect" results. |
print_error [QCheck2.Test] | |
print_error [QCheck.Test] | |
print_fail [QCheck2.Test] | |
print_fail [QCheck.Test] | |
print_fail_other [QCheck2.Test] | |
print_fail_other [QCheck.Test] | |
print_instance [QCheck2.Test] | |
print_instance [QCheck.Test] | |
print_stat [QCheck2.Test] | Print statistics. |
print_std [QCheck_base_runner.Raw] | |
print_test_error [QCheck2.Test] | |
print_test_error [QCheck.Test] | |
print_test_fail [QCheck2.Test] | |
print_test_fail [QCheck.Test] | |
printable [QCheck2.Gen] | Generates printable characters. |
printable [QCheck.Gen] | Generates printable characters. |
printable_char [QCheck] | Uniformly distributed over a subset of chars. |
printable_string [QCheck] | Generates strings with a distribution of length of |
printable_string_of_size [QCheck] | Generates strings with distribution of characters of |
pure [QCheck2.Gen] |
|
pure [QCheck.Gen] | Synonym for |
Q | |
quad [QCheck2.Observable] |
|
quad [QCheck2.Print] |
|
quad [QCheck2.Gen] |
|
quad [QCheck.Observable] | |
quad [QCheck.Shrink] | Similar to |
quad [QCheck.Iter] | |
quad [QCheck.Print] | Quadruple (4-tuple) printer. |
quad [QCheck.Gen] | Generates quadruples. |
quad [QCheck] | Combines four generators into a generator of 4-tuples. |
R | |
random_state [QCheck_base_runner] | Access the current random state |
range_subset [QCheck.Gen] |
|
reset_line [QCheck_base_runner.Color] | |
return [QCheck2.Gen] | Synonym for |
return [QCheck.Iter] | |
return [QCheck.Gen] | Create a constant generator. |
root [QCheck2.Tree] |
|
run [QCheck_ounit] |
|
run_tap [QCheck_ounit] | TAP-compatible test runner, in case we want to use a test harness. |
run_tests [QCheck_base_runner] | Run a suite of tests, and print its results. |
run_tests_main [QCheck_base_runner] | Can be used as the main function of a test file. |
S | |
set_collect [QCheck] | |
set_gen [QCheck] | Change the generator |
set_long_tests [QCheck_base_runner] | Change the value of |
set_name [QCheck2.Test] | |
set_name [QCheck.Test] | |
set_print [QCheck] | |
set_seed [QCheck_base_runner] | Change the |
set_shrink [QCheck] | |
set_small [QCheck] | |
set_stats [QCheck] | |
set_time_between_msg [QCheck_base_runner] | Set the minimum tiem between messages. |
set_verbose [QCheck_base_runner] | Change the value of |
shrink [QCheck.Fn] | |
shuffle_a [QCheck2.Gen] | Returns a copy of the array with its elements shuffled. |
shuffle_a [QCheck.Gen] | Shuffles the array in place. |
shuffle_l [QCheck2.Gen] | Creates a generator of shuffled lists. |
shuffle_l [QCheck.Gen] | Creates a generator of shuffled lists. |
shuffle_w_l [QCheck2.Gen] | Creates a generator of weighted shuffled lists. |
shuffle_w_l [QCheck.Gen] | Creates a generator of weighted shuffled lists. |
sized [QCheck2.Gen] | Creates a generator from a size-bounded generator by first
generating a size using |
sized [QCheck.Gen] | Creates a generator from a size-bounded generator by first
generating a size using |
sized_size [QCheck2.Gen] | Creates a generator from a size-bounded generator by first generating a size using the integer generator and passing the result to the size-bounded generator. |
sized_size [QCheck.Gen] | Creates a generator from a size-bounded generator by first generating a size using the integer generator and passing the result to the size-bounded generator. |
small_array [QCheck2.Gen] | Generates arrays of small size (see |
small_array [QCheck.Gen] | Generates arrays of small size (see |
small_int [QCheck2.Gen] | Small UNSIGNED integers, for retrocompatibility. |
small_int [QCheck.Gen] | Small UNSIGNED integers, for retrocompatibility. |
small_int [QCheck] | Small unsigned integers. |
small_int_corners [QCheck2.Gen] | As |
small_int_corners [QCheck] | As |
small_list [QCheck2.Gen] | Generates lists of small size (see |
small_list [QCheck.Gen] | Generates lists of small size (see |
small_list [QCheck] | Generates lists of small size (see |
small_nat [QCheck2.Gen] | Small positive integers (< |
small_nat [QCheck.Gen] | Small integers (< 100) |
small_nat [QCheck] | Small unsigned integers. |
small_printable_string [QCheck] | |
small_signed_int [QCheck2.Gen] | Small SIGNED integers, based on |
small_signed_int [QCheck.Gen] | Small SIGNED integers, based on |
small_signed_int [QCheck] | Small signed integers. |
small_string [QCheck2.Gen] | Builds a string generator, length is |
small_string [QCheck.Gen] | Builds a string generator, length is |
small_string [QCheck] | Same as |
stats [QCheck2.TestResult] | Obtain statistics |
stats [QCheck.TestResult] | Obtain statistics |
string [QCheck2.Observable] |
|
string [QCheck2.Print] |
|
string [QCheck2.Gen] | Builds a string generator. |
string [QCheck.Observable] | |
string [QCheck.Shrink] | |
string [QCheck.Print] | String printer. |
string [QCheck.Gen] | Builds a string generator. |
string [QCheck] | Generates strings with a distribution of length of |
string_gen [QCheck] | Generates strings with a distribution of length of |
string_gen_of_size [QCheck] | |
string_of [QCheck2.Gen] | Builds a string generator using the given character generator. |
string_of [QCheck.Gen] | Builds a string generator using the given character generator. |
string_of_size [QCheck] | Generates strings with distribution of characters if |
string_printable [QCheck2.Gen] | Builds a string generator using the |
string_printable [QCheck.Gen] | Builds a string generator using the |
string_readable [QCheck.Gen] | |
string_size [QCheck2.Gen] | Builds a string generator from a (non-negative) size generator. |
string_size [QCheck.Gen] | Builds a string generator from a (non-negative) size generator. |
sub [QCheck2.Shrink.Number] | |
T | |
test_get_count [QCheck2.Test] | |
to_ounit2_test [QCheck_ounit] |
|
to_ounit2_test_list [QCheck_ounit] |
|
to_ounit_test [QCheck_ounit] |
|
to_ounit_test_cell [QCheck_ounit] | Same as |
triple [QCheck2.Observable] |
|
triple [QCheck2.Print] |
|
triple [QCheck2.Gen] |
|
triple [QCheck.Observable] | |
triple [QCheck.Shrink] | Similar to |
triple [QCheck.Iter] | |
triple [QCheck.Print] | Triple (3-tuple) printer. |
triple [QCheck.Gen] | Generates triples. |
triple [QCheck] | Combines three generators into a generator of 3-tuples. |
U | |
ui32 [QCheck2.Gen] | Generates |
ui32 [QCheck.Gen] | Generates (unsigned) |
ui64 [QCheck2.Gen] | Generates |
ui64 [QCheck.Gen] | Generates (unsigned) |
unit [QCheck2.Observable] |
|
unit [QCheck2.Print] |
|
unit [QCheck2.Gen] | The unit generator. |
unit [QCheck.Observable] | |
unit [QCheck.Shrink] | |
unit [QCheck.Print] | |
unit [QCheck.Gen] | The unit generator. |
unit [QCheck] | Always generates |
V | |
verbose [QCheck_base_runner] | Is the default mode verbose or quiet? |
W | |
warnings [QCheck2.TestResult] | Obtain list of warnings |
warnings [QCheck.TestResult] | Obtain list of warnings |