|Maintainer||Uwe Schmidt (email@example.com)|
DTD processing function for including external parts of a DTD parameter entity substitution and general entity substitution
monadic filter for reading, parsing and checking a wellformed document. the input tree must consist of a root node with a source attribute in its attribute list.
All attributes from the document root are copied into the system state, and may be queried by the monadic filters, e.g. trace options.
Result is the single element list containing the well-formed document tree
or, in case of errors, the document root with an empty list as children
a_module for error level and the module,
where the error occured.
example for a main program:
main = run' $ do res <- getWellformedDoc $ newDocument "myfile.xml" ...
parses a text node with
parseXmlDoc, processes the DTD and general entities
and transforms all char references into characters
a filter for DTD processing
inclusion of external parts of DTD, parameter entity substitution conditional section evaluation
input tree must represent a complete document including root node