Safe Haskell | None |
---|
This module provides combinators for generating XML documents.
As an example, suppose you want to generate the following XML document:
<?xml version="1.0"?> <people> <person age="32">Stefan</person> <person age="4">Judith</person> </people>
Then you could use the following Haskell code:
let people = [("Stefan", "32"), ("Judith", "4")] indoc
defaultDocInfo
$xelem
"people" $xelems
$ map ((name, age) ->xelem
"person" (xattr
"age" age<#>
xtext
name)) people
- data Xml t
- data Doc
- data DocInfo = DocInfo {}
- doc :: DocInfo -> Xml Elem -> Xml Doc
- defaultDocInfo :: DocInfo
- data Namespace
- type Prefix = Text
- type Uri = Text
- type Name = Text
- namespace :: Prefix -> Uri -> Namespace
- noNamespace :: Namespace
- defaultNamespace :: Namespace
- data Elem
- xelem :: AddChildren c => Name -> c -> Xml Elem
- xelemQ :: AddChildren c => Namespace -> Name -> c -> Xml Elem
- xelemEmpty :: Name -> Xml Elem
- xelemQEmpty :: Namespace -> Name -> Xml Elem
- class AddChildren c
- xelems :: [Xml Elem] -> Xml Elem
- noElems :: Xml Elem
- xelemWithText :: Name -> TextContent -> Xml Elem
- (<>) :: Monoid m => m -> m -> m
- (<#>) :: a -> b -> (a, b)
- data Attr
- xattr :: Name -> TextContent -> Xml Attr
- xattrQ :: Namespace -> Name -> TextContent -> Xml Attr
- xattrQRaw :: Namespace -> Name -> Builder -> Xml Attr
- xattrs :: [Xml Attr] -> Xml Attr
- noAttrs :: Xml Attr
- type TextContent = Text
- xtext :: TextContent -> Xml Elem
- xtextRaw :: Builder -> Xml Elem
- xentityRef :: Name -> Xml Elem
- xempty :: Renderable t => Xml t
- class Renderable t => Misc t where
- xrender :: (Renderable r, XmlOutput t) => Xml r -> t
- class XmlOutput t where
- fromBuilder :: Builder -> t
- class Renderable t
- xhtmlFramesetDocInfo :: DocInfo
- xhtmlStrictDocInfo :: DocInfo
- xhtmlTransitionalDocInfo :: DocInfo
- xhtmlRootElem :: Text -> Xml Elem -> Xml Elem
General
Documents
The DocInfo
type contains all information of an XML document except the root element.
DocInfo | |
|
doc :: DocInfo -> Xml Elem -> Xml DocSource
Constructs an XML document from a DocInfo
value and the root element.
defaultDocInfo :: DocInfoSource
The default document info (standalone, without document type, without content before/after the root element).
Namespaces
Type for representing presence or absence of an XML namespace.
namespace :: Prefix -> Uri -> NamespaceSource
Constructs a qualified XML namespace. The given URI must not be the empty string.
noNamespace :: NamespaceSource
A Namespace
value denoting the absence of any XML namespace information.
defaultNamespace :: NamespaceSource
A Namespace
value denoting the default namespace.
- For elements, this is the namespace currently mapped to the empty prefix.
- For attributes, the default namespace does not carry any namespace information.
Elements
A piece of XML at the element level.
Renderable Elem | |
Misc Elem | |
Monoid (Xml Elem) | |
AddChildren (Xml Elem) | |
AddChildren (Xml Attr, [Xml Elem]) | |
AddChildren (Xml Attr, Xml Elem) |
xelem :: AddChildren c => Name -> c -> Xml ElemSource
Construct a simple-named element with the given children.
xelemQ :: AddChildren c => Namespace -> Name -> c -> Xml ElemSource
Construct an element with the given children.
xelemEmpty :: Name -> Xml ElemSource
Construct a simple-named element without any children.
class AddChildren c Source
Class for adding children to an element.
The various instances of this class allow the addition of different kinds of children.
AddChildren String | |
AddChildren () | |
AddChildren TextContent | |
AddChildren (Xml Attr) | |
AddChildren (Xml Elem) | |
AddChildren (Xml Attr, [Xml Elem]) | |
AddChildren (Xml Attr, Xml Elem) |
xelems :: [Xml Elem] -> Xml ElemSource
Merges a list of elements into a single piece of XML at the element level.
xelemWithText :: Name -> TextContent -> Xml ElemSource
The expression xelemWithText n t
constructs an XML element with name n
and text content t
.
(<#>) :: a -> b -> (a, b)Source
Shortcut for constructing pairs. Used in combination with xelem
for separating child-attributes
from child-elements.
Attributes
A piece of XML at the attribute level.
Renderable Attr | |
Monoid (Xml Attr) | |
AddChildren (Xml Attr) | |
AddChildren (Xml Attr, [Xml Elem]) | |
AddChildren (Xml Attr, Xml Elem) |
xattr :: Name -> TextContent -> Xml AttrSource
Construct a simple-named attribute by escaping its value.
xattrQ :: Namespace -> Name -> TextContent -> Xml AttrSource
Construct an attribute by escaping its value.
xattrQRaw :: Namespace -> Name -> Builder -> Xml AttrSource
Construct an attribute without escaping its value. Note: attribute values are quoted with double quotes.
xattrs :: [Xml Attr] -> Xml AttrSource
Merge a list of attributes into a single piece of XML at the attribute level.
Text
type TextContent = TextSource
Text content subject to escaping.
xtext :: TextContent -> Xml ElemSource
Constructs a text node by escaping the given argument.
xentityRef :: Name -> Xml ElemSource
Constructs a reference to the named entity. Note: no escaping is performed on the name of the entity
Other
xempty :: Renderable t => Xml tSource
An empty, polymorphic piece of XML.
class Renderable t => Misc t whereSource
Class providing methods for adding processing instructions and comments.
xprocessingInstruction :: String -> String -> Xml tSource
Constructs a processing instruction with the given target and content. Note: Rendering does not perform escaping on the target and the content.
xcomment :: String -> Xml tSource
Constructs an XML comment. Note: No escaping is performed on the text of the comment.
Rendering
xrender :: (Renderable r, XmlOutput t) => Xml r -> tSource
Renders a given piece of XML.
Instances of the XmlOutput
class may serve as target of serializing an XML document.
fromBuilder :: Builder -> tSource
Creates the target type from a Builder
.
class Renderable t Source
Any type subject to rendering must implement this type class.
XHTML documents
xhtmlFramesetDocInfo :: DocInfoSource
Document info for XHTML 1.0 frameset.
xhtmlStrictDocInfo :: DocInfoSource
Document info for XHTML 1.0 strict.
xhtmlTransitionalDocInfo :: DocInfoSource
Document info for XHTML 1.0 transitional.