Module Qed.PlibSource

Pretty Printing Utilities.

Message Formatters

Sourceval kprintf : (string -> 'b) -> ('a, Format.formatter, unit, 'b) format4 -> 'a
Sourceval sprintf : ('a, Format.formatter, unit, string) format4 -> 'a
Sourceval failure : ('a, Format.formatter, unit, 'b) format4 -> 'a
Sourceval to_string : (Format.formatter -> 'a -> unit) -> 'a -> string

Pretty printers

Sourcetype 'a printer = Format.formatter -> 'a -> unit
Sourcetype 'a printer2 = Format.formatter -> 'a -> 'a -> unit

Function calls

Sourceval pp_call_var : f:string -> 'a printer -> 'a list printer
Sourceval pp_call_void : f:string -> 'a printer -> 'a list printer
Sourceval pp_call_apply : f:string -> 'a printer -> 'a list printer

Operators

Sourceval pp_assoc : ?e:string -> op:string -> 'a printer -> 'a list printer
Sourceval pp_binop : op:string -> 'a printer -> 'a printer2
Sourceval pp_fold_binop : ?e:string -> op:string -> 'a printer -> 'a list printer
Sourceval pp_fold_call : ?e:string -> f:string -> 'a printer -> 'a list printer
Sourceval pp_fold_apply : ?e:string -> f:string -> 'a printer -> 'a list printer
Sourceval pp_fold_call_rev : ?e:string -> f:string -> 'a printer -> 'a list printer
Sourceval pp_fold_apply_rev : ?e:string -> f:string -> 'a printer -> 'a list printer

Iterations

Sourcetype index =
  1. | Isingle
  2. | Ifirst
  3. | Ilast
  4. | Imiddle
Sourceval iteri : (index -> 'a -> unit) -> 'a list -> unit
Sourceval iterk : (int -> 'a -> unit) -> 'a list -> unit
Sourceval mapk : (int -> 'a -> 'b) -> 'a list -> 'b list
Sourceval pp_listcompact : sep:string -> 'a printer -> 'a list printer
Sourceval pp_listsep : sep:string -> 'a printer -> 'a list printer
Sourceval global_substitute_fmt : Str.regexp -> string printer -> Format.formatter -> string -> unit

string substitution

substitute the result of the given printer for each non-overlapping part of the given string that match the regexp

Sourceval iter_group : Str.regexp -> (string -> unit) -> string -> unit

call the given function for each non-overlapping part of the given string that match the regexp

Sourceval substitute_list : 'a printer -> string -> 'a list printer

substitute_list templ print_arg fmt l prints in the formatter fmt the list l using the template templ and the printer print_arg. The template use %[0-9]+ hole.

Sourceval is_template : string -> bool

Check whether the string contains %[0-9]+ holes to be used with substitute_list.