Copyright	2010-2011 John Millikin
License	MIT
Maintainer	jmillikin@gmail.com
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell98

Data.XML.Types

Contents

Types
Combinators

Description

Basic types for representing XML.

The idea is to have a full set of appropriate types, which various XML libraries can share. Instead of having equivalent-but-incompatible types for every binding, parser, or client, they all share the same types can can thus interoperate easily.

This library contains complete types for most parts of an XML document, including the prologue, node tree, and doctype. Some basic combinators are included for common tasks, including traversing the node tree and filtering children.

Synopsis

Types

Document prologue

data Document Source

Constructors

Document
Fields documentPrologue :: Prologue documentRoot :: Element documentEpilogue :: [Miscellaneous]

Instances

Eq Document
Data Document
Ord Document
Show Document
Generic Document
NFData Document
Typeable * Document
type Rep Document

data Prologue Source

Constructors

Prologue
Fields prologueBefore :: [Miscellaneous] prologueDoctype :: Maybe Doctype prologueAfter :: [Miscellaneous]

Instances

Eq Prologue
Data Prologue
Ord Prologue
Show Prologue
Generic Prologue
NFData Prologue
Typeable * Prologue
type Rep Prologue

data Instruction Source

Constructors

Instruction
Fields instructionTarget :: Text instructionData :: Text

Instances

Eq Instruction
Data Instruction
Ord Instruction
Show Instruction
Generic Instruction
NFData Instruction
Typeable * Instruction
type Rep Instruction

data Miscellaneous Source

Constructors

MiscInstruction Instruction
MiscComment Text

Instances

Eq Miscellaneous
Data Miscellaneous
Ord Miscellaneous
Show Miscellaneous
Generic Miscellaneous
NFData Miscellaneous
Typeable * Miscellaneous
type Rep Miscellaneous

Document body

data Node Source

Constructors

NodeElement Element
NodeInstruction Instruction
NodeContent Content
NodeComment Text

Instances

Eq Node
Data Node
Ord Node
Show Node
Generic Node
NFData Node
Typeable * Node
type Rep Node

data Element Source

Constructors

Element
Fields elementName :: Name elementAttributes :: [(Name, [Content])] elementNodes :: [Node]

Instances

Eq Element
Data Element
Ord Element
Show Element
Generic Element
NFData Element
Typeable * Element
type Rep Element

data Content Source

Constructors

ContentText Text
ContentEntity Text	For pass-through parsing

Instances

Eq Content
Data Content
Ord Content
Show Content
Generic Content
NFData Content
Typeable * Content
type Rep Content

data Name Source

A fully qualified name.

Prefixes are not semantically important; they are included only to simplify pass-through parsing. When comparing names with Eq or Ord methods, prefixes are ignored.

The IsString instance supports Clark notation; see http://www.jclark.com/xml/xmlns.htm and http://infohost.nmt.edu/tcc/help/pubs/pylxml/etree-QName.html. Use the OverloadedStrings language extension for very simple Name construction:

myname :: Name
myname = "{http://example.com/ns/my-namespace}my-name"

Constructors

Name
Fields nameLocalName :: Text nameNamespace :: Maybe Text namePrefix :: Maybe Text

Instances

Eq Name
Data Name
Ord Name
Show Name
IsString Name
Generic Name
NFData Name
Typeable * Name
type Rep Name

Doctypes

data Doctype Source

Note: due to the incredible complexity of DTDs, this type only supports external subsets. I've tried adding internal subset types, but they quickly gain more code than the rest of this module put together.

It is possible that some future version of this library might support internal subsets, but I am no longer actively working on adding them.

Constructors

Doctype
Fields doctypeName :: Text doctypeID :: Maybe ExternalID

Instances

Eq Doctype
Data Doctype
Ord Doctype
Show Doctype
Generic Doctype
NFData Doctype
Typeable * Doctype
type Rep Doctype

data ExternalID Source

Constructors

SystemID Text
PublicID Text Text

Instances

Eq ExternalID
Data ExternalID
Ord ExternalID
Show ExternalID
Generic ExternalID
NFData ExternalID
Typeable * ExternalID
type Rep ExternalID

Incremental processing

data Event Source

Some XML processing tools are incremental, and work in terms of events rather than node trees. The Event type allows a document to be fully specified as a sequence of events.

Event-based XML libraries include:

Instances

Eq Event
Data Event
Ord Event
Show Event
Generic Event
NFData Event
Typeable * Event
type Rep Event

Combinators

Filters

isElement :: Node -> [Element] Source

isInstruction :: Node -> [Instruction] Source

isContent :: Node -> [Content] Source

isComment :: Node -> [Text] Source

isNamed :: Name -> Element -> [Element] Source

Element traversal

elementChildren :: Element -> [Element] Source

elementContent :: Element -> [Content] Source

elementText :: Element -> [Text] Source

Node traversal

nodeChildren :: Node -> [Node] Source

nodeContent :: Node -> [Content] Source

nodeText :: Node -> [Text] Source

Attributes

hasAttribute :: Name -> Element -> [Element] Source

hasAttributeText :: Name -> (Text -> Bool) -> Element -> [Element] Source

attributeContent :: Name -> Element -> Maybe [Content] Source

attributeText :: Name -> Element -> Maybe Text Source

EventBeginDocument
EventEndDocument
EventBeginDoctype Text (Maybe ExternalID)
EventEndDoctype
EventInstruction Instruction
EventBeginElement Name [(Name, [Content])]
EventEndElement Name
EventContent Content
EventComment Text
EventCDATA Text