Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(DevGraph)
Safe HaskellNone

Static.PrintDevGraph

Contents

Description

pretty printing (parts of) a LibEnv

Synopsis

Documentation

prettyLEdge :: LEdge DGLinkLab -> Doc Source #

print short edge information

showLEdge :: LEdge DGLinkLab -> String Source #

only shows the edge and node ids

showXPath :: [XPathPart] -> String Source #

Orphan instances

Pretty ConsStatus Source # 
Pretty ThmLinkStatus Source # 
Pretty DGRule Source # 
Pretty EdgeId Source # 
Pretty NodeName Source # 
Pretty DGraph Source # 
Pretty RTNodeLab Source # 
Pretty RTNodeType Source # 
Pretty DGChange Source # 
Pretty AlignSig Source # 
Pretty GlobalEntry Source # 
Pretty RefSig Source # 
Pretty ImpUnitSigOrSig Source # 
Pretty UnitSig Source # 
Pretty ExtViewSig Source # 
Pretty ExtGenSig Source # 
Pretty DGLinkLab Source # 
Pretty DGLinkType Source # 
Pretty DGLinkOrigin Source # 
Pretty DGNodeLab Source # 
Pretty DGNodeInfo Source # 
Pretty DGOrigin Source # 
Pretty NodeSig Source #