Hets - the Heterogeneous Tool Set
Copyright(c) Klaus Luettich Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Grothendieck)
Safe HaskellNone

Syntax.Print_AS_Library

Description

Pretty printing of CASL specification libaries

Orphan instances

Pretty CORRESPONDENCE Source # 
Instance details

Methods

pretty :: CORRESPONDENCE -> Doc Source #

pretties :: [CORRESPONDENCE] -> Doc Source #

Pretty ItemNameMap Source # 
Instance details

Methods

pretty :: ItemNameMap -> Doc Source #

pretties :: [ItemNameMap] -> Doc Source #

Pretty ALIGN_ARITIES Source # 
Instance details

Methods

pretty :: ALIGN_ARITIES -> Doc Source #

pretties :: [ALIGN_ARITIES] -> Doc Source #

PrettyLG OmsOrNetwork Source # 
Instance details

Methods

prettyLG :: LogicGraph -> OmsOrNetwork -> Doc Source #

PrettyLG VIEW_TYPE Source # 
Instance details

Methods

prettyLG :: LogicGraph -> VIEW_TYPE -> Doc Source #

PrettyLG GENERICITY Source # 
Instance details

Methods

prettyLG :: LogicGraph -> GENERICITY -> Doc Source #

PrettyLG LIB_ITEM Source # 
Instance details

Methods

prettyLG :: LogicGraph -> LIB_ITEM -> Doc Source #

PrettyLG LIB_DEFN Source # 
Instance details

Methods

prettyLG :: LogicGraph -> LIB_DEFN -> Doc Source #