| Copyright | (c) C. Maeder Uni Bremen 2002-2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable(DevGraph) |
| Safe Haskell | None |
Static.PrintDevGraph
Contents
Description
pretty printing (parts of) a LibEnv
Synopsis
- prettyLibEnv :: LibEnv -> Doc
- printTh :: GlobalAnnos -> IRI -> G_theory -> Doc
- prettyHistElem :: HistElem -> Doc
- prettyHistory :: ProofHistory -> Doc
- prettyGr :: Gr DGNodeLab DGLinkLab -> Doc
- prettyLEdge :: LEdge DGLinkLab -> Doc
- showLEdge :: LEdge DGLinkLab -> String
- dgOriginHeader :: DGOrigin -> String
- dgOriginSpec :: DGOrigin -> Maybe IRI
- showXPath :: [XPathPart] -> String
- dgLinkOriginHeader :: DGLinkOrigin -> String
- dgLinkOriginSpec :: DGLinkOrigin -> Maybe IRI
- dgRuleHeader :: DGRule -> String
- dgRuleEdges :: DGRule -> [EdgeId]
Documentation
prettyLibEnv :: LibEnv -> Doc Source #
prettyHistElem :: HistElem -> Doc Source #
prettyHistory :: ProofHistory -> Doc Source #
prettyLEdge :: LEdge DGLinkLab -> Doc Source #
print short edge information
dgOriginHeader :: DGOrigin -> String Source #
dgOriginSpec :: DGOrigin -> Maybe IRI Source #
dgLinkOriginHeader :: DGLinkOrigin -> String Source #
dgLinkOriginSpec :: DGLinkOrigin -> Maybe IRI Source #
dgRuleHeader :: DGRule -> String Source #
dgRuleEdges :: DGRule -> [EdgeId] Source #