package qcheck

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a t = 'a -> string

Printer for values of type 'a

val int : int t

Integer printer

val bool : bool t

Integer printer

Boolean printer

val float : float t

Boolean printer

Floating point number printer

val char : char t

Floating point number printer

Character printer

val string : string t

Character printer

String printer

val option : 'a t -> 'a option t

String printer

Option printer

val pair : 'a t -> 'b t -> ('a * 'b) t

Pair printer. Expects printers for each component

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

Pair printer. Expects printers for each component

Triple (3-tuple) printer. Expects printers for each component

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

Triple (3-tuple) printer. Expects printers for each component

Quadruple (4-tuple) printer. Expects printers for each component

val list : 'a t -> 'a list t

List printer. Expects a printer for the list element type

val array : 'a t -> 'a array t

List printer. Expects a printer for the list element type

Array printer. Expects a printer for the array entry type

val comap : ('a -> 'b) -> 'b t -> 'a t

comap f p maps p, a printer of type 'b, to a printer of type 'a by first converting a printed value using f : 'a -> 'b.