Cudf_printer

# Module Cudf_printer

    module Cudf_printer: sig .. end

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