cudf 0.10 · OCaml Package

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 : out_channel -> Cudf.cudf -> unit

val pp_doc : out_channel -> Cudf.cudf_doc -> unit

val pp_solution : out_channel -> Cudf.solution -> unit

val pp_item : out_channel -> Cudf.cudf_item -> unit

val pp_package : out_channel -> Cudf.package -> unit

val pp_preamble : out_channel -> Cudf.preamble -> unit

val pp_request : out_channel -> Cudf.request -> unit

val pp_packages : out_channel -> Cudf.package list -> unit

val 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

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

package cudf

Pretty print to standard output channels

Pretty print to abstract output channels

Generic, higher-order pretty printers