package qtest

You can search for identifiers within the package.

in-package search v0.2.0

qcheck
- QCheck
  - Gen
  - Iter
  - Print
  - Shrink
  - Test
  - TestResult
- QCheck_runner

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a cell

val make_cell : 
  ?count:int ->
  ?max_gen:int ->
  ?max_fail:int ->
  ?small:('a -> int) ->
  ?name:string ->
  'a arbitrary ->
  ('a -> bool) ->
  'a cell

val get_arbitrary : 'a cell -> 'a arbitrary

val get_law : 'a cell -> 'a -> bool

val get_name : 'a cell -> string option

val set_name : 'a cell -> string -> unit

type t =

| Test : 'a cell -> t

val make : 
  ?count:int ->
  ?max_gen:int ->
  ?max_fail:int ->
  ?small:('a -> int) ->
  ?name:string ->
  'a arbitrary ->
  ('a -> bool) ->
  t

exception Test_fail of string * string list

exception Test_error of string * string * exn * string

val print_instance : 'a arbitrary -> 'a -> string

val print_c_ex : 'a arbitrary -> 'a TestResult.counter_ex -> string

val print_fail : 
  'a arbitrary ->
  string ->
  'a TestResult.counter_ex list ->
  string

val print_error : 
  ?st:string ->
  'a arbitrary ->
  string ->
  ('a TestResult.counter_ex * exn) ->
  string

val print_test_fail : string -> string list -> string

val print_test_error : string -> string -> exn -> string -> string

val check_result : 'a cell -> 'a TestResult.t -> unit

type !'a callback = string -> 'a cell -> 'a TestResult.t -> unit

val check_cell : 
  ?call:'a callback ->
  ?rand:Random.State.t ->
  'a cell ->
  'a TestResult.t

val check_cell_exn : 
  ?call:'a callback ->
  ?rand:Random.State.t ->
  'a cell ->
  unit

val check_exn : ?rand:Random.State.t -> t -> unit