xml-1.3.5: A simple XML library.Source codeContentsIndex
Text.XML.Light.Types
PortabilityBasic XML types.
Stabilityprovisional
MaintainerIavor S. Diatchki <diatchki@galois.com>
Description
Synopsis
type Line = Integer
data Content
= Elem Element
| Text CData
| CRef String
data Element = Element {
elName :: QName
elAttribs :: [Attr]
elContent :: [Content]
elLine :: Maybe Line
}
data Attr = Attr {
attrKey :: QName
attrVal :: String
}
data CData = CData {
cdVerbatim :: CDataKind
cdData :: String
cdLine :: Maybe Line
}
data CDataKind
= CDataText
| CDataVerbatim
| CDataRaw
data QName = QName {
qName :: String
qURI :: Maybe String
qPrefix :: Maybe String
}
blank_name :: QName
blank_cdata :: CData
blank_element :: Element
Documentation
type Line = IntegerSource
A line is an Integer
data Content Source
XML content
Constructors
Elem Element
Text CData
CRef String
show/hide Instances
data Element Source
XML elements
Constructors
Element
elName :: QName
elAttribs :: [Attr]
elContent :: [Content]
elLine :: Maybe Line
show/hide Instances
data Attr Source
XML attributes
Constructors
Attr
attrKey :: QName
attrVal :: String
show/hide Instances
data CData Source
XML CData
Constructors
CData
cdVerbatim :: CDataKind
cdData :: String
cdLine :: Maybe Line
show/hide Instances
data CDataKind Source
Constructors
CDataTextOrdinary character data; pretty printer escapes &, < etc.
CDataVerbatimUnescaped character data; pretty printer embeds it in <![CDATA[..
CDataRawAs-is character data; pretty printer passes it along without any escaping or CDATA wrap-up.
show/hide Instances
data QName Source
XML qualified names
Constructors
QName
qName :: String
qURI :: Maybe String
qPrefix :: Maybe String
show/hide Instances
blank_name :: QNameSource
Blank names
blank_cdata :: CDataSource
Blank cdata
blank_element :: ElementSource
Blank elements
Produced by Haddock version 2.4.2