hxt-8.3.0: doc/hdoc/src/Text-XML-HXT-DOM-Unicode.html
<!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://www.cs.york.ac.uk/fp/darcs/hscolour/ -->
<title>Haskell Code by HsColour</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-2"></a>
<a name="line-3"></a><span class='comment'>{- |
<a name="line-4"></a> Module : Text.XML.HXT.DOM.Unicode
<a name="line-5"></a> Copyright : Copyright (C) 2005-2008 Uwe Schmidt
<a name="line-6"></a> License : MIT
<a name="line-7"></a>
<a name="line-8"></a> Maintainer : Uwe Schmidt (uwe@fh-wedel.de)
<a name="line-9"></a> Stability : experimental
<a name="line-10"></a> Portability: portable
<a name="line-11"></a>
<a name="line-12"></a> Unicode and UTF-8 Conversion Functions
<a name="line-13"></a>
<a name="line-14"></a>-}</span>
<a name="line-15"></a>
<a name="line-16"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-17"></a>
<a name="line-18"></a><span class='keyword'>module</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>DOM</span><span class='varop'>.</span><span class='conid'>Unicode</span>
<a name="line-19"></a> <span class='layout'>(</span>
<a name="line-20"></a> <span class='comment'>-- * Unicode Type declarations</span>
<a name="line-21"></a> <span class='conid'>Unicode</span><span class='layout'>,</span>
<a name="line-22"></a> <span class='conid'>UString</span><span class='layout'>,</span>
<a name="line-23"></a> <span class='conid'>UTF8Char</span><span class='layout'>,</span>
<a name="line-24"></a> <span class='conid'>UTF8String</span><span class='layout'>,</span>
<a name="line-25"></a> <span class='conid'>UStringWithErrors</span><span class='layout'>,</span>
<a name="line-26"></a> <span class='conid'>DecodingFct</span><span class='layout'>,</span>
<a name="line-27"></a> <span class='conid'>DecodingFctEmbedErrors</span><span class='layout'>,</span>
<a name="line-28"></a>
<a name="line-29"></a> <span class='comment'>-- * XML char predicates</span>
<a name="line-30"></a>
<a name="line-31"></a> <span class='varid'>isXmlChar</span>
<a name="line-32"></a> <span class='layout'>,</span> <span class='varid'>isXmlLatin1Char</span>
<a name="line-33"></a> <span class='layout'>,</span> <span class='varid'>isXmlSpaceChar</span>
<a name="line-34"></a> <span class='layout'>,</span> <span class='varid'>isXml11SpaceChar</span>
<a name="line-35"></a> <span class='layout'>,</span> <span class='varid'>isXmlNameChar</span>
<a name="line-36"></a> <span class='layout'>,</span> <span class='varid'>isXmlNameStartChar</span>
<a name="line-37"></a> <span class='layout'>,</span> <span class='varid'>isXmlNCNameChar</span>
<a name="line-38"></a> <span class='layout'>,</span> <span class='varid'>isXmlNCNameStartChar</span>
<a name="line-39"></a> <span class='layout'>,</span> <span class='varid'>isXmlPubidChar</span>
<a name="line-40"></a> <span class='layout'>,</span> <span class='varid'>isXmlLetter</span>
<a name="line-41"></a> <span class='layout'>,</span> <span class='varid'>isXmlBaseChar</span>
<a name="line-42"></a> <span class='layout'>,</span> <span class='varid'>isXmlIdeographicChar</span>
<a name="line-43"></a> <span class='layout'>,</span> <span class='varid'>isXmlCombiningChar</span>
<a name="line-44"></a> <span class='layout'>,</span> <span class='varid'>isXmlDigit</span>
<a name="line-45"></a> <span class='layout'>,</span> <span class='varid'>isXmlExtender</span>
<a name="line-46"></a> <span class='layout'>,</span> <span class='varid'>isXmlControlOrPermanentlyUndefined</span>
<a name="line-47"></a>
<a name="line-48"></a> <span class='comment'>-- * UTF-8 and Unicode conversion functions</span>
<a name="line-49"></a> <span class='layout'>,</span> <span class='varid'>utf8ToUnicode</span>
<a name="line-50"></a> <span class='layout'>,</span> <span class='varid'>utf8ToUnicodeEmbedErrors</span>
<a name="line-51"></a> <span class='layout'>,</span> <span class='varid'>latin1ToUnicode</span>
<a name="line-52"></a> <span class='layout'>,</span> <span class='varid'>ucs2ToUnicode</span>
<a name="line-53"></a> <span class='layout'>,</span> <span class='varid'>ucs2BigEndianToUnicode</span>
<a name="line-54"></a> <span class='layout'>,</span> <span class='varid'>ucs2LittleEndianToUnicode</span>
<a name="line-55"></a> <span class='layout'>,</span> <span class='varid'>utf16beToUnicode</span>
<a name="line-56"></a> <span class='layout'>,</span> <span class='varid'>utf16leToUnicode</span>
<a name="line-57"></a>
<a name="line-58"></a> <span class='layout'>,</span> <span class='varid'>unicodeCharToUtf8</span>
<a name="line-59"></a>
<a name="line-60"></a> <span class='layout'>,</span> <span class='varid'>unicodeToUtf8</span>
<a name="line-61"></a> <span class='layout'>,</span> <span class='varid'>unicodeToXmlEntity</span>
<a name="line-62"></a> <span class='layout'>,</span> <span class='varid'>unicodeToLatin1</span>
<a name="line-63"></a> <span class='layout'>,</span> <span class='varid'>unicodeRemoveNoneAscii</span>
<a name="line-64"></a> <span class='layout'>,</span> <span class='varid'>unicodeRemoveNoneLatin1</span>
<a name="line-65"></a>
<a name="line-66"></a> <span class='layout'>,</span> <span class='varid'>intToCharRef</span>
<a name="line-67"></a> <span class='layout'>,</span> <span class='varid'>intToCharRefHex</span>
<a name="line-68"></a>
<a name="line-69"></a> <span class='layout'>,</span> <span class='varid'>getDecodingFct</span>
<a name="line-70"></a> <span class='layout'>,</span> <span class='varid'>getDecodingFctEmbedErrors</span>
<a name="line-71"></a> <span class='layout'>,</span> <span class='varid'>getOutputEncodingFct</span>
<a name="line-72"></a>
<a name="line-73"></a> <span class='layout'>,</span> <span class='varid'>normalizeNL</span>
<a name="line-74"></a> <span class='layout'>,</span> <span class='varid'>guessEncoding</span>
<a name="line-75"></a> <span class='layout'>)</span>
<a name="line-76"></a><span class='keyword'>where</span>
<a name="line-77"></a>
<a name="line-78"></a><span class='keyword'>import</span> <span class='conid'>Data</span><span class='varop'>.</span><span class='conid'>Char</span><span class='layout'>(</span> <span class='varid'>toUpper</span> <span class='layout'>)</span>
<a name="line-79"></a>
<a name="line-80"></a><span class='keyword'>import</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>DOM</span><span class='varop'>.</span><span class='conid'>Util</span> <span class='layout'>(</span> <span class='varid'>swap</span><span class='layout'>,</span> <span class='varid'>partitionEither</span> <span class='layout'>)</span>
<a name="line-81"></a>
<a name="line-82"></a><span class='keyword'>import</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>DOM</span><span class='varop'>.</span><span class='conid'>IsoLatinTables</span>
<a name="line-83"></a><span class='keyword'>import</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>DOM</span><span class='varop'>.</span><span class='conid'>UTF8Decoding</span> <span class='layout'>(</span> <span class='varid'>decodeUtf8</span><span class='layout'>,</span> <span class='varid'>decodeUtf8EmbedErrors</span> <span class='layout'>)</span>
<a name="line-84"></a><span class='keyword'>import</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>DOM</span><span class='varop'>.</span><span class='conid'>Util</span> <span class='layout'>(</span> <span class='varid'>intToHexString</span> <span class='layout'>)</span>
<a name="line-85"></a><span class='keyword'>import</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>DOM</span><span class='varop'>.</span><span class='conid'>XmlKeywords</span>
<a name="line-86"></a>
<a name="line-87"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-88"></a>
<a name="line-89"></a><span class='comment'>-- | Unicode is represented as the Char type</span>
<a name="line-90"></a><span class='comment'>-- Precondition for this is the support of Unicode character range</span>
<a name="line-91"></a><span class='comment'>-- in the compiler (e.g. ghc but not hugs)</span>
<a name="line-92"></a>
<a name="line-93"></a><a name="Unicode"></a><span class='keyword'>type</span> <span class='conid'>Unicode</span> <span class='keyglyph'>=</span> <span class='conid'>Char</span>
<a name="line-94"></a>
<a name="line-95"></a><span class='comment'>-- | the type for Unicode strings</span>
<a name="line-96"></a>
<a name="line-97"></a><a name="UString"></a><span class='keyword'>type</span> <span class='conid'>UString</span> <span class='keyglyph'>=</span> <span class='keyglyph'>[</span><span class='conid'>Unicode</span><span class='keyglyph'>]</span>
<a name="line-98"></a>
<a name="line-99"></a><span class='comment'>-- | UTF-8 charachters are represented by the Char type</span>
<a name="line-100"></a>
<a name="line-101"></a><a name="UTF8Char"></a><span class='keyword'>type</span> <span class='conid'>UTF8Char</span> <span class='keyglyph'>=</span> <span class='conid'>Char</span>
<a name="line-102"></a>
<a name="line-103"></a><span class='comment'>-- | UTF-8 strings are implemented as Haskell strings</span>
<a name="line-104"></a>
<a name="line-105"></a><a name="UTF8String"></a><span class='keyword'>type</span> <span class='conid'>UTF8String</span> <span class='keyglyph'>=</span> <span class='conid'>String</span>
<a name="line-106"></a>
<a name="line-107"></a><span class='comment'>-- | Decoding function with a pair containing the result string and a list of decoding errors as result</span>
<a name="line-108"></a>
<a name="line-109"></a><a name="DecodingFct"></a><span class='keyword'>type</span> <span class='conid'>DecodingFct</span> <span class='keyglyph'>=</span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='layout'>(</span><span class='conid'>UString</span><span class='layout'>,</span> <span class='keyglyph'>[</span><span class='conid'>String</span><span class='keyglyph'>]</span><span class='layout'>)</span>
<a name="line-110"></a>
<a name="line-111"></a><a name="UStringWithErrors"></a><span class='keyword'>type</span> <span class='conid'>UStringWithErrors</span> <span class='keyglyph'>=</span> <span class='keyglyph'>[</span><span class='conid'>Either</span> <span class='conid'>String</span> <span class='conid'>Char</span><span class='keyglyph'>]</span>
<a name="line-112"></a>
<a name="line-113"></a><span class='comment'>-- | Decoding function where decoding errors are interleaved with decoded characters</span>
<a name="line-114"></a>
<a name="line-115"></a><a name="DecodingFctEmbedErrors"></a><span class='keyword'>type</span> <span class='conid'>DecodingFctEmbedErrors</span> <span class='keyglyph'>=</span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>UStringWithErrors</span>
<a name="line-116"></a>
<a name="line-117"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-118"></a><span class='comment'>--</span>
<a name="line-119"></a><span class='comment'>-- Unicode predicates</span>
<a name="line-120"></a>
<a name="line-121"></a><span class='comment'>-- |</span>
<a name="line-122"></a><span class='comment'>-- test for a legal 1 byte XML char</span>
<a name="line-123"></a>
<a name="line-124"></a><a name="is1ByteXmlChar"></a><span class='definition'>is1ByteXmlChar</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-125"></a><span class='definition'>is1ByteXmlChar</span> <span class='varid'>c</span>
<a name="line-126"></a> <span class='keyglyph'>=</span> <span class='varid'>c</span> <span class='varop'><</span> <span class='chr'>'\x80'</span>
<a name="line-127"></a> <span class='varop'>&&</span> <span class='layout'>(</span> <span class='varid'>c</span> <span class='varop'>>=</span> <span class='chr'>' '</span>
<a name="line-128"></a> <span class='varop'>||</span>
<a name="line-129"></a> <span class='varid'>c</span> <span class='varop'>==</span> <span class='chr'>'\n'</span>
<a name="line-130"></a> <span class='varop'>||</span>
<a name="line-131"></a> <span class='varid'>c</span> <span class='varop'>==</span> <span class='chr'>'\t'</span>
<a name="line-132"></a> <span class='varop'>||</span>
<a name="line-133"></a> <span class='varid'>c</span> <span class='varop'>==</span> <span class='chr'>'\r'</span>
<a name="line-134"></a> <span class='layout'>)</span>
<a name="line-135"></a>
<a name="line-136"></a><span class='comment'>-- |</span>
<a name="line-137"></a><span class='comment'>-- test for a legal latin1 XML char</span>
<a name="line-138"></a>
<a name="line-139"></a><a name="isXmlLatin1Char"></a><span class='definition'>isXmlLatin1Char</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-140"></a><span class='definition'>isXmlLatin1Char</span> <span class='varid'>i</span>
<a name="line-141"></a> <span class='keyglyph'>=</span> <span class='varid'>is1ByteXmlChar</span> <span class='varid'>i</span>
<a name="line-142"></a> <span class='varop'>||</span>
<a name="line-143"></a> <span class='layout'>(</span><span class='varid'>i</span> <span class='varop'>>=</span> <span class='chr'>'\x80'</span> <span class='varop'>&&</span> <span class='varid'>i</span> <span class='varop'><=</span> <span class='chr'>'\xff'</span><span class='layout'>)</span>
<a name="line-144"></a>
<a name="line-145"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-146"></a>
<a name="line-147"></a><span class='comment'>-- |</span>
<a name="line-148"></a><span class='comment'>-- conversion from Unicode strings (UString) to UTF8 encoded strings.</span>
<a name="line-149"></a>
<a name="line-150"></a><a name="unicodeToUtf8"></a><span class='definition'>unicodeToUtf8</span> <span class='keyglyph'>::</span> <span class='conid'>UString</span> <span class='keyglyph'>-></span> <span class='conid'>UTF8String</span>
<a name="line-151"></a><span class='definition'>unicodeToUtf8</span> <span class='keyglyph'>=</span> <span class='varid'>concatMap</span> <span class='varid'>unicodeCharToUtf8</span>
<a name="line-152"></a>
<a name="line-153"></a><span class='comment'>-- |</span>
<a name="line-154"></a><span class='comment'>-- conversion from Unicode (Char) to a UTF8 encoded string.</span>
<a name="line-155"></a>
<a name="line-156"></a><a name="unicodeCharToUtf8"></a><span class='definition'>unicodeCharToUtf8</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>UTF8String</span>
<a name="line-157"></a><span class='definition'>unicodeCharToUtf8</span> <span class='varid'>c</span>
<a name="line-158"></a> <span class='keyglyph'>|</span> <span class='varid'>i</span> <span class='varop'>>=</span> <span class='num'>0</span> <span class='varop'>&&</span> <span class='varid'>i</span> <span class='varop'><=</span> <span class='num'>0x0000007F</span> <span class='comment'>-- 1 byte UTF8 (7 bits)</span>
<a name="line-159"></a> <span class='keyglyph'>=</span> <span class='keyglyph'>[</span> <span class='varid'>toEnum</span> <span class='varid'>i</span> <span class='keyglyph'>]</span>
<a name="line-160"></a> <span class='keyglyph'>|</span> <span class='varid'>i</span> <span class='varop'>>=</span> <span class='num'>0x00000080</span> <span class='varop'>&&</span> <span class='varid'>i</span> <span class='varop'><=</span> <span class='num'>0x000007FF</span> <span class='comment'>-- 2 byte UTF8 (5 + 6 bits)</span>
<a name="line-161"></a> <span class='keyglyph'>=</span> <span class='keyglyph'>[</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0xC0</span> <span class='varop'>+</span> <span class='varid'>i</span> <span class='varop'>`div`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-162"></a> <span class='layout'>,</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0x80</span> <span class='varop'>+</span> <span class='varid'>i</span> <span class='varop'>`mod`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-163"></a> <span class='keyglyph'>]</span>
<a name="line-164"></a> <span class='keyglyph'>|</span> <span class='varid'>i</span> <span class='varop'>>=</span> <span class='num'>0x00000800</span> <span class='varop'>&&</span> <span class='varid'>i</span> <span class='varop'><=</span> <span class='num'>0x0000FFFF</span> <span class='comment'>-- 3 byte UTF8 (4 + 6 + 6 bits)</span>
<a name="line-165"></a> <span class='keyglyph'>=</span> <span class='keyglyph'>[</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0xE0</span> <span class='varop'>+</span> <span class='varid'>i</span> <span class='varop'>`div`</span> <span class='num'>0x1000</span><span class='layout'>)</span>
<a name="line-166"></a> <span class='layout'>,</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0x80</span> <span class='varop'>+</span> <span class='layout'>(</span><span class='varid'>i</span> <span class='varop'>`div`</span> <span class='num'>0x40</span><span class='layout'>)</span> <span class='varop'>`mod`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-167"></a> <span class='layout'>,</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0x80</span> <span class='varop'>+</span> <span class='varid'>i</span> <span class='varop'>`mod`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-168"></a> <span class='keyglyph'>]</span>
<a name="line-169"></a> <span class='keyglyph'>|</span> <span class='varid'>i</span> <span class='varop'>>=</span> <span class='num'>0x00010000</span> <span class='varop'>&&</span> <span class='varid'>i</span> <span class='varop'><=</span> <span class='num'>0x001FFFFF</span> <span class='comment'>-- 4 byte UTF8 (3 + 6 + 6 + 6 bits)</span>
<a name="line-170"></a> <span class='keyglyph'>=</span> <span class='keyglyph'>[</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0xF0</span> <span class='varop'>+</span> <span class='varid'>i</span> <span class='varop'>`div`</span> <span class='num'>0x40000</span><span class='layout'>)</span>
<a name="line-171"></a> <span class='layout'>,</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0x80</span> <span class='varop'>+</span> <span class='layout'>(</span><span class='varid'>i</span> <span class='varop'>`div`</span> <span class='num'>0x1000</span><span class='layout'>)</span> <span class='varop'>`mod`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-172"></a> <span class='layout'>,</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0x80</span> <span class='varop'>+</span> <span class='layout'>(</span><span class='varid'>i</span> <span class='varop'>`div`</span> <span class='num'>0x40</span><span class='layout'>)</span> <span class='varop'>`mod`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-173"></a> <span class='layout'>,</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0x80</span> <span class='varop'>+</span> <span class='varid'>i</span> <span class='varop'>`mod`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-174"></a> <span class='keyglyph'>]</span>
<a name="line-175"></a> <span class='keyglyph'>|</span> <span class='varid'>i</span> <span class='varop'>>=</span> <span class='num'>0x00200000</span> <span class='varop'>&&</span> <span class='varid'>i</span> <span class='varop'><=</span> <span class='num'>0x03FFFFFF</span> <span class='comment'>-- 5 byte UTF8 (2 + 6 + 6 + 6 + 6 bits)</span>
<a name="line-176"></a> <span class='keyglyph'>=</span> <span class='keyglyph'>[</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0xF8</span> <span class='varop'>+</span> <span class='varid'>i</span> <span class='varop'>`div`</span> <span class='num'>0x1000000</span><span class='layout'>)</span>
<a name="line-177"></a> <span class='layout'>,</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0x80</span> <span class='varop'>+</span> <span class='layout'>(</span><span class='varid'>i</span> <span class='varop'>`div`</span> <span class='num'>0x40000</span><span class='layout'>)</span> <span class='varop'>`mod`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-178"></a> <span class='layout'>,</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0x80</span> <span class='varop'>+</span> <span class='layout'>(</span><span class='varid'>i</span> <span class='varop'>`div`</span> <span class='num'>0x1000</span><span class='layout'>)</span> <span class='varop'>`mod`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-179"></a> <span class='layout'>,</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0x80</span> <span class='varop'>+</span> <span class='layout'>(</span><span class='varid'>i</span> <span class='varop'>`div`</span> <span class='num'>0x40</span><span class='layout'>)</span> <span class='varop'>`mod`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-180"></a> <span class='layout'>,</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0x80</span> <span class='varop'>+</span> <span class='varid'>i</span> <span class='varop'>`mod`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-181"></a> <span class='keyglyph'>]</span>
<a name="line-182"></a> <span class='keyglyph'>|</span> <span class='varid'>i</span> <span class='varop'>>=</span> <span class='num'>0x04000000</span> <span class='varop'>&&</span> <span class='varid'>i</span> <span class='varop'><=</span> <span class='num'>0x7FFFFFFF</span> <span class='comment'>-- 6 byte UTF8 (1 + 6 + 6 + 6 + 6 + 6 bits)</span>
<a name="line-183"></a> <span class='keyglyph'>=</span> <span class='keyglyph'>[</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0xFC</span> <span class='varop'>+</span> <span class='varid'>i</span> <span class='varop'>`div`</span> <span class='num'>0x40000000</span><span class='layout'>)</span>
<a name="line-184"></a> <span class='layout'>,</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0x80</span> <span class='varop'>+</span> <span class='layout'>(</span><span class='varid'>i</span> <span class='varop'>`div`</span> <span class='num'>0x1000000</span><span class='layout'>)</span> <span class='varop'>`mod`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-185"></a> <span class='layout'>,</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0x80</span> <span class='varop'>+</span> <span class='layout'>(</span><span class='varid'>i</span> <span class='varop'>`div`</span> <span class='num'>0x40000</span><span class='layout'>)</span> <span class='varop'>`mod`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-186"></a> <span class='layout'>,</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0x80</span> <span class='varop'>+</span> <span class='layout'>(</span><span class='varid'>i</span> <span class='varop'>`div`</span> <span class='num'>0x1000</span><span class='layout'>)</span> <span class='varop'>`mod`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-187"></a> <span class='layout'>,</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0x80</span> <span class='varop'>+</span> <span class='layout'>(</span><span class='varid'>i</span> <span class='varop'>`div`</span> <span class='num'>0x40</span><span class='layout'>)</span> <span class='varop'>`mod`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-188"></a> <span class='layout'>,</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='num'>0x80</span> <span class='varop'>+</span> <span class='varid'>i</span> <span class='varop'>`mod`</span> <span class='num'>0x40</span><span class='layout'>)</span>
<a name="line-189"></a> <span class='keyglyph'>]</span>
<a name="line-190"></a> <span class='keyglyph'>|</span> <span class='varid'>otherwise</span> <span class='comment'>-- other values not supported</span>
<a name="line-191"></a> <span class='keyglyph'>=</span> <span class='varid'>error</span> <span class='layout'>(</span><span class='str'>"unicodeCharToUtf8: illegal integer argument "</span> <span class='varop'>++</span> <span class='varid'>show</span> <span class='varid'>i</span><span class='layout'>)</span>
<a name="line-192"></a> <span class='keyword'>where</span>
<a name="line-193"></a> <span class='varid'>i</span> <span class='keyglyph'>=</span> <span class='varid'>fromEnum</span> <span class='varid'>c</span>
<a name="line-194"></a>
<a name="line-195"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-196"></a>
<a name="line-197"></a><span class='comment'>-- |</span>
<a name="line-198"></a><span class='comment'>-- checking for valid XML characters</span>
<a name="line-199"></a>
<a name="line-200"></a><a name="isXmlChar"></a><span class='definition'>isXmlChar</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-201"></a><span class='definition'>isXmlChar</span> <span class='varid'>c</span>
<a name="line-202"></a> <span class='keyglyph'>=</span> <span class='varid'>isInList</span> <span class='varid'>c</span>
<a name="line-203"></a> <span class='keyglyph'>[</span> <span class='layout'>(</span><span class='chr'>'\x0009'</span><span class='layout'>,</span> <span class='chr'>'\x000A'</span><span class='layout'>)</span>
<a name="line-204"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x000D'</span><span class='layout'>,</span> <span class='chr'>'\x000D'</span><span class='layout'>)</span>
<a name="line-205"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0020'</span><span class='layout'>,</span> <span class='chr'>'\xD7FF'</span><span class='layout'>)</span>
<a name="line-206"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\xE000'</span><span class='layout'>,</span> <span class='chr'>'\xFFFD'</span><span class='layout'>)</span>
<a name="line-207"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x10000'</span><span class='layout'>,</span> <span class='chr'>'\x10FFFF'</span><span class='layout'>)</span>
<a name="line-208"></a> <span class='keyglyph'>]</span>
<a name="line-209"></a>
<a name="line-210"></a><span class='comment'>-- |</span>
<a name="line-211"></a><span class='comment'>-- checking for XML space character: \\\n, \\\r, \\\t and \" \"</span>
<a name="line-212"></a>
<a name="line-213"></a><a name="isXmlSpaceChar"></a><span class='definition'>isXmlSpaceChar</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-214"></a><span class='definition'>isXmlSpaceChar</span> <span class='varid'>c</span>
<a name="line-215"></a> <span class='keyglyph'>=</span> <span class='varid'>c</span> <span class='varop'>`elem`</span> <span class='keyglyph'>[</span><span class='chr'>'\x20'</span><span class='layout'>,</span> <span class='chr'>'\x09'</span><span class='layout'>,</span> <span class='chr'>'\x0D'</span><span class='layout'>,</span> <span class='chr'>'\x0A'</span><span class='keyglyph'>]</span>
<a name="line-216"></a>
<a name="line-217"></a><span class='comment'>-- |</span>
<a name="line-218"></a><span class='comment'>-- checking for XML1.1 space character: additional space 0x85 and 0x2028</span>
<a name="line-219"></a><span class='comment'>--</span>
<a name="line-220"></a><span class='comment'>-- see also : 'isXmlSpaceChar'</span>
<a name="line-221"></a>
<a name="line-222"></a><a name="isXml11SpaceChar"></a><span class='definition'>isXml11SpaceChar</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-223"></a><span class='definition'>isXml11SpaceChar</span> <span class='varid'>c</span>
<a name="line-224"></a> <span class='keyglyph'>=</span> <span class='varid'>c</span> <span class='varop'>`elem`</span> <span class='keyglyph'>[</span><span class='chr'>'\x20'</span><span class='layout'>,</span> <span class='chr'>'\x09'</span><span class='layout'>,</span> <span class='chr'>'\x0D'</span><span class='layout'>,</span> <span class='chr'>'\x0A'</span><span class='layout'>,</span> <span class='chr'>'\x85'</span><span class='layout'>,</span> <span class='chr'>'\x2028'</span><span class='keyglyph'>]</span>
<a name="line-225"></a>
<a name="line-226"></a><span class='comment'>-- |</span>
<a name="line-227"></a><span class='comment'>-- checking for XML name character</span>
<a name="line-228"></a>
<a name="line-229"></a><a name="isXmlNameChar"></a><span class='definition'>isXmlNameChar</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-230"></a><span class='definition'>isXmlNameChar</span> <span class='varid'>c</span>
<a name="line-231"></a> <span class='keyglyph'>=</span> <span class='varid'>isXmlLetter</span> <span class='varid'>c</span>
<a name="line-232"></a> <span class='varop'>||</span>
<a name="line-233"></a> <span class='varid'>isXmlDigit</span> <span class='varid'>c</span>
<a name="line-234"></a> <span class='varop'>||</span>
<a name="line-235"></a> <span class='layout'>(</span><span class='varid'>c</span> <span class='varop'>==</span> <span class='chr'>'\x2D'</span> <span class='varop'>||</span> <span class='varid'>c</span> <span class='varop'>==</span> <span class='chr'>'\x2E'</span><span class='layout'>)</span> <span class='comment'>-- '-' | '.'</span>
<a name="line-236"></a> <span class='varop'>||</span>
<a name="line-237"></a> <span class='layout'>(</span><span class='varid'>c</span> <span class='varop'>==</span> <span class='chr'>'\x3A'</span> <span class='varop'>||</span> <span class='varid'>c</span> <span class='varop'>==</span> <span class='chr'>'\x5F'</span><span class='layout'>)</span> <span class='comment'>-- Letter | ':' | '_'</span>
<a name="line-238"></a> <span class='varop'>||</span>
<a name="line-239"></a> <span class='varid'>isXmlCombiningChar</span> <span class='varid'>c</span>
<a name="line-240"></a> <span class='varop'>||</span>
<a name="line-241"></a> <span class='varid'>isXmlExtender</span> <span class='varid'>c</span>
<a name="line-242"></a>
<a name="line-243"></a><span class='comment'>-- |</span>
<a name="line-244"></a><span class='comment'>-- checking for XML name start character</span>
<a name="line-245"></a><span class='comment'>--</span>
<a name="line-246"></a><span class='comment'>-- see also : 'isXmlNameChar'</span>
<a name="line-247"></a>
<a name="line-248"></a><a name="isXmlNameStartChar"></a><span class='definition'>isXmlNameStartChar</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-249"></a><span class='definition'>isXmlNameStartChar</span> <span class='varid'>c</span>
<a name="line-250"></a> <span class='keyglyph'>=</span> <span class='varid'>isXmlLetter</span> <span class='varid'>c</span>
<a name="line-251"></a> <span class='varop'>||</span>
<a name="line-252"></a> <span class='layout'>(</span><span class='varid'>c</span> <span class='varop'>==</span> <span class='chr'>'\x3A'</span> <span class='varop'>||</span> <span class='varid'>c</span> <span class='varop'>==</span> <span class='chr'>'\x5F'</span><span class='layout'>)</span> <span class='comment'>-- Letter | ':' | '_'</span>
<a name="line-253"></a>
<a name="line-254"></a><span class='comment'>-- |</span>
<a name="line-255"></a><span class='comment'>-- checking for XML NCName character: no \":\" allowed</span>
<a name="line-256"></a><span class='comment'>--</span>
<a name="line-257"></a><span class='comment'>-- see also : 'isXmlNameChar'</span>
<a name="line-258"></a>
<a name="line-259"></a><a name="isXmlNCNameChar"></a><span class='definition'>isXmlNCNameChar</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-260"></a><span class='definition'>isXmlNCNameChar</span> <span class='varid'>c</span>
<a name="line-261"></a> <span class='keyglyph'>=</span> <span class='varid'>c</span> <span class='varop'>/=</span> <span class='chr'>'\x3A'</span>
<a name="line-262"></a> <span class='varop'>&&</span>
<a name="line-263"></a> <span class='varid'>isXmlNameChar</span> <span class='varid'>c</span>
<a name="line-264"></a>
<a name="line-265"></a><span class='comment'>-- |</span>
<a name="line-266"></a><span class='comment'>-- checking for XML NCName start character: no \":\" allowed</span>
<a name="line-267"></a><span class='comment'>--</span>
<a name="line-268"></a><span class='comment'>-- see also : 'isXmlNameChar', 'isXmlNCNameChar'</span>
<a name="line-269"></a>
<a name="line-270"></a><a name="isXmlNCNameStartChar"></a><span class='definition'>isXmlNCNameStartChar</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-271"></a><span class='definition'>isXmlNCNameStartChar</span> <span class='varid'>c</span>
<a name="line-272"></a> <span class='keyglyph'>=</span> <span class='varid'>c</span> <span class='varop'>/=</span> <span class='chr'>'\x3A'</span>
<a name="line-273"></a> <span class='varop'>&&</span>
<a name="line-274"></a> <span class='varid'>isXmlNameStartChar</span> <span class='varid'>c</span>
<a name="line-275"></a>
<a name="line-276"></a><span class='comment'>-- |</span>
<a name="line-277"></a><span class='comment'>-- checking for XML public id character</span>
<a name="line-278"></a>
<a name="line-279"></a><a name="isXmlPubidChar"></a><span class='definition'>isXmlPubidChar</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-280"></a><span class='definition'>isXmlPubidChar</span> <span class='varid'>c</span>
<a name="line-281"></a> <span class='keyglyph'>=</span> <span class='varid'>isInList</span> <span class='varid'>c</span> <span class='keyglyph'>[</span> <span class='layout'>(</span><span class='chr'>'0'</span><span class='layout'>,</span> <span class='chr'>'9'</span><span class='layout'>)</span>
<a name="line-282"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'A'</span><span class='layout'>,</span> <span class='chr'>'Z'</span><span class='layout'>)</span>
<a name="line-283"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'a'</span><span class='layout'>,</span> <span class='chr'>'z'</span><span class='layout'>)</span>
<a name="line-284"></a> <span class='keyglyph'>]</span>
<a name="line-285"></a> <span class='varop'>||</span>
<a name="line-286"></a> <span class='layout'>(</span> <span class='varid'>c</span> <span class='varop'>`elem`</span> <span class='str'>" \r\n-'()+,./:=?;!*#@$_%"</span> <span class='layout'>)</span>
<a name="line-287"></a>
<a name="line-288"></a><span class='comment'>-- |</span>
<a name="line-289"></a><span class='comment'>-- checking for XML letter</span>
<a name="line-290"></a>
<a name="line-291"></a><a name="isXmlLetter"></a><span class='definition'>isXmlLetter</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-292"></a><span class='definition'>isXmlLetter</span> <span class='varid'>c</span>
<a name="line-293"></a> <span class='keyglyph'>=</span> <span class='varid'>isXmlBaseChar</span> <span class='varid'>c</span>
<a name="line-294"></a> <span class='varop'>||</span>
<a name="line-295"></a> <span class='varid'>isXmlIdeographicChar</span> <span class='varid'>c</span>
<a name="line-296"></a>
<a name="line-297"></a><span class='comment'>-- |</span>
<a name="line-298"></a><span class='comment'>-- checking for XML base charater</span>
<a name="line-299"></a>
<a name="line-300"></a><a name="isXmlBaseChar"></a><span class='definition'>isXmlBaseChar</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-301"></a><span class='definition'>isXmlBaseChar</span> <span class='varid'>c</span>
<a name="line-302"></a> <span class='keyglyph'>=</span> <span class='varid'>isInList</span> <span class='varid'>c</span>
<a name="line-303"></a> <span class='keyglyph'>[</span> <span class='layout'>(</span><span class='chr'>'\x0041'</span><span class='layout'>,</span> <span class='chr'>'\x005A'</span><span class='layout'>)</span>
<a name="line-304"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0061'</span><span class='layout'>,</span> <span class='chr'>'\x007A'</span><span class='layout'>)</span>
<a name="line-305"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x00C0'</span><span class='layout'>,</span> <span class='chr'>'\x00D6'</span><span class='layout'>)</span>
<a name="line-306"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x00D8'</span><span class='layout'>,</span> <span class='chr'>'\x00F6'</span><span class='layout'>)</span>
<a name="line-307"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x00F8'</span><span class='layout'>,</span> <span class='chr'>'\x0131'</span><span class='layout'>)</span>
<a name="line-308"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0134'</span><span class='layout'>,</span> <span class='chr'>'\x013E'</span><span class='layout'>)</span>
<a name="line-309"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0141'</span><span class='layout'>,</span> <span class='chr'>'\x0148'</span><span class='layout'>)</span>
<a name="line-310"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x014A'</span><span class='layout'>,</span> <span class='chr'>'\x017E'</span><span class='layout'>)</span>
<a name="line-311"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0180'</span><span class='layout'>,</span> <span class='chr'>'\x01C3'</span><span class='layout'>)</span>
<a name="line-312"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x01CD'</span><span class='layout'>,</span> <span class='chr'>'\x01F0'</span><span class='layout'>)</span>
<a name="line-313"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x01F4'</span><span class='layout'>,</span> <span class='chr'>'\x01F5'</span><span class='layout'>)</span>
<a name="line-314"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x01FA'</span><span class='layout'>,</span> <span class='chr'>'\x0217'</span><span class='layout'>)</span>
<a name="line-315"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0250'</span><span class='layout'>,</span> <span class='chr'>'\x02A8'</span><span class='layout'>)</span>
<a name="line-316"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x02BB'</span><span class='layout'>,</span> <span class='chr'>'\x02C1'</span><span class='layout'>)</span>
<a name="line-317"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0386'</span><span class='layout'>,</span> <span class='chr'>'\x0386'</span><span class='layout'>)</span>
<a name="line-318"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0388'</span><span class='layout'>,</span> <span class='chr'>'\x038A'</span><span class='layout'>)</span>
<a name="line-319"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x038C'</span><span class='layout'>,</span> <span class='chr'>'\x038C'</span><span class='layout'>)</span>
<a name="line-320"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x038E'</span><span class='layout'>,</span> <span class='chr'>'\x03A1'</span><span class='layout'>)</span>
<a name="line-321"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x03A3'</span><span class='layout'>,</span> <span class='chr'>'\x03CE'</span><span class='layout'>)</span>
<a name="line-322"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x03D0'</span><span class='layout'>,</span> <span class='chr'>'\x03D6'</span><span class='layout'>)</span>
<a name="line-323"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x03DA'</span><span class='layout'>,</span> <span class='chr'>'\x03DA'</span><span class='layout'>)</span>
<a name="line-324"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x03DC'</span><span class='layout'>,</span> <span class='chr'>'\x03DC'</span><span class='layout'>)</span>
<a name="line-325"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x03DE'</span><span class='layout'>,</span> <span class='chr'>'\x03DE'</span><span class='layout'>)</span>
<a name="line-326"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x03E0'</span><span class='layout'>,</span> <span class='chr'>'\x03E0'</span><span class='layout'>)</span>
<a name="line-327"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x03E2'</span><span class='layout'>,</span> <span class='chr'>'\x03F3'</span><span class='layout'>)</span>
<a name="line-328"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0401'</span><span class='layout'>,</span> <span class='chr'>'\x040C'</span><span class='layout'>)</span>
<a name="line-329"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x040E'</span><span class='layout'>,</span> <span class='chr'>'\x044F'</span><span class='layout'>)</span>
<a name="line-330"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0451'</span><span class='layout'>,</span> <span class='chr'>'\x045C'</span><span class='layout'>)</span>
<a name="line-331"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x045E'</span><span class='layout'>,</span> <span class='chr'>'\x0481'</span><span class='layout'>)</span>
<a name="line-332"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0490'</span><span class='layout'>,</span> <span class='chr'>'\x04C4'</span><span class='layout'>)</span>
<a name="line-333"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x04C7'</span><span class='layout'>,</span> <span class='chr'>'\x04C8'</span><span class='layout'>)</span>
<a name="line-334"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x04CB'</span><span class='layout'>,</span> <span class='chr'>'\x04CC'</span><span class='layout'>)</span>
<a name="line-335"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x04D0'</span><span class='layout'>,</span> <span class='chr'>'\x04EB'</span><span class='layout'>)</span>
<a name="line-336"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x04EE'</span><span class='layout'>,</span> <span class='chr'>'\x04F5'</span><span class='layout'>)</span>
<a name="line-337"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x04F8'</span><span class='layout'>,</span> <span class='chr'>'\x04F9'</span><span class='layout'>)</span>
<a name="line-338"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0531'</span><span class='layout'>,</span> <span class='chr'>'\x0556'</span><span class='layout'>)</span>
<a name="line-339"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0559'</span><span class='layout'>,</span> <span class='chr'>'\x0559'</span><span class='layout'>)</span>
<a name="line-340"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0561'</span><span class='layout'>,</span> <span class='chr'>'\x0586'</span><span class='layout'>)</span>
<a name="line-341"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x05D0'</span><span class='layout'>,</span> <span class='chr'>'\x05EA'</span><span class='layout'>)</span>
<a name="line-342"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x05F0'</span><span class='layout'>,</span> <span class='chr'>'\x05F2'</span><span class='layout'>)</span>
<a name="line-343"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0621'</span><span class='layout'>,</span> <span class='chr'>'\x063A'</span><span class='layout'>)</span>
<a name="line-344"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0641'</span><span class='layout'>,</span> <span class='chr'>'\x064A'</span><span class='layout'>)</span>
<a name="line-345"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0671'</span><span class='layout'>,</span> <span class='chr'>'\x06B7'</span><span class='layout'>)</span>
<a name="line-346"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x06BA'</span><span class='layout'>,</span> <span class='chr'>'\x06BE'</span><span class='layout'>)</span>
<a name="line-347"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x06C0'</span><span class='layout'>,</span> <span class='chr'>'\x06CE'</span><span class='layout'>)</span>
<a name="line-348"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x06D0'</span><span class='layout'>,</span> <span class='chr'>'\x06D3'</span><span class='layout'>)</span>
<a name="line-349"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x06D5'</span><span class='layout'>,</span> <span class='chr'>'\x06D5'</span><span class='layout'>)</span>
<a name="line-350"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x06E5'</span><span class='layout'>,</span> <span class='chr'>'\x06E6'</span><span class='layout'>)</span>
<a name="line-351"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0905'</span><span class='layout'>,</span> <span class='chr'>'\x0939'</span><span class='layout'>)</span>
<a name="line-352"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x093D'</span><span class='layout'>,</span> <span class='chr'>'\x093D'</span><span class='layout'>)</span>
<a name="line-353"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0958'</span><span class='layout'>,</span> <span class='chr'>'\x0961'</span><span class='layout'>)</span>
<a name="line-354"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0985'</span><span class='layout'>,</span> <span class='chr'>'\x098C'</span><span class='layout'>)</span>
<a name="line-355"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x098F'</span><span class='layout'>,</span> <span class='chr'>'\x0990'</span><span class='layout'>)</span>
<a name="line-356"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0993'</span><span class='layout'>,</span> <span class='chr'>'\x09A8'</span><span class='layout'>)</span>
<a name="line-357"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x09AA'</span><span class='layout'>,</span> <span class='chr'>'\x09B0'</span><span class='layout'>)</span>
<a name="line-358"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x09B2'</span><span class='layout'>,</span> <span class='chr'>'\x09B2'</span><span class='layout'>)</span>
<a name="line-359"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x09B6'</span><span class='layout'>,</span> <span class='chr'>'\x09B9'</span><span class='layout'>)</span>
<a name="line-360"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x09DC'</span><span class='layout'>,</span> <span class='chr'>'\x09DD'</span><span class='layout'>)</span>
<a name="line-361"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x09DF'</span><span class='layout'>,</span> <span class='chr'>'\x09E1'</span><span class='layout'>)</span>
<a name="line-362"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x09F0'</span><span class='layout'>,</span> <span class='chr'>'\x09F1'</span><span class='layout'>)</span>
<a name="line-363"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A05'</span><span class='layout'>,</span> <span class='chr'>'\x0A0A'</span><span class='layout'>)</span>
<a name="line-364"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A0F'</span><span class='layout'>,</span> <span class='chr'>'\x0A10'</span><span class='layout'>)</span>
<a name="line-365"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A13'</span><span class='layout'>,</span> <span class='chr'>'\x0A28'</span><span class='layout'>)</span>
<a name="line-366"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A2A'</span><span class='layout'>,</span> <span class='chr'>'\x0A30'</span><span class='layout'>)</span>
<a name="line-367"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A32'</span><span class='layout'>,</span> <span class='chr'>'\x0A33'</span><span class='layout'>)</span>
<a name="line-368"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A35'</span><span class='layout'>,</span> <span class='chr'>'\x0A36'</span><span class='layout'>)</span>
<a name="line-369"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A38'</span><span class='layout'>,</span> <span class='chr'>'\x0A39'</span><span class='layout'>)</span>
<a name="line-370"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A59'</span><span class='layout'>,</span> <span class='chr'>'\x0A5C'</span><span class='layout'>)</span>
<a name="line-371"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A5E'</span><span class='layout'>,</span> <span class='chr'>'\x0A5E'</span><span class='layout'>)</span>
<a name="line-372"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A72'</span><span class='layout'>,</span> <span class='chr'>'\x0A74'</span><span class='layout'>)</span>
<a name="line-373"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A85'</span><span class='layout'>,</span> <span class='chr'>'\x0A8B'</span><span class='layout'>)</span>
<a name="line-374"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A8D'</span><span class='layout'>,</span> <span class='chr'>'\x0A8D'</span><span class='layout'>)</span>
<a name="line-375"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A8F'</span><span class='layout'>,</span> <span class='chr'>'\x0A91'</span><span class='layout'>)</span>
<a name="line-376"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A93'</span><span class='layout'>,</span> <span class='chr'>'\x0AA8'</span><span class='layout'>)</span>
<a name="line-377"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0AAA'</span><span class='layout'>,</span> <span class='chr'>'\x0AB0'</span><span class='layout'>)</span>
<a name="line-378"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0AB2'</span><span class='layout'>,</span> <span class='chr'>'\x0AB3'</span><span class='layout'>)</span>
<a name="line-379"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0AB5'</span><span class='layout'>,</span> <span class='chr'>'\x0AB9'</span><span class='layout'>)</span>
<a name="line-380"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0ABD'</span><span class='layout'>,</span> <span class='chr'>'\x0ABD'</span><span class='layout'>)</span>
<a name="line-381"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0AE0'</span><span class='layout'>,</span> <span class='chr'>'\x0AE0'</span><span class='layout'>)</span>
<a name="line-382"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B05'</span><span class='layout'>,</span> <span class='chr'>'\x0B0C'</span><span class='layout'>)</span>
<a name="line-383"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B0F'</span><span class='layout'>,</span> <span class='chr'>'\x0B10'</span><span class='layout'>)</span>
<a name="line-384"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B13'</span><span class='layout'>,</span> <span class='chr'>'\x0B28'</span><span class='layout'>)</span>
<a name="line-385"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B2A'</span><span class='layout'>,</span> <span class='chr'>'\x0B30'</span><span class='layout'>)</span>
<a name="line-386"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B32'</span><span class='layout'>,</span> <span class='chr'>'\x0B33'</span><span class='layout'>)</span>
<a name="line-387"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B36'</span><span class='layout'>,</span> <span class='chr'>'\x0B39'</span><span class='layout'>)</span>
<a name="line-388"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B3D'</span><span class='layout'>,</span> <span class='chr'>'\x0B3D'</span><span class='layout'>)</span>
<a name="line-389"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B5C'</span><span class='layout'>,</span> <span class='chr'>'\x0B5D'</span><span class='layout'>)</span>
<a name="line-390"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B5F'</span><span class='layout'>,</span> <span class='chr'>'\x0B61'</span><span class='layout'>)</span>
<a name="line-391"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B85'</span><span class='layout'>,</span> <span class='chr'>'\x0B8A'</span><span class='layout'>)</span>
<a name="line-392"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B8E'</span><span class='layout'>,</span> <span class='chr'>'\x0B90'</span><span class='layout'>)</span>
<a name="line-393"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B92'</span><span class='layout'>,</span> <span class='chr'>'\x0B95'</span><span class='layout'>)</span>
<a name="line-394"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B99'</span><span class='layout'>,</span> <span class='chr'>'\x0B9A'</span><span class='layout'>)</span>
<a name="line-395"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B9C'</span><span class='layout'>,</span> <span class='chr'>'\x0B9C'</span><span class='layout'>)</span>
<a name="line-396"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B9E'</span><span class='layout'>,</span> <span class='chr'>'\x0B9F'</span><span class='layout'>)</span>
<a name="line-397"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0BA3'</span><span class='layout'>,</span> <span class='chr'>'\x0BA4'</span><span class='layout'>)</span>
<a name="line-398"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0BA8'</span><span class='layout'>,</span> <span class='chr'>'\x0BAA'</span><span class='layout'>)</span>
<a name="line-399"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0BAE'</span><span class='layout'>,</span> <span class='chr'>'\x0BB5'</span><span class='layout'>)</span>
<a name="line-400"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0BB7'</span><span class='layout'>,</span> <span class='chr'>'\x0BB9'</span><span class='layout'>)</span>
<a name="line-401"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C05'</span><span class='layout'>,</span> <span class='chr'>'\x0C0C'</span><span class='layout'>)</span>
<a name="line-402"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C0E'</span><span class='layout'>,</span> <span class='chr'>'\x0C10'</span><span class='layout'>)</span>
<a name="line-403"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C12'</span><span class='layout'>,</span> <span class='chr'>'\x0C28'</span><span class='layout'>)</span>
<a name="line-404"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C2A'</span><span class='layout'>,</span> <span class='chr'>'\x0C33'</span><span class='layout'>)</span>
<a name="line-405"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C35'</span><span class='layout'>,</span> <span class='chr'>'\x0C39'</span><span class='layout'>)</span>
<a name="line-406"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C60'</span><span class='layout'>,</span> <span class='chr'>'\x0C61'</span><span class='layout'>)</span>
<a name="line-407"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C85'</span><span class='layout'>,</span> <span class='chr'>'\x0C8C'</span><span class='layout'>)</span>
<a name="line-408"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C8E'</span><span class='layout'>,</span> <span class='chr'>'\x0C90'</span><span class='layout'>)</span>
<a name="line-409"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C92'</span><span class='layout'>,</span> <span class='chr'>'\x0CA8'</span><span class='layout'>)</span>
<a name="line-410"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0CAA'</span><span class='layout'>,</span> <span class='chr'>'\x0CB3'</span><span class='layout'>)</span>
<a name="line-411"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0CB5'</span><span class='layout'>,</span> <span class='chr'>'\x0CB9'</span><span class='layout'>)</span>
<a name="line-412"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0CDE'</span><span class='layout'>,</span> <span class='chr'>'\x0CDE'</span><span class='layout'>)</span>
<a name="line-413"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0CE0'</span><span class='layout'>,</span> <span class='chr'>'\x0CE1'</span><span class='layout'>)</span>
<a name="line-414"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0D05'</span><span class='layout'>,</span> <span class='chr'>'\x0D0C'</span><span class='layout'>)</span>
<a name="line-415"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0D0E'</span><span class='layout'>,</span> <span class='chr'>'\x0D10'</span><span class='layout'>)</span>
<a name="line-416"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0D12'</span><span class='layout'>,</span> <span class='chr'>'\x0D28'</span><span class='layout'>)</span>
<a name="line-417"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0D2A'</span><span class='layout'>,</span> <span class='chr'>'\x0D39'</span><span class='layout'>)</span>
<a name="line-418"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0D60'</span><span class='layout'>,</span> <span class='chr'>'\x0D61'</span><span class='layout'>)</span>
<a name="line-419"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E01'</span><span class='layout'>,</span> <span class='chr'>'\x0E2E'</span><span class='layout'>)</span>
<a name="line-420"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E30'</span><span class='layout'>,</span> <span class='chr'>'\x0E30'</span><span class='layout'>)</span>
<a name="line-421"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E32'</span><span class='layout'>,</span> <span class='chr'>'\x0E33'</span><span class='layout'>)</span>
<a name="line-422"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E40'</span><span class='layout'>,</span> <span class='chr'>'\x0E45'</span><span class='layout'>)</span>
<a name="line-423"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E81'</span><span class='layout'>,</span> <span class='chr'>'\x0E82'</span><span class='layout'>)</span>
<a name="line-424"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E84'</span><span class='layout'>,</span> <span class='chr'>'\x0E84'</span><span class='layout'>)</span>
<a name="line-425"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E87'</span><span class='layout'>,</span> <span class='chr'>'\x0E88'</span><span class='layout'>)</span>
<a name="line-426"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E8A'</span><span class='layout'>,</span> <span class='chr'>'\x0E8A'</span><span class='layout'>)</span>
<a name="line-427"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E8D'</span><span class='layout'>,</span> <span class='chr'>'\x0E8D'</span><span class='layout'>)</span>
<a name="line-428"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E94'</span><span class='layout'>,</span> <span class='chr'>'\x0E97'</span><span class='layout'>)</span>
<a name="line-429"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E99'</span><span class='layout'>,</span> <span class='chr'>'\x0E9F'</span><span class='layout'>)</span>
<a name="line-430"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0EA1'</span><span class='layout'>,</span> <span class='chr'>'\x0EA3'</span><span class='layout'>)</span>
<a name="line-431"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0EA5'</span><span class='layout'>,</span> <span class='chr'>'\x0EA5'</span><span class='layout'>)</span>
<a name="line-432"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0EA7'</span><span class='layout'>,</span> <span class='chr'>'\x0EA7'</span><span class='layout'>)</span>
<a name="line-433"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0EAA'</span><span class='layout'>,</span> <span class='chr'>'\x0EAB'</span><span class='layout'>)</span>
<a name="line-434"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0EAD'</span><span class='layout'>,</span> <span class='chr'>'\x0EAE'</span><span class='layout'>)</span>
<a name="line-435"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0EB0'</span><span class='layout'>,</span> <span class='chr'>'\x0EB0'</span><span class='layout'>)</span>
<a name="line-436"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0EB2'</span><span class='layout'>,</span> <span class='chr'>'\x0EB3'</span><span class='layout'>)</span>
<a name="line-437"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0EBD'</span><span class='layout'>,</span> <span class='chr'>'\x0EBD'</span><span class='layout'>)</span>
<a name="line-438"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0EC0'</span><span class='layout'>,</span> <span class='chr'>'\x0EC4'</span><span class='layout'>)</span>
<a name="line-439"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0F40'</span><span class='layout'>,</span> <span class='chr'>'\x0F47'</span><span class='layout'>)</span>
<a name="line-440"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0F49'</span><span class='layout'>,</span> <span class='chr'>'\x0F69'</span><span class='layout'>)</span>
<a name="line-441"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x10A0'</span><span class='layout'>,</span> <span class='chr'>'\x10C5'</span><span class='layout'>)</span>
<a name="line-442"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x10D0'</span><span class='layout'>,</span> <span class='chr'>'\x10F6'</span><span class='layout'>)</span>
<a name="line-443"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1100'</span><span class='layout'>,</span> <span class='chr'>'\x1100'</span><span class='layout'>)</span>
<a name="line-444"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1102'</span><span class='layout'>,</span> <span class='chr'>'\x1103'</span><span class='layout'>)</span>
<a name="line-445"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1105'</span><span class='layout'>,</span> <span class='chr'>'\x1107'</span><span class='layout'>)</span>
<a name="line-446"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1109'</span><span class='layout'>,</span> <span class='chr'>'\x1109'</span><span class='layout'>)</span>
<a name="line-447"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x110B'</span><span class='layout'>,</span> <span class='chr'>'\x110C'</span><span class='layout'>)</span>
<a name="line-448"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x110E'</span><span class='layout'>,</span> <span class='chr'>'\x1112'</span><span class='layout'>)</span>
<a name="line-449"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x113C'</span><span class='layout'>,</span> <span class='chr'>'\x113C'</span><span class='layout'>)</span>
<a name="line-450"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x113E'</span><span class='layout'>,</span> <span class='chr'>'\x113E'</span><span class='layout'>)</span>
<a name="line-451"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1140'</span><span class='layout'>,</span> <span class='chr'>'\x1140'</span><span class='layout'>)</span>
<a name="line-452"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x114C'</span><span class='layout'>,</span> <span class='chr'>'\x114C'</span><span class='layout'>)</span>
<a name="line-453"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x114E'</span><span class='layout'>,</span> <span class='chr'>'\x114E'</span><span class='layout'>)</span>
<a name="line-454"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1150'</span><span class='layout'>,</span> <span class='chr'>'\x1150'</span><span class='layout'>)</span>
<a name="line-455"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1154'</span><span class='layout'>,</span> <span class='chr'>'\x1155'</span><span class='layout'>)</span>
<a name="line-456"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1159'</span><span class='layout'>,</span> <span class='chr'>'\x1159'</span><span class='layout'>)</span>
<a name="line-457"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x115F'</span><span class='layout'>,</span> <span class='chr'>'\x1161'</span><span class='layout'>)</span>
<a name="line-458"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1163'</span><span class='layout'>,</span> <span class='chr'>'\x1163'</span><span class='layout'>)</span>
<a name="line-459"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1165'</span><span class='layout'>,</span> <span class='chr'>'\x1165'</span><span class='layout'>)</span>
<a name="line-460"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1167'</span><span class='layout'>,</span> <span class='chr'>'\x1167'</span><span class='layout'>)</span>
<a name="line-461"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1169'</span><span class='layout'>,</span> <span class='chr'>'\x1169'</span><span class='layout'>)</span>
<a name="line-462"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x116D'</span><span class='layout'>,</span> <span class='chr'>'\x116E'</span><span class='layout'>)</span>
<a name="line-463"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1172'</span><span class='layout'>,</span> <span class='chr'>'\x1173'</span><span class='layout'>)</span>
<a name="line-464"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1175'</span><span class='layout'>,</span> <span class='chr'>'\x1175'</span><span class='layout'>)</span>
<a name="line-465"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x119E'</span><span class='layout'>,</span> <span class='chr'>'\x119E'</span><span class='layout'>)</span>
<a name="line-466"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x11A8'</span><span class='layout'>,</span> <span class='chr'>'\x11A8'</span><span class='layout'>)</span>
<a name="line-467"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x11AB'</span><span class='layout'>,</span> <span class='chr'>'\x11AB'</span><span class='layout'>)</span>
<a name="line-468"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x11AE'</span><span class='layout'>,</span> <span class='chr'>'\x11AF'</span><span class='layout'>)</span>
<a name="line-469"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x11B7'</span><span class='layout'>,</span> <span class='chr'>'\x11B8'</span><span class='layout'>)</span>
<a name="line-470"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x11BA'</span><span class='layout'>,</span> <span class='chr'>'\x11BA'</span><span class='layout'>)</span>
<a name="line-471"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x11BC'</span><span class='layout'>,</span> <span class='chr'>'\x11C2'</span><span class='layout'>)</span>
<a name="line-472"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x11EB'</span><span class='layout'>,</span> <span class='chr'>'\x11EB'</span><span class='layout'>)</span>
<a name="line-473"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x11F0'</span><span class='layout'>,</span> <span class='chr'>'\x11F0'</span><span class='layout'>)</span>
<a name="line-474"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x11F9'</span><span class='layout'>,</span> <span class='chr'>'\x11F9'</span><span class='layout'>)</span>
<a name="line-475"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1E00'</span><span class='layout'>,</span> <span class='chr'>'\x1E9B'</span><span class='layout'>)</span>
<a name="line-476"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1EA0'</span><span class='layout'>,</span> <span class='chr'>'\x1EF9'</span><span class='layout'>)</span>
<a name="line-477"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1F00'</span><span class='layout'>,</span> <span class='chr'>'\x1F15'</span><span class='layout'>)</span>
<a name="line-478"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1F18'</span><span class='layout'>,</span> <span class='chr'>'\x1F1D'</span><span class='layout'>)</span>
<a name="line-479"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1F20'</span><span class='layout'>,</span> <span class='chr'>'\x1F45'</span><span class='layout'>)</span>
<a name="line-480"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1F48'</span><span class='layout'>,</span> <span class='chr'>'\x1F4D'</span><span class='layout'>)</span>
<a name="line-481"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1F50'</span><span class='layout'>,</span> <span class='chr'>'\x1F57'</span><span class='layout'>)</span>
<a name="line-482"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1F59'</span><span class='layout'>,</span> <span class='chr'>'\x1F59'</span><span class='layout'>)</span>
<a name="line-483"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1F5B'</span><span class='layout'>,</span> <span class='chr'>'\x1F5B'</span><span class='layout'>)</span>
<a name="line-484"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1F5D'</span><span class='layout'>,</span> <span class='chr'>'\x1F5D'</span><span class='layout'>)</span>
<a name="line-485"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1F5F'</span><span class='layout'>,</span> <span class='chr'>'\x1F7D'</span><span class='layout'>)</span>
<a name="line-486"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1F80'</span><span class='layout'>,</span> <span class='chr'>'\x1FB4'</span><span class='layout'>)</span>
<a name="line-487"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1FB6'</span><span class='layout'>,</span> <span class='chr'>'\x1FBC'</span><span class='layout'>)</span>
<a name="line-488"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1FBE'</span><span class='layout'>,</span> <span class='chr'>'\x1FBE'</span><span class='layout'>)</span>
<a name="line-489"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1FC2'</span><span class='layout'>,</span> <span class='chr'>'\x1FC4'</span><span class='layout'>)</span>
<a name="line-490"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1FC6'</span><span class='layout'>,</span> <span class='chr'>'\x1FCC'</span><span class='layout'>)</span>
<a name="line-491"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1FD0'</span><span class='layout'>,</span> <span class='chr'>'\x1FD3'</span><span class='layout'>)</span>
<a name="line-492"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1FD6'</span><span class='layout'>,</span> <span class='chr'>'\x1FDB'</span><span class='layout'>)</span>
<a name="line-493"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1FE0'</span><span class='layout'>,</span> <span class='chr'>'\x1FEC'</span><span class='layout'>)</span>
<a name="line-494"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1FF2'</span><span class='layout'>,</span> <span class='chr'>'\x1FF4'</span><span class='layout'>)</span>
<a name="line-495"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1FF6'</span><span class='layout'>,</span> <span class='chr'>'\x1FFC'</span><span class='layout'>)</span>
<a name="line-496"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x2126'</span><span class='layout'>,</span> <span class='chr'>'\x2126'</span><span class='layout'>)</span>
<a name="line-497"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x212A'</span><span class='layout'>,</span> <span class='chr'>'\x212B'</span><span class='layout'>)</span>
<a name="line-498"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x212E'</span><span class='layout'>,</span> <span class='chr'>'\x212E'</span><span class='layout'>)</span>
<a name="line-499"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x2180'</span><span class='layout'>,</span> <span class='chr'>'\x2182'</span><span class='layout'>)</span>
<a name="line-500"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x3041'</span><span class='layout'>,</span> <span class='chr'>'\x3094'</span><span class='layout'>)</span>
<a name="line-501"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x30A1'</span><span class='layout'>,</span> <span class='chr'>'\x30FA'</span><span class='layout'>)</span>
<a name="line-502"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x3105'</span><span class='layout'>,</span> <span class='chr'>'\x312C'</span><span class='layout'>)</span>
<a name="line-503"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\xAC00'</span><span class='layout'>,</span> <span class='chr'>'\xD7A3'</span><span class='layout'>)</span>
<a name="line-504"></a> <span class='keyglyph'>]</span>
<a name="line-505"></a>
<a name="line-506"></a><span class='comment'>-- |</span>
<a name="line-507"></a><span class='comment'>-- checking for XML ideographic charater</span>
<a name="line-508"></a>
<a name="line-509"></a><a name="isXmlIdeographicChar"></a><span class='definition'>isXmlIdeographicChar</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-510"></a><span class='definition'>isXmlIdeographicChar</span> <span class='varid'>c</span>
<a name="line-511"></a> <span class='keyglyph'>=</span> <span class='varid'>isInList</span> <span class='varid'>c</span>
<a name="line-512"></a> <span class='keyglyph'>[</span> <span class='layout'>(</span><span class='chr'>'\x3007'</span><span class='layout'>,</span> <span class='chr'>'\x3007'</span><span class='layout'>)</span>
<a name="line-513"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x3021'</span><span class='layout'>,</span> <span class='chr'>'\x3029'</span><span class='layout'>)</span>
<a name="line-514"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x4E00'</span><span class='layout'>,</span> <span class='chr'>'\x9FA5'</span><span class='layout'>)</span>
<a name="line-515"></a> <span class='keyglyph'>]</span>
<a name="line-516"></a>
<a name="line-517"></a><span class='comment'>-- |</span>
<a name="line-518"></a><span class='comment'>-- checking for XML combining charater</span>
<a name="line-519"></a>
<a name="line-520"></a><a name="isXmlCombiningChar"></a><span class='definition'>isXmlCombiningChar</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-521"></a><span class='definition'>isXmlCombiningChar</span> <span class='varid'>c</span>
<a name="line-522"></a> <span class='keyglyph'>=</span> <span class='varid'>isInList</span> <span class='varid'>c</span>
<a name="line-523"></a> <span class='keyglyph'>[</span> <span class='layout'>(</span><span class='chr'>'\x0300'</span><span class='layout'>,</span> <span class='chr'>'\x0345'</span><span class='layout'>)</span>
<a name="line-524"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0360'</span><span class='layout'>,</span> <span class='chr'>'\x0361'</span><span class='layout'>)</span>
<a name="line-525"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0483'</span><span class='layout'>,</span> <span class='chr'>'\x0486'</span><span class='layout'>)</span>
<a name="line-526"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0591'</span><span class='layout'>,</span> <span class='chr'>'\x05A1'</span><span class='layout'>)</span>
<a name="line-527"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x05A3'</span><span class='layout'>,</span> <span class='chr'>'\x05B9'</span><span class='layout'>)</span>
<a name="line-528"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x05BB'</span><span class='layout'>,</span> <span class='chr'>'\x05BD'</span><span class='layout'>)</span>
<a name="line-529"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x05BF'</span><span class='layout'>,</span> <span class='chr'>'\x05BF'</span><span class='layout'>)</span>
<a name="line-530"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x05C1'</span><span class='layout'>,</span> <span class='chr'>'\x05C2'</span><span class='layout'>)</span>
<a name="line-531"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x05C4'</span><span class='layout'>,</span> <span class='chr'>'\x05C4'</span><span class='layout'>)</span>
<a name="line-532"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x064B'</span><span class='layout'>,</span> <span class='chr'>'\x0652'</span><span class='layout'>)</span>
<a name="line-533"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0670'</span><span class='layout'>,</span> <span class='chr'>'\x0670'</span><span class='layout'>)</span>
<a name="line-534"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x06D6'</span><span class='layout'>,</span> <span class='chr'>'\x06DC'</span><span class='layout'>)</span>
<a name="line-535"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x06DD'</span><span class='layout'>,</span> <span class='chr'>'\x06DF'</span><span class='layout'>)</span>
<a name="line-536"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x06E0'</span><span class='layout'>,</span> <span class='chr'>'\x06E4'</span><span class='layout'>)</span>
<a name="line-537"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x06E7'</span><span class='layout'>,</span> <span class='chr'>'\x06E8'</span><span class='layout'>)</span>
<a name="line-538"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x06EA'</span><span class='layout'>,</span> <span class='chr'>'\x06ED'</span><span class='layout'>)</span>
<a name="line-539"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0901'</span><span class='layout'>,</span> <span class='chr'>'\x0903'</span><span class='layout'>)</span>
<a name="line-540"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x093C'</span><span class='layout'>,</span> <span class='chr'>'\x093C'</span><span class='layout'>)</span>
<a name="line-541"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x093E'</span><span class='layout'>,</span> <span class='chr'>'\x094C'</span><span class='layout'>)</span>
<a name="line-542"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x094D'</span><span class='layout'>,</span> <span class='chr'>'\x094D'</span><span class='layout'>)</span>
<a name="line-543"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0951'</span><span class='layout'>,</span> <span class='chr'>'\x0954'</span><span class='layout'>)</span>
<a name="line-544"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0962'</span><span class='layout'>,</span> <span class='chr'>'\x0963'</span><span class='layout'>)</span>
<a name="line-545"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0981'</span><span class='layout'>,</span> <span class='chr'>'\x0983'</span><span class='layout'>)</span>
<a name="line-546"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x09BC'</span><span class='layout'>,</span> <span class='chr'>'\x09BC'</span><span class='layout'>)</span>
<a name="line-547"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x09BE'</span><span class='layout'>,</span> <span class='chr'>'\x09BE'</span><span class='layout'>)</span>
<a name="line-548"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x09BF'</span><span class='layout'>,</span> <span class='chr'>'\x09BF'</span><span class='layout'>)</span>
<a name="line-549"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x09C0'</span><span class='layout'>,</span> <span class='chr'>'\x09C4'</span><span class='layout'>)</span>
<a name="line-550"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x09C7'</span><span class='layout'>,</span> <span class='chr'>'\x09C8'</span><span class='layout'>)</span>
<a name="line-551"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x09CB'</span><span class='layout'>,</span> <span class='chr'>'\x09CD'</span><span class='layout'>)</span>
<a name="line-552"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x09D7'</span><span class='layout'>,</span> <span class='chr'>'\x09D7'</span><span class='layout'>)</span>
<a name="line-553"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x09E2'</span><span class='layout'>,</span> <span class='chr'>'\x09E3'</span><span class='layout'>)</span>
<a name="line-554"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A02'</span><span class='layout'>,</span> <span class='chr'>'\x0A02'</span><span class='layout'>)</span>
<a name="line-555"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A3C'</span><span class='layout'>,</span> <span class='chr'>'\x0A3C'</span><span class='layout'>)</span>
<a name="line-556"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A3E'</span><span class='layout'>,</span> <span class='chr'>'\x0A3E'</span><span class='layout'>)</span>
<a name="line-557"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A3F'</span><span class='layout'>,</span> <span class='chr'>'\x0A3F'</span><span class='layout'>)</span>
<a name="line-558"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A40'</span><span class='layout'>,</span> <span class='chr'>'\x0A42'</span><span class='layout'>)</span>
<a name="line-559"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A47'</span><span class='layout'>,</span> <span class='chr'>'\x0A48'</span><span class='layout'>)</span>
<a name="line-560"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A4B'</span><span class='layout'>,</span> <span class='chr'>'\x0A4D'</span><span class='layout'>)</span>
<a name="line-561"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A70'</span><span class='layout'>,</span> <span class='chr'>'\x0A71'</span><span class='layout'>)</span>
<a name="line-562"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A81'</span><span class='layout'>,</span> <span class='chr'>'\x0A83'</span><span class='layout'>)</span>
<a name="line-563"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0ABC'</span><span class='layout'>,</span> <span class='chr'>'\x0ABC'</span><span class='layout'>)</span>
<a name="line-564"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0ABE'</span><span class='layout'>,</span> <span class='chr'>'\x0AC5'</span><span class='layout'>)</span>
<a name="line-565"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0AC7'</span><span class='layout'>,</span> <span class='chr'>'\x0AC9'</span><span class='layout'>)</span>
<a name="line-566"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0ACB'</span><span class='layout'>,</span> <span class='chr'>'\x0ACD'</span><span class='layout'>)</span>
<a name="line-567"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B01'</span><span class='layout'>,</span> <span class='chr'>'\x0B03'</span><span class='layout'>)</span>
<a name="line-568"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B3C'</span><span class='layout'>,</span> <span class='chr'>'\x0B3C'</span><span class='layout'>)</span>
<a name="line-569"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B3E'</span><span class='layout'>,</span> <span class='chr'>'\x0B43'</span><span class='layout'>)</span>
<a name="line-570"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B47'</span><span class='layout'>,</span> <span class='chr'>'\x0B48'</span><span class='layout'>)</span>
<a name="line-571"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B4B'</span><span class='layout'>,</span> <span class='chr'>'\x0B4D'</span><span class='layout'>)</span>
<a name="line-572"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B56'</span><span class='layout'>,</span> <span class='chr'>'\x0B57'</span><span class='layout'>)</span>
<a name="line-573"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B82'</span><span class='layout'>,</span> <span class='chr'>'\x0B83'</span><span class='layout'>)</span>
<a name="line-574"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0BBE'</span><span class='layout'>,</span> <span class='chr'>'\x0BC2'</span><span class='layout'>)</span>
<a name="line-575"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0BC6'</span><span class='layout'>,</span> <span class='chr'>'\x0BC8'</span><span class='layout'>)</span>
<a name="line-576"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0BCA'</span><span class='layout'>,</span> <span class='chr'>'\x0BCD'</span><span class='layout'>)</span>
<a name="line-577"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0BD7'</span><span class='layout'>,</span> <span class='chr'>'\x0BD7'</span><span class='layout'>)</span>
<a name="line-578"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C01'</span><span class='layout'>,</span> <span class='chr'>'\x0C03'</span><span class='layout'>)</span>
<a name="line-579"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C3E'</span><span class='layout'>,</span> <span class='chr'>'\x0C44'</span><span class='layout'>)</span>
<a name="line-580"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C46'</span><span class='layout'>,</span> <span class='chr'>'\x0C48'</span><span class='layout'>)</span>
<a name="line-581"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C4A'</span><span class='layout'>,</span> <span class='chr'>'\x0C4D'</span><span class='layout'>)</span>
<a name="line-582"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C55'</span><span class='layout'>,</span> <span class='chr'>'\x0C56'</span><span class='layout'>)</span>
<a name="line-583"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C82'</span><span class='layout'>,</span> <span class='chr'>'\x0C83'</span><span class='layout'>)</span>
<a name="line-584"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0CBE'</span><span class='layout'>,</span> <span class='chr'>'\x0CC4'</span><span class='layout'>)</span>
<a name="line-585"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0CC6'</span><span class='layout'>,</span> <span class='chr'>'\x0CC8'</span><span class='layout'>)</span>
<a name="line-586"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0CCA'</span><span class='layout'>,</span> <span class='chr'>'\x0CCD'</span><span class='layout'>)</span>
<a name="line-587"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0CD5'</span><span class='layout'>,</span> <span class='chr'>'\x0CD6'</span><span class='layout'>)</span>
<a name="line-588"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0D02'</span><span class='layout'>,</span> <span class='chr'>'\x0D03'</span><span class='layout'>)</span>
<a name="line-589"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0D3E'</span><span class='layout'>,</span> <span class='chr'>'\x0D43'</span><span class='layout'>)</span>
<a name="line-590"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0D46'</span><span class='layout'>,</span> <span class='chr'>'\x0D48'</span><span class='layout'>)</span>
<a name="line-591"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0D4A'</span><span class='layout'>,</span> <span class='chr'>'\x0D4D'</span><span class='layout'>)</span>
<a name="line-592"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0D57'</span><span class='layout'>,</span> <span class='chr'>'\x0D57'</span><span class='layout'>)</span>
<a name="line-593"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E31'</span><span class='layout'>,</span> <span class='chr'>'\x0E31'</span><span class='layout'>)</span>
<a name="line-594"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E34'</span><span class='layout'>,</span> <span class='chr'>'\x0E3A'</span><span class='layout'>)</span>
<a name="line-595"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E47'</span><span class='layout'>,</span> <span class='chr'>'\x0E4E'</span><span class='layout'>)</span>
<a name="line-596"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0EB1'</span><span class='layout'>,</span> <span class='chr'>'\x0EB1'</span><span class='layout'>)</span>
<a name="line-597"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0EB4'</span><span class='layout'>,</span> <span class='chr'>'\x0EB9'</span><span class='layout'>)</span>
<a name="line-598"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0EBB'</span><span class='layout'>,</span> <span class='chr'>'\x0EBC'</span><span class='layout'>)</span>
<a name="line-599"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0EC8'</span><span class='layout'>,</span> <span class='chr'>'\x0ECD'</span><span class='layout'>)</span>
<a name="line-600"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0F18'</span><span class='layout'>,</span> <span class='chr'>'\x0F19'</span><span class='layout'>)</span>
<a name="line-601"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0F35'</span><span class='layout'>,</span> <span class='chr'>'\x0F35'</span><span class='layout'>)</span>
<a name="line-602"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0F37'</span><span class='layout'>,</span> <span class='chr'>'\x0F37'</span><span class='layout'>)</span>
<a name="line-603"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0F39'</span><span class='layout'>,</span> <span class='chr'>'\x0F39'</span><span class='layout'>)</span>
<a name="line-604"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0F3E'</span><span class='layout'>,</span> <span class='chr'>'\x0F3E'</span><span class='layout'>)</span>
<a name="line-605"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0F3F'</span><span class='layout'>,</span> <span class='chr'>'\x0F3F'</span><span class='layout'>)</span>
<a name="line-606"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0F71'</span><span class='layout'>,</span> <span class='chr'>'\x0F84'</span><span class='layout'>)</span>
<a name="line-607"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0F86'</span><span class='layout'>,</span> <span class='chr'>'\x0F8B'</span><span class='layout'>)</span>
<a name="line-608"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0F90'</span><span class='layout'>,</span> <span class='chr'>'\x0F95'</span><span class='layout'>)</span>
<a name="line-609"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0F97'</span><span class='layout'>,</span> <span class='chr'>'\x0F97'</span><span class='layout'>)</span>
<a name="line-610"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0F99'</span><span class='layout'>,</span> <span class='chr'>'\x0FAD'</span><span class='layout'>)</span>
<a name="line-611"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0FB1'</span><span class='layout'>,</span> <span class='chr'>'\x0FB7'</span><span class='layout'>)</span>
<a name="line-612"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0FB9'</span><span class='layout'>,</span> <span class='chr'>'\x0FB9'</span><span class='layout'>)</span>
<a name="line-613"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x20D0'</span><span class='layout'>,</span> <span class='chr'>'\x20DC'</span><span class='layout'>)</span>
<a name="line-614"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x20E1'</span><span class='layout'>,</span> <span class='chr'>'\x20E1'</span><span class='layout'>)</span>
<a name="line-615"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x302A'</span><span class='layout'>,</span> <span class='chr'>'\x302F'</span><span class='layout'>)</span>
<a name="line-616"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x3099'</span><span class='layout'>,</span> <span class='chr'>'\x3099'</span><span class='layout'>)</span>
<a name="line-617"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x309A'</span><span class='layout'>,</span> <span class='chr'>'\x309A'</span><span class='layout'>)</span>
<a name="line-618"></a> <span class='keyglyph'>]</span>
<a name="line-619"></a>
<a name="line-620"></a><span class='comment'>-- |</span>
<a name="line-621"></a><span class='comment'>-- checking for XML digit</span>
<a name="line-622"></a>
<a name="line-623"></a><a name="isXmlDigit"></a><span class='definition'>isXmlDigit</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-624"></a><span class='definition'>isXmlDigit</span> <span class='varid'>c</span>
<a name="line-625"></a> <span class='keyglyph'>=</span> <span class='varid'>isInList</span> <span class='varid'>c</span>
<a name="line-626"></a> <span class='keyglyph'>[</span> <span class='layout'>(</span><span class='chr'>'\x0030'</span><span class='layout'>,</span> <span class='chr'>'\x0039'</span><span class='layout'>)</span>
<a name="line-627"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0660'</span><span class='layout'>,</span> <span class='chr'>'\x0669'</span><span class='layout'>)</span>
<a name="line-628"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x06F0'</span><span class='layout'>,</span> <span class='chr'>'\x06F9'</span><span class='layout'>)</span>
<a name="line-629"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0966'</span><span class='layout'>,</span> <span class='chr'>'\x096F'</span><span class='layout'>)</span>
<a name="line-630"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x09E6'</span><span class='layout'>,</span> <span class='chr'>'\x09EF'</span><span class='layout'>)</span>
<a name="line-631"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0A66'</span><span class='layout'>,</span> <span class='chr'>'\x0A6F'</span><span class='layout'>)</span>
<a name="line-632"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0AE6'</span><span class='layout'>,</span> <span class='chr'>'\x0AEF'</span><span class='layout'>)</span>
<a name="line-633"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0B66'</span><span class='layout'>,</span> <span class='chr'>'\x0B6F'</span><span class='layout'>)</span>
<a name="line-634"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0BE7'</span><span class='layout'>,</span> <span class='chr'>'\x0BEF'</span><span class='layout'>)</span>
<a name="line-635"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0C66'</span><span class='layout'>,</span> <span class='chr'>'\x0C6F'</span><span class='layout'>)</span>
<a name="line-636"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0CE6'</span><span class='layout'>,</span> <span class='chr'>'\x0CEF'</span><span class='layout'>)</span>
<a name="line-637"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0D66'</span><span class='layout'>,</span> <span class='chr'>'\x0D6F'</span><span class='layout'>)</span>
<a name="line-638"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E50'</span><span class='layout'>,</span> <span class='chr'>'\x0E59'</span><span class='layout'>)</span>
<a name="line-639"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0ED0'</span><span class='layout'>,</span> <span class='chr'>'\x0ED9'</span><span class='layout'>)</span>
<a name="line-640"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0F20'</span><span class='layout'>,</span> <span class='chr'>'\x0F29'</span><span class='layout'>)</span>
<a name="line-641"></a> <span class='keyglyph'>]</span>
<a name="line-642"></a>
<a name="line-643"></a><span class='comment'>-- |</span>
<a name="line-644"></a><span class='comment'>-- checking for XML extender</span>
<a name="line-645"></a>
<a name="line-646"></a><a name="isXmlExtender"></a><span class='definition'>isXmlExtender</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-647"></a><span class='definition'>isXmlExtender</span> <span class='varid'>c</span>
<a name="line-648"></a> <span class='keyglyph'>=</span> <span class='varid'>isInList</span> <span class='varid'>c</span>
<a name="line-649"></a> <span class='keyglyph'>[</span> <span class='layout'>(</span><span class='chr'>'\x00B7'</span><span class='layout'>,</span> <span class='chr'>'\x00B7'</span><span class='layout'>)</span>
<a name="line-650"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x02D0'</span><span class='layout'>,</span> <span class='chr'>'\x02D0'</span><span class='layout'>)</span>
<a name="line-651"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x02D1'</span><span class='layout'>,</span> <span class='chr'>'\x02D1'</span><span class='layout'>)</span>
<a name="line-652"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0387'</span><span class='layout'>,</span> <span class='chr'>'\x0387'</span><span class='layout'>)</span>
<a name="line-653"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0640'</span><span class='layout'>,</span> <span class='chr'>'\x0640'</span><span class='layout'>)</span>
<a name="line-654"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0E46'</span><span class='layout'>,</span> <span class='chr'>'\x0E46'</span><span class='layout'>)</span>
<a name="line-655"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x0EC6'</span><span class='layout'>,</span> <span class='chr'>'\x0EC6'</span><span class='layout'>)</span>
<a name="line-656"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x3005'</span><span class='layout'>,</span> <span class='chr'>'\x3005'</span><span class='layout'>)</span>
<a name="line-657"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x3031'</span><span class='layout'>,</span> <span class='chr'>'\x3035'</span><span class='layout'>)</span>
<a name="line-658"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x309D'</span><span class='layout'>,</span> <span class='chr'>'\x309E'</span><span class='layout'>)</span>
<a name="line-659"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x30FC'</span><span class='layout'>,</span> <span class='chr'>'\x30FE'</span><span class='layout'>)</span>
<a name="line-660"></a> <span class='keyglyph'>]</span>
<a name="line-661"></a>
<a name="line-662"></a><span class='comment'>-- |</span>
<a name="line-663"></a><span class='comment'>-- checking for XML control or permanently discouraged char</span>
<a name="line-664"></a><span class='comment'>--</span>
<a name="line-665"></a><span class='comment'>-- see Errata to XML1.0 (http:\/\/www.w3.org\/XML\/xml-V10-2e-errata) No 46</span>
<a name="line-666"></a><span class='comment'>--</span>
<a name="line-667"></a><span class='comment'>-- Document authors are encouraged to avoid "compatibility characters",</span>
<a name="line-668"></a><span class='comment'>-- as defined in section 6.8 of [Unicode] (see also D21 in section 3.6 of [Unicode3]).</span>
<a name="line-669"></a><span class='comment'>-- The characters defined in the following ranges are also discouraged.</span>
<a name="line-670"></a><span class='comment'>-- They are either control characters or permanently undefined Unicode characters:</span>
<a name="line-671"></a>
<a name="line-672"></a>
<a name="line-673"></a><a name="isXmlControlOrPermanentlyUndefined"></a><span class='definition'>isXmlControlOrPermanentlyUndefined</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-674"></a><span class='definition'>isXmlControlOrPermanentlyUndefined</span> <span class='varid'>c</span>
<a name="line-675"></a> <span class='keyglyph'>=</span> <span class='varid'>isInList</span> <span class='varid'>c</span>
<a name="line-676"></a> <span class='keyglyph'>[</span> <span class='layout'>(</span><span class='chr'>'\x7F'</span><span class='layout'>,</span> <span class='chr'>'\x84'</span><span class='layout'>)</span>
<a name="line-677"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x86'</span><span class='layout'>,</span> <span class='chr'>'\x9F'</span><span class='layout'>)</span>
<a name="line-678"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\xFDD0'</span><span class='layout'>,</span> <span class='chr'>'\xFDDF'</span><span class='layout'>)</span>
<a name="line-679"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x1FFFE'</span><span class='layout'>,</span> <span class='chr'>'\x1FFFF'</span><span class='layout'>)</span>
<a name="line-680"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x2FFFE'</span><span class='layout'>,</span> <span class='chr'>'\x2FFFF'</span><span class='layout'>)</span>
<a name="line-681"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x3FFFE'</span><span class='layout'>,</span> <span class='chr'>'\x3FFFF'</span><span class='layout'>)</span>
<a name="line-682"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x4FFFE'</span><span class='layout'>,</span> <span class='chr'>'\x4FFFF'</span><span class='layout'>)</span>
<a name="line-683"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x5FFFE'</span><span class='layout'>,</span> <span class='chr'>'\x5FFFF'</span><span class='layout'>)</span>
<a name="line-684"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x6FFFE'</span><span class='layout'>,</span> <span class='chr'>'\x6FFFF'</span><span class='layout'>)</span>
<a name="line-685"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x7FFFE'</span><span class='layout'>,</span> <span class='chr'>'\x7FFFF'</span><span class='layout'>)</span>
<a name="line-686"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x8FFFE'</span><span class='layout'>,</span> <span class='chr'>'\x8FFFF'</span><span class='layout'>)</span>
<a name="line-687"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x9FFFE'</span><span class='layout'>,</span> <span class='chr'>'\x9FFFF'</span><span class='layout'>)</span>
<a name="line-688"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\xAFFFE'</span><span class='layout'>,</span> <span class='chr'>'\xAFFFF'</span><span class='layout'>)</span>
<a name="line-689"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\xBFFFE'</span><span class='layout'>,</span> <span class='chr'>'\xBFFFF'</span><span class='layout'>)</span>
<a name="line-690"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\xCFFFE'</span><span class='layout'>,</span> <span class='chr'>'\xCFFFF'</span><span class='layout'>)</span>
<a name="line-691"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\xDFFFE'</span><span class='layout'>,</span> <span class='chr'>'\xDFFFF'</span><span class='layout'>)</span>
<a name="line-692"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\xEFFFE'</span><span class='layout'>,</span> <span class='chr'>'\xEFFFF'</span><span class='layout'>)</span>
<a name="line-693"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\xFFFFE'</span><span class='layout'>,</span> <span class='chr'>'\xFFFFF'</span><span class='layout'>)</span>
<a name="line-694"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='chr'>'\x10FFFE'</span><span class='layout'>,</span> <span class='chr'>'\x10FFFF'</span><span class='layout'>)</span>
<a name="line-695"></a> <span class='keyglyph'>]</span>
<a name="line-696"></a>
<a name="line-697"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-698"></a>
<a name="line-699"></a><a name="isInList"></a><span class='definition'>isInList</span> <span class='keyglyph'>::</span> <span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='keyglyph'>[</span><span class='layout'>(</span><span class='conid'>Unicode</span><span class='layout'>,</span> <span class='conid'>Unicode</span><span class='layout'>)</span><span class='keyglyph'>]</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span>
<a name="line-700"></a><span class='definition'>isInList</span> <span class='varid'>i</span> <span class='keyglyph'>=</span>
<a name="line-701"></a> <span class='varid'>foldr</span> <span class='layout'>(</span><span class='keyglyph'>\</span><span class='layout'>(</span><span class='varid'>lb</span><span class='layout'>,</span> <span class='varid'>ub</span><span class='layout'>)</span> <span class='varid'>b</span> <span class='keyglyph'>-></span> <span class='varid'>i</span> <span class='varop'>>=</span> <span class='varid'>lb</span> <span class='varop'>&&</span> <span class='layout'>(</span><span class='varid'>i</span> <span class='varop'><=</span> <span class='varid'>ub</span> <span class='varop'>||</span> <span class='varid'>b</span><span class='layout'>)</span><span class='layout'>)</span> <span class='conid'>False</span>
<a name="line-702"></a> <span class='comment'>{- The expression (i>=lb && i<=ub) || b would work more generally,
<a name="line-703"></a> but in a sorted list, the above one aborts the computation as early as possible. -}</span>
<a name="line-704"></a>
<a name="line-705"></a><span class='comment'>{-
<a name="line-706"></a>isInList' :: Unicode -> [(Unicode, Unicode)] -> Bool
<a name="line-707"></a>isInList' i ((lb, ub) : l)
<a name="line-708"></a> | i < lb = False
<a name="line-709"></a> | i <= ub = True
<a name="line-710"></a> | otherwise = isInList' i l
<a name="line-711"></a>
<a name="line-712"></a>isInList' _ []
<a name="line-713"></a> = False
<a name="line-714"></a>
<a name="line-715"></a>{- works, but is not so fast -}
<a name="line-716"></a>isInList'' :: Unicode -> [(Unicode, Unicode)] -> Bool
<a name="line-717"></a>isInList'' i = any (flip isInRange i)
<a name="line-718"></a>
<a name="line-719"></a>-- move to an Utility module?
<a name="line-720"></a>isInRange :: Ord a => (a,a) -> a -> Bool
<a name="line-721"></a>isInRange (l,r) x = l<=x && x<=r
<a name="line-722"></a>
<a name="line-723"></a>propIsInList :: Bool
<a name="line-724"></a>propIsInList =
<a name="line-725"></a> all
<a name="line-726"></a> (\c -> let dict = [ ('\x0041', '\x005A'), ('\x0061', '\x007A') ]
<a name="line-727"></a> b0 = isInList c dict
<a name="line-728"></a> b1 = isInList' c dict
<a name="line-729"></a> b2 = isInList'' c dict
<a name="line-730"></a> in b0 == b1 && b0 == b2)
<a name="line-731"></a> ['\x00'..'\x100']
<a name="line-732"></a>-}</span>
<a name="line-733"></a>
<a name="line-734"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-735"></a>
<a name="line-736"></a><span class='comment'>-- |</span>
<a name="line-737"></a><span class='comment'>-- code conversion from latin1 to Unicode</span>
<a name="line-738"></a>
<a name="line-739"></a><a name="latin1ToUnicode"></a><span class='definition'>latin1ToUnicode</span> <span class='keyglyph'>::</span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>UString</span>
<a name="line-740"></a><span class='definition'>latin1ToUnicode</span> <span class='keyglyph'>=</span> <span class='varid'>id</span>
<a name="line-741"></a>
<a name="line-742"></a><a name="latinToUnicode"></a><span class='definition'>latinToUnicode</span> <span class='keyglyph'>::</span> <span class='keyglyph'>[</span><span class='layout'>(</span><span class='conid'>Char</span><span class='layout'>,</span> <span class='conid'>Char</span><span class='layout'>)</span><span class='keyglyph'>]</span> <span class='keyglyph'>-></span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>UString</span>
<a name="line-743"></a><span class='definition'>latinToUnicode</span> <span class='varid'>tt</span>
<a name="line-744"></a> <span class='keyglyph'>=</span> <span class='varid'>map</span> <span class='varid'>charToUni</span>
<a name="line-745"></a> <span class='keyword'>where</span>
<a name="line-746"></a> <span class='varid'>charToUni</span> <span class='varid'>c</span> <span class='keyglyph'>=</span>
<a name="line-747"></a> <span class='varid'>foldr</span> <span class='layout'>(</span><span class='keyglyph'>\</span><span class='layout'>(</span><span class='varid'>src</span><span class='layout'>,</span><span class='varid'>dst</span><span class='layout'>)</span> <span class='varid'>r</span> <span class='keyglyph'>-></span>
<a name="line-748"></a> <span class='keyword'>case</span> <span class='varid'>compare</span> <span class='varid'>c</span> <span class='varid'>src</span> <span class='keyword'>of</span>
<a name="line-749"></a> <span class='conid'>EQ</span> <span class='keyglyph'>-></span> <span class='varid'>dst</span>
<a name="line-750"></a> <span class='conid'>LT</span> <span class='keyglyph'>-></span> <span class='varid'>c</span> <span class='comment'>{- not found in table -}</span>
<a name="line-751"></a> <span class='conid'>GT</span> <span class='keyglyph'>-></span> <span class='varid'>r</span><span class='layout'>)</span> <span class='varid'>c</span> <span class='varid'>tt</span>
<a name="line-752"></a>
<a name="line-753"></a><span class='comment'>-- | conversion from ASCII to unicode with check for legal ASCII char set</span>
<a name="line-754"></a><span class='comment'>--</span>
<a name="line-755"></a><span class='comment'>-- Structure of decoding function copied from 'Data.Char.UTF8.decode'.</span>
<a name="line-756"></a>
<a name="line-757"></a><a name="decodeAscii"></a><span class='definition'>decodeAscii</span> <span class='keyglyph'>::</span> <span class='conid'>DecodingFct</span>
<a name="line-758"></a><span class='definition'>decodeAscii</span>
<a name="line-759"></a> <span class='keyglyph'>=</span> <span class='varid'>swap</span> <span class='varop'>.</span> <span class='varid'>partitionEither</span> <span class='varop'>.</span> <span class='varid'>decodeAsciiEmbedErrors</span>
<a name="line-760"></a>
<a name="line-761"></a><a name="decodeAsciiEmbedErrors"></a><span class='definition'>decodeAsciiEmbedErrors</span> <span class='keyglyph'>::</span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>UStringWithErrors</span>
<a name="line-762"></a><span class='definition'>decodeAsciiEmbedErrors</span> <span class='varid'>str</span>
<a name="line-763"></a> <span class='keyglyph'>=</span> <span class='varid'>map</span> <span class='layout'>(</span><span class='keyglyph'>\</span><span class='layout'>(</span><span class='varid'>c</span><span class='layout'>,</span><span class='varid'>pos</span><span class='layout'>)</span> <span class='keyglyph'>-></span> <span class='keyword'>if</span> <span class='varid'>isValid</span> <span class='varid'>c</span>
<a name="line-764"></a> <span class='keyword'>then</span> <span class='conid'>Right</span> <span class='varid'>c</span>
<a name="line-765"></a> <span class='keyword'>else</span> <span class='conid'>Left</span> <span class='layout'>(</span><span class='varid'>toErrStr</span> <span class='varid'>c</span> <span class='varid'>pos</span><span class='layout'>)</span><span class='layout'>)</span> <span class='varid'>posStr</span>
<a name="line-766"></a> <span class='keyword'>where</span>
<a name="line-767"></a> <span class='varid'>posStr</span> <span class='keyglyph'>=</span> <span class='varid'>zip</span> <span class='varid'>str</span> <span class='keyglyph'>[</span><span class='layout'>(</span><span class='num'>0</span><span class='keyglyph'>::</span><span class='conid'>Int</span><span class='layout'>)</span><span class='keyglyph'>..</span><span class='keyglyph'>]</span>
<a name="line-768"></a> <span class='varid'>toErrStr</span> <span class='varid'>errChr</span> <span class='varid'>pos</span>
<a name="line-769"></a> <span class='keyglyph'>=</span> <span class='str'>" at input position "</span> <span class='varop'>++</span> <span class='varid'>show</span> <span class='varid'>pos</span> <span class='varop'>++</span> <span class='str'>": none ASCII char "</span> <span class='varop'>++</span> <span class='varid'>show</span> <span class='varid'>errChr</span>
<a name="line-770"></a> <span class='varid'>isValid</span> <span class='varid'>x</span> <span class='keyglyph'>=</span> <span class='varid'>x</span> <span class='varop'><</span> <span class='chr'>'\x80'</span>
<a name="line-771"></a>
<a name="line-772"></a><span class='comment'>-- |</span>
<a name="line-773"></a><span class='comment'>-- UCS-2 big endian to Unicode conversion</span>
<a name="line-774"></a>
<a name="line-775"></a><a name="ucs2BigEndianToUnicode"></a><span class='definition'>ucs2BigEndianToUnicode</span> <span class='keyglyph'>::</span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>UString</span>
<a name="line-776"></a>
<a name="line-777"></a><span class='definition'>ucs2BigEndianToUnicode</span> <span class='layout'>(</span><span class='varid'>b</span> <span class='conop'>:</span> <span class='varid'>l</span> <span class='conop'>:</span> <span class='varid'>r</span><span class='layout'>)</span>
<a name="line-778"></a> <span class='keyglyph'>=</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='varid'>fromEnum</span> <span class='varid'>b</span> <span class='varop'>*</span> <span class='num'>256</span> <span class='varop'>+</span> <span class='varid'>fromEnum</span> <span class='varid'>l</span><span class='layout'>)</span> <span class='conop'>:</span> <span class='varid'>ucs2BigEndianToUnicode</span> <span class='varid'>r</span>
<a name="line-779"></a>
<a name="line-780"></a><span class='definition'>ucs2BigEndianToUnicode</span> <span class='conid'>[]</span>
<a name="line-781"></a> <span class='keyglyph'>=</span> <span class='conid'>[]</span>
<a name="line-782"></a>
<a name="line-783"></a><span class='definition'>ucs2BigEndianToUnicode</span> <span class='keyword'>_</span>
<a name="line-784"></a> <span class='keyglyph'>=</span> <span class='conid'>[]</span> <span class='comment'>-- error "illegal UCS-2 byte input sequence with odd length"</span>
<a name="line-785"></a> <span class='comment'>-- is ignored (garbage in, garbage out)</span>
<a name="line-786"></a>
<a name="line-787"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-788"></a>
<a name="line-789"></a><span class='comment'>-- |</span>
<a name="line-790"></a><span class='comment'>-- UCS-2 little endian to Unicode conversion</span>
<a name="line-791"></a>
<a name="line-792"></a><a name="ucs2LittleEndianToUnicode"></a><span class='definition'>ucs2LittleEndianToUnicode</span> <span class='keyglyph'>::</span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>UString</span>
<a name="line-793"></a>
<a name="line-794"></a><span class='definition'>ucs2LittleEndianToUnicode</span> <span class='layout'>(</span><span class='varid'>l</span> <span class='conop'>:</span> <span class='varid'>b</span> <span class='conop'>:</span> <span class='varid'>r</span><span class='layout'>)</span>
<a name="line-795"></a> <span class='keyglyph'>=</span> <span class='varid'>toEnum</span> <span class='layout'>(</span><span class='varid'>fromEnum</span> <span class='varid'>b</span> <span class='varop'>*</span> <span class='num'>256</span> <span class='varop'>+</span> <span class='varid'>fromEnum</span> <span class='varid'>l</span><span class='layout'>)</span> <span class='conop'>:</span> <span class='varid'>ucs2LittleEndianToUnicode</span> <span class='varid'>r</span>
<a name="line-796"></a>
<a name="line-797"></a><span class='definition'>ucs2LittleEndianToUnicode</span> <span class='conid'>[]</span>
<a name="line-798"></a> <span class='keyglyph'>=</span> <span class='conid'>[]</span>
<a name="line-799"></a>
<a name="line-800"></a><span class='definition'>ucs2LittleEndianToUnicode</span> <span class='keyglyph'>[</span><span class='keyword'>_</span><span class='keyglyph'>]</span>
<a name="line-801"></a> <span class='keyglyph'>=</span> <span class='conid'>[]</span> <span class='comment'>-- error "illegal UCS-2 byte input sequence with odd length"</span>
<a name="line-802"></a> <span class='comment'>-- is ignored</span>
<a name="line-803"></a>
<a name="line-804"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-805"></a>
<a name="line-806"></a><span class='comment'>-- |</span>
<a name="line-807"></a><span class='comment'>-- UCS-2 to UTF-8 conversion with byte order mark analysis</span>
<a name="line-808"></a>
<a name="line-809"></a><a name="ucs2ToUnicode"></a><span class='definition'>ucs2ToUnicode</span> <span class='keyglyph'>::</span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>UString</span>
<a name="line-810"></a>
<a name="line-811"></a><span class='definition'>ucs2ToUnicode</span> <span class='layout'>(</span><span class='chr'>'\xFE'</span><span class='conop'>:</span><span class='chr'>'\xFF'</span><span class='conop'>:</span><span class='varid'>s</span><span class='layout'>)</span> <span class='comment'>-- 2 byte mark for big endian encoding</span>
<a name="line-812"></a> <span class='keyglyph'>=</span> <span class='varid'>ucs2BigEndianToUnicode</span> <span class='varid'>s</span>
<a name="line-813"></a>
<a name="line-814"></a><span class='definition'>ucs2ToUnicode</span> <span class='layout'>(</span><span class='chr'>'\xFF'</span><span class='conop'>:</span><span class='chr'>'\xFE'</span><span class='conop'>:</span><span class='varid'>s</span><span class='layout'>)</span> <span class='comment'>-- 2 byte mark for little endian encoding</span>
<a name="line-815"></a> <span class='keyglyph'>=</span> <span class='varid'>ucs2LittleEndianToUnicode</span> <span class='varid'>s</span>
<a name="line-816"></a>
<a name="line-817"></a><span class='definition'>ucs2ToUnicode</span> <span class='varid'>s</span>
<a name="line-818"></a> <span class='keyglyph'>=</span> <span class='varid'>ucs2BigEndianToUnicode</span> <span class='varid'>s</span> <span class='comment'>-- default: big endian</span>
<a name="line-819"></a>
<a name="line-820"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-821"></a>
<a name="line-822"></a><span class='comment'>-- |</span>
<a name="line-823"></a><span class='comment'>-- UTF-8 to Unicode conversion with deletion of leading byte order mark, as described in XML standard F.1</span>
<a name="line-824"></a>
<a name="line-825"></a><a name="utf8ToUnicode"></a><span class='definition'>utf8ToUnicode</span> <span class='keyglyph'>::</span> <span class='conid'>DecodingFct</span>
<a name="line-826"></a>
<a name="line-827"></a><span class='definition'>utf8ToUnicode</span> <span class='layout'>(</span><span class='chr'>'\xEF'</span><span class='conop'>:</span><span class='chr'>'\xBB'</span><span class='conop'>:</span><span class='chr'>'\xBF'</span><span class='conop'>:</span><span class='varid'>s</span><span class='layout'>)</span> <span class='comment'>-- remove byte order mark ( XML standard F.1 )</span>
<a name="line-828"></a> <span class='keyglyph'>=</span> <span class='varid'>decodeUtf8</span> <span class='varid'>s</span>
<a name="line-829"></a>
<a name="line-830"></a><span class='definition'>utf8ToUnicode</span> <span class='varid'>s</span>
<a name="line-831"></a> <span class='keyglyph'>=</span> <span class='varid'>decodeUtf8</span> <span class='varid'>s</span>
<a name="line-832"></a>
<a name="line-833"></a><a name="utf8ToUnicodeEmbedErrors"></a><span class='definition'>utf8ToUnicodeEmbedErrors</span> <span class='keyglyph'>::</span> <span class='conid'>DecodingFctEmbedErrors</span>
<a name="line-834"></a>
<a name="line-835"></a><span class='definition'>utf8ToUnicodeEmbedErrors</span> <span class='layout'>(</span><span class='chr'>'\xEF'</span><span class='conop'>:</span><span class='chr'>'\xBB'</span><span class='conop'>:</span><span class='chr'>'\xBF'</span><span class='conop'>:</span><span class='varid'>s</span><span class='layout'>)</span> <span class='comment'>-- remove byte order mark ( XML standard F.1 )</span>
<a name="line-836"></a> <span class='keyglyph'>=</span> <span class='varid'>decodeUtf8EmbedErrors</span> <span class='varid'>s</span>
<a name="line-837"></a>
<a name="line-838"></a><span class='definition'>utf8ToUnicodeEmbedErrors</span> <span class='varid'>s</span>
<a name="line-839"></a> <span class='keyglyph'>=</span> <span class='varid'>decodeUtf8EmbedErrors</span> <span class='varid'>s</span>
<a name="line-840"></a>
<a name="line-841"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-842"></a>
<a name="line-843"></a><span class='comment'>-- |</span>
<a name="line-844"></a><span class='comment'>-- UTF-16 big endian to UTF-8 conversion with removal of byte order mark</span>
<a name="line-845"></a>
<a name="line-846"></a><a name="utf16beToUnicode"></a><span class='definition'>utf16beToUnicode</span> <span class='keyglyph'>::</span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>UString</span>
<a name="line-847"></a>
<a name="line-848"></a><span class='definition'>utf16beToUnicode</span> <span class='layout'>(</span><span class='chr'>'\xFE'</span><span class='conop'>:</span><span class='chr'>'\xFF'</span><span class='conop'>:</span><span class='varid'>s</span><span class='layout'>)</span> <span class='comment'>-- remove byte order mark</span>
<a name="line-849"></a> <span class='keyglyph'>=</span> <span class='varid'>ucs2BigEndianToUnicode</span> <span class='varid'>s</span>
<a name="line-850"></a>
<a name="line-851"></a><span class='definition'>utf16beToUnicode</span> <span class='varid'>s</span>
<a name="line-852"></a> <span class='keyglyph'>=</span> <span class='varid'>ucs2BigEndianToUnicode</span> <span class='varid'>s</span>
<a name="line-853"></a>
<a name="line-854"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-855"></a>
<a name="line-856"></a><span class='comment'>-- |</span>
<a name="line-857"></a><span class='comment'>-- UTF-16 little endian to UTF-8 conversion with removal of byte order mark</span>
<a name="line-858"></a>
<a name="line-859"></a><a name="utf16leToUnicode"></a><span class='definition'>utf16leToUnicode</span> <span class='keyglyph'>::</span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>UString</span>
<a name="line-860"></a>
<a name="line-861"></a><span class='definition'>utf16leToUnicode</span> <span class='layout'>(</span><span class='chr'>'\xFF'</span><span class='conop'>:</span><span class='chr'>'\xFE'</span><span class='conop'>:</span><span class='varid'>s</span><span class='layout'>)</span> <span class='comment'>-- remove byte order mark</span>
<a name="line-862"></a> <span class='keyglyph'>=</span> <span class='varid'>ucs2LittleEndianToUnicode</span> <span class='varid'>s</span>
<a name="line-863"></a>
<a name="line-864"></a><span class='definition'>utf16leToUnicode</span> <span class='varid'>s</span>
<a name="line-865"></a> <span class='keyglyph'>=</span> <span class='varid'>ucs2LittleEndianToUnicode</span> <span class='varid'>s</span>
<a name="line-866"></a>
<a name="line-867"></a>
<a name="line-868"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-869"></a>
<a name="line-870"></a><span class='comment'>-- |</span>
<a name="line-871"></a><span class='comment'>-- substitute all Unicode characters, that are not legal 1-byte</span>
<a name="line-872"></a><span class='comment'>-- UTF-8 XML characters by a character reference.</span>
<a name="line-873"></a><span class='comment'>--</span>
<a name="line-874"></a><span class='comment'>-- This function can be used to translate all text nodes and</span>
<a name="line-875"></a><span class='comment'>-- attribute values into pure ascii.</span>
<a name="line-876"></a><span class='comment'>--</span>
<a name="line-877"></a><span class='comment'>-- see also : 'unicodeToLatin1'</span>
<a name="line-878"></a>
<a name="line-879"></a><a name="unicodeToXmlEntity"></a><span class='definition'>unicodeToXmlEntity</span> <span class='keyglyph'>::</span> <span class='conid'>UString</span> <span class='keyglyph'>-></span> <span class='conid'>String</span>
<a name="line-880"></a><span class='definition'>unicodeToXmlEntity</span>
<a name="line-881"></a> <span class='keyglyph'>=</span> <span class='varid'>escape</span> <span class='varid'>is1ByteXmlChar</span> <span class='layout'>(</span><span class='varid'>intToCharRef</span> <span class='varop'>.</span> <span class='varid'>fromEnum</span><span class='layout'>)</span>
<a name="line-882"></a>
<a name="line-883"></a><span class='comment'>-- |</span>
<a name="line-884"></a><span class='comment'>-- substitute all Unicode characters, that are not legal latin1</span>
<a name="line-885"></a><span class='comment'>-- UTF-8 XML characters by a character reference.</span>
<a name="line-886"></a><span class='comment'>--</span>
<a name="line-887"></a><span class='comment'>-- This function can be used to translate all text nodes and</span>
<a name="line-888"></a><span class='comment'>-- attribute values into ISO latin1.</span>
<a name="line-889"></a><span class='comment'>--</span>
<a name="line-890"></a><span class='comment'>-- see also : 'unicodeToXmlEntity'</span>
<a name="line-891"></a>
<a name="line-892"></a><a name="unicodeToLatin1"></a><span class='definition'>unicodeToLatin1</span> <span class='keyglyph'>::</span> <span class='conid'>UString</span> <span class='keyglyph'>-></span> <span class='conid'>String</span>
<a name="line-893"></a><span class='definition'>unicodeToLatin1</span>
<a name="line-894"></a> <span class='keyglyph'>=</span> <span class='varid'>escape</span> <span class='varid'>isXmlLatin1Char</span> <span class='layout'>(</span><span class='varid'>intToCharRef</span> <span class='varop'>.</span> <span class='varid'>fromEnum</span><span class='layout'>)</span>
<a name="line-895"></a>
<a name="line-896"></a>
<a name="line-897"></a><a name="escape"></a><span class='comment'>-- |</span>
<a name="line-898"></a><span class='comment'>-- substitute selected characters</span>
<a name="line-899"></a><span class='comment'>-- The @check@ function returns 'True' whenever a character needs to substitution</span>
<a name="line-900"></a><span class='comment'>-- The function @esc@ computes a substitute.</span>
<a name="line-901"></a><span class='definition'>escape</span> <span class='keyglyph'>::</span> <span class='layout'>(</span><span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span><span class='layout'>)</span> <span class='keyglyph'>-></span> <span class='layout'>(</span><span class='conid'>Unicode</span> <span class='keyglyph'>-></span> <span class='conid'>String</span><span class='layout'>)</span> <span class='keyglyph'>-></span> <span class='conid'>UString</span> <span class='keyglyph'>-></span> <span class='conid'>String</span>
<a name="line-902"></a><span class='definition'>escape</span> <span class='varid'>check</span> <span class='varid'>esc</span> <span class='keyglyph'>=</span>
<a name="line-903"></a> <span class='varid'>concatMap</span> <span class='layout'>(</span><span class='keyglyph'>\</span><span class='varid'>uc</span> <span class='keyglyph'>-></span> <span class='keyword'>if</span> <span class='varid'>check</span> <span class='varid'>uc</span> <span class='keyword'>then</span> <span class='keyglyph'>[</span><span class='varid'>uc</span><span class='keyglyph'>]</span> <span class='keyword'>else</span> <span class='varid'>esc</span> <span class='varid'>uc</span><span class='layout'>)</span>
<a name="line-904"></a>
<a name="line-905"></a><span class='comment'>-- |</span>
<a name="line-906"></a><span class='comment'>-- removes all non ascii chars, may be used to transform</span>
<a name="line-907"></a><span class='comment'>-- a document into a pure ascii representation by removing</span>
<a name="line-908"></a><span class='comment'>-- all non ascii chars from tag and attibute names</span>
<a name="line-909"></a><span class='comment'>--</span>
<a name="line-910"></a><span class='comment'>-- see also : 'unicodeRemoveNoneLatin1', 'unicodeToXmlEntity'</span>
<a name="line-911"></a>
<a name="line-912"></a><a name="unicodeRemoveNoneAscii"></a><span class='definition'>unicodeRemoveNoneAscii</span> <span class='keyglyph'>::</span> <span class='conid'>UString</span> <span class='keyglyph'>-></span> <span class='conid'>String</span>
<a name="line-913"></a><span class='definition'>unicodeRemoveNoneAscii</span>
<a name="line-914"></a> <span class='keyglyph'>=</span> <span class='varid'>filter</span> <span class='varid'>is1ByteXmlChar</span>
<a name="line-915"></a>
<a name="line-916"></a><span class='comment'>-- |</span>
<a name="line-917"></a><span class='comment'>-- removes all non latin1 chars, may be used to transform</span>
<a name="line-918"></a><span class='comment'>-- a document into a pure ascii representation by removing</span>
<a name="line-919"></a><span class='comment'>-- all non ascii chars from tag and attibute names</span>
<a name="line-920"></a><span class='comment'>--</span>
<a name="line-921"></a><span class='comment'>-- see also : 'unicodeRemoveNoneAscii', 'unicodeToLatin1'</span>
<a name="line-922"></a>
<a name="line-923"></a><a name="unicodeRemoveNoneLatin1"></a><span class='definition'>unicodeRemoveNoneLatin1</span> <span class='keyglyph'>::</span> <span class='conid'>UString</span> <span class='keyglyph'>-></span> <span class='conid'>String</span>
<a name="line-924"></a><span class='definition'>unicodeRemoveNoneLatin1</span>
<a name="line-925"></a> <span class='keyglyph'>=</span> <span class='varid'>filter</span> <span class='varid'>isXmlLatin1Char</span>
<a name="line-926"></a>
<a name="line-927"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-928"></a>
<a name="line-929"></a><span class='comment'>-- |</span>
<a name="line-930"></a><span class='comment'>-- convert an Unicode into a XML character reference.</span>
<a name="line-931"></a><span class='comment'>--</span>
<a name="line-932"></a><span class='comment'>-- see also : 'intToCharRefHex'</span>
<a name="line-933"></a>
<a name="line-934"></a><a name="intToCharRef"></a><span class='definition'>intToCharRef</span> <span class='keyglyph'>::</span> <span class='conid'>Int</span> <span class='keyglyph'>-></span> <span class='conid'>String</span>
<a name="line-935"></a><span class='definition'>intToCharRef</span> <span class='varid'>i</span>
<a name="line-936"></a> <span class='keyglyph'>=</span> <span class='str'>"&#"</span> <span class='varop'>++</span> <span class='varid'>show</span> <span class='varid'>i</span> <span class='varop'>++</span> <span class='str'>";"</span>
<a name="line-937"></a>
<a name="line-938"></a><span class='comment'>-- |</span>
<a name="line-939"></a><span class='comment'>-- convert an Unicode into a XML hexadecimal character reference.</span>
<a name="line-940"></a><span class='comment'>--</span>
<a name="line-941"></a><span class='comment'>-- see also: 'intToCharRef'</span>
<a name="line-942"></a>
<a name="line-943"></a><a name="intToCharRefHex"></a><span class='definition'>intToCharRefHex</span> <span class='keyglyph'>::</span> <span class='conid'>Int</span> <span class='keyglyph'>-></span> <span class='conid'>String</span>
<a name="line-944"></a><span class='definition'>intToCharRefHex</span> <span class='varid'>i</span>
<a name="line-945"></a> <span class='keyglyph'>=</span> <span class='str'>"&#x"</span> <span class='varop'>++</span> <span class='varid'>h2</span> <span class='varop'>++</span> <span class='str'>";"</span>
<a name="line-946"></a> <span class='keyword'>where</span>
<a name="line-947"></a> <span class='varid'>h1</span> <span class='keyglyph'>=</span> <span class='varid'>intToHexString</span> <span class='varid'>i</span>
<a name="line-948"></a> <span class='varid'>h2</span> <span class='keyglyph'>=</span> <span class='keyword'>if</span> <span class='varid'>length</span> <span class='varid'>h1</span> <span class='varop'>`mod`</span> <span class='num'>2</span> <span class='varop'>==</span> <span class='num'>1</span>
<a name="line-949"></a> <span class='keyword'>then</span> <span class='chr'>'0'</span><span class='conop'>:</span> <span class='varid'>h1</span>
<a name="line-950"></a> <span class='keyword'>else</span> <span class='varid'>h1</span>
<a name="line-951"></a>
<a name="line-952"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-953"></a><span class='comment'>--</span>
<a name="line-954"></a><span class='comment'>-- | White Space (XML Standard 2.3) and</span>
<a name="line-955"></a><span class='comment'>-- end of line handling (2.11)</span>
<a name="line-956"></a><span class='comment'>--</span>
<a name="line-957"></a><span class='comment'>-- \#x0D and \#x0D\#x0A are mapped to \#x0A</span>
<a name="line-958"></a>
<a name="line-959"></a><a name="normalizeNL"></a><span class='definition'>normalizeNL</span> <span class='keyglyph'>::</span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>String</span>
<a name="line-960"></a><span class='definition'>normalizeNL</span> <span class='layout'>(</span><span class='chr'>'\r'</span> <span class='conop'>:</span> <span class='chr'>'\n'</span> <span class='conop'>:</span> <span class='varid'>rest</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='chr'>'\n'</span> <span class='conop'>:</span> <span class='varid'>normalizeNL</span> <span class='varid'>rest</span>
<a name="line-961"></a><span class='definition'>normalizeNL</span> <span class='layout'>(</span><span class='chr'>'\r'</span> <span class='conop'>:</span> <span class='varid'>rest</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='chr'>'\n'</span> <span class='conop'>:</span> <span class='varid'>normalizeNL</span> <span class='varid'>rest</span>
<a name="line-962"></a><span class='definition'>normalizeNL</span> <span class='layout'>(</span><span class='varid'>c</span> <span class='conop'>:</span> <span class='varid'>rest</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='varid'>c</span> <span class='conop'>:</span> <span class='varid'>normalizeNL</span> <span class='varid'>rest</span>
<a name="line-963"></a><span class='definition'>normalizeNL</span> <span class='conid'>[]</span> <span class='keyglyph'>=</span> <span class='conid'>[]</span>
<a name="line-964"></a>
<a name="line-965"></a>
<a name="line-966"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-967"></a>
<a name="line-968"></a><span class='comment'>-- |</span>
<a name="line-969"></a><span class='comment'>-- the table of supported character encoding schemes and the associated</span>
<a name="line-970"></a><span class='comment'>-- conversion functions into Unicode:q</span>
<a name="line-971"></a>
<a name="line-972"></a><span class='comment'>{-
<a name="line-973"></a>This table could be derived from decodingTableEither,
<a name="line-974"></a>but this way it is certainly more efficient.
<a name="line-975"></a>-}</span>
<a name="line-976"></a>
<a name="line-977"></a><a name="decodingTable"></a><span class='definition'>decodingTable</span> <span class='keyglyph'>::</span> <span class='keyglyph'>[</span><span class='layout'>(</span><span class='conid'>String</span><span class='layout'>,</span> <span class='conid'>DecodingFct</span><span class='layout'>)</span><span class='keyglyph'>]</span>
<a name="line-978"></a><span class='definition'>decodingTable</span>
<a name="line-979"></a> <span class='keyglyph'>=</span> <span class='keyglyph'>[</span> <span class='layout'>(</span><span class='varid'>utf8</span><span class='layout'>,</span> <span class='varid'>utf8ToUnicode</span> <span class='layout'>)</span>
<a name="line-980"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>isoLatin1</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='varid'>latin1ToUnicode</span> <span class='layout'>)</span>
<a name="line-981"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>usAscii</span><span class='layout'>,</span> <span class='varid'>decodeAscii</span> <span class='layout'>)</span>
<a name="line-982"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>ucs2</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='varid'>ucs2ToUnicode</span> <span class='layout'>)</span>
<a name="line-983"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>utf16</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='varid'>ucs2ToUnicode</span> <span class='layout'>)</span>
<a name="line-984"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>utf16be</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='varid'>utf16beToUnicode</span> <span class='layout'>)</span>
<a name="line-985"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>utf16le</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='varid'>utf16leToUnicode</span> <span class='layout'>)</span>
<a name="line-986"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_2</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_2</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-987"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_3</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_3</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-988"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_4</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_4</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-989"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_5</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_5</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-990"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_6</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_6</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-991"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_7</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_7</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-992"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_8</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_8</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-993"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_9</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_9</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-994"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_10</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_10</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-995"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_11</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_11</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-996"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_13</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_13</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-997"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_14</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_14</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-998"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_15</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_15</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-999"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_16</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_16</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-1000"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>unicodeString</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='varid'>id</span> <span class='layout'>)</span>
<a name="line-1001"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>""</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='varid'>id</span> <span class='layout'>)</span> <span class='comment'>-- default</span>
<a name="line-1002"></a> <span class='keyglyph'>]</span>
<a name="line-1003"></a> <span class='keyword'>where</span>
<a name="line-1004"></a> <span class='varid'>liftDecFct</span> <span class='varid'>df</span> <span class='keyglyph'>=</span> <span class='keyglyph'>\</span> <span class='varid'>s</span> <span class='keyglyph'>-></span> <span class='layout'>(</span><span class='varid'>df</span> <span class='varid'>s</span><span class='layout'>,</span> <span class='conid'>[]</span><span class='layout'>)</span>
<a name="line-1005"></a>
<a name="line-1006"></a><span class='comment'>-- |</span>
<a name="line-1007"></a><span class='comment'>-- the lookup function for selecting the decoding function</span>
<a name="line-1008"></a>
<a name="line-1009"></a><a name="getDecodingFct"></a><span class='definition'>getDecodingFct</span> <span class='keyglyph'>::</span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>Maybe</span> <span class='conid'>DecodingFct</span>
<a name="line-1010"></a><span class='definition'>getDecodingFct</span> <span class='varid'>enc</span>
<a name="line-1011"></a> <span class='keyglyph'>=</span> <span class='varid'>lookup</span> <span class='layout'>(</span><span class='varid'>map</span> <span class='varid'>toUpper</span> <span class='varid'>enc</span><span class='layout'>)</span> <span class='varid'>decodingTable</span>
<a name="line-1012"></a>
<a name="line-1013"></a>
<a name="line-1014"></a><span class='comment'>-- |</span>
<a name="line-1015"></a><span class='comment'>-- Similar to 'decodingTable' but it embeds errors</span>
<a name="line-1016"></a><span class='comment'>-- in the string of decoded characters.</span>
<a name="line-1017"></a>
<a name="line-1018"></a><a name="decodingTableEmbedErrors"></a><span class='definition'>decodingTableEmbedErrors</span> <span class='keyglyph'>::</span> <span class='keyglyph'>[</span><span class='layout'>(</span><span class='conid'>String</span><span class='layout'>,</span> <span class='conid'>DecodingFctEmbedErrors</span><span class='layout'>)</span><span class='keyglyph'>]</span>
<a name="line-1019"></a><span class='definition'>decodingTableEmbedErrors</span>
<a name="line-1020"></a> <span class='keyglyph'>=</span> <span class='keyglyph'>[</span> <span class='layout'>(</span><span class='varid'>utf8</span><span class='layout'>,</span> <span class='varid'>utf8ToUnicodeEmbedErrors</span> <span class='layout'>)</span>
<a name="line-1021"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>isoLatin1</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='varid'>latin1ToUnicode</span> <span class='layout'>)</span>
<a name="line-1022"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>usAscii</span><span class='layout'>,</span> <span class='varid'>decodeAsciiEmbedErrors</span> <span class='layout'>)</span>
<a name="line-1023"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>ucs2</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='varid'>ucs2ToUnicode</span> <span class='layout'>)</span>
<a name="line-1024"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>utf16</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='varid'>ucs2ToUnicode</span> <span class='layout'>)</span>
<a name="line-1025"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>utf16be</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='varid'>utf16beToUnicode</span> <span class='layout'>)</span>
<a name="line-1026"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>utf16le</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='varid'>utf16leToUnicode</span> <span class='layout'>)</span>
<a name="line-1027"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_2</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_2</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-1028"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_3</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_3</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-1029"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_4</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_4</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-1030"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_5</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_5</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-1031"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_6</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_6</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-1032"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_7</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_7</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-1033"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_8</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_8</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-1034"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_9</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_9</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-1035"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_10</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_10</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-1036"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_11</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_11</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-1037"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_13</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_13</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-1038"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_14</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_14</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-1039"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_15</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_15</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-1040"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>iso8859_16</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='layout'>(</span><span class='varid'>latinToUnicode</span> <span class='varid'>iso_8859_16</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-1041"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>unicodeString</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='varid'>id</span> <span class='layout'>)</span>
<a name="line-1042"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>""</span><span class='layout'>,</span> <span class='varid'>liftDecFct</span> <span class='varid'>id</span> <span class='layout'>)</span> <span class='comment'>-- default</span>
<a name="line-1043"></a> <span class='keyglyph'>]</span>
<a name="line-1044"></a> <span class='keyword'>where</span>
<a name="line-1045"></a> <span class='varid'>liftDecFct</span> <span class='varid'>df</span> <span class='keyglyph'>=</span> <span class='varid'>map</span> <span class='conid'>Right</span> <span class='varop'>.</span> <span class='varid'>df</span>
<a name="line-1046"></a>
<a name="line-1047"></a><span class='comment'>-- |</span>
<a name="line-1048"></a><span class='comment'>-- the lookup function for selecting the decoding function</span>
<a name="line-1049"></a>
<a name="line-1050"></a><a name="getDecodingFctEmbedErrors"></a><span class='definition'>getDecodingFctEmbedErrors</span> <span class='keyglyph'>::</span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>Maybe</span> <span class='conid'>DecodingFctEmbedErrors</span>
<a name="line-1051"></a><span class='definition'>getDecodingFctEmbedErrors</span> <span class='varid'>enc</span>
<a name="line-1052"></a> <span class='keyglyph'>=</span> <span class='varid'>lookup</span> <span class='layout'>(</span><span class='varid'>map</span> <span class='varid'>toUpper</span> <span class='varid'>enc</span><span class='layout'>)</span> <span class='varid'>decodingTableEmbedErrors</span>
<a name="line-1053"></a>
<a name="line-1054"></a>
<a name="line-1055"></a>
<a name="line-1056"></a><span class='comment'>-- |</span>
<a name="line-1057"></a><span class='comment'>-- the table of supported output encoding schemes and the associated</span>
<a name="line-1058"></a><span class='comment'>-- conversion functions from Unicode</span>
<a name="line-1059"></a>
<a name="line-1060"></a><a name="outputEncodingTable"></a><span class='definition'>outputEncodingTable</span> <span class='keyglyph'>::</span> <span class='keyglyph'>[</span><span class='layout'>(</span><span class='conid'>String</span><span class='layout'>,</span> <span class='layout'>(</span><span class='conid'>UString</span> <span class='keyglyph'>-></span> <span class='conid'>String</span><span class='layout'>)</span><span class='layout'>)</span><span class='keyglyph'>]</span>
<a name="line-1061"></a><span class='definition'>outputEncodingTable</span>
<a name="line-1062"></a> <span class='keyglyph'>=</span> <span class='keyglyph'>[</span> <span class='layout'>(</span><span class='varid'>utf8</span><span class='layout'>,</span> <span class='varid'>unicodeToUtf8</span> <span class='layout'>)</span>
<a name="line-1063"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>isoLatin1</span><span class='layout'>,</span> <span class='varid'>unicodeToLatin1</span> <span class='layout'>)</span>
<a name="line-1064"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>usAscii</span><span class='layout'>,</span> <span class='varid'>unicodeToXmlEntity</span> <span class='layout'>)</span>
<a name="line-1065"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='varid'>ucs2</span><span class='layout'>,</span> <span class='varid'>ucs2ToUnicode</span> <span class='layout'>)</span>
<a name="line-1066"></a> <span class='layout'>,</span> <span class='layout'>(</span><span class='str'>""</span><span class='layout'>,</span> <span class='varid'>unicodeToUtf8</span> <span class='layout'>)</span> <span class='comment'>-- default</span>
<a name="line-1067"></a> <span class='keyglyph'>]</span>
<a name="line-1068"></a>
<a name="line-1069"></a><span class='comment'>-- |</span>
<a name="line-1070"></a><span class='comment'>-- the lookup function for selecting the encoding function</span>
<a name="line-1071"></a>
<a name="line-1072"></a><a name="getOutputEncodingFct"></a><span class='definition'>getOutputEncodingFct</span> <span class='keyglyph'>::</span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>Maybe</span> <span class='layout'>(</span><span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>UString</span><span class='layout'>)</span>
<a name="line-1073"></a><span class='definition'>getOutputEncodingFct</span> <span class='varid'>enc</span>
<a name="line-1074"></a> <span class='keyglyph'>=</span> <span class='varid'>lookup</span> <span class='layout'>(</span><span class='varid'>map</span> <span class='varid'>toUpper</span> <span class='varid'>enc</span><span class='layout'>)</span> <span class='varid'>outputEncodingTable</span>
<a name="line-1075"></a>
<a name="line-1076"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-1077"></a><span class='comment'>--</span>
<a name="line-1078"></a>
<a name="line-1079"></a><a name="guessEncoding"></a><span class='definition'>guessEncoding</span> <span class='keyglyph'>::</span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>String</span>
<a name="line-1080"></a>
<a name="line-1081"></a><span class='definition'>guessEncoding</span> <span class='layout'>(</span><span class='chr'>'\xFF'</span><span class='conop'>:</span><span class='chr'>'\xFE'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='keyword'>_</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='str'>"UCS-4LE"</span> <span class='comment'>-- with byte order mark</span>
<a name="line-1082"></a><span class='definition'>guessEncoding</span> <span class='layout'>(</span><span class='chr'>'\xFF'</span><span class='conop'>:</span><span class='chr'>'\xFE'</span><span class='conop'>:</span><span class='keyword'>_</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='str'>"UTF-16LE"</span> <span class='comment'>-- with byte order mark</span>
<a name="line-1083"></a>
<a name="line-1084"></a><span class='definition'>guessEncoding</span> <span class='layout'>(</span><span class='chr'>'\xFE'</span><span class='conop'>:</span><span class='chr'>'\xFF'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='keyword'>_</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='str'>"UCS-4-3421"</span> <span class='comment'>-- with byte order mark</span>
<a name="line-1085"></a><span class='definition'>guessEncoding</span> <span class='layout'>(</span><span class='chr'>'\xFE'</span><span class='conop'>:</span><span class='chr'>'\xFF'</span><span class='conop'>:</span><span class='keyword'>_</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='str'>"UTF-16BE"</span> <span class='comment'>-- with byte order mark</span>
<a name="line-1086"></a>
<a name="line-1087"></a><span class='definition'>guessEncoding</span> <span class='layout'>(</span><span class='chr'>'\xEF'</span><span class='conop'>:</span><span class='chr'>'\xBB'</span><span class='conop'>:</span><span class='chr'>'\xBF'</span><span class='conop'>:</span><span class='keyword'>_</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='varid'>utf8</span> <span class='comment'>-- with byte order mark</span>
<a name="line-1088"></a>
<a name="line-1089"></a><span class='definition'>guessEncoding</span> <span class='layout'>(</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\xFE'</span><span class='conop'>:</span><span class='chr'>'\xFF'</span><span class='conop'>:</span><span class='keyword'>_</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='str'>"UCS-4BE"</span> <span class='comment'>-- with byte order mark</span>
<a name="line-1090"></a><span class='definition'>guessEncoding</span> <span class='layout'>(</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\xFF'</span><span class='conop'>:</span><span class='chr'>'\xFE'</span><span class='conop'>:</span><span class='keyword'>_</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='str'>"UCS-4-2143"</span> <span class='comment'>-- with byte order mark</span>
<a name="line-1091"></a>
<a name="line-1092"></a><span class='definition'>guessEncoding</span> <span class='layout'>(</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x3C'</span><span class='conop'>:</span><span class='keyword'>_</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='str'>"UCS-4BE"</span> <span class='comment'>-- "<" of "<?xml"</span>
<a name="line-1093"></a><span class='definition'>guessEncoding</span> <span class='layout'>(</span><span class='chr'>'\x3C'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='keyword'>_</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='str'>"UCS-4LE"</span> <span class='comment'>-- "<" of "<?xml"</span>
<a name="line-1094"></a><span class='definition'>guessEncoding</span> <span class='layout'>(</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x3C'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='keyword'>_</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='str'>"UCS-4-2143"</span> <span class='comment'>-- "<" of "<?xml"</span>
<a name="line-1095"></a><span class='definition'>guessEncoding</span> <span class='layout'>(</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x3C'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='keyword'>_</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='str'>"UCS-4-3412"</span> <span class='comment'>-- "<" of "<?xml"</span>
<a name="line-1096"></a>
<a name="line-1097"></a><span class='definition'>guessEncoding</span> <span class='layout'>(</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x3C'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x3F'</span><span class='conop'>:</span><span class='keyword'>_</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='str'>"UTF-16BE"</span> <span class='comment'>-- "<?" of "<?xml"</span>
<a name="line-1098"></a><span class='definition'>guessEncoding</span> <span class='layout'>(</span><span class='chr'>'\x3C'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='chr'>'\x3F'</span><span class='conop'>:</span><span class='chr'>'\x00'</span><span class='conop'>:</span><span class='keyword'>_</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='str'>"UTF-16LE"</span> <span class='comment'>-- "<?" of "<?xml"</span>
<a name="line-1099"></a>
<a name="line-1100"></a><span class='definition'>guessEncoding</span> <span class='layout'>(</span><span class='chr'>'\x4C'</span><span class='conop'>:</span><span class='chr'>'\x6F'</span><span class='conop'>:</span><span class='chr'>'\xA7'</span><span class='conop'>:</span><span class='chr'>'\x94'</span><span class='conop'>:</span><span class='keyword'>_</span><span class='layout'>)</span> <span class='keyglyph'>=</span> <span class='str'>"EBCDIC"</span> <span class='comment'>-- "<?xm" of "<?xml"</span>
<a name="line-1101"></a>
<a name="line-1102"></a><span class='definition'>guessEncoding</span> <span class='keyword'>_</span> <span class='keyglyph'>=</span> <span class='str'>""</span> <span class='comment'>-- no guess</span>
<a name="line-1103"></a>
<a name="line-1104"></a><span class='comment'>-- ------------------------------------------------------------</span>
</pre></body>
</html>