<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html> <head> <!-- Generated by HsColour, http://www.cs.york.ac.uk/fp/darcs/hscolour/ --> <title>Text/HTML/TagSoup/Implementation.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE RecordWildCards, PatternGuards, ScopedTypeVariables #-}</span> <a name="line-2"></a> <a name="line-3"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>HTML</span><span class='hs-varop'>.</span><span class='hs-conid'>TagSoup</span><span class='hs-varop'>.</span><span class='hs-conid'>Implementation</span> <span class='hs-keyword'>where</span> <a name="line-4"></a> <a name="line-5"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>HTML</span><span class='hs-varop'>.</span><span class='hs-conid'>TagSoup</span><span class='hs-varop'>.</span><span class='hs-conid'>Type</span> <a name="line-6"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>HTML</span><span class='hs-varop'>.</span><span class='hs-conid'>TagSoup</span><span class='hs-varop'>.</span><span class='hs-conid'>Options</span> <a name="line-7"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>StringLike</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>Str</span> <a name="line-8"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Numeric</span> <a name="line-9"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Char</span> <a name="line-10"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Exception</span><span class='hs-layout'>(</span><span class='hs-varid'>assert</span><span class='hs-layout'>)</span> <a name="line-11"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Arrow</span> <a name="line-12"></a> <a name="line-13"></a><span class='hs-comment'>---------------------------------------------------------------------</span> <a name="line-14"></a><span class='hs-comment'>-- BOTTOM LAYER</span> <a name="line-15"></a> <a name="line-16"></a><a name="Out"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Out</span> <a name="line-17"></a> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Char</span> <span class='hs-conid'>Char</span> <a name="line-18"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Tag</span> <span class='hs-comment'>-- <</span> <a name="line-19"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>TagShut</span> <span class='hs-comment'>-- </</span> <a name="line-20"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>AttName</span> <a name="line-21"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>AttVal</span> <a name="line-22"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>TagEnd</span> <span class='hs-comment'>-- ></span> <a name="line-23"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>TagEndClose</span> <span class='hs-comment'>-- /></span> <a name="line-24"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Comment</span> <span class='hs-comment'>-- <!--</span> <a name="line-25"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>CommentEnd</span> <span class='hs-comment'>-- --></span> <a name="line-26"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>EntityName</span> <span class='hs-comment'>-- &</span> <a name="line-27"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>EntityNum</span> <span class='hs-comment'>-- &#</span> <a name="line-28"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>EntityHex</span> <span class='hs-comment'>-- &#x</span> <a name="line-29"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>EntityEnd</span> <span class='hs-conid'>Bool</span> <span class='hs-comment'>-- Attributed followed by ; for True, missing ; for False</span> <a name="line-30"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Warn</span> <span class='hs-conid'>String</span> <a name="line-31"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Pos</span> <span class='hs-conid'>Position</span> <a name="line-32"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Show</span><span class='hs-layout'>,</span><span class='hs-conid'>Eq</span><span class='hs-layout'>)</span> <a name="line-33"></a> <a name="line-34"></a><a name="errSeen"></a><span class='hs-definition'>errSeen</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Warn</span> <span class='hs-varop'>$</span> <span class='hs-str'>"Unexpected "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>x</span> <a name="line-35"></a><a name="errWant"></a><span class='hs-definition'>errWant</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Warn</span> <span class='hs-varop'>$</span> <span class='hs-str'>"Expected "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>x</span> <a name="line-36"></a> <a name="line-37"></a><a name="S"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>S</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>S</span> <a name="line-38"></a> <span class='hs-layout'>{</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>S</span> <a name="line-39"></a> <span class='hs-layout'>,</span><span class='hs-varid'>tl</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>S</span> <a name="line-40"></a> <span class='hs-layout'>,</span><span class='hs-varid'>hd</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Char</span> <a name="line-41"></a> <span class='hs-layout'>,</span><span class='hs-varid'>eof</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Bool</span> <a name="line-42"></a> <span class='hs-layout'>,</span><span class='hs-varid'>next</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>S</span> <a name="line-43"></a> <span class='hs-layout'>,</span><span class='hs-varid'>pos</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Out</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Out</span><span class='hs-keyglyph'>]</span> <a name="line-44"></a> <span class='hs-layout'>}</span> <a name="line-45"></a> <a name="line-46"></a> <a name="line-47"></a><a name="expand"></a><span class='hs-definition'>expand</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Position</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>S</span> <a name="line-48"></a><span class='hs-definition'>expand</span> <span class='hs-varid'>p</span> <span class='hs-varid'>text</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>res</span> <a name="line-49"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>res</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>S</span><span class='hs-layout'>{</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>res</span> <a name="line-50"></a> <span class='hs-layout'>,</span><span class='hs-varid'>tl</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>expand</span> <span class='hs-layout'>(</span><span class='hs-varid'>positionChar</span> <span class='hs-varid'>p</span> <span class='hs-layout'>(</span><span class='hs-varid'>head</span> <span class='hs-varid'>text</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>tail</span> <span class='hs-varid'>text</span><span class='hs-layout'>)</span> <a name="line-51"></a> <span class='hs-layout'>,</span><span class='hs-varid'>hd</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>null</span> <span class='hs-varid'>text</span> <span class='hs-keyword'>then</span> <span class='hs-chr'>'\0'</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>head</span> <span class='hs-varid'>text</span> <a name="line-52"></a> <span class='hs-layout'>,</span><span class='hs-varid'>eof</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>null</span> <span class='hs-varid'>text</span> <a name="line-53"></a> <span class='hs-layout'>,</span><span class='hs-varid'>next</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>next</span> <span class='hs-varid'>p</span> <span class='hs-varid'>text</span> <a name="line-54"></a> <span class='hs-layout'>,</span><span class='hs-varid'>pos</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-conid'>Pos</span> <span class='hs-varid'>p</span><span class='hs-conop'>:</span><span class='hs-layout'>)</span> <a name="line-55"></a> <span class='hs-layout'>}</span> <a name="line-56"></a> <a name="line-57"></a> <span class='hs-varid'>next</span> <span class='hs-varid'>p</span> <span class='hs-layout'>(</span><span class='hs-varid'>t</span><span class='hs-conop'>:</span><span class='hs-varid'>ext</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>s</span><span class='hs-conop'>:</span><span class='hs-varid'>tr</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>t</span> <span class='hs-varop'>==</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>next</span> <span class='hs-layout'>(</span><span class='hs-varid'>positionChar</span> <span class='hs-varid'>p</span> <span class='hs-varid'>t</span><span class='hs-layout'>)</span> <span class='hs-varid'>ext</span> <span class='hs-varid'>tr</span> <a name="line-58"></a> <span class='hs-varid'>next</span> <span class='hs-varid'>p</span> <span class='hs-varid'>text</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-varid'>expand</span> <span class='hs-varid'>p</span> <span class='hs-varid'>text</span> <a name="line-59"></a> <span class='hs-varid'>next</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span> <a name="line-60"></a> <a name="line-61"></a> <a name="line-62"></a><span class='hs-keyword'>infixr</span> <span class='hs-varop'>&</span> <a name="line-63"></a> <a name="line-64"></a><a name="Outable"></a><span class='hs-keyword'>class</span> <span class='hs-conid'>Outable</span> <span class='hs-varid'>a</span> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varop'>&</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Out</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Out</span><span class='hs-keyglyph'>]</span> <a name="line-65"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Outable</span> <span class='hs-conid'>Char</span> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varop'>&</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ampChar</span> <a name="line-66"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Outable</span> <span class='hs-conid'>Out</span> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varop'>&</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ampOut</span> <a name="line-67"></a><a name="ampChar"></a><span class='hs-definition'>ampChar</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Char</span> <span class='hs-varid'>x</span> <span class='hs-conop'>:</span> <span class='hs-varid'>y</span> <a name="line-68"></a><a name="ampOut"></a><span class='hs-definition'>ampOut</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-conop'>:</span> <span class='hs-varid'>y</span> <a name="line-69"></a> <a name="line-70"></a> <a name="line-71"></a><a name="state"></a><span class='hs-definition'>state</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>S</span> <a name="line-72"></a><span class='hs-definition'>state</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>expand</span> <span class='hs-varid'>nullPosition</span> <span class='hs-varid'>s</span> <a name="line-73"></a> <a name="line-74"></a><span class='hs-comment'>---------------------------------------------------------------------</span> <a name="line-75"></a><span class='hs-comment'>-- TOP LAYER</span> <a name="line-76"></a> <a name="line-77"></a> <a name="line-78"></a><a name="output"></a><span class='hs-definition'>output</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyword'>forall</span> <span class='hs-varid'>str</span> <span class='hs-varop'>.</span> <span class='hs-conid'>StringLike</span> <span class='hs-varid'>str</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>ParseOptions</span> <span class='hs-varid'>str</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Out</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Tag</span> <span class='hs-varid'>str</span><span class='hs-keyglyph'>]</span> <a name="line-79"></a><span class='hs-definition'>output</span> <span class='hs-conid'>ParseOptions</span><span class='hs-layout'>{</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>}</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-keyword'>if</span> <span class='hs-varid'>optTagTextMerge</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>tagTextMerge</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>id</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>nullPosition</span><span class='hs-layout'>,</span><span class='hs-conid'>[]</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-varid'>x</span><span class='hs-layout'>)</span> <a name="line-80"></a> <span class='hs-keyword'>where</span> <a name="line-81"></a> <span class='hs-comment'>-- main choice loop</span> <a name="line-82"></a> <span class='hs-varid'>go</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-conid'>Position</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Tag</span> <span class='hs-varid'>str</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Out</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Tag</span> <span class='hs-varid'>str</span><span class='hs-keyglyph'>]</span> <a name="line-83"></a> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>,</span><span class='hs-varid'>ws</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>p</span> <span class='hs-varop'>`seq`</span> <span class='hs-conid'>False</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span> <span class='hs-comment'>-- otherwise p is a space leak when optTagPosition == False</span> <a name="line-84"></a> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>,</span><span class='hs-varid'>ws</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>not</span> <span class='hs-varop'>$</span> <span class='hs-varid'>null</span> <span class='hs-varid'>ws</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-keyword'>if</span> <span class='hs-varid'>optTagWarning</span> <span class='hs-keyword'>then</span> <span class='hs-layout'>(</span><span class='hs-varid'>reverse</span> <span class='hs-varid'>ws</span><span class='hs-varop'>++</span><span class='hs-layout'>)</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>id</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>,</span><span class='hs-conid'>[]</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <a name="line-85"></a> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>,</span><span class='hs-varid'>ws</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-conid'>Pos</span> <span class='hs-varid'>p2</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>p2</span><span class='hs-layout'>,</span><span class='hs-varid'>ws</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <a name="line-86"></a> <a name="line-87"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isChar</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pos</span> <span class='hs-varid'>x</span> <span class='hs-varop'>$</span> <span class='hs-conid'>TagText</span> <span class='hs-varid'>a</span> <span class='hs-conop'>:</span> <span class='hs-varid'>go</span> <span class='hs-varid'>y</span> <a name="line-88"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-layout'>,</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>charsStr</span> <span class='hs-varid'>x</span> <a name="line-89"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isTag</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pos</span> <span class='hs-varid'>x</span> <span class='hs-varop'>$</span> <span class='hs-conid'>TagOpen</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-conop'>:</span> <span class='hs-layout'>(</span><span class='hs-keyword'>if</span> <span class='hs-varid'>isTagEndClose</span> <span class='hs-varid'>z</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>pos</span> <span class='hs-varid'>x</span> <span class='hs-varop'>$</span> <span class='hs-conid'>TagClose</span> <span class='hs-varid'>a</span> <span class='hs-conop'>:</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-varid'>next</span> <span class='hs-varid'>z</span><span class='hs-layout'>)</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-varid'>skip</span> <span class='hs-varid'>isTagEnd</span> <span class='hs-varid'>z</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-90"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-layout'>,</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>charsStr</span> <span class='hs-varop'>$</span> <span class='hs-varid'>next</span> <span class='hs-varid'>x</span> <a name="line-91"></a> <span class='hs-layout'>(</span><span class='hs-varid'>z</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>atts</span> <span class='hs-varid'>y</span> <a name="line-92"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isTagShut</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pos</span> <span class='hs-varid'>x</span> <span class='hs-varop'>$</span> <span class='hs-layout'>(</span><span class='hs-conid'>TagClose</span> <span class='hs-varid'>a</span><span class='hs-conop'>:</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <a name="line-93"></a> <span class='hs-layout'>(</span><span class='hs-keyword'>if</span> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>null</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>warn</span> <span class='hs-varid'>x</span> <span class='hs-str'>"Unexpected attributes in close tag"</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>id</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <a name="line-94"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>isTagEndClose</span> <span class='hs-varid'>z</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>warn</span> <span class='hs-varid'>x</span> <span class='hs-str'>"Unexpected self-closing in close tag"</span> <span class='hs-varop'>$</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-varid'>next</span> <span class='hs-varid'>z</span><span class='hs-layout'>)</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-varid'>skip</span> <span class='hs-varid'>isTagEnd</span> <span class='hs-varid'>z</span><span class='hs-layout'>)</span> <a name="line-95"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-layout'>,</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>charsStr</span> <span class='hs-varop'>$</span> <span class='hs-varid'>next</span> <span class='hs-varid'>x</span> <a name="line-96"></a> <span class='hs-layout'>(</span><span class='hs-varid'>z</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>atts</span> <span class='hs-varid'>y</span> <a name="line-97"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isComment</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pos</span> <span class='hs-varid'>x</span> <span class='hs-varop'>$</span> <span class='hs-conid'>TagComment</span> <span class='hs-varid'>a</span> <span class='hs-conop'>:</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-varid'>skip</span> <span class='hs-varid'>isCommentEnd</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <a name="line-98"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-layout'>,</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>charsStr</span> <span class='hs-varop'>$</span> <span class='hs-varid'>next</span> <span class='hs-varid'>x</span> <a name="line-99"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isEntityName</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>poss</span> <span class='hs-varid'>x</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-keyword'>if</span> <span class='hs-varid'>optTagWarning</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>id</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>filter</span> <span class='hs-layout'>(</span><span class='hs-varid'>not</span> <span class='hs-varop'>.</span> <span class='hs-varid'>isTagWarning</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>optEntityData</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-varid'>getEntityEnd</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-varid'>skip</span> <span class='hs-varid'>isEntityEnd</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <a name="line-100"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-layout'>,</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>charsStr</span> <span class='hs-varop'>$</span> <span class='hs-varid'>next</span> <span class='hs-varid'>x</span> <a name="line-101"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isEntityNumHex</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pos</span> <span class='hs-varid'>x</span> <span class='hs-varop'>$</span> <span class='hs-conid'>TagText</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromChar</span> <span class='hs-varop'>$</span> <span class='hs-varid'>entityChr</span> <span class='hs-varid'>x</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-varid'>skip</span> <span class='hs-varid'>isEntityEnd</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <a name="line-102"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-layout'>,</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>chars</span> <span class='hs-varop'>$</span> <span class='hs-varid'>next</span> <span class='hs-varid'>x</span> <a name="line-103"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>fromWarn</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>optTagWarning</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>pos</span> <span class='hs-varid'>x</span> <span class='hs-varop'>$</span> <span class='hs-conid'>TagWarning</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromString</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-varid'>next</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-varid'>next</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <a name="line-104"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isEof</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span> <a name="line-105"></a> <a name="line-106"></a> <span class='hs-varid'>atts</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-conid'>Position</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Tag</span> <span class='hs-varid'>str</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Out</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-conid'>Position</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Tag</span> <span class='hs-varid'>str</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Out</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-varid'>str</span><span class='hs-layout'>,</span><span class='hs-varid'>str</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <span class='hs-layout'>)</span> <a name="line-107"></a> <span class='hs-varid'>atts</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isAttName</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>second</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span><span class='hs-conop'>:</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>atts</span> <span class='hs-varid'>z</span> <a name="line-108"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-layout'>,</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>charsStr</span> <span class='hs-layout'>(</span><span class='hs-varid'>next</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <a name="line-109"></a> <span class='hs-layout'>(</span><span class='hs-varid'>z</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>isAttVal</span> <span class='hs-varid'>y</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>charsEntsStr</span> <span class='hs-layout'>(</span><span class='hs-varid'>next</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-keyword'>else</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-layout'>,</span> <span class='hs-varid'>empty</span><span class='hs-layout'>)</span> <a name="line-110"></a> <span class='hs-varid'>atts</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isAttVal</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>second</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>empty</span><span class='hs-layout'>,</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span><span class='hs-conop'>:</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>atts</span> <span class='hs-varid'>y</span> <a name="line-111"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-layout'>,</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>charsEntsStr</span> <span class='hs-layout'>(</span><span class='hs-varid'>next</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <a name="line-112"></a> <span class='hs-varid'>atts</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-layout'>,</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <a name="line-113"></a> <a name="line-114"></a> <span class='hs-comment'>-- chars</span> <a name="line-115"></a> <span class='hs-varid'>chars</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>charss</span> <span class='hs-conid'>False</span> <span class='hs-varid'>x</span> <a name="line-116"></a> <span class='hs-varid'>charsStr</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>id</span> <span class='hs-varop'>***</span> <span class='hs-varid'>fromString</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>chars</span> <span class='hs-varid'>x</span> <a name="line-117"></a> <span class='hs-varid'>charsEntsStr</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>id</span> <span class='hs-varop'>***</span> <span class='hs-varid'>fromString</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>charss</span> <span class='hs-conid'>True</span> <span class='hs-varid'>x</span> <a name="line-118"></a> <a name="line-119"></a> <span class='hs-comment'>-- loop round collecting characters, if the b is set including entity</span> <a name="line-120"></a> <span class='hs-varid'>charss</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-conid'>Position</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Tag</span> <span class='hs-varid'>str</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Out</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-conid'>Position</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Tag</span> <span class='hs-varid'>str</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Out</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <a name="line-121"></a> <span class='hs-varid'>charss</span> <span class='hs-varid'>t</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>fromChr</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-layout'>,</span> <span class='hs-varid'>a</span><span class='hs-conop'>:</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <a name="line-122"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>charss</span> <span class='hs-varid'>t</span> <span class='hs-layout'>(</span><span class='hs-varid'>next</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <a name="line-123"></a> <span class='hs-varid'>charss</span> <span class='hs-varid'>t</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>t</span><span class='hs-layout'>,</span> <span class='hs-varid'>isEntityName</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>second</span> <span class='hs-layout'>(</span><span class='hs-varid'>toString</span> <span class='hs-varid'>n</span> <span class='hs-varop'>++</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>charss</span> <span class='hs-varid'>t</span> <span class='hs-varop'>$</span> <span class='hs-varid'>addWarns</span> <span class='hs-varid'>m</span> <span class='hs-varid'>z</span> <a name="line-124"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-layout'>,</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>charsStr</span> <span class='hs-varop'>$</span> <span class='hs-varid'>next</span> <span class='hs-varid'>x</span> <a name="line-125"></a> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getEntityEnd</span> <span class='hs-varid'>y</span> <a name="line-126"></a> <span class='hs-varid'>z</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>skip</span> <span class='hs-varid'>isEntityEnd</span> <span class='hs-varid'>y</span> <a name="line-127"></a> <span class='hs-layout'>(</span><span class='hs-varid'>n</span><span class='hs-layout'>,</span><span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>optEntityAttrib</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <a name="line-128"></a> <span class='hs-varid'>charss</span> <span class='hs-varid'>t</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>t</span><span class='hs-layout'>,</span> <span class='hs-varid'>isEntityNumHex</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>second</span> <span class='hs-layout'>(</span><span class='hs-varid'>entityChr</span> <span class='hs-varid'>x</span> <span class='hs-varid'>a</span><span class='hs-conop'>:</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>charss</span> <span class='hs-varid'>t</span> <span class='hs-varid'>z</span> <a name="line-129"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-layout'>,</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>chars</span> <span class='hs-varop'>$</span> <span class='hs-varid'>next</span> <span class='hs-varid'>x</span> <a name="line-130"></a> <span class='hs-varid'>z</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>skip</span> <span class='hs-varid'>isEntityEnd</span> <span class='hs-varid'>y</span> <a name="line-131"></a> <span class='hs-varid'>charss</span> <span class='hs-varid'>t</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-varid'>w</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-conid'>Pos</span> <span class='hs-varid'>p</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>charss</span> <span class='hs-varid'>t</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>,</span><span class='hs-varid'>w</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <a name="line-132"></a> <span class='hs-varid'>charss</span> <span class='hs-varid'>t</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>fromWarn</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>charss</span> <span class='hs-varid'>t</span> <span class='hs-varop'>$</span> <span class='hs-layout'>(</span><span class='hs-keyword'>if</span> <span class='hs-varid'>optTagWarning</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>addWarns</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>TagWarning</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fromString</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>id</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>next</span> <span class='hs-varid'>x</span> <a name="line-133"></a> <span class='hs-varid'>charss</span> <span class='hs-varid'>t</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-layout'>,</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <a name="line-134"></a> <a name="line-135"></a> <span class='hs-comment'>-- utility functions</span> <a name="line-136"></a> <span class='hs-varid'>next</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>second</span> <span class='hs-layout'>(</span><span class='hs-varid'>drop</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-varid'>x</span> <a name="line-137"></a> <span class='hs-varid'>skip</span> <span class='hs-varid'>f</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>assert</span> <span class='hs-layout'>(</span><span class='hs-varid'>isEof</span> <span class='hs-varid'>x</span> <span class='hs-varop'>||</span> <span class='hs-varid'>f</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>next</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <a name="line-138"></a> <span class='hs-varid'>addWarns</span> <span class='hs-varid'>ws</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>,</span><span class='hs-varid'>w</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>,</span> <span class='hs-varid'>reverse</span> <span class='hs-layout'>(</span><span class='hs-varid'>poss</span> <span class='hs-varid'>x</span> <span class='hs-varid'>ws</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <span class='hs-varid'>w</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <a name="line-139"></a> <span class='hs-varid'>pos</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>,</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-varid'>rest</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>optTagPosition</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>tagPosition</span> <span class='hs-varid'>p</span> <span class='hs-conop'>:</span> <span class='hs-varid'>rest</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>rest</span> <a name="line-140"></a> <span class='hs-varid'>warn</span> <span class='hs-varid'>x</span> <span class='hs-varid'>s</span> <span class='hs-varid'>rest</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>optTagWarning</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>pos</span> <span class='hs-varid'>x</span> <span class='hs-varop'>$</span> <span class='hs-conid'>TagWarning</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromString</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>rest</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>rest</span> <a name="line-141"></a> <span class='hs-varid'>poss</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>concatMap</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>w</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>pos</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>w</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-142"></a> <a name="line-143"></a> <a name="line-144"></a><a name="entityChr"></a><span class='hs-definition'>entityChr</span> <span class='hs-varid'>x</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isEntityNum</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>chr</span> <span class='hs-varop'>$</span> <span class='hs-varid'>read</span> <span class='hs-varid'>s</span> <a name="line-145"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isEntityHex</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>chr</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fst</span> <span class='hs-varop'>$</span> <span class='hs-varid'>head</span> <span class='hs-varop'>$</span> <span class='hs-varid'>readHex</span> <span class='hs-varid'>s</span> <a name="line-146"></a> <a name="line-147"></a> <a name="line-148"></a><a name="isEof"></a><span class='hs-definition'>isEof</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isEof</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-149"></a><a name="isChar"></a><span class='hs-definition'>isChar</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>Char</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isChar</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-150"></a><a name="isTag"></a><span class='hs-definition'>isTag</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>Tag</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isTag</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-151"></a><a name="isTagShut"></a><span class='hs-definition'>isTagShut</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>TagShut</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isTagShut</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-152"></a><a name="isAttName"></a><span class='hs-definition'>isAttName</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>AttName</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isAttName</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-153"></a><a name="isAttVal"></a><span class='hs-definition'>isAttVal</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>AttVal</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isAttVal</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-154"></a><a name="isTagEnd"></a><span class='hs-definition'>isTagEnd</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>TagEnd</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isTagEnd</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-155"></a><a name="isTagEndClose"></a><span class='hs-definition'>isTagEndClose</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>TagEndClose</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isTagEndClose</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-156"></a><a name="isComment"></a><span class='hs-definition'>isComment</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>Comment</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isComment</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-157"></a><a name="isCommentEnd"></a><span class='hs-definition'>isCommentEnd</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>CommentEnd</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isCommentEnd</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-158"></a><a name="isEntityName"></a><span class='hs-definition'>isEntityName</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>EntityName</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isEntityName</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-159"></a><a name="isEntityNumHex"></a><span class='hs-definition'>isEntityNumHex</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>EntityNum</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isEntityNumHex</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>EntityHex</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isEntityNumHex</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-160"></a><a name="isEntityNum"></a><span class='hs-definition'>isEntityNum</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>EntityNum</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isEntityNum</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-161"></a><a name="isEntityHex"></a><span class='hs-definition'>isEntityHex</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>EntityHex</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isEntityHex</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-162"></a><a name="isEntityEnd"></a><span class='hs-definition'>isEntityEnd</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>EntityEnd</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isEntityEnd</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-163"></a><a name="isWarn"></a><span class='hs-definition'>isWarn</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>Warn</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>;</span> <span class='hs-varid'>isWarn</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-164"></a> <a name="line-165"></a><a name="fromChr"></a><span class='hs-definition'>fromChr</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>Char</span> <span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>x</span> <span class='hs-layout'>;</span> <span class='hs-varid'>fromChr</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span> <a name="line-166"></a><a name="fromWarn"></a><span class='hs-definition'>fromWarn</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>Warn</span> <span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>x</span> <span class='hs-layout'>;</span> <span class='hs-varid'>fromWarn</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span> <a name="line-167"></a> <a name="line-168"></a><a name="getEntityEnd"></a><span class='hs-definition'>getEntityEnd</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>EntityEnd</span> <span class='hs-varid'>b</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>b</span> <a name="line-169"></a> <a name="line-170"></a> <a name="line-171"></a><a name="tagTextMerge"></a><span class='hs-comment'>-- Merge all adjacent TagText bits</span> <a name="line-172"></a><span class='hs-definition'>tagTextMerge</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>StringLike</span> <span class='hs-varid'>str</span> <span class='hs-keyglyph'>=></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Tag</span> <span class='hs-varid'>str</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Tag</span> <span class='hs-varid'>str</span><span class='hs-keyglyph'>]</span> <a name="line-173"></a><span class='hs-definition'>tagTextMerge</span> <span class='hs-layout'>(</span><span class='hs-conid'>TagText</span> <span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>TagText</span> <span class='hs-layout'>(</span><span class='hs-varid'>strConcat</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>tagTextMerge</span> <span class='hs-varid'>b</span> <a name="line-174"></a> <span class='hs-keyword'>where</span> <a name="line-175"></a> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>f</span> <span class='hs-varid'>xs</span> <a name="line-176"></a> <a name="line-177"></a> <span class='hs-comment'>-- additional brackets on 3 lines to work around HSE 1.3.2 bugs with pattern fixities</span> <a name="line-178"></a> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>TagText</span> <span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <a name="line-179"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>f</span> <span class='hs-varid'>xs</span> <a name="line-180"></a> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>TagPosition</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-keyglyph'>@</span><span class='hs-conid'>TagText</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>f</span> <span class='hs-varop'>$</span> <span class='hs-varid'>x</span> <span class='hs-conop'>:</span> <span class='hs-varid'>xs</span> <a name="line-181"></a> <span class='hs-varid'>f</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>g</span> <span class='hs-varid'>x</span> <span class='hs-varid'>id</span> <span class='hs-varid'>x</span> <a name="line-182"></a> <a name="line-183"></a> <span class='hs-varid'>g</span> <span class='hs-varid'>o</span> <span class='hs-varid'>op</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-keyglyph'>@</span><span class='hs-conid'>TagPosition</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-layout'>(</span><span class='hs-varid'>w</span><span class='hs-keyglyph'>@</span><span class='hs-conid'>TagWarning</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>g</span> <span class='hs-varid'>o</span> <span class='hs-layout'>(</span><span class='hs-varid'>op</span> <span class='hs-varop'>.</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-conop'>:</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span><span class='hs-conop'>:</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span> <a name="line-184"></a> <span class='hs-varid'>g</span> <span class='hs-varid'>o</span> <span class='hs-varid'>op</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span><span class='hs-keyglyph'>@</span><span class='hs-conid'>TagWarning</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>g</span> <span class='hs-varid'>o</span> <span class='hs-layout'>(</span><span class='hs-varid'>op</span> <span class='hs-varop'>.</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span><span class='hs-conop'>:</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span> <a name="line-185"></a> <span class='hs-varid'>g</span> <span class='hs-varid'>o</span> <span class='hs-varid'>op</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-keyglyph'>@</span><span class='hs-conid'>TagPosition</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-keyglyph'>@</span><span class='hs-conid'>TagText</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>f</span> <span class='hs-varop'>$</span> <span class='hs-varid'>p</span> <span class='hs-conop'>:</span> <span class='hs-varid'>x</span> <span class='hs-conop'>:</span> <span class='hs-varid'>op</span> <span class='hs-varid'>xs</span> <a name="line-186"></a> <span class='hs-varid'>g</span> <span class='hs-varid'>o</span> <span class='hs-varid'>op</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-keyglyph'>@</span><span class='hs-conid'>TagText</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>f</span> <span class='hs-varop'>$</span> <span class='hs-varid'>x</span> <span class='hs-conop'>:</span> <span class='hs-varid'>op</span> <span class='hs-varid'>xs</span> <a name="line-187"></a> <span class='hs-varid'>g</span> <span class='hs-varid'>o</span> <span class='hs-varid'>op</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-conid'>[]</span><span class='hs-layout'>,</span> <span class='hs-varid'>o</span><span class='hs-layout'>)</span> <a name="line-188"></a> <a name="line-189"></a><span class='hs-definition'>tagTextMerge</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-conop'>:</span> <span class='hs-varid'>tagTextMerge</span> <span class='hs-varid'>xs</span> <a name="line-190"></a><span class='hs-definition'>tagTextMerge</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span> </pre></body> </html>