type 'a t
= 'a ‑> string
Printer for values of type 'a.
'a
val unit : unit t
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.
comap f p
p
'b
f : 'a -> 'b