|
Text.XML.Light.Types | Portability | Basic XML types. | Stability | provisional | Maintainer | Iavor S. Diatchki <diatchki@galois.com> |
|
|
|
Description |
|
|
Synopsis |
|
|
|
Documentation |
|
type Line = Integer |
A line is an Integer
|
|
data Content |
XML content
| Constructors | | Instances | |
|
|
data Element |
XML elements
| Constructors | | Instances | |
|
|
data Attr |
XML attributes
| Constructors | | Instances | Eq Attr | | Ord Attr | | Show Attr | | Node Attr | | Node [Attr] | | Node ([Attr], [CData]) | | Node ([Attr], [Element]) | | Node ([Attr], [Content]) | | Node ([Attr], String) | | Node ([Attr], CData) | | Node ([Attr], Element) | | Node ([Attr], Content) | | Node (Attr, String) | | Node (Attr, CData) | | Node (Attr, Element) | | Node (Attr, Content) | |
|
|
|
data CData |
XML CData
| Constructors | | Instances | |
|
|
data CDataKind |
Constructors | CDataText | Ordinary character data; pretty printer escapes &, < etc.
| CDataVerbatim | Unescaped character data; pretty printer embeds it in <![CDATA[..
| CDataRaw | As-is character data; pretty printer passes it along without any escaping or CDATA wrap-up.
|
| Instances | |
|
|
data QName |
XML qualified names
| Constructors | | Instances | |
|
|
blank_name :: QName |
Blank names
|
|
blank_cdata :: CData |
Blank cdata
|
|
blank_element :: Element |
Blank elements
|
|
Produced by Haddock version 2.7.2 |