package qcheck-core

  1. Overview
  2. Docs
Core QCheck library

Install 

dune-project
 Dependency

github.com Changelog Edit opam file Versions (7)

Authors

  1. T
    the qcheck contributors

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

v0.91.tar.gz
md5=ac45753406af93cb77a3c173741e0fe8
sha512=3baa8c04a43db0497891394208c8a6184d603e4fe0ad9d15fddf666e7a628597210874ca85c96022b69c11a99fdd43bbbf0e6211e34ed7d1dea7b1c95bd54316

doc/qcheck-core/QCheck2/Print/index.html

Module QCheck2.PrintSource

Printing functions and helpers, used to print generated values on test failures.

Sourcetype 'a t = 'a -> string

Printer for values of type 'a.

Sourceval unit : unit t

unit is a printer of unit.

  • since 0.6
Sourceval int : int t

int is a printer of integers.

Sourceval int32 : int32 t

int32 is a printer of 32-bit integers.

  • since 0.24
Sourceval int64 : int64 t

int64 is a printer of 64-bit integers.

  • since 0.24
Sourceval bool : bool t

bool is a printer of boolean.

Sourceval float : float t

float is a printer of float.

Sourceval char : char t

char is a printer of character.

Sourceval bytes : bytes t

bytes is a printer of bytes.

  • since 0.20
Sourceval string : string t

string is a printer of string.

Sourceval option : 'a t -> 'a option t

option p is a printer of 'a option, using p if it is a Some.

Sourceval result : 'a t -> 'e t -> ('a, 'e) result t

result okp errp is a printer of ('a,'e) result, using okp for printing Ok _ and errp for printing Error _.

  • since 0.24
Sourceval pair : 'a t -> 'b t -> ('a * 'b) t

pair p1 p2 is a printer of pair.

Sourceval triple : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t

triple p1 p2 p3 is a printer of triple.

Sourceval quad : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t

quad p1 p2 p3 p4 is a printer of quadruple.

Sourceval list : 'a t -> 'a list t

list p is a printer of list, using p for each element.

Sourceval array : 'a t -> 'a array t

array p is a printer of array, using p for each element.

Sourceval contramap : ('b -> 'a) -> 'a t -> 'b t

contramap f p transforms printer p into another using f.

Note the reverse order of types in f which may be conter-intuitive: indeed a function that prints values of type 'b can be obtained by transforming a value of type 'b to 'a using f, and then by printing this value of type 'a using p.

Sourceval comap : ('b -> 'a) -> 'a t -> 'b t
Sourceval tup2 : 'a t -> 'b t -> ('a * 'b) t

2-tuple printer. Expects printers for each component.

Sourceval tup3 : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t

3-tuple printer. Expects printers for each component.

Sourceval tup4 : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t

4-tuple printer. Expects printers for each component.

Sourceval tup5 : 'a t -> 'b t -> 'c t -> 'd t -> 'e t -> ('a * 'b * 'c * 'd * 'e) t

5-tuple printer. Expects printers for each component.

Sourceval tup6 : 'a t -> 'b t -> 'c t -> 'd t -> 'e t -> 'f t -> ('a * 'b * 'c * 'd * 'e * 'f) t

6-tuple printer. Expects printers for each component.

Sourceval tup7 : 'a t -> 'b t -> 'c t -> 'd t -> 'e t -> 'f t -> 'g t -> ('a * 'b * 'c * 'd * 'e * 'f * 'g) t

7-tuple printer. Expects printers for each component.

Sourceval tup8 : 'a t -> 'b t -> 'c t -> 'd t -> 'e t -> 'f t -> 'g t -> 'h t -> ('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h) t

8-tuple printer. Expects printers for each component.

Sourceval tup9 : 'a t -> 'b t -> 'c t -> 'd t -> 'e t -> 'f t -> 'g t -> 'h t -> 'i t -> ('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i) t

9-tuple printer. Expects printers for each component.