package qcheck-core

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Internal Utils

package qcheck-core

qcheck-core
- QCheck
  - Fn
  - Gen
  - Iter
  - Observable
  - Print
  - Shrink
  - Test
  - TestResult
  - Tuple
    
    Infix
- QCheck2
  - Fn
  - Gen
  - Observable
  - Print
  - Shrink
    
    Number
  - Test
  - TestResult
  - Test_exceptions
  - Tree
  - Tuple
    
    Infix
qcheck-core.runner
- QCheck_base_runner
  - Color
  - Raw

Legend:
Library
Module
Module type
Parameter
Class
Class type

Internal Utils

We provide NO stability guarantee for this module. Use at your own risks.

type ('b, 'c) printer = {

info : 'a. ('a, 'b, 'c, unit) format4 -> 'a;
fail : 'a. ('a, 'b, 'c, unit) format4 -> 'a;
err : 'a. ('a, 'b, 'c, unit) format4 -> 'a;

}

val print_std : (out_channel, unit) printer

val callback : 
  colors:bool ->
  verbose:bool ->
  print_res:bool ->
  print:('a, 'b) printer ->
  string ->
  'c QCheck2.Test.cell ->
  'c QCheck2.TestResult.t ->
  unit

type cli_args = {

cli_verbose : bool;
cli_long_tests : bool;
cli_print_list : bool;
cli_rand : Random.State.t;
cli_slow_test : int;
cli_colors : bool;
cli_debug_shrink : out_channel option;
cli_debug_shrink_list : string list;

}

val parse_cli : full_options:bool -> string array -> cli_args