Up

module Cudf_printer

: sig

Pretty printing of CUDF macro-components (documents, stanzas, ...)

For pretty printing of micro-components see Cudf_types_pp.

Pretty print to standard output channels
#
val pp_cudf : Pervasives.out_channel -> Cudf.cudf -> unit
#
val pp_doc : Pervasives.out_channel -> Cudf.cudf_doc -> unit
#
val pp_solution : Pervasives.out_channel -> Cudf.solution -> unit
#
val pp_item : Pervasives.out_channel -> Cudf.cudf_item -> unit
#
val pp_package : Pervasives.out_channel -> Cudf.package -> unit
#
val pp_preamble : Pervasives.out_channel -> Cudf.preamble -> unit
#
val pp_request : Pervasives.out_channel -> Cudf.request -> unit
#
val pp_packages : Pervasives.out_channel -> Cudf.package list -> unit
#
val pp_universe : Pervasives.out_channel -> Cudf.universe -> unit
Pretty print to abstract output channels

Note: you can write to string using these methods using the following pattern:

let o = IO.output_string () in ... Cudf_printer.pp_* o ...; IO.close_out o

#
val pp_io_cudf : 'a IO.output -> Cudf.cudf -> unit
#
val pp_io_doc : 'a IO.output -> Cudf.cudf_doc -> unit
#
val pp_io_solution : 'a IO.output -> Cudf.solution -> unit
#
val pp_io_item : 'a IO.output -> Cudf.cudf_item -> unit
#
val pp_io_package : 'a IO.output -> Cudf.package -> unit
#
val pp_io_preamble : 'a IO.output -> Cudf.preamble -> unit
#
val pp_io_request : 'a IO.output -> Cudf.request -> unit
#
val pp_io_packages : 'a IO.output -> Cudf.package list -> unit
#
val pp_io_universe : 'a IO.output -> Cudf.universe -> unit
Generic, higher-order pretty printers

Usually, you shouldn't need those and you should be well served by the above printers.

To bootstrap usage of the generic printers, you'll need to provide a pp_property argument --- that takes a property as a pair of name/value strings and print them on a generic output --- and then proceed composing generic printers together.

#
val pp_package_gen : pp_property:('out -> string * string -> unit) -> 'out -> Cudf.package -> unit
#
val pp_request_gen : pp_property:('out -> string * string -> unit) -> 'out -> Cudf.request -> unit
#
val pp_preamble_gen : pp_property:('out -> string * string -> unit) -> 'out -> Cudf.preamble -> unit
#
val pp_universe_gen : pp_package:('out -> Cudf.package -> unit) -> pp_sep:('out -> unit) -> 'out -> Cudf.universe -> unit
#
val pp_packages_gen : pp_package:('out -> Cudf.package -> unit) -> pp_sep:('out -> unit) -> 'out -> Cudf.package list -> unit
#
val pp_cudf_gen : pp_preamble:('out -> Cudf.preamble -> unit) -> pp_universe:('out -> Cudf.universe -> unit) -> pp_request:('out -> Cudf.request -> unit) -> pp_sep:('out -> unit) -> 'out -> Cudf.cudf -> unit
#
val pp_doc_gen : pp_preamble:('out -> Cudf.preamble -> unit) -> pp_packages:('out -> Cudf.package list -> unit) -> pp_request:('out -> Cudf.request -> unit) -> pp_sep:('out -> unit) -> 'out -> Cudf.cudf_doc -> unit
#
val pp_solution_gen : pp_preamble:('out -> Cudf.preamble -> unit) -> pp_universe:('out -> Cudf.universe -> unit) -> pp_sep:('out -> unit) -> 'out -> Cudf.solution -> unit
#
val pp_item_gen : pp_package:('out -> Cudf.package -> unit) -> pp_request:('out -> Cudf.request -> unit) -> pp_preamble:('out -> Cudf.preamble -> unit) -> 'out -> Cudf.cudf_item -> unit
end