module Pretty_utils:sig
..end
val sfprintf : ('a, Format.formatter, unit, string) Pervasives.format4 -> 'a
NB: Since 4.01, Format.asprintf provides the same feature. This function
should be deprecated when OCaml >= 4.01.0 becomes mandatory.
val ksfprintf : (string -> 'b) -> ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
val to_string : ?margin:int -> (Format.formatter -> 'a -> unit) -> 'a -> string
margin
is the
maximal width of the box before a line-break is inserted.
See Format.set_margin
val pp_print_string_fill : Format.formatter -> string -> unit
val escape_underscores : string -> string
typesformat =
(unit, Format.formatter, unit) Pervasives.format
type'a
formatter =Format.formatter -> 'a -> unit
type('a, 'b)
formatter2 =Format.formatter -> 'a -> 'b -> unit
val pp_list : ?pre:sformat ->
?sep:sformat ->
?last:sformat ->
?suf:sformat ->
'a formatter -> 'a list formatter
val pp_array : ?pre:sformat ->
?sep:sformat ->
?suf:sformat ->
(int, 'a) formatter2 -> 'a array formatter
val pp_iter : ?pre:sformat ->
?sep:sformat ->
?suf:sformat ->
(('a -> unit) -> 'b -> unit) ->
'a formatter -> 'b formatter
pre
(resp. suf
) is output before (resp. after) the iterator
is started (resp. has ended). The optional argument sep
is output bewteen
two calls to the 'a formatter
. Default: open a box for pre
, close
a box for suf
, nothing for sep
.val pp_iter2 : ?pre:sformat ->
?sep:sformat ->
?suf:sformat ->
?between:sformat ->
(('key -> 'v -> unit) -> 'a -> unit) ->
'key formatter ->
'v formatter -> 'a formatter
pre
(resp. suf
) is output before (resp. after) the iterator
is started (resp. has ended). The optional argument sep
is output bewteen
two calls to the 'a formatter
. The optional argument between
is
output between the key and the value. Default: open a box for pre
, close
a box for suf
, nothing for sep
, break-space for between
.val pp_opt : ?pre:sformat ->
?suf:sformat ->
'a formatter -> 'a option formatter
" and "@
"
respectively. Nothing is printed if the option is None
.val pp_cond : ?pr_false:sformat ->
bool -> sformat formatter
pp_cond cond f s
pretty-prints s
if cond is true
and the optional
pr_false, which defaults to nothing, otherwiseval pp_pair : ?pre:sformat ->
?sep:sformat ->
?suf:sformat ->
'a formatter ->
'b formatter -> ('a * 'b) formatter
pp_pair ?pre ?sep ?suf pp_a pp_b (a,b)
pretty prints the pair (a,b)
,
using the pretty printers pp_a
and pp_b
, with optional
prefix/separator/suffix, whose default values are:val pp_flowlist : ?left:sformat ->
?sep:sformat ->
?right:sformat ->
'a formatter -> 'a list formatter
val pp_blocklist : ?left:sformat ->
?right:sformat ->
'a formatter -> 'a list formatter
val pp_open_block : Format.formatter -> ('a, Format.formatter, unit) Pervasives.format -> 'a
val pp_close_block : Format.formatter -> ('a, Format.formatter, unit) Pervasives.format -> 'a
val pp_trail : 'a formatter -> 'a formatter