|
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.6.0 |