Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Dietrich, Ewaryst Schulz, DFKI Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerEwaryst.Schulz@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred

CSL.Print_AS

Description

Pretty printing the abstract syntax of CSL.

Synopsis

Documentation

printExpression :: ExpressionPrinter m => EXPRESSION -> m Doc

printCMD :: ExpressionPrinter m => CMD -> m Doc

printAssDefinition :: ExpressionPrinter m => AssDefinition -> m Doc

printConstantName :: ConstantName -> Doc

The default ConstantName printer

class Monad m => ExpressionPrinter m where

A monad for printing of constants. This turns the pretty printing facility more flexible w.r.t. the output of ConstantName.

Minimal complete definition

Nothing

Methods

getOINM :: m OpInfoNameMap

printConstant :: ConstantName -> m Doc

printOpname :: OPNAME -> m Doc

prefixMode :: m Bool

printArgs :: [Doc] -> m Doc

printArgPattern :: String -> m Doc

printInterval :: Double -> Double -> m Doc

printRational :: APFloat -> m Doc

Instances