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

Orphan instances

Description

Pretty printing the abstract syntax of CSL.

Synopsis

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
- 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

Documentation

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

printCMD :: ExpressionPrinter m => CMD -> 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.

Minimal complete definition

Nothing

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

Instances details

ExpressionPrinter [] Source #
Instance details Defined in CSL.Print_AS Methods getOINM :: [OpInfoNameMap] Source # printConstant :: ConstantName -> [Doc] Source # printOpname :: OPNAME -> [Doc] Source # prefixMode :: [Bool] Source # printArgs :: [Doc] -> [Doc] Source # printArgPattern :: String -> [Doc] Source # printInterval :: Double -> Double -> [Doc] Source # printRational :: APFloat -> [Doc] Source #
ExpressionPrinter (Reader OpInfoNameMap) Source #	An `OpInfoNameMap` can be interpreted as an `ExpressionPrinter`
Instance details Defined in CSL.Print_AS Methods getOINM :: Reader OpInfoNameMap OpInfoNameMap Source # printConstant :: ConstantName -> Reader OpInfoNameMap Doc Source # printOpname :: OPNAME -> Reader OpInfoNameMap Doc Source # prefixMode :: Reader OpInfoNameMap Bool Source # printArgs :: [Doc] -> Reader OpInfoNameMap Doc Source # printArgPattern :: String -> Reader OpInfoNameMap Doc Source # printInterval :: Double -> Double -> Reader OpInfoNameMap Doc Source # printRational :: APFloat -> Reader OpInfoNameMap Doc Source #

Orphan instances

GetRange SYMB_OR_MAP Source #
Instance details Methods getRange :: SYMB_OR_MAP -> Range Source # rangeSpan :: SYMB_OR_MAP -> [Pos] Source #
GetRange SYMB_MAP_ITEMS Source #
Instance details Methods getRange :: SYMB_MAP_ITEMS -> Range Source # rangeSpan :: SYMB_MAP_ITEMS -> [Pos] Source #
GetRange SYMB Source #
Instance details Methods getRange :: SYMB -> Range Source # rangeSpan :: SYMB -> [Pos] Source #
GetRange SYMB_ITEMS Source #
Instance details Methods getRange :: SYMB_ITEMS -> Range Source # rangeSpan :: SYMB_ITEMS -> [Pos] Source #
GetRange CMD Source #
Instance details Methods getRange :: CMD -> Range Source # rangeSpan :: CMD -> [Pos] Source #
GetRange EXPRESSION Source #
Instance details Methods getRange :: EXPRESSION -> Range Source # rangeSpan :: EXPRESSION -> [Pos] Source #
GetRange BASIC_ITEM Source #
Instance details Methods getRange :: BASIC_ITEM -> Range Source # rangeSpan :: BASIC_ITEM -> [Pos] Source #
GetRange BASIC_SPEC Source #
Instance details Methods getRange :: BASIC_SPEC -> Range Source # rangeSpan :: BASIC_SPEC -> [Pos] Source #
GetRange VAR_ITEM Source #
Instance details Methods getRange :: VAR_ITEM -> Range Source # rangeSpan :: VAR_ITEM -> [Pos] Source #
GetRange OP_ITEM Source #
Instance details Methods getRange :: OP_ITEM -> Range Source # rangeSpan :: OP_ITEM -> [Pos] Source #
Pretty Ordering Source #
Instance details Methods pretty :: Ordering -> Doc Source # pretties :: [Ordering] -> Doc Source #
Pretty InfInt Source #
Instance details Methods pretty :: InfInt -> Doc Source # pretties :: [InfInt] -> Doc Source #
Pretty SYMB_OR_MAP Source #
Instance details Methods pretty :: SYMB_OR_MAP -> Doc Source # pretties :: [SYMB_OR_MAP] -> Doc Source #
Pretty SYMB_MAP_ITEMS Source #
Instance details Methods pretty :: SYMB_MAP_ITEMS -> Doc Source # pretties :: [SYMB_MAP_ITEMS] -> Doc Source #
Pretty SYMB Source #
Instance details Methods pretty :: SYMB -> Doc Source # pretties :: [SYMB] -> Doc Source #
Pretty SYMB_ITEMS Source #
Instance details Methods pretty :: SYMB_ITEMS -> Doc Source # pretties :: [SYMB_ITEMS] -> Doc Source #
Pretty CMD Source #
Instance details Methods pretty :: CMD -> Doc Source # pretties :: [CMD] -> Doc Source #
Pretty OpDecl Source #
Instance details Methods pretty :: OpDecl -> Doc Source # pretties :: [OpDecl] -> Doc Source #
Pretty VarDecl Source #
Instance details Methods pretty :: VarDecl -> Doc Source # pretties :: [VarDecl] -> Doc Source #
Pretty EXPRESSION Source #
Instance details Methods pretty :: EXPRESSION -> Doc Source # pretties :: [EXPRESSION] -> Doc Source #
Pretty ConstantName Source #
Instance details Methods pretty :: ConstantName -> Doc Source # pretties :: [ConstantName] -> Doc Source #
Pretty OPID Source #
Instance details Methods pretty :: OPID -> Doc Source # pretties :: [OPID] -> Doc Source #
Pretty EPVal Source #
Instance details Methods pretty :: EPVal -> Doc Source # pretties :: [EPVal] -> Doc Source #
Pretty EPDecl Source #
Instance details Methods pretty :: EPDecl -> Doc Source # pretties :: [EPDecl] -> Doc Source #
Pretty EXTPARAM Source #
Instance details Methods pretty :: EXTPARAM -> Doc Source # pretties :: [EXTPARAM] -> Doc Source #
Pretty BASIC_ITEM Source #
Instance details Methods pretty :: BASIC_ITEM -> Doc Source # pretties :: [BASIC_ITEM] -> Doc Source #
Pretty InstantiatedConstant Source #
Instance details Methods pretty :: InstantiatedConstant -> Doc Source # pretties :: [InstantiatedConstant] -> Doc Source #
Pretty AssDefinition Source #
Instance details Methods pretty :: AssDefinition -> Doc Source # pretties :: [AssDefinition] -> Doc Source #
Pretty GroundConstant Source #
Instance details Methods pretty :: GroundConstant -> Doc Source # pretties :: [GroundConstant] -> Doc Source #
Pretty BASIC_SPEC Source #
Instance details Methods pretty :: BASIC_SPEC -> Doc Source # pretties :: [BASIC_SPEC] -> Doc Source #
Pretty VAR_ITEM Source #
Instance details Methods pretty :: VAR_ITEM -> Doc Source # pretties :: [VAR_ITEM] -> Doc Source #
Pretty OP_ITEM Source #
Instance details Methods pretty :: OP_ITEM -> Doc Source # pretties :: [OP_ITEM] -> Doc Source #
Pretty a => Pretty (ClosedInterval a) Source #
Instance details Methods pretty :: ClosedInterval a -> Doc Source # pretties :: [ClosedInterval a] -> Doc Source #
(Ord a, Pretty a) => Pretty (SetOrInterval a) Source #
Instance details Methods pretty :: SetOrInterval a -> Doc Source # pretties :: [SetOrInterval a] -> Doc Source #