Portability | Output handling for the lightweight XML lib. |
---|---|
Stability | provisional |
Maintainer | Iavor S. Diatchki <diatchki@galois.com> |
Safe Haskell | Safe-Inferred |
- showTopElement :: Element -> String
- showContent :: Content -> String
- showElement :: Element -> String
- showCData :: CData -> String
- showQName :: QName -> String
- showAttr :: Attr -> String
- ppTopElement :: Element -> String
- ppContent :: Content -> String
- ppElement :: Element -> String
- ppcTopElement :: ConfigPP -> Element -> String
- ppcContent :: ConfigPP -> Content -> String
- ppcElement :: ConfigPP -> Element -> String
- data ConfigPP
- defaultConfigPP :: ConfigPP
- prettyConfigPP :: ConfigPP
- useShortEmptyTags :: (QName -> Bool) -> ConfigPP -> ConfigPP
- useExtraWhiteSpace :: Bool -> ConfigPP -> ConfigPP
- tagEnd :: QName -> ShowS
- xml_header :: String
Documentation
showTopElement :: Element -> StringSource
Adds the ?xml? header.
showContent :: Content -> StringSource
showElement :: Element -> StringSource
ppTopElement :: Element -> StringSource
Pretty printing renders XML documents faithfully, with the exception that whitespace may be added/removed in non-verbatim character data.
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.)
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.
The XML 1.0 header