xml-1.3.11: A simple XML library.

PortabilityOutput handling for the lightweight XML lib.
Stabilityprovisional
MaintainerIavor S. Diatchki <diatchki@galois.com>

Text.XML.Light.Output

Description

 

Synopsis

Documentation

showTopElement :: Element -> StringSource

Adds the ?xml? header.

ppTopElement :: Element -> StringSource

Pretty printing renders XML documents faithfully, with the exception that whitespace may be added/removed in non-verbatim character data.

ppContent :: Content -> StringSource

Pretty printing content

ppElement :: Element -> StringSource

Pretty printing elements

ppcTopElement :: ConfigPP -> Element -> StringSource

Pretty printing renders XML documents faithfully, with the exception that whitespace may be added/removed in non-verbatim character data.

ppcContent :: ConfigPP -> Content -> StringSource

Pretty printing content

ppcElement :: ConfigPP -> Element -> StringSource

Pretty printing elements

defaultConfigPP :: ConfigPPSource

Default pretty orinting configutaion. * Always use abbreviate empty tags.

prettyConfigPP :: ConfigPPSource

A configuration that tries to make things pretty (possibly at the cost of changing the semantics a bit through adding white space.)

useShortEmptyTags :: (QName -> Bool) -> ConfigPP -> ConfigPPSource

The predicate specifies for which empty tags we should use XML's abbreviated notation TAG /. This is useful if we are working with some XML-ish standards (such as certain versions of HTML) where some empty tags should always be displayed in the TAG/TAG form.

useExtraWhiteSpace :: Bool -> ConfigPP -> ConfigPPSource

Specify if we should use extra white-space to make document more readable. WARNING: This adds additional white-space to text elements, and so it may change the meaning of the document.

xml_header :: StringSource

The XML 1.0 header