haskelzinc-0.3.1.0: CP in Haskell through MiniZinc

LicenseBSD3
MaintainerKlara Marntirosian <klara.mar@cs.kuleuven.be>
Stabilityexperimental
Safe HaskellSafe
LanguageHaskell2010

Interfaces.MZPrinter

Description

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

Synopsis

Documentation

printModel :: MZModel -> Doc Source #

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

printItem :: Item -> Doc Source #

Prints an Item value.

layout :: [GItem a] -> String Source #

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
}