| Copyright | (c) Dominik Dietrich Ewaryst Schulz DFKI Bremen 2010 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Ewaryst.Schulz@dfki.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe |
CSL.Print_AS
Contents
Description
Pretty printing the abstract syntax of CSL.
- printExpression :: ExpressionPrinter m => EXPRESSION -> m Doc
- printCMD :: ExpressionPrinter m => CMD -> m Doc
- printAssDefinition :: ExpressionPrinter m => AssDefinition -> m Doc
- printConstantName :: ConstantName -> Doc
- class Monad m => ExpressionPrinter m where
Documentation
printExpression :: ExpressionPrinter m => EXPRESSION -> m Doc Source #
printAssDefinition :: ExpressionPrinter m => AssDefinition -> m Doc Source #
printConstantName :: ConstantName -> Doc Source #
The default ConstantName printer
class Monad m => ExpressionPrinter m where Source #
A monad for printing of constants. This turns the pretty printing facility
more flexible w.r.t. the output of ConstantName.
Methods
getOINM :: m OpInfoNameMap Source #
printConstant :: ConstantName -> m Doc Source #
printOpname :: OPNAME -> m Doc Source #
prefixMode :: m Bool Source #
printArgs :: [Doc] -> m Doc Source #
printArgPattern :: String -> m Doc Source #
printInterval :: Double -> Double -> m Doc Source #
printRational :: APFloat -> m Doc Source #
Instances
| ExpressionPrinter [] Source # | |
| ExpressionPrinter (Reader OpInfoNameMap) Source # | An |