Module Print

module Print: sig .. end

Printing functions using module Format

Printing functions for standard datatypes (lists,arrays,...)

In the following functions, optional arguments ?first, ?sep, ?last denotes the formatting instructions (under the form of a format string) issued at the beginning, between two elements, and at the end.

The functional argument(s) indicate(s) how to print elements.

val list : ?first:(unit, Format.formatter, unit) Pervasives.format ->
       ?sep:(unit, Format.formatter, unit) Pervasives.format ->
       ?last:(unit, Format.formatter, unit) Pervasives.format ->
       (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit

Print a list

val array : ?first:(unit, Format.formatter, unit) Pervasives.format ->
       ?sep:(unit, Format.formatter, unit) Pervasives.format ->
       ?last:(unit, Format.formatter, unit) Pervasives.format ->
       (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a array -> unit

Print an array

val pair : ?first:(unit, Format.formatter, unit) Pervasives.format ->
       ?sep:(unit, Format.formatter, unit) Pervasives.format ->
       ?last:(unit, Format.formatter, unit) Pervasives.format ->
       (Format.formatter -> 'a -> unit) ->
       (Format.formatter -> 'b -> unit) -> Format.formatter -> 'a * 'b -> unit

Print a pair

val option : ?first:(unit, Format.formatter, unit) Pervasives.format ->
       ?last:(unit, Format.formatter, unit) Pervasives.format ->
       (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a option -> unit

Print an optional element

val hash : ?first:(unit, Format.formatter, unit) Pervasives.format ->
       ?sep:(unit, Format.formatter, unit) Pervasives.format ->
       ?last:(unit, Format.formatter, unit) Pervasives.format ->
       ?firstbind:(unit, Format.formatter, unit) Pervasives.format ->
       ?sepbind:(unit, Format.formatter, unit) Pervasives.format ->
       ?lastbind:(unit, Format.formatter, unit) Pervasives.format ->
       (Format.formatter -> 'a -> unit) ->
       (Format.formatter -> 'b -> unit) ->
       Format.formatter -> ('a, 'b) Hashtbl.t -> unit

Print an hashtable

val weak : ?first:(unit, Format.formatter, unit) Pervasives.format ->
       ?sep:(unit, Format.formatter, unit) Pervasives.format ->
       ?last:(unit, Format.formatter, unit) Pervasives.format ->
       (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a Weak.t -> unit

Print a weak pointer array

Useful functions

val string_of_print : (Format.formatter -> 'a -> unit) -> 'a -> string

Transforms a printing function into a conversion-to-string function.

val print_of_string : ('a -> string) -> Format.formatter -> 'a -> unit

Transforms a conversion-to-string function to a printing function.

val sprintf : ?margin:int -> ('a, Format.formatter, unit, string) Pervasives.format4 -> 'a

Better sprintf function than Format.sprintf, as it takes the same kind of formatters as other Format.Xprintf functions.

val escaped : ?linebreak:char -> string -> string

Escape a string, replacing line breaks by linebreak (default '\n'). When used for DOT output, '\l' and '\r' produces respectively left or right justified lines, instead of center justified lines.