package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct