xml-1.3.7: A simple XML library.

PortabilityBasic XML types.
Stabilityprovisional
MaintainerIavor S. Diatchki <diatchki@galois.com>

Text.XML.Light.Types

Description

 

Synopsis

Documentation

type Line = IntegerSource

A line is an Integer

data Content Source

XML content

Constructors

Elem Element 
Text CData 
CRef String 

data Element Source

XML elements

Constructors

Element 

data Attr Source

XML attributes

Constructors

Attr 

Fields

attrKey :: QName
 
attrVal :: String
 

data CData Source

XML CData

Constructors

CData 

Instances

data CDataKind Source

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.

data QName Source

XML qualified names

Constructors

QName 

Instances

blank_name :: QNameSource

Blank names

blank_cdata :: CDataSource

Blank cdata

blank_element :: ElementSource

Blank elements