Module Cudf_printerSource

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

For pretty printing of micro-components see Cudf_types_pp.

Pretty print to standard output channels
Sourceval pp_cudf : out_channel -> Cudf.cudf -> unit
Sourceval pp_doc : out_channel -> Cudf.cudf_doc -> unit
Sourceval pp_solution : out_channel -> Cudf.solution -> unit
Sourceval pp_item : out_channel -> Cudf.cudf_item -> unit
Sourceval pp_package : out_channel -> Cudf.package -> unit
Sourceval pp_preamble : out_channel -> Cudf.preamble -> unit
Sourceval pp_request : out_channel -> Cudf.request -> unit
Sourceval pp_packages : out_channel -> Cudf.package list -> unit
Sourceval pp_universe : 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

Sourceval pp_io_cudf : 'a IO.output -> Cudf.cudf -> unit
Sourceval pp_io_doc : 'a IO.output -> Cudf.cudf_doc -> unit
Sourceval pp_io_solution : 'a IO.output -> Cudf.solution -> unit
Sourceval pp_io_item : 'a IO.output -> Cudf.cudf_item -> unit
Sourceval pp_io_package : 'a IO.output -> Cudf.package -> unit
Sourceval pp_io_preamble : 'a IO.output -> Cudf.preamble -> unit
Sourceval pp_io_request : 'a IO.output -> Cudf.request -> unit
Sourceval pp_io_packages : 'a IO.output -> Cudf.package list -> unit
Sourceval 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.

Sourceval pp_package_gen : pp_property:('out -> (string * string) -> unit) -> 'out -> Cudf.package -> unit
Sourceval pp_request_gen : pp_property:('out -> (string * string) -> unit) -> 'out -> Cudf.request -> unit
Sourceval pp_preamble_gen : pp_property:('out -> (string * string) -> unit) -> 'out -> Cudf.preamble -> unit
Sourceval pp_universe_gen : pp_package:('out -> Cudf.package -> unit) -> pp_sep:('out -> unit) -> 'out -> Cudf.universe -> unit
Sourceval pp_packages_gen : pp_package:('out -> Cudf.package -> unit) -> pp_sep:('out -> unit) -> 'out -> Cudf.package list -> unit
Sourceval 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
Sourceval 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
Sourceval pp_solution_gen : pp_preamble:('out -> Cudf.preamble -> unit) -> pp_universe:('out -> Cudf.universe -> unit) -> pp_sep:('out -> unit) -> 'out -> Cudf.solution -> unit
Sourceval 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