Module XML

tagOf :: XmlExp -> String   

Returns the tag of an XML element (or empty for a textual element).

Further infos:

• solution complete, i.e., able to compute all solutions

elemsOf :: XmlExp -> [XmlExp]   

Returns the child elements an XML element.

Further infos:

• solution complete, i.e., able to compute all solutions

textOf :: [XmlExp] -> String   

Extracts the textual contents of a list of XML expressions. Useful auxiliary function when transforming XML expressions into other data structures.

For instance, codetextOf [XText "xy", XElem "a" [] [], XText "bc"] == "xy bc"/code

textOfXml :: [XmlExp] -> String   

Included for backward compatibility, better use codetextOf/code!

xtxt :: String -> XmlExp   

Basic text (maybe containing special XML chars).

Further infos:

• solution complete, i.e., able to compute all solutions

xml :: String -> [XmlExp] -> XmlExp   

XML element without attributes.

Further infos:

• solution complete, i.e., able to compute all solutions

writeXmlFile :: String -> XmlExp -> IO ()   

Writes a file with a given XML document.

writeXmlFileWithParams :: String -> [XmlDocParams] -> XmlExp -> IO ()   

Writes a file with a given XML document and XML parameters.

showXmlDoc :: XmlExp -> String   

Show an XML document in indented format as a string.

showXmlDocWithParams :: [XmlDocParams] -> XmlExp -> String   

readXmlFile :: String -> IO XmlExp   

Reads a file with an XML document and returns the corresponding XML expression.

readUnsafeXmlFile :: String -> IO (Maybe XmlExp)   

Tries to read a file with an XML document and returns the corresponding XML expression, if possible. If file or parse errors occur, Nothing is returned.

readFileWithXmlDocs :: String -> IO [XmlExp]   

Reads a file with an arbitrary sequence of XML documents and returns the list of corresponding XML expressions.

parseXmlString :: String -> [XmlExp]   

Transforms an XML string into a list of XML expressions. If the XML string is a well structured document, the list of XML expressions should contain exactly one element.

updateXmlFile :: (XmlExp -> XmlExp) -> String -> IO ()   

An action that updates the contents of an XML file by some transformation on the XML document.

Example call:

(updateXmlFile f file)

Parameters:

• f : the function to transform the XML document in the file
• file : the name of the XML file