Portability | unportable |
---|---|
Stability | unstable |
Maintainer | Martin Avanzini <martin.avanzini@uibk.ac.at> |
Safe Haskell | Safe-Infered |
This module provides utilities for Xml output.
- type XmlContent = Content ()
- elt :: String -> [Attribute] -> [XmlContent] -> XmlContent
- int :: Integral i => i -> XmlContent
- text :: String -> XmlContent
- symbol :: Symbol -> Signature -> XmlContent
- variable :: Variable -> Variables -> XmlContent
- term :: Term -> Signature -> Variables -> XmlContent
- rule :: Rule -> Signature -> Variables -> XmlContent
- rules :: Trs -> Signature -> Variables -> XmlContent
- strategy :: Strategy -> XmlContent
- startTerms :: StartTerms -> Signature -> XmlContent
- complexityProblem :: Problem -> Answer -> XmlContent
- proofDocument :: ComplexityProof proof => Problem -> [(Rule, Bool)] -> proof -> Answer -> Document ()
- putXmlProof :: ComplexityProof proof => Problem -> [(Rule, Bool)] -> proof -> Answer -> IO ()
Documentation
type XmlContent = Content ()
Constructors
elt :: String -> [Attribute] -> [XmlContent] -> XmlContent
Translations to XML for general data types
int :: Integral i => i -> XmlContent
text :: String -> XmlContent
Translations to XML for termlib data types
symbol :: Symbol -> Signature -> XmlContent
variable :: Variable -> Variables -> XmlContent
term :: Term -> Signature -> Variables -> XmlContent
rule :: Rule -> Signature -> Variables -> XmlContent
rules :: Trs -> Signature -> Variables -> XmlContent
strategy :: Strategy -> XmlContent
startTerms :: StartTerms -> Signature -> XmlContent
complexityProblem :: Problem -> Answer -> XmlContent
Output XML proof
proofDocument :: ComplexityProof proof => Problem -> [(Rule, Bool)] -> proof -> Answer -> Document ()
putXmlProof :: ComplexityProof proof => Problem -> [(Rule, Bool)] -> proof -> Answer -> IO ()