Module QCheck.Print

module Print: sig .. end

Show Values



type 'a t = 'a -> string 
Printer for values of type 'a.
val unit : unit t
Since 0.6
val int : int t
Integer printer.
val bool : bool t
Boolean printer.
val float : float t
Floating point number printer.
val char : char t
Character printer.
val string : string t
String printer.
val option : 'a t -> 'a option t
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
Triple (3-tuple) printer. Expects printers for each component.
val quad : 'a t ->
'b t ->
'c t -> 'd t -> ('a * 'b * 'c * 'd) t
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
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.