/usr/share/doc/libghc-haxml-doc/html/src/Text-XML-HaXml-XmlContent.html is in libghc-haxml-doc 1:1.23.3-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 | <?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<!-- Generated by HsColour, http://code.haskell.org/~malcolm/hscolour/ -->
<title>src/Text/XML/HaXml/XmlContent.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>-- | The class 'XmlContent' is a kind of replacement for Read and Show:</span>
<a name="line-2"></a><span class='hs-comment'>-- it provides conversions between a generic XML tree representation</span>
<a name="line-3"></a><span class='hs-comment'>-- and your own more specialised typeful Haskell data trees.</span>
<a name="line-4"></a><span class='hs-comment'>--</span>
<a name="line-5"></a><span class='hs-comment'>-- If you are starting with an XML DTD, use HaXml's tool DtdToHaskell</span>
<a name="line-6"></a><span class='hs-comment'>-- to generate both the Haskell types and the corresponding instances.</span>
<a name="line-7"></a><span class='hs-comment'>-- </span>
<a name="line-8"></a><span class='hs-comment'>-- If you are starting with a set of Haskell datatypes, use DrIFT to</span>
<a name="line-9"></a><span class='hs-comment'>-- derive instances of this class for you:</span>
<a name="line-10"></a><span class='hs-comment'>-- http:\/\/repetae.net\/john\/computer\/haskell\/DrIFT</span>
<a name="line-11"></a><span class='hs-comment'>-- and _do_not_ use the current module, but rather</span>
<a name="line-12"></a><span class='hs-comment'>-- Text.XML.HaXml.XmlContent.Haskell, for the correct matching</span>
<a name="line-13"></a><span class='hs-comment'>-- instances for standard Haskell datatypes.</span>
<a name="line-14"></a>
<a name="line-15"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>XML</span><span class='hs-varop'>.</span><span class='hs-conid'>HaXml</span><span class='hs-varop'>.</span><span class='hs-conid'>XmlContent</span>
<a name="line-16"></a> <span class='hs-layout'>(</span>
<a name="line-17"></a> <span class='hs-comment'>-- * Re-export everything from Text.XML.HaXml.XmlContent.Parser.</span>
<a name="line-18"></a> <span class='hs-keyword'>module</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>XML</span><span class='hs-varop'>.</span><span class='hs-conid'>HaXml</span><span class='hs-varop'>.</span><span class='hs-conid'>XmlContent</span><span class='hs-varop'>.</span><span class='hs-conid'>Parser</span>
<a name="line-19"></a> <span class='hs-layout'>,</span> <span class='hs-keyword'>module</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>XML</span><span class='hs-varop'>.</span><span class='hs-conid'>HaXml</span><span class='hs-varop'>.</span><span class='hs-conid'>TypeMapping</span>
<a name="line-20"></a> <span class='hs-comment'>-- * Contains instances of the XmlContent classes,</span>
<a name="line-21"></a> <span class='hs-comment'>-- for the basic Haskell datatypes list and Maybe,</span>
<a name="line-22"></a> <span class='hs-comment'>-- intended for use with DtdToHaskell-generated datatypes.</span>
<a name="line-23"></a> <span class='hs-comment'>-- See the alternative instances in Text.XML.HaXml.XmlContent.Haskell</span>
<a name="line-24"></a> <span class='hs-comment'>-- if your datatypes originate in Haskell instead.</span>
<a name="line-25"></a><span class='hs-comment'>-- , module Text.XML.HaXml.XmlContent</span>
<a name="line-26"></a>
<a name="line-27"></a> <span class='hs-comment'>-- * Whole-document conversion functions</span>
<a name="line-28"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>toXml</span><span class='hs-layout'>,</span> <span class='hs-varid'>fromXml</span>
<a name="line-29"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>readXml</span><span class='hs-layout'>,</span> <span class='hs-varid'>showXml</span><span class='hs-layout'>,</span> <span class='hs-varid'>fpsShowXml</span>
<a name="line-30"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>fReadXml</span><span class='hs-layout'>,</span> <span class='hs-varid'>fWriteXml</span><span class='hs-layout'>,</span> <span class='hs-varid'>fpsWriteXml</span>
<a name="line-31"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>hGetXml</span><span class='hs-layout'>,</span> <span class='hs-varid'>hPutXml</span><span class='hs-layout'>,</span> <span class='hs-varid'>fpsHPutXml</span>
<a name="line-32"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-33"></a>
<a name="line-34"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>IO</span>
<a name="line-35"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>XML</span><span class='hs-varop'>.</span><span class='hs-conid'>HaXml</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteStringPP</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>FPS</span> <span class='hs-layout'>(</span><span class='hs-varid'>document</span><span class='hs-layout'>)</span>
<a name="line-36"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-varop'>.</span><span class='hs-conid'>Lazy</span><span class='hs-varop'>.</span><span class='hs-conid'>Char8</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>FPS</span>
<a name="line-37"></a>
<a name="line-38"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>PrettyPrint</span><span class='hs-varop'>.</span><span class='hs-conid'>HughesPJ</span> <span class='hs-layout'>(</span><span class='hs-varid'>render</span><span class='hs-layout'>)</span>
<a name="line-39"></a><span class='hs-comment'>--import Text.ParserCombinators.Poly</span>
<a name="line-40"></a>
<a name="line-41"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>XML</span><span class='hs-varop'>.</span><span class='hs-conid'>HaXml</span><span class='hs-varop'>.</span><span class='hs-conid'>Types</span>
<a name="line-42"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>XML</span><span class='hs-varop'>.</span><span class='hs-conid'>HaXml</span><span class='hs-varop'>.</span><span class='hs-conid'>TypeMapping</span>
<a name="line-43"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>XML</span><span class='hs-varop'>.</span><span class='hs-conid'>HaXml</span><span class='hs-varop'>.</span><span class='hs-conid'>Posn</span> <span class='hs-layout'>(</span><span class='hs-conid'>Posn</span><span class='hs-layout'>,</span> <span class='hs-varid'>posInNewCxt</span><span class='hs-layout'>)</span>
<a name="line-44"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>XML</span><span class='hs-varop'>.</span><span class='hs-conid'>HaXml</span><span class='hs-varop'>.</span><span class='hs-conid'>Pretty</span> <span class='hs-layout'>(</span><span class='hs-varid'>document</span><span class='hs-layout'>)</span>
<a name="line-45"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>XML</span><span class='hs-varop'>.</span><span class='hs-conid'>HaXml</span><span class='hs-varop'>.</span><span class='hs-conid'>Parse</span> <span class='hs-layout'>(</span><span class='hs-varid'>xmlParse</span><span class='hs-layout'>)</span>
<a name="line-46"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>XML</span><span class='hs-varop'>.</span><span class='hs-conid'>HaXml</span><span class='hs-varop'>.</span><span class='hs-conid'>XmlContent</span><span class='hs-varop'>.</span><span class='hs-conid'>Parser</span>
<a name="line-47"></a>
<a name="line-48"></a>
<a name="line-49"></a><span class='hs-comment'>------------------------------------------------------------------------</span>
<a name="line-50"></a>
<a name="line-51"></a> <span class='hs-comment'>-- probably want to write DTD separately from value, and have</span>
<a name="line-52"></a> <span class='hs-comment'>-- easy ways to combine DTD + value into a document, or write</span>
<a name="line-53"></a> <span class='hs-comment'>-- them to separate files.</span>
<a name="line-54"></a>
<a name="line-55"></a><a name="fReadXml"></a><span class='hs-comment'>-- | Read an XML document from a file and convert it to a fully-typed</span>
<a name="line-56"></a><span class='hs-comment'>-- Haskell value.</span>
<a name="line-57"></a><span class='hs-definition'>fReadXml</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>XmlContent</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-varid'>a</span>
<a name="line-58"></a><span class='hs-definition'>fReadXml</span> <span class='hs-varid'>fp</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-59"></a> <span class='hs-varid'>f</span> <span class='hs-keyglyph'><-</span> <span class='hs-layout'>(</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>fp</span><span class='hs-varop'>==</span><span class='hs-str'>"-"</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>return</span> <span class='hs-varid'>stdin</span>
<a name="line-60"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>openFile</span> <span class='hs-varid'>fp</span> <span class='hs-conid'>ReadMode</span> <span class='hs-layout'>)</span>
<a name="line-61"></a> <span class='hs-varid'>x</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>hGetContents</span> <span class='hs-varid'>f</span>
<a name="line-62"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-conid'>Document</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>y</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>xmlParse</span> <span class='hs-varid'>fp</span> <span class='hs-varid'>x</span>
<a name="line-63"></a> <span class='hs-varid'>y'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>CElem</span> <span class='hs-varid'>y</span> <span class='hs-layout'>(</span><span class='hs-varid'>posInNewCxt</span> <span class='hs-varid'>fp</span> <span class='hs-conid'>Nothing</span><span class='hs-layout'>)</span>
<a name="line-64"></a> <span class='hs-varid'>either</span> <span class='hs-varid'>fail</span> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>fst</span> <span class='hs-layout'>(</span><span class='hs-varid'>runParser</span> <span class='hs-varid'>parseContents</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>y'</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-65"></a>
<a name="line-66"></a><a name="fWriteXml"></a><span class='hs-comment'>-- | Write a fully-typed Haskell value to the given file as an XML</span>
<a name="line-67"></a><span class='hs-comment'>-- document.</span>
<a name="line-68"></a><span class='hs-definition'>fWriteXml</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>XmlContent</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>()</span>
<a name="line-69"></a><span class='hs-definition'>fWriteXml</span> <span class='hs-varid'>fp</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-70"></a> <span class='hs-varid'>f</span> <span class='hs-keyglyph'><-</span> <span class='hs-layout'>(</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>fp</span><span class='hs-varop'>==</span><span class='hs-str'>"-"</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>return</span> <span class='hs-varid'>stdout</span>
<a name="line-71"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>openFile</span> <span class='hs-varid'>fp</span> <span class='hs-conid'>WriteMode</span> <span class='hs-layout'>)</span>
<a name="line-72"></a> <span class='hs-varid'>hPutXml</span> <span class='hs-varid'>f</span> <span class='hs-conid'>False</span> <span class='hs-varid'>x</span>
<a name="line-73"></a> <span class='hs-varid'>hClose</span> <span class='hs-varid'>f</span>
<a name="line-74"></a>
<a name="line-75"></a><a name="fpsWriteXml"></a><span class='hs-comment'>-- | Write any Haskell value to the given file as an XML document,</span>
<a name="line-76"></a><span class='hs-comment'>-- using the FastPackedString interface (output will not be prettified).</span>
<a name="line-77"></a><span class='hs-definition'>fpsWriteXml</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>XmlContent</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>FilePath</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>()</span>
<a name="line-78"></a><span class='hs-definition'>fpsWriteXml</span> <span class='hs-varid'>fp</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-79"></a> <span class='hs-varid'>f</span> <span class='hs-keyglyph'><-</span> <span class='hs-layout'>(</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>fp</span><span class='hs-varop'>==</span><span class='hs-str'>"-"</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>return</span> <span class='hs-varid'>stdout</span>
<a name="line-80"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>openFile</span> <span class='hs-varid'>fp</span> <span class='hs-conid'>WriteMode</span> <span class='hs-layout'>)</span>
<a name="line-81"></a> <span class='hs-varid'>fpsHPutXml</span> <span class='hs-varid'>f</span> <span class='hs-conid'>False</span> <span class='hs-varid'>x</span>
<a name="line-82"></a> <span class='hs-varid'>hClose</span> <span class='hs-varid'>f</span>
<a name="line-83"></a>
<a name="line-84"></a><a name="readXml"></a><span class='hs-comment'>-- | Read a fully-typed XML document from a string.</span>
<a name="line-85"></a><span class='hs-definition'>readXml</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>XmlContent</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Either</span> <span class='hs-conid'>String</span> <span class='hs-varid'>a</span>
<a name="line-86"></a><span class='hs-definition'>readXml</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span>
<a name="line-87"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-conid'>Document</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>y</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>xmlParse</span> <span class='hs-str'>"string input"</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>in</span>
<a name="line-88"></a> <span class='hs-varid'>fst</span> <span class='hs-layout'>(</span><span class='hs-varid'>runParser</span> <span class='hs-varid'>parseContents</span>
<a name="line-89"></a> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CElem</span> <span class='hs-varid'>y</span> <span class='hs-layout'>(</span><span class='hs-varid'>posInNewCxt</span> <span class='hs-str'>"string input"</span> <span class='hs-conid'>Nothing</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span>
<a name="line-90"></a>
<a name="line-91"></a><a name="showXml"></a><span class='hs-comment'>-- | Convert a fully-typed XML document to a string (without DTD).</span>
<a name="line-92"></a><span class='hs-definition'>showXml</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>XmlContent</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span>
<a name="line-93"></a><span class='hs-definition'>showXml</span> <span class='hs-varid'>dtd</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span>
<a name="line-94"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>toContents</span> <span class='hs-varid'>x</span> <span class='hs-keyword'>of</span>
<a name="line-95"></a> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CElem</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>render</span> <span class='hs-varop'>.</span> <span class='hs-varid'>document</span> <span class='hs-varop'>.</span> <span class='hs-varid'>toXml</span> <span class='hs-varid'>dtd</span><span class='hs-layout'>)</span> <span class='hs-varid'>x</span>
<a name="line-96"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-str'>""</span>
<a name="line-97"></a>
<a name="line-98"></a><a name="fpsShowXml"></a><span class='hs-comment'>-- | Convert a fully-typed XML document to a ByteString (without DTD).</span>
<a name="line-99"></a><span class='hs-definition'>fpsShowXml</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>XmlContent</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FPS</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span>
<a name="line-100"></a><span class='hs-definition'>fpsShowXml</span> <span class='hs-varid'>dtd</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span>
<a name="line-101"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>toContents</span> <span class='hs-varid'>x</span> <span class='hs-keyword'>of</span>
<a name="line-102"></a> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CElem</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>FPS</span><span class='hs-varop'>.</span><span class='hs-varid'>document</span> <span class='hs-varop'>.</span> <span class='hs-varid'>toXml</span> <span class='hs-varid'>dtd</span><span class='hs-layout'>)</span> <span class='hs-varid'>x</span>
<a name="line-103"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FPS</span><span class='hs-varop'>.</span><span class='hs-varid'>empty</span>
<a name="line-104"></a>
<a name="line-105"></a>
<a name="line-106"></a><a name="toXml"></a><span class='hs-comment'>-- | Convert a fully-typed XML document to a string (with or without DTD).</span>
<a name="line-107"></a><span class='hs-definition'>toXml</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>XmlContent</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Document</span> <span class='hs-conid'>()</span>
<a name="line-108"></a><span class='hs-definition'>toXml</span> <span class='hs-varid'>dtd</span> <span class='hs-varid'>value</span> <span class='hs-keyglyph'>=</span>
<a name="line-109"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>ht</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>toHType</span> <span class='hs-varid'>value</span> <span class='hs-keyword'>in</span>
<a name="line-110"></a> <span class='hs-conid'>Document</span> <span class='hs-layout'>(</span><span class='hs-conid'>Prolog</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>XMLDecl</span> <span class='hs-str'>"1.0"</span> <span class='hs-conid'>Nothing</span> <span class='hs-conid'>Nothing</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-111"></a> <span class='hs-conid'>[]</span> <span class='hs-layout'>(</span><span class='hs-keyword'>if</span> <span class='hs-varid'>dtd</span> <span class='hs-keyword'>then</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>toDTD</span> <span class='hs-varid'>ht</span><span class='hs-layout'>)</span> <span class='hs-keyword'>else</span> <span class='hs-conid'>Nothing</span><span class='hs-layout'>)</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span>
<a name="line-112"></a> <span class='hs-varid'>emptyST</span>
<a name="line-113"></a> <span class='hs-layout'>(</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>toContents</span> <span class='hs-varid'>value</span> <span class='hs-keyword'>of</span>
<a name="line-114"></a> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Elem</span> <span class='hs-layout'>(</span><span class='hs-conid'>N</span> <span class='hs-str'>"empty"</span><span class='hs-layout'>)</span> <span class='hs-conid'>[]</span> <span class='hs-conid'>[]</span>
<a name="line-115"></a> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CElem</span> <span class='hs-varid'>e</span> <span class='hs-conid'>()</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>e</span>
<a name="line-116"></a> <span class='hs-layout'>(</span><span class='hs-conid'>CElem</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>()</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>error</span> <span class='hs-str'>"too many XML elements in document"</span> <span class='hs-layout'>)</span>
<a name="line-117"></a> <span class='hs-conid'>[]</span>
<a name="line-118"></a>
<a name="line-119"></a><a name="fromXml"></a><span class='hs-comment'>-- | Read a Haskell value from an XML document, ignoring the DTD and</span>
<a name="line-120"></a><span class='hs-comment'>-- using the Haskell result type to determine how to parse it.</span>
<a name="line-121"></a><span class='hs-definition'>fromXml</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>XmlContent</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Document</span> <span class='hs-conid'>Posn</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Either</span> <span class='hs-conid'>String</span> <span class='hs-varid'>a</span>
<a name="line-122"></a><span class='hs-definition'>fromXml</span> <span class='hs-layout'>(</span><span class='hs-conid'>Document</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>e</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Elem</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span>
<a name="line-123"></a> <span class='hs-varid'>fst</span> <span class='hs-layout'>(</span><span class='hs-varid'>runParser</span> <span class='hs-varid'>parseContents</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CElem</span> <span class='hs-varid'>e</span> <span class='hs-layout'>(</span><span class='hs-varid'>posInNewCxt</span> <span class='hs-str'>"document"</span> <span class='hs-conid'>Nothing</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span>
<a name="line-124"></a>
<a name="line-125"></a>
<a name="line-126"></a><a name="hGetXml"></a><span class='hs-comment'>-- | Read a fully-typed XML document from a file handle.</span>
<a name="line-127"></a><span class='hs-definition'>hGetXml</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>XmlContent</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Handle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-varid'>a</span>
<a name="line-128"></a><span class='hs-definition'>hGetXml</span> <span class='hs-varid'>h</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-129"></a> <span class='hs-varid'>x</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>hGetContents</span> <span class='hs-varid'>h</span>
<a name="line-130"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-conid'>Document</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>y</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>xmlParse</span> <span class='hs-str'>"file handle"</span> <span class='hs-varid'>x</span>
<a name="line-131"></a> <span class='hs-varid'>either</span> <span class='hs-varid'>fail</span> <span class='hs-varid'>return</span>
<a name="line-132"></a> <span class='hs-layout'>(</span><span class='hs-varid'>fst</span> <span class='hs-layout'>(</span><span class='hs-varid'>runParser</span> <span class='hs-varid'>parseContents</span>
<a name="line-133"></a> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CElem</span> <span class='hs-varid'>y</span> <span class='hs-layout'>(</span><span class='hs-varid'>posInNewCxt</span> <span class='hs-str'>"file handle"</span> <span class='hs-conid'>Nothing</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-134"></a>
<a name="line-135"></a><a name="hPutXml"></a><span class='hs-comment'>-- | Write a fully-typed XML document to a file handle.</span>
<a name="line-136"></a><span class='hs-definition'>hPutXml</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>XmlContent</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Handle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>()</span>
<a name="line-137"></a><span class='hs-definition'>hPutXml</span> <span class='hs-varid'>h</span> <span class='hs-varid'>dtd</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-138"></a> <span class='hs-layout'>(</span><span class='hs-varid'>hPutStrLn</span> <span class='hs-varid'>h</span> <span class='hs-varop'>.</span> <span class='hs-varid'>render</span> <span class='hs-varop'>.</span> <span class='hs-varid'>document</span> <span class='hs-varop'>.</span> <span class='hs-varid'>toXml</span> <span class='hs-varid'>dtd</span><span class='hs-layout'>)</span> <span class='hs-varid'>x</span>
<a name="line-139"></a>
<a name="line-140"></a><a name="fpsHPutXml"></a><span class='hs-comment'>-- | Write a fully-typed XML document to a file handle, using the</span>
<a name="line-141"></a><span class='hs-comment'>-- FastPackedString interface (output will not be prettified).</span>
<a name="line-142"></a><span class='hs-definition'>fpsHPutXml</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>XmlContent</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Handle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>()</span>
<a name="line-143"></a><span class='hs-definition'>fpsHPutXml</span> <span class='hs-varid'>h</span> <span class='hs-varid'>dtd</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-144"></a> <span class='hs-layout'>(</span><span class='hs-conid'>FPS</span><span class='hs-varop'>.</span><span class='hs-varid'>hPut</span> <span class='hs-varid'>h</span> <span class='hs-varop'>.</span> <span class='hs-conid'>FPS</span><span class='hs-varop'>.</span><span class='hs-varid'>document</span> <span class='hs-varop'>.</span> <span class='hs-varid'>toXml</span> <span class='hs-varid'>dtd</span><span class='hs-layout'>)</span> <span class='hs-varid'>x</span>
<a name="line-145"></a>
<a name="line-146"></a>
<a name="line-147"></a><span class='hs-comment'>------------------------------------------------------------------------</span>
<a name="line-148"></a><span class='hs-comment'>-- Instances for all the standard basic datatypes.</span>
<a name="line-149"></a><span class='hs-comment'>-- DtdToHaskell uses only a small number of standard datatypes.</span>
<a name="line-150"></a><span class='hs-comment'>------------------------------------------------------------------------</span>
<a name="line-151"></a>
<a name="line-152"></a><a name="instance%20XmlContent%20Char"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>XmlContent</span> <span class='hs-conid'>Char</span> <span class='hs-keyword'>where</span>
<a name="line-153"></a> <span class='hs-comment'>-- NOT in a string</span>
<a name="line-154"></a> <span class='hs-varid'>toContents</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-varop'>$</span> <span class='hs-str'>"Text.XML.HaXml.XmlContent.toContents "</span><span class='hs-varop'>++</span>
<a name="line-155"></a> <span class='hs-str'>" used on a Haskell Char"</span>
<a name="line-156"></a> <span class='hs-varid'>parseContents</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fail</span> <span class='hs-varop'>$</span> <span class='hs-str'>"Text.XML.HaXml.XmlContent.parseContents "</span><span class='hs-varop'>++</span>
<a name="line-157"></a> <span class='hs-str'>" used on a Haskell Char "</span>
<a name="line-158"></a> <span class='hs-comment'>-- Only defined for Char and no other types:</span>
<a name="line-159"></a> <span class='hs-varid'>xToChar</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>id</span>
<a name="line-160"></a> <span class='hs-varid'>xFromChar</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>id</span>
<a name="line-161"></a>
<a name="line-162"></a><a name="instance%20XmlContent%20%5ba%5d"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>XmlContent</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>XmlContent</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <span class='hs-keyword'>where</span>
<a name="line-163"></a> <span class='hs-varid'>toContents</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>toHType</span> <span class='hs-varid'>x</span> <span class='hs-keyword'>of</span>
<a name="line-164"></a> <span class='hs-layout'>(</span><span class='hs-conid'>Prim</span> <span class='hs-str'>"Char"</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span>
<a name="line-165"></a> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CString</span> <span class='hs-conid'>True</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-varid'>xToChar</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-conid'>()</span><span class='hs-keyglyph'>]</span>
<a name="line-166"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>concatMap</span> <span class='hs-varid'>toContents</span> <span class='hs-varid'>xs</span>
<a name="line-167"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>xs</span>
<a name="line-168"></a> <span class='hs-varid'>parseContents</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>result</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>runParser</span> <span class='hs-varid'>p</span> <span class='hs-conid'>[]</span> <span class='hs-comment'>-- for type of result only</span>
<a name="line-169"></a> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-layout'>(</span><span class='hs-varid'>toHType</span> <span class='hs-varop'>.</span> <span class='hs-varid'>head</span> <span class='hs-varop'>.</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span> <span class='hs-layout'>(</span><span class='hs-conid'>Right</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>-></span><span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fst</span><span class='hs-layout'>)</span>
<a name="line-170"></a> <span class='hs-varid'>result</span> <span class='hs-keyword'>of</span>
<a name="line-171"></a> <span class='hs-layout'>(</span><span class='hs-conid'>Prim</span> <span class='hs-str'>"Char"</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>fmap</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-varid'>xFromChar</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>text</span>
<a name="line-172"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>many</span> <span class='hs-varid'>parseContents</span>
<a name="line-173"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>p</span>
<a name="line-174"></a> <span class='hs-comment'>-- comments, PIs, etc, are skipped in the individual element parser.</span>
<a name="line-175"></a>
<a name="line-176"></a><a name="instance%20XmlContent%20(Maybe%20a)"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>XmlContent</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>XmlContent</span> <span class='hs-layout'>(</span><span class='hs-conid'>Maybe</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-177"></a> <span class='hs-varid'>toContents</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>maybe</span> <span class='hs-conid'>[]</span> <span class='hs-varid'>toContents</span> <span class='hs-varid'>m</span>
<a name="line-178"></a> <span class='hs-varid'>parseContents</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>optional</span> <span class='hs-varid'>parseContents</span>
<a name="line-179"></a>
<a name="line-180"></a><span class='hs-comment'>------------------------------------------------------------------------</span>
</pre></body>
</html>
|