Interfaces.MZPrinter

This module provides a pretty-printer of MiniZinc models represented by the Interfaces.MZASTBase module.

Documentation

printModel :: MZModel -> Doc

Prints the represented MiniZinc model. Essentially, this function applies printItem on each element of the specified model.

printItem :: Item -> Doc

Prints an Item value.

layout :: [GItem a] -> String

The main function that is used to pretty print the MiniZinc model. The Style used is the following.

Style {
  mode = PageMode,
  lineLength = 100,
  ribbonsPerLine = 1.5
}

layoutModel :: MZModel -> String