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

CSL.Print_AS

Contents

Description

Pretty printing the abstract syntax of CSL.

Synopsis

Documentation

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.

Orphan instances

GetRange SYMB_OR_MAP Source # 
GetRange SYMB_MAP_ITEMS Source # 
GetRange SYMB Source # 
GetRange SYMB_ITEMS Source # 
GetRange CMD Source # 
GetRange EXPRESSION Source # 
GetRange BASIC_ITEM Source # 
GetRange BASIC_SPEC Source # 
GetRange VAR_ITEM Source # 
GetRange OP_ITEM Source # 
Pretty Ordering Source # 

Methods

pretty :: Ordering -> Doc Source #

pretties :: [Ordering] -> Doc Source #

Pretty InfInt Source # 
Pretty SYMB_OR_MAP Source # 
Pretty SYMB_MAP_ITEMS Source # 
Pretty SYMB Source # 

Methods

pretty :: SYMB -> Doc Source #

pretties :: [SYMB] -> Doc Source #

Pretty SYMB_ITEMS Source # 
Pretty CMD Source # 

Methods

pretty :: CMD -> Doc Source #

pretties :: [CMD] -> Doc Source #

Pretty OpDecl Source # 
Pretty VarDecl Source # 
Pretty EXPRESSION Source # 
Pretty ConstantName Source # 
Pretty OPID Source # 

Methods

pretty :: OPID -> Doc Source #

pretties :: [OPID] -> Doc Source #

Pretty EPVal Source # 
Pretty EPDecl Source # 
Pretty EXTPARAM Source # 
Pretty BASIC_ITEM Source # 
Pretty InstantiatedConstant Source # 
Pretty AssDefinition Source # 
Pretty GroundConstant Source # 
Pretty BASIC_SPEC Source # 
Pretty VAR_ITEM Source # 
Pretty OP_ITEM Source # 
Pretty a => Pretty (ClosedInterval a) Source # 
(Ord a, Pretty a) => Pretty (SetOrInterval a) Source #