Module Pretty

module Pretty: sig  end

Pretty-printing methods for various datatypes.
Author(s): Harald Ruess

module Mode: sig  end

Pretty-printing modes.

val flag : Mode.t Pervasives.ref

type 'a printer = Format.formatter -> 'a -> unit

val unit : unit printer

Parameters:

fmt	:	`Format.formatter`
()	:	`unit`

val string : string printer

Parameters:

fmt	:	`Format.formatter`
str	:	`string`

val number : int printer

Parameters:

fmt	:	`Format.formatter`
i	:	`int`

val option : 'a printer -> 'a option printer

Parameters:

pp	:	`'a printer`
fmt	:	`Format.formatter`
??	:	`'b option`

val bool : bool printer

Parameters:

fmt	:	`Format.formatter`
??	:	`bool`

val three : Three.t printer

Parameters:

fmt	:	`Format.formatter`
??	:	`Three.t`

val list : 'a printer -> 'a list printer

Printing lists in Ocaml syntax.

Parameters:

pp : 'a printer

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

Parameters:

pp1	:	`'a printer`
pp2	:	`'b printer`
fmt	:	`Format.formatter`
(a,b)	:	`'c * 'd`

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

Parameters:

pp1	:	`'a printer`
pp2	:	`'b printer`
pp3	:	`'c printer`
fmt	:	`Format.formatter`
(a,b,c)	:	`'d * 'e * 'f`

val infix : 'a printer -> string -> 'b printer -> ('a * 'b) printer

infix p str q (a, b) prints a using printer p, then it prints str, and then b using printer b.

Parameters:

pp1	:	`'a printer`
op	:	`string`
pp2	:	`'b printer`
fmt	:	`Format.formatter`
(a,b)	:	`'c * 'd`

val mixfix : string ->
       'a printer ->
       string ->
       'b printer ->
       string -> 'c printer -> string -> ('a * 'b * 'c) printer

Parameters:

str1	:	`string`
pp1	:	`'a printer`
str2	:	`string`
pp2	:	`'b printer`
str3	:	`string`
pp3	:	`'c printer`
str4	:	`string`
fmt	:	`Format.formatter`
(a,b,c)	:	`'d * 'e * 'f`

val post : 'a printer -> ('a * string) printer

Parameters:

pp	:	`'a printer`
fmt	:	`Format.formatter`
(a,op)	:	`'b * string`

val infixl : 'a printer -> string -> 'a list printer

infixl pp op prints a list [a1;...;an] in the form a1 op ... op an.

Parameters:

pp	:	`'a printer`
op	:	`string`
fmt	:	`Format.formatter`
al	:	`'b list`

val apply : 'a printer -> (string * 'a list) printer

Parameters:

qq	:	`'a printer`
fmt	:	`Format.formatter`
(f,al)	:	`string * 'b list`

val set : 'a printer -> 'a list printer

Printing of a list as a set.

Parameters:

pp	:	`'a printer`
fmt	:	`Format.formatter`
al	:	`'b list`

val map : 'a printer -> 'b printer -> ('a * 'b) list printer

Printing of a list of pairs as a finite map.

Parameters:

pp1	:	`'a printer`
pp2	:	`'b printer`
fmt	:	`Format.formatter`
ml	:	`('c * 'd) list`

val to_stdout : 'a printer -> 'a -> unit

to_stdout pp transforms a printer pp to print on stdout.

Parameters:

pp	:	`'a printer`
?	:	`'a`

val to_stderr : 'a printer -> 'a -> unit

to_stderr pp transforms a printer to print on stdout.

Parameters:

pp	:	`'a printer`
?	:	`'a`

val to_string : 'a printer -> 'a -> string

to_string pp transforms a printer to print on a string.

Parameters:

pp	:	`'a printer`
x	:	`'a`