<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html> <head> <!-- Generated by HsColour, http://code.haskell.org/~malcolm/hscolour/ --> <title>src/Text/Pandoc/Readers/HTML.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a><span class='hs-comment'>{- <a name="line-2"></a>Copyright (C) 2006-2010 John MacFarlane <jgm@berkeley.edu> <a name="line-3"></a> <a name="line-4"></a>This program is free software; you can redistribute it and/or modify <a name="line-5"></a>it under the terms of the GNU General Public License as published by <a name="line-6"></a>the Free Software Foundation; either version 2 of the License, or <a name="line-7"></a>(at your option) any later version. <a name="line-8"></a> <a name="line-9"></a>This program is distributed in the hope that it will be useful, <a name="line-10"></a>but WITHOUT ANY WARRANTY; without even the implied warranty of <a name="line-11"></a>MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the <a name="line-12"></a>GNU General Public License for more details. <a name="line-13"></a> <a name="line-14"></a>You should have received a copy of the GNU General Public License <a name="line-15"></a>along with this program; if not, write to the Free Software <a name="line-16"></a>Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA <a name="line-17"></a>-}</span> <a name="line-18"></a> <a name="line-19"></a><span class='hs-comment'>{- | <a name="line-20"></a> Module : Text.Pandoc.Readers.HTML <a name="line-21"></a> Copyright : Copyright (C) 2006-2010 John MacFarlane <a name="line-22"></a> License : GNU GPL, version 2 or above <a name="line-23"></a> <a name="line-24"></a> Maintainer : John MacFarlane <jgm@berkeley.edu> <a name="line-25"></a> Stability : alpha <a name="line-26"></a> Portability : portable <a name="line-27"></a> <a name="line-28"></a>Conversion of HTML to 'Pandoc' document. <a name="line-29"></a>-}</span> <a name="line-30"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>Pandoc</span><span class='hs-varop'>.</span><span class='hs-conid'>Readers</span><span class='hs-varop'>.</span><span class='hs-conid'>HTML</span> <span class='hs-layout'>(</span> <span class='hs-varid'>readHtml</span> <a name="line-31"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>htmlTag</span> <a name="line-32"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>htmlInBalanced</span> <a name="line-33"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>isInlineTag</span> <a name="line-34"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>isBlockTag</span> <a name="line-35"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>isTextTag</span> <a name="line-36"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>isCommentTag</span> <a name="line-37"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-38"></a> <a name="line-39"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>ParserCombinators</span><span class='hs-varop'>.</span><span class='hs-conid'>Parsec</span> <a name="line-40"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>ParserCombinators</span><span class='hs-varop'>.</span><span class='hs-conid'>Parsec</span><span class='hs-varop'>.</span><span class='hs-conid'>Pos</span> <a name="line-41"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>HTML</span><span class='hs-varop'>.</span><span class='hs-conid'>TagSoup</span> <a name="line-42"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>HTML</span><span class='hs-varop'>.</span><span class='hs-conid'>TagSoup</span><span class='hs-varop'>.</span><span class='hs-conid'>Match</span> <a name="line-43"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>Pandoc</span><span class='hs-varop'>.</span><span class='hs-conid'>Definition</span> <a name="line-44"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>Pandoc</span><span class='hs-varop'>.</span><span class='hs-conid'>Builder</span> <span class='hs-layout'>(</span><span class='hs-varid'>text</span><span class='hs-layout'>,</span> <span class='hs-varid'>toList</span><span class='hs-layout'>)</span> <a name="line-45"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>Pandoc</span><span class='hs-varop'>.</span><span class='hs-conid'>Shared</span> <a name="line-46"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>Pandoc</span><span class='hs-varop'>.</span><span class='hs-conid'>Parsing</span> <a name="line-47"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Maybe</span> <span class='hs-layout'>(</span> <span class='hs-varid'>fromMaybe</span><span class='hs-layout'>,</span> <span class='hs-varid'>isJust</span> <span class='hs-layout'>)</span> <a name="line-48"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>List</span> <span class='hs-layout'>(</span> <span class='hs-varid'>intercalate</span> <span class='hs-layout'>)</span> <a name="line-49"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Char</span> <span class='hs-layout'>(</span> <span class='hs-varid'>isSpace</span><span class='hs-layout'>,</span> <span class='hs-varid'>isDigit</span> <span class='hs-layout'>)</span> <a name="line-50"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span> <span class='hs-layout'>(</span> <span class='hs-varid'>liftM</span><span class='hs-layout'>,</span> <span class='hs-varid'>guard</span><span class='hs-layout'>,</span> <span class='hs-varid'>when</span> <span class='hs-layout'>)</span> <a name="line-51"></a> <a name="line-52"></a><a name="readHtml"></a><span class='hs-comment'>-- | Convert HTML-formatted string to 'Pandoc' document.</span> <a name="line-53"></a><span class='hs-definition'>readHtml</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ParserState</span> <span class='hs-comment'>-- ^ Parser state</span> <a name="line-54"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ String to parse (assumes @'\n'@ line endings)</span> <a name="line-55"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Pandoc</span> <a name="line-56"></a><span class='hs-definition'>readHtml</span> <span class='hs-varid'>st</span> <span class='hs-varid'>inp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Pandoc</span> <span class='hs-varid'>meta</span> <span class='hs-varid'>blocks</span> <a name="line-57"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>blocks</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>readWith</span> <span class='hs-varid'>parseBody</span> <span class='hs-varid'>st</span> <span class='hs-varid'>rest</span> <a name="line-58"></a> <span class='hs-varid'>tags</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>canonicalizeTags</span> <span class='hs-varop'>$</span> <a name="line-59"></a> <span class='hs-varid'>parseTagsOptions</span> <span class='hs-varid'>parseOptions</span><span class='hs-layout'>{</span> <span class='hs-varid'>optTagPosition</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <span class='hs-layout'>}</span> <span class='hs-varid'>inp</span> <a name="line-60"></a> <span class='hs-varid'>hasHeader</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>any</span> <span class='hs-layout'>(</span><span class='hs-varop'>~==</span> <span class='hs-conid'>TagOpen</span> <span class='hs-str'>"head"</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <span class='hs-varid'>tags</span> <a name="line-61"></a> <span class='hs-layout'>(</span><span class='hs-varid'>meta</span><span class='hs-layout'>,</span> <span class='hs-varid'>rest</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>hasHeader</span> <a name="line-62"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>parseHeader</span> <span class='hs-varid'>tags</span> <a name="line-63"></a> <span class='hs-keyword'>else</span> <span class='hs-layout'>(</span><span class='hs-conid'>Meta</span> <span class='hs-conid'>[]</span> <span class='hs-conid'>[]</span> <span class='hs-conid'>[]</span><span class='hs-layout'>,</span> <span class='hs-varid'>tags</span><span class='hs-layout'>)</span> <a name="line-64"></a> <a name="line-65"></a><a name="TagParser"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>GenParser</span> <span class='hs-layout'>(</span><span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <span class='hs-conid'>ParserState</span> <a name="line-66"></a> <a name="line-67"></a><a name="parseHeader"></a><span class='hs-comment'>-- TODO - fix this - not every header has a title tag</span> <a name="line-68"></a><span class='hs-definition'>parseHeader</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Meta</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-69"></a><span class='hs-definition'>parseHeader</span> <span class='hs-varid'>tags</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-conid'>Meta</span><span class='hs-layout'>{</span><span class='hs-varid'>docTitle</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>tit''</span><span class='hs-layout'>,</span> <span class='hs-varid'>docAuthors</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span><span class='hs-layout'>,</span> <span class='hs-varid'>docDate</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span><span class='hs-layout'>}</span><span class='hs-layout'>,</span> <span class='hs-varid'>rest</span><span class='hs-layout'>)</span> <a name="line-70"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>tit</span><span class='hs-layout'>,</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>break</span> <span class='hs-layout'>(</span><span class='hs-varop'>~==</span> <span class='hs-conid'>TagClose</span> <span class='hs-str'>"title"</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>drop</span> <span class='hs-num'>1</span> <span class='hs-varop'>$</span> <a name="line-71"></a> <span class='hs-varid'>dropWhile</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>t</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>not</span> <span class='hs-varop'>$</span> <span class='hs-varid'>t</span> <span class='hs-varop'>~==</span> <span class='hs-conid'>TagOpen</span> <span class='hs-str'>"title"</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <span class='hs-varid'>tags</span> <a name="line-72"></a> <span class='hs-varid'>tit'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>concatMap</span> <span class='hs-varid'>fromTagText</span> <span class='hs-varop'>$</span> <span class='hs-varid'>filter</span> <span class='hs-varid'>isTagText</span> <span class='hs-varid'>tit</span> <a name="line-73"></a> <span class='hs-varid'>tit''</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>normalizeSpaces</span> <span class='hs-varop'>$</span> <span class='hs-varid'>toList</span> <span class='hs-varop'>$</span> <span class='hs-varid'>text</span> <span class='hs-varid'>tit'</span> <a name="line-74"></a> <span class='hs-varid'>rest</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>drop</span> <span class='hs-num'>1</span> <span class='hs-varop'>$</span> <span class='hs-varid'>dropWhile</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>t</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>not</span> <span class='hs-varop'>$</span> <span class='hs-varid'>t</span> <span class='hs-varop'>~==</span> <span class='hs-conid'>TagClose</span> <span class='hs-str'>"head"</span> <span class='hs-varop'>||</span> <a name="line-75"></a> <span class='hs-varid'>t</span> <span class='hs-varop'>~==</span> <span class='hs-conid'>TagOpen</span> <span class='hs-str'>"body"</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <span class='hs-varid'>tags</span> <a name="line-76"></a> <a name="line-77"></a><a name="parseBody"></a><span class='hs-definition'>parseBody</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <a name="line-78"></a><span class='hs-definition'>parseBody</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>liftM</span> <span class='hs-layout'>(</span><span class='hs-varid'>fixPlains</span> <span class='hs-conid'>False</span> <span class='hs-varop'>.</span> <span class='hs-varid'>concat</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>manyTill</span> <span class='hs-varid'>block</span> <span class='hs-varid'>eof</span> <a name="line-79"></a> <a name="line-80"></a><a name="block"></a><span class='hs-definition'>block</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <a name="line-81"></a><span class='hs-definition'>block</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>choice</span> <a name="line-82"></a> <span class='hs-keyglyph'>[</span> <span class='hs-varid'>pPara</span> <a name="line-83"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pHeader</span> <a name="line-84"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pBlockQuote</span> <a name="line-85"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pCodeBlock</span> <a name="line-86"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pList</span> <a name="line-87"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pHrule</span> <a name="line-88"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pSimpleTable</span> <a name="line-89"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pPlain</span> <a name="line-90"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pRawHtmlBlock</span> <a name="line-91"></a> <span class='hs-keyglyph'>]</span> <a name="line-92"></a> <a name="line-93"></a><a name="renderTags'"></a><span class='hs-definition'>renderTags'</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <a name="line-94"></a><span class='hs-definition'>renderTags'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>renderTagsOptions</span> <a name="line-95"></a> <span class='hs-varid'>renderOptions</span><span class='hs-layout'>{</span> <span class='hs-varid'>optMinimize</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"hr"</span><span class='hs-layout'>,</span><span class='hs-str'>"br"</span><span class='hs-layout'>,</span><span class='hs-str'>"img"</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-layout'>}</span> <a name="line-96"></a> <a name="line-97"></a><a name="pList"></a><span class='hs-definition'>pList</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <a name="line-98"></a><span class='hs-definition'>pList</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pBulletList</span> <span class='hs-varop'><|></span> <span class='hs-varid'>pOrderedList</span> <span class='hs-varop'><|></span> <span class='hs-varid'>pDefinitionList</span> <a name="line-99"></a> <a name="line-100"></a><a name="pBulletList"></a><span class='hs-definition'>pBulletList</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <a name="line-101"></a><span class='hs-definition'>pBulletList</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-102"></a> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varop'>~==</span> <span class='hs-conid'>TagOpen</span> <span class='hs-str'>"ul"</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <a name="line-103"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>nonItem</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>t</span> <span class='hs-keyglyph'>-></span> <a name="line-104"></a> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>tagOpen</span> <span class='hs-layout'>(</span><span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"li"</span><span class='hs-layout'>,</span><span class='hs-str'>"ol"</span><span class='hs-layout'>,</span><span class='hs-str'>"ul"</span><span class='hs-layout'>,</span><span class='hs-str'>"dl"</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <span class='hs-varid'>t</span><span class='hs-layout'>)</span> <span class='hs-varop'>&&</span> <a name="line-105"></a> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>t</span> <span class='hs-varop'>~==</span> <span class='hs-conid'>TagClose</span> <span class='hs-str'>"ul"</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-106"></a> <span class='hs-comment'>-- note: if they have an <ol> or <ul> not in scope of a <li>,</span> <a name="line-107"></a> <span class='hs-comment'>-- treat it as a list item, though it's not valid xhtml...</span> <a name="line-108"></a> <span class='hs-varid'>skipMany</span> <span class='hs-varid'>nonItem</span> <a name="line-109"></a> <span class='hs-varid'>items</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>manyTill</span> <span class='hs-layout'>(</span><span class='hs-varid'>pInTags</span> <span class='hs-str'>"li"</span> <span class='hs-varid'>block</span> <span class='hs-varop'>>>~</span> <span class='hs-varid'>skipMany</span> <span class='hs-varid'>nonItem</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>pCloses</span> <span class='hs-str'>"ul"</span><span class='hs-layout'>)</span> <a name="line-110"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>BulletList</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>fixPlains</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <span class='hs-varid'>items</span><span class='hs-keyglyph'>]</span> <a name="line-111"></a> <a name="line-112"></a><a name="pOrderedList"></a><span class='hs-definition'>pOrderedList</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <a name="line-113"></a><span class='hs-definition'>pOrderedList</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-114"></a> <span class='hs-conid'>TagOpen</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>attribs</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varop'>~==</span> <span class='hs-conid'>TagOpen</span> <span class='hs-str'>"ol"</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <a name="line-115"></a> <span class='hs-varid'>st</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>getState</span> <a name="line-116"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>start</span><span class='hs-layout'>,</span> <span class='hs-varid'>style</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>stateStrict</span> <span class='hs-varid'>st</span> <a name="line-117"></a> <span class='hs-keyword'>then</span> <span class='hs-layout'>(</span><span class='hs-num'>1</span><span class='hs-layout'>,</span> <span class='hs-conid'>DefaultStyle</span><span class='hs-layout'>)</span> <a name="line-118"></a> <span class='hs-keyword'>else</span> <span class='hs-layout'>(</span><span class='hs-varid'>sta'</span><span class='hs-layout'>,</span> <span class='hs-varid'>sty'</span><span class='hs-layout'>)</span> <a name="line-119"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>sta</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromMaybe</span> <span class='hs-str'>"1"</span> <span class='hs-varop'>$</span> <a name="line-120"></a> <span class='hs-varid'>lookup</span> <span class='hs-str'>"start"</span> <span class='hs-varid'>attribs</span> <a name="line-121"></a> <span class='hs-varid'>sta'</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>all</span> <span class='hs-varid'>isDigit</span> <span class='hs-varid'>sta</span> <a name="line-122"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>read</span> <span class='hs-varid'>sta</span> <a name="line-123"></a> <span class='hs-keyword'>else</span> <span class='hs-num'>1</span> <a name="line-124"></a> <span class='hs-varid'>sty</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromMaybe</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromMaybe</span> <span class='hs-str'>""</span> <span class='hs-varop'>$</span> <a name="line-125"></a> <span class='hs-varid'>lookup</span> <span class='hs-str'>"style"</span> <span class='hs-varid'>attribs</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <a name="line-126"></a> <span class='hs-varid'>lookup</span> <span class='hs-str'>"class"</span> <span class='hs-varid'>attribs</span> <a name="line-127"></a> <span class='hs-varid'>sty'</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>sty</span> <span class='hs-keyword'>of</span> <a name="line-128"></a> <span class='hs-str'>"lower-roman"</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>LowerRoman</span> <a name="line-129"></a> <span class='hs-str'>"upper-roman"</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>UpperRoman</span> <a name="line-130"></a> <span class='hs-str'>"lower-alpha"</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>LowerAlpha</span> <a name="line-131"></a> <span class='hs-str'>"upper-alpha"</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>UpperAlpha</span> <a name="line-132"></a> <span class='hs-str'>"decimal"</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Decimal</span> <a name="line-133"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>DefaultStyle</span> <a name="line-134"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>nonItem</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>t</span> <span class='hs-keyglyph'>-></span> <a name="line-135"></a> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>tagOpen</span> <span class='hs-layout'>(</span><span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"li"</span><span class='hs-layout'>,</span><span class='hs-str'>"ol"</span><span class='hs-layout'>,</span><span class='hs-str'>"ul"</span><span class='hs-layout'>,</span><span class='hs-str'>"dl"</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <span class='hs-varid'>t</span><span class='hs-layout'>)</span> <span class='hs-varop'>&&</span> <a name="line-136"></a> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>t</span> <span class='hs-varop'>~==</span> <span class='hs-conid'>TagClose</span> <span class='hs-str'>"ol"</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-137"></a> <span class='hs-comment'>-- note: if they have an <ol> or <ul> not in scope of a <li>,</span> <a name="line-138"></a> <span class='hs-comment'>-- treat it as a list item, though it's not valid xhtml...</span> <a name="line-139"></a> <span class='hs-varid'>skipMany</span> <span class='hs-varid'>nonItem</span> <a name="line-140"></a> <span class='hs-varid'>items</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>manyTill</span> <span class='hs-layout'>(</span><span class='hs-varid'>pInTags</span> <span class='hs-str'>"li"</span> <span class='hs-varid'>block</span> <span class='hs-varop'>>>~</span> <span class='hs-varid'>skipMany</span> <span class='hs-varid'>nonItem</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>pCloses</span> <span class='hs-str'>"ol"</span><span class='hs-layout'>)</span> <a name="line-141"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>OrderedList</span> <span class='hs-layout'>(</span><span class='hs-varid'>start</span><span class='hs-layout'>,</span> <span class='hs-varid'>style</span><span class='hs-layout'>,</span> <span class='hs-conid'>DefaultDelim</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>fixPlains</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <span class='hs-varid'>items</span><span class='hs-keyglyph'>]</span> <a name="line-142"></a> <a name="line-143"></a><a name="pDefinitionList"></a><span class='hs-definition'>pDefinitionList</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <a name="line-144"></a><span class='hs-definition'>pDefinitionList</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-145"></a> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varop'>~==</span> <span class='hs-conid'>TagOpen</span> <span class='hs-str'>"dl"</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <a name="line-146"></a> <span class='hs-varid'>items</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>manyTill</span> <span class='hs-varid'>pDefListItem</span> <span class='hs-layout'>(</span><span class='hs-varid'>pCloses</span> <span class='hs-str'>"dl"</span><span class='hs-layout'>)</span> <a name="line-147"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>DefinitionList</span> <span class='hs-varid'>items</span><span class='hs-keyglyph'>]</span> <a name="line-148"></a> <a name="line-149"></a><a name="pDefListItem"></a><span class='hs-definition'>pDefListItem</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Inline</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'>Block</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-150"></a><span class='hs-definition'>pDefListItem</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-151"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>nonItem</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>t</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>t</span> <span class='hs-varop'>~==</span> <span class='hs-conid'>TagOpen</span> <span class='hs-str'>"dt"</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <span class='hs-varop'>&&</span> <a name="line-152"></a> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>t</span> <span class='hs-varop'>~==</span> <span class='hs-conid'>TagOpen</span> <span class='hs-str'>"dd"</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>t</span> <span class='hs-varop'>~==</span> <span class='hs-conid'>TagClose</span> <span class='hs-str'>"dl"</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-153"></a> <span class='hs-varid'>terms</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>many1</span> <span class='hs-layout'>(</span><span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-varid'>skipMany</span> <span class='hs-varid'>nonItem</span> <span class='hs-varop'>>></span> <span class='hs-varid'>pInTags</span> <span class='hs-str'>"dt"</span> <span class='hs-varid'>inline</span><span class='hs-layout'>)</span> <a name="line-154"></a> <span class='hs-varid'>defs</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>many1</span> <span class='hs-layout'>(</span><span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-varid'>skipMany</span> <span class='hs-varid'>nonItem</span> <span class='hs-varop'>>></span> <span class='hs-varid'>pInTags</span> <span class='hs-str'>"dd"</span> <span class='hs-varid'>block</span><span class='hs-layout'>)</span> <a name="line-155"></a> <span class='hs-varid'>skipMany</span> <span class='hs-varid'>nonItem</span> <a name="line-156"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>term</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>intercalate</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>LineBreak</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>terms</span> <a name="line-157"></a> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>term</span><span class='hs-layout'>,</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>fixPlains</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <span class='hs-varid'>defs</span><span class='hs-layout'>)</span> <a name="line-158"></a> <a name="line-159"></a><a name="fixPlains"></a><span class='hs-definition'>fixPlains</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <a name="line-160"></a><span class='hs-definition'>fixPlains</span> <span class='hs-varid'>inList</span> <span class='hs-varid'>bs</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>any</span> <span class='hs-varid'>isParaish</span> <span class='hs-varid'>bs</span> <a name="line-161"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>map</span> <span class='hs-varid'>plainToPara</span> <span class='hs-varid'>bs</span> <a name="line-162"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>bs</span> <a name="line-163"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>isParaish</span> <span class='hs-layout'>(</span><span class='hs-conid'>Para</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-164"></a> <span class='hs-varid'>isParaish</span> <span class='hs-layout'>(</span><span class='hs-conid'>CodeBlock</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-165"></a> <span class='hs-varid'>isParaish</span> <span class='hs-layout'>(</span><span class='hs-conid'>Header</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-166"></a> <span class='hs-varid'>isParaish</span> <span class='hs-layout'>(</span><span class='hs-conid'>BlockQuote</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-167"></a> <span class='hs-varid'>isParaish</span> <span class='hs-layout'>(</span><span class='hs-conid'>BulletList</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>not</span> <span class='hs-varid'>inList</span> <a name="line-168"></a> <span class='hs-varid'>isParaish</span> <span class='hs-layout'>(</span><span class='hs-conid'>OrderedList</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>not</span> <span class='hs-varid'>inList</span> <a name="line-169"></a> <span class='hs-varid'>isParaish</span> <span class='hs-layout'>(</span><span class='hs-conid'>DefinitionList</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>not</span> <span class='hs-varid'>inList</span> <a name="line-170"></a> <span class='hs-varid'>isParaish</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-171"></a> <span class='hs-varid'>plainToPara</span> <span class='hs-layout'>(</span><span class='hs-conid'>Plain</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Para</span> <span class='hs-varid'>xs</span> <a name="line-172"></a> <span class='hs-varid'>plainToPara</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <a name="line-173"></a> <a name="line-174"></a><a name="pRawTag"></a><span class='hs-definition'>pRawTag</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-conid'>String</span> <a name="line-175"></a><span class='hs-definition'>pRawTag</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-176"></a> <span class='hs-varid'>tag</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pAnyTag</span> <a name="line-177"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>ignorable</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"html"</span><span class='hs-layout'>,</span><span class='hs-str'>"head"</span><span class='hs-layout'>,</span><span class='hs-str'>"body"</span><span class='hs-keyglyph'>]</span> <a name="line-178"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>tagOpen</span> <span class='hs-varid'>ignorable</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <span class='hs-varid'>tag</span> <span class='hs-varop'>||</span> <span class='hs-varid'>tagClose</span> <span class='hs-varid'>ignorable</span> <span class='hs-varid'>tag</span> <a name="line-179"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>return</span> <span class='hs-conid'>[]</span> <a name="line-180"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-varid'>renderTags'</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>tag</span><span class='hs-keyglyph'>]</span> <a name="line-181"></a> <a name="line-182"></a><a name="pRawHtmlBlock"></a><span class='hs-definition'>pRawHtmlBlock</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <a name="line-183"></a><span class='hs-definition'>pRawHtmlBlock</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-184"></a> <span class='hs-varid'>raw</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pHtmlBlock</span> <span class='hs-str'>"script"</span> <span class='hs-varop'><|></span> <span class='hs-varid'>pHtmlBlock</span> <span class='hs-str'>"style"</span> <span class='hs-varop'><|></span> <span class='hs-varid'>pRawTag</span> <a name="line-185"></a> <span class='hs-varid'>state</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>getState</span> <a name="line-186"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>stateParseRaw</span> <span class='hs-varid'>state</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>null</span> <span class='hs-varid'>raw</span><span class='hs-layout'>)</span> <a name="line-187"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>RawBlock</span> <span class='hs-str'>"html"</span> <span class='hs-varid'>raw</span><span class='hs-keyglyph'>]</span> <a name="line-188"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>return</span> <span class='hs-conid'>[]</span> <a name="line-189"></a> <a name="line-190"></a><a name="pHtmlBlock"></a><span class='hs-definition'>pHtmlBlock</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>TagParser</span> <span class='hs-conid'>String</span> <a name="line-191"></a><span class='hs-definition'>pHtmlBlock</span> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-192"></a> <span class='hs-varid'>open</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varop'>~==</span> <span class='hs-conid'>TagOpen</span> <span class='hs-varid'>t</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <a name="line-193"></a> <span class='hs-varid'>contents</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>manyTill</span> <span class='hs-varid'>pAnyTag</span> <span class='hs-layout'>(</span><span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varop'>~==</span> <span class='hs-conid'>TagClose</span> <span class='hs-varid'>t</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-194"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-varid'>renderTags'</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>open</span><span class='hs-keyglyph'>]</span> <span class='hs-varop'>++</span> <span class='hs-varid'>contents</span> <span class='hs-varop'>++</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>TagClose</span> <span class='hs-varid'>t</span><span class='hs-keyglyph'>]</span> <a name="line-195"></a> <a name="line-196"></a><a name="pHeader"></a><span class='hs-definition'>pHeader</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <a name="line-197"></a><span class='hs-definition'>pHeader</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-198"></a> <span class='hs-conid'>TagOpen</span> <span class='hs-varid'>tagtype</span> <span class='hs-varid'>attr</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-varop'>$</span> <a name="line-199"></a> <span class='hs-varid'>tagOpen</span> <span class='hs-layout'>(</span><span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"h1"</span><span class='hs-layout'>,</span><span class='hs-str'>"h2"</span><span class='hs-layout'>,</span><span class='hs-str'>"h3"</span><span class='hs-layout'>,</span><span class='hs-str'>"h4"</span><span class='hs-layout'>,</span><span class='hs-str'>"h5"</span><span class='hs-layout'>,</span><span class='hs-str'>"h6"</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-200"></a> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <a name="line-201"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>bodyTitle</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>TagOpen</span> <span class='hs-varid'>tagtype</span> <span class='hs-varid'>attr</span> <span class='hs-varop'>~==</span> <span class='hs-conid'>TagOpen</span> <span class='hs-str'>"h1"</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-str'>"class"</span><span class='hs-layout'>,</span><span class='hs-str'>"title"</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-202"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>level</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>read</span> <span class='hs-layout'>(</span><span class='hs-varid'>drop</span> <span class='hs-num'>1</span> <span class='hs-varid'>tagtype</span><span class='hs-layout'>)</span> <a name="line-203"></a> <span class='hs-varid'>contents</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>liftM</span> <span class='hs-varid'>concat</span> <span class='hs-varop'>$</span> <span class='hs-varid'>manyTill</span> <span class='hs-varid'>inline</span> <span class='hs-layout'>(</span><span class='hs-varid'>pCloses</span> <span class='hs-varid'>tagtype</span> <span class='hs-varop'><|></span> <span class='hs-varid'>eof</span><span class='hs-layout'>)</span> <a name="line-204"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>bodyTitle</span> <a name="line-205"></a> <span class='hs-keyword'>then</span> <span class='hs-conid'>[]</span> <span class='hs-comment'>-- skip a representation of the title in the body</span> <a name="line-206"></a> <span class='hs-keyword'>else</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Header</span> <span class='hs-varid'>level</span> <span class='hs-varop'>$</span> <span class='hs-varid'>normalizeSpaces</span> <span class='hs-varid'>contents</span><span class='hs-keyglyph'>]</span> <a name="line-207"></a> <a name="line-208"></a><a name="pHrule"></a><span class='hs-definition'>pHrule</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <a name="line-209"></a><span class='hs-definition'>pHrule</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-210"></a> <span class='hs-varid'>pSelfClosing</span> <span class='hs-layout'>(</span><span class='hs-varop'>==</span><span class='hs-str'>"hr"</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <a name="line-211"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>HorizontalRule</span><span class='hs-keyglyph'>]</span> <a name="line-212"></a> <a name="line-213"></a><a name="pSimpleTable"></a><span class='hs-definition'>pSimpleTable</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <a name="line-214"></a><span class='hs-definition'>pSimpleTable</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-215"></a> <span class='hs-conid'>TagOpen</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varop'>~==</span> <span class='hs-conid'>TagOpen</span> <span class='hs-str'>"table"</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <a name="line-216"></a> <span class='hs-varid'>skipMany</span> <span class='hs-varid'>pBlank</span> <a name="line-217"></a> <span class='hs-varid'>head'</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>option</span> <span class='hs-conid'>[]</span> <span class='hs-varop'>$</span> <span class='hs-varid'>pOptInTag</span> <span class='hs-str'>"thead"</span> <span class='hs-varop'>$</span> <span class='hs-varid'>pInTags</span> <span class='hs-str'>"tr"</span> <span class='hs-layout'>(</span><span class='hs-varid'>pCell</span> <span class='hs-str'>"th"</span><span class='hs-layout'>)</span> <a name="line-218"></a> <span class='hs-varid'>rows</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pOptInTag</span> <span class='hs-str'>"tbody"</span> <a name="line-219"></a> <span class='hs-varop'>$</span> <span class='hs-varid'>many1</span> <span class='hs-varop'>$</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-varid'>skipMany</span> <span class='hs-varid'>pBlank</span> <span class='hs-varop'>>></span> <span class='hs-varid'>pInTags</span> <span class='hs-str'>"tr"</span> <span class='hs-layout'>(</span><span class='hs-varid'>pCell</span> <span class='hs-str'>"td"</span><span class='hs-layout'>)</span> <a name="line-220"></a> <span class='hs-varid'>skipMany</span> <span class='hs-varid'>pBlank</span> <a name="line-221"></a> <span class='hs-conid'>TagClose</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varop'>~==</span> <span class='hs-conid'>TagClose</span> <span class='hs-str'>"table"</span><span class='hs-layout'>)</span> <a name="line-222"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>cols</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>maximum</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map</span> <span class='hs-varid'>length</span> <span class='hs-varid'>rows</span> <a name="line-223"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>aligns</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>replicate</span> <span class='hs-varid'>cols</span> <span class='hs-conid'>AlignLeft</span> <a name="line-224"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>widths</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>replicate</span> <span class='hs-varid'>cols</span> <span class='hs-num'>0</span> <a name="line-225"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Table</span> <span class='hs-conid'>[]</span> <span class='hs-varid'>aligns</span> <span class='hs-varid'>widths</span> <span class='hs-varid'>head'</span> <span class='hs-varid'>rows</span><span class='hs-keyglyph'>]</span> <a name="line-226"></a> <a name="line-227"></a><a name="pCell"></a><span class='hs-definition'>pCell</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>TableCell</span><span class='hs-keyglyph'>]</span> <a name="line-228"></a><span class='hs-definition'>pCell</span> <span class='hs-varid'>celltype</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-229"></a> <span class='hs-varid'>skipMany</span> <span class='hs-varid'>pBlank</span> <a name="line-230"></a> <span class='hs-varid'>res</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pInTags</span> <span class='hs-varid'>celltype</span> <span class='hs-varid'>pPlain</span> <a name="line-231"></a> <span class='hs-varid'>skipMany</span> <span class='hs-varid'>pBlank</span> <a name="line-232"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <a name="line-233"></a> <a name="line-234"></a><a name="pBlockQuote"></a><span class='hs-definition'>pBlockQuote</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <a name="line-235"></a><span class='hs-definition'>pBlockQuote</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-236"></a> <span class='hs-varid'>contents</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pInTags</span> <span class='hs-str'>"blockquote"</span> <span class='hs-varid'>block</span> <a name="line-237"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>BlockQuote</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fixPlains</span> <span class='hs-conid'>False</span> <span class='hs-varid'>contents</span><span class='hs-keyglyph'>]</span> <a name="line-238"></a> <a name="line-239"></a><a name="pPlain"></a><span class='hs-definition'>pPlain</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <a name="line-240"></a><span class='hs-definition'>pPlain</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-241"></a> <span class='hs-varid'>contents</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>liftM</span> <span class='hs-layout'>(</span><span class='hs-varid'>normalizeSpaces</span> <span class='hs-varop'>.</span> <span class='hs-varid'>concat</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>many1</span> <span class='hs-varid'>inline</span> <a name="line-242"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>null</span> <span class='hs-varid'>contents</span> <a name="line-243"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>return</span> <span class='hs-conid'>[]</span> <a name="line-244"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Plain</span> <span class='hs-varid'>contents</span><span class='hs-keyglyph'>]</span> <a name="line-245"></a> <a name="line-246"></a><a name="pPara"></a><span class='hs-definition'>pPara</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <a name="line-247"></a><span class='hs-definition'>pPara</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-248"></a> <span class='hs-varid'>contents</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pInTags</span> <span class='hs-str'>"p"</span> <span class='hs-varid'>inline</span> <a name="line-249"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Para</span> <span class='hs-varop'>$</span> <span class='hs-varid'>normalizeSpaces</span> <span class='hs-varid'>contents</span><span class='hs-keyglyph'>]</span> <a name="line-250"></a> <a name="line-251"></a><a name="pCodeBlock"></a><span class='hs-definition'>pCodeBlock</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Block</span><span class='hs-keyglyph'>]</span> <a name="line-252"></a><span class='hs-definition'>pCodeBlock</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-253"></a> <span class='hs-conid'>TagOpen</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>attr</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varop'>~==</span> <span class='hs-conid'>TagOpen</span> <span class='hs-str'>"pre"</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <a name="line-254"></a> <span class='hs-varid'>contents</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>manyTill</span> <span class='hs-varid'>pAnyTag</span> <span class='hs-layout'>(</span><span class='hs-varid'>pCloses</span> <span class='hs-str'>"pre"</span> <span class='hs-varop'><|></span> <span class='hs-varid'>eof</span><span class='hs-layout'>)</span> <a name="line-255"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>rawText</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>concatMap</span> <span class='hs-varid'>fromTagText</span> <span class='hs-varop'>$</span> <span class='hs-varid'>filter</span> <span class='hs-varid'>isTagText</span> <span class='hs-varid'>contents</span> <a name="line-256"></a> <span class='hs-comment'>-- drop leading newline if any</span> <a name="line-257"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>result'</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>rawText</span> <span class='hs-keyword'>of</span> <a name="line-258"></a> <span class='hs-chr'>'\n'</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>xs</span> <a name="line-259"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>rawText</span> <a name="line-260"></a> <span class='hs-comment'>-- drop trailing newline if any</span> <a name="line-261"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>result</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>reverse</span> <span class='hs-varid'>result'</span> <span class='hs-keyword'>of</span> <a name="line-262"></a> <span class='hs-chr'>'\n'</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>init</span> <span class='hs-varid'>result'</span> <a name="line-263"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>result'</span> <a name="line-264"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>attribsId</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromMaybe</span> <span class='hs-str'>""</span> <span class='hs-varop'>$</span> <span class='hs-varid'>lookup</span> <span class='hs-str'>"id"</span> <span class='hs-varid'>attr</span> <a name="line-265"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>attribsClasses</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>words</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fromMaybe</span> <span class='hs-str'>""</span> <span class='hs-varop'>$</span> <span class='hs-varid'>lookup</span> <span class='hs-str'>"class"</span> <span class='hs-varid'>attr</span> <a name="line-266"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>attribsKV</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>filter</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-layout'>(</span><span class='hs-varid'>k</span><span class='hs-layout'>,</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>k</span> <span class='hs-varop'>/=</span> <span class='hs-str'>"class"</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>k</span> <span class='hs-varop'>/=</span> <span class='hs-str'>"id"</span><span class='hs-layout'>)</span> <span class='hs-varid'>attr</span> <a name="line-267"></a> <span class='hs-varid'>st</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>getState</span> <a name="line-268"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>attribs</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>stateStrict</span> <span class='hs-varid'>st</span> <a name="line-269"></a> <span class='hs-keyword'>then</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span><span class='hs-conid'>[]</span><span class='hs-layout'>,</span><span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <a name="line-270"></a> <span class='hs-keyword'>else</span> <span class='hs-layout'>(</span><span class='hs-varid'>attribsId</span><span class='hs-layout'>,</span> <span class='hs-varid'>attribsClasses</span><span class='hs-layout'>,</span> <span class='hs-varid'>attribsKV</span><span class='hs-layout'>)</span> <a name="line-271"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CodeBlock</span> <span class='hs-varid'>attribs</span> <span class='hs-varid'>result</span><span class='hs-keyglyph'>]</span> <a name="line-272"></a> <a name="line-273"></a><a name="inline"></a><span class='hs-definition'>inline</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Inline</span><span class='hs-keyglyph'>]</span> <a name="line-274"></a><span class='hs-definition'>inline</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>choice</span> <a name="line-275"></a> <span class='hs-keyglyph'>[</span> <span class='hs-varid'>pTagText</span> <a name="line-276"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pEmph</span> <a name="line-277"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pStrong</span> <a name="line-278"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pSuperscript</span> <a name="line-279"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pSubscript</span> <a name="line-280"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pStrikeout</span> <a name="line-281"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pLineBreak</span> <a name="line-282"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pLink</span> <a name="line-283"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pImage</span> <a name="line-284"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pCode</span> <a name="line-285"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>pRawHtmlInline</span> <a name="line-286"></a> <span class='hs-keyglyph'>]</span> <a name="line-287"></a> <a name="line-288"></a><a name="pLocation"></a><span class='hs-definition'>pLocation</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-conid'>()</span> <a name="line-289"></a><span class='hs-definition'>pLocation</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-290"></a> <span class='hs-layout'>(</span><span class='hs-conid'>TagPosition</span> <span class='hs-varid'>r</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pSat</span> <span class='hs-varid'>isTagPosition</span> <a name="line-291"></a> <span class='hs-varid'>setPosition</span> <span class='hs-varop'>$</span> <span class='hs-varid'>newPos</span> <span class='hs-str'>"input"</span> <span class='hs-varid'>r</span> <span class='hs-varid'>c</span> <a name="line-292"></a> <a name="line-293"></a><a name="pSat"></a><span class='hs-definition'>pSat</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>TagParser</span> <span class='hs-layout'>(</span><span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <a name="line-294"></a><span class='hs-definition'>pSat</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-295"></a> <span class='hs-varid'>pos</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>getPosition</span> <a name="line-296"></a> <span class='hs-varid'>token</span> <span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-varid'>pos</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>x</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>if</span> <span class='hs-varid'>f</span> <span class='hs-varid'>x</span> <span class='hs-keyword'>then</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>x</span> <span class='hs-keyword'>else</span> <span class='hs-conid'>Nothing</span><span class='hs-layout'>)</span> <a name="line-297"></a> <a name="line-298"></a><a name="pSatisfy"></a><span class='hs-definition'>pSatisfy</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>TagParser</span> <span class='hs-layout'>(</span><span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <a name="line-299"></a><span class='hs-definition'>pSatisfy</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-varid'>optional</span> <span class='hs-varid'>pLocation</span> <span class='hs-varop'>>></span> <span class='hs-varid'>pSat</span> <span class='hs-varid'>f</span> <a name="line-300"></a> <a name="line-301"></a><a name="pAnyTag"></a><span class='hs-definition'>pAnyTag</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-layout'>(</span><span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <a name="line-302"></a><span class='hs-definition'>pAnyTag</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <a name="line-303"></a> <a name="line-304"></a><a name="pSelfClosing"></a><span class='hs-definition'>pSelfClosing</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Attribute</span> <span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <a name="line-305"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>TagParser</span> <span class='hs-layout'>(</span><span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <a name="line-306"></a><span class='hs-definition'>pSelfClosing</span> <span class='hs-varid'>f</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-307"></a> <span class='hs-varid'>open</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varid'>tagOpen</span> <span class='hs-varid'>f</span> <span class='hs-varid'>g</span><span class='hs-layout'>)</span> <a name="line-308"></a> <span class='hs-varid'>optional</span> <span class='hs-varop'>$</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varid'>tagClose</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <a name="line-309"></a> <span class='hs-varid'>return</span> <span class='hs-varid'>open</span> <a name="line-310"></a> <a name="line-311"></a><a name="pEmph"></a><span class='hs-definition'>pEmph</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Inline</span><span class='hs-keyglyph'>]</span> <a name="line-312"></a><span class='hs-definition'>pEmph</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"em"</span> <span class='hs-conid'>Emph</span> <span class='hs-varop'><|></span> <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"i"</span> <span class='hs-conid'>Emph</span> <a name="line-313"></a> <a name="line-314"></a><a name="pStrong"></a><span class='hs-definition'>pStrong</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Inline</span><span class='hs-keyglyph'>]</span> <a name="line-315"></a><span class='hs-definition'>pStrong</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"strong"</span> <span class='hs-conid'>Strong</span> <span class='hs-varop'><|></span> <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"b"</span> <span class='hs-conid'>Strong</span> <a name="line-316"></a> <a name="line-317"></a><a name="pSuperscript"></a><span class='hs-definition'>pSuperscript</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Inline</span><span class='hs-keyglyph'>]</span> <a name="line-318"></a><span class='hs-definition'>pSuperscript</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>failIfStrict</span> <span class='hs-varop'>>></span> <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"sup"</span> <span class='hs-conid'>Superscript</span> <a name="line-319"></a> <a name="line-320"></a><a name="pSubscript"></a><span class='hs-definition'>pSubscript</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Inline</span><span class='hs-keyglyph'>]</span> <a name="line-321"></a><span class='hs-definition'>pSubscript</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>failIfStrict</span> <span class='hs-varop'>>></span> <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"sub"</span> <span class='hs-conid'>Subscript</span> <a name="line-322"></a> <a name="line-323"></a><a name="pStrikeout"></a><span class='hs-definition'>pStrikeout</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Inline</span><span class='hs-keyglyph'>]</span> <a name="line-324"></a><span class='hs-definition'>pStrikeout</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-325"></a> <span class='hs-varid'>failIfStrict</span> <a name="line-326"></a> <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"s"</span> <span class='hs-conid'>Strikeout</span> <span class='hs-varop'><|></span> <a name="line-327"></a> <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"strike"</span> <span class='hs-conid'>Strikeout</span> <span class='hs-varop'><|></span> <a name="line-328"></a> <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"del"</span> <span class='hs-conid'>Strikeout</span> <span class='hs-varop'><|></span> <a name="line-329"></a> <span class='hs-varid'>try</span> <span class='hs-layout'>(</span><span class='hs-keyword'>do</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varop'>~==</span> <span class='hs-conid'>TagOpen</span> <span class='hs-str'>"span"</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-str'>"class"</span><span class='hs-layout'>,</span><span class='hs-str'>"strikeout"</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-330"></a> <span class='hs-varid'>contents</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>liftM</span> <span class='hs-varid'>concat</span> <span class='hs-varop'>$</span> <span class='hs-varid'>manyTill</span> <span class='hs-varid'>inline</span> <span class='hs-layout'>(</span><span class='hs-varid'>pCloses</span> <span class='hs-str'>"span"</span><span class='hs-layout'>)</span> <a name="line-331"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Strikeout</span> <span class='hs-varid'>contents</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-332"></a> <a name="line-333"></a><a name="pLineBreak"></a><span class='hs-definition'>pLineBreak</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Inline</span><span class='hs-keyglyph'>]</span> <a name="line-334"></a><span class='hs-definition'>pLineBreak</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-335"></a> <span class='hs-varid'>pSelfClosing</span> <span class='hs-layout'>(</span><span class='hs-varop'>==</span><span class='hs-str'>"br"</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <a name="line-336"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>LineBreak</span><span class='hs-keyglyph'>]</span> <a name="line-337"></a> <a name="line-338"></a><a name="pLink"></a><span class='hs-definition'>pLink</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Inline</span><span class='hs-keyglyph'>]</span> <a name="line-339"></a><span class='hs-definition'>pLink</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-340"></a> <span class='hs-varid'>tag</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varid'>tagOpenLit</span> <span class='hs-str'>"a"</span> <span class='hs-layout'>(</span><span class='hs-varid'>isJust</span> <span class='hs-varop'>.</span> <span class='hs-varid'>lookup</span> <span class='hs-str'>"href"</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-341"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>url</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromAttrib</span> <span class='hs-str'>"href"</span> <span class='hs-varid'>tag</span> <a name="line-342"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>title</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromAttrib</span> <span class='hs-str'>"title"</span> <span class='hs-varid'>tag</span> <a name="line-343"></a> <span class='hs-varid'>lab</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>liftM</span> <span class='hs-varid'>concat</span> <span class='hs-varop'>$</span> <span class='hs-varid'>manyTill</span> <span class='hs-varid'>inline</span> <span class='hs-layout'>(</span><span class='hs-varid'>pCloses</span> <span class='hs-str'>"a"</span><span class='hs-layout'>)</span> <a name="line-344"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Link</span> <span class='hs-layout'>(</span><span class='hs-varid'>normalizeSpaces</span> <span class='hs-varid'>lab</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>escapeURI</span> <span class='hs-varid'>url</span><span class='hs-layout'>,</span> <span class='hs-varid'>title</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-345"></a> <a name="line-346"></a><a name="pImage"></a><span class='hs-definition'>pImage</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Inline</span><span class='hs-keyglyph'>]</span> <a name="line-347"></a><span class='hs-definition'>pImage</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-348"></a> <span class='hs-varid'>tag</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pSelfClosing</span> <span class='hs-layout'>(</span><span class='hs-varop'>==</span><span class='hs-str'>"img"</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>isJust</span> <span class='hs-varop'>.</span> <span class='hs-varid'>lookup</span> <span class='hs-str'>"src"</span><span class='hs-layout'>)</span> <a name="line-349"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>url</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromAttrib</span> <span class='hs-str'>"src"</span> <span class='hs-varid'>tag</span> <a name="line-350"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>title</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromAttrib</span> <span class='hs-str'>"title"</span> <span class='hs-varid'>tag</span> <a name="line-351"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>alt</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromAttrib</span> <span class='hs-str'>"alt"</span> <span class='hs-varid'>tag</span> <a name="line-352"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Image</span> <span class='hs-layout'>(</span><span class='hs-varid'>toList</span> <span class='hs-varop'>$</span> <span class='hs-varid'>text</span> <span class='hs-varid'>alt</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>escapeURI</span> <span class='hs-varid'>url</span><span class='hs-layout'>,</span> <span class='hs-varid'>title</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-353"></a> <a name="line-354"></a><a name="pCode"></a><span class='hs-definition'>pCode</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Inline</span><span class='hs-keyglyph'>]</span> <a name="line-355"></a><span class='hs-definition'>pCode</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-356"></a> <span class='hs-layout'>(</span><span class='hs-conid'>TagOpen</span> <span class='hs-varid'>open</span> <span class='hs-varid'>attr</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-varop'>$</span> <span class='hs-varid'>tagOpen</span> <span class='hs-layout'>(</span><span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"code"</span><span class='hs-layout'>,</span><span class='hs-str'>"tt"</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <a name="line-357"></a> <span class='hs-varid'>result</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>manyTill</span> <span class='hs-varid'>pAnyTag</span> <span class='hs-layout'>(</span><span class='hs-varid'>pCloses</span> <span class='hs-varid'>open</span><span class='hs-layout'>)</span> <a name="line-358"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>ident</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromMaybe</span> <span class='hs-str'>""</span> <span class='hs-varop'>$</span> <span class='hs-varid'>lookup</span> <span class='hs-str'>"id"</span> <span class='hs-varid'>attr</span> <a name="line-359"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>classes</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>words</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fromMaybe</span> <span class='hs-conid'>[]</span> <span class='hs-varop'>$</span> <span class='hs-varid'>lookup</span> <span class='hs-str'>"class"</span> <span class='hs-varid'>attr</span> <a name="line-360"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>rest</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>filter</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-layout'>,</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>x</span> <span class='hs-varop'>/=</span> <span class='hs-str'>"id"</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>x</span> <span class='hs-varop'>/=</span> <span class='hs-str'>"class"</span><span class='hs-layout'>)</span> <span class='hs-varid'>attr</span> <a name="line-361"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Code</span> <span class='hs-layout'>(</span><span class='hs-varid'>ident</span><span class='hs-layout'>,</span><span class='hs-varid'>classes</span><span class='hs-layout'>,</span><span class='hs-varid'>rest</span><span class='hs-layout'>)</span> <a name="line-362"></a> <span class='hs-varop'>$</span> <span class='hs-varid'>intercalate</span> <span class='hs-str'>" "</span> <span class='hs-varop'>$</span> <span class='hs-varid'>lines</span> <span class='hs-varop'>$</span> <span class='hs-varid'>innerText</span> <span class='hs-varid'>result</span><span class='hs-keyglyph'>]</span> <a name="line-363"></a> <a name="line-364"></a><a name="pRawHtmlInline"></a><span class='hs-definition'>pRawHtmlInline</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Inline</span><span class='hs-keyglyph'>]</span> <a name="line-365"></a><span class='hs-definition'>pRawHtmlInline</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-366"></a> <span class='hs-varid'>result</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varid'>tagComment</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varop'><|></span> <span class='hs-varid'>pSatisfy</span> <span class='hs-varid'>isInlineTag</span> <a name="line-367"></a> <span class='hs-varid'>state</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>getState</span> <a name="line-368"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>stateParseRaw</span> <span class='hs-varid'>state</span> <a name="line-369"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>RawInline</span> <span class='hs-str'>"html"</span> <span class='hs-varop'>$</span> <span class='hs-varid'>renderTags'</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>result</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span> <a name="line-370"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>return</span> <span class='hs-conid'>[]</span> <a name="line-371"></a> <a name="line-372"></a><a name="pInlinesInTags"></a><span class='hs-definition'>pInlinesInTags</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Inline</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Inline</span><span class='hs-layout'>)</span> <a name="line-373"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Inline</span><span class='hs-keyglyph'>]</span> <a name="line-374"></a><span class='hs-definition'>pInlinesInTags</span> <span class='hs-varid'>tagtype</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-375"></a> <span class='hs-varid'>contents</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pInTags</span> <span class='hs-varid'>tagtype</span> <span class='hs-varid'>inline</span> <a name="line-376"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>f</span> <span class='hs-varop'>$</span> <span class='hs-varid'>normalizeSpaces</span> <span class='hs-varid'>contents</span><span class='hs-keyglyph'>]</span> <a name="line-377"></a> <a name="line-378"></a><a name="pInTags"></a><span class='hs-definition'>pInTags</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <a name="line-379"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <a name="line-380"></a><span class='hs-definition'>pInTags</span> <span class='hs-varid'>tagtype</span> <span class='hs-varid'>parser</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-381"></a> <span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varop'>~==</span> <span class='hs-conid'>TagOpen</span> <span class='hs-varid'>tagtype</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <a name="line-382"></a> <span class='hs-varid'>liftM</span> <span class='hs-varid'>concat</span> <span class='hs-varop'>$</span> <span class='hs-varid'>manyTill</span> <span class='hs-varid'>parser</span> <span class='hs-layout'>(</span><span class='hs-varid'>pCloses</span> <span class='hs-varid'>tagtype</span> <span class='hs-varop'><|></span> <span class='hs-varid'>eof</span><span class='hs-layout'>)</span> <a name="line-383"></a> <a name="line-384"></a><a name="pOptInTag"></a><span class='hs-definition'>pOptInTag</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>TagParser</span> <span class='hs-varid'>a</span> <a name="line-385"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>TagParser</span> <span class='hs-varid'>a</span> <a name="line-386"></a><span class='hs-definition'>pOptInTag</span> <span class='hs-varid'>tagtype</span> <span class='hs-varid'>parser</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-387"></a> <span class='hs-varid'>open</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>option</span> <span class='hs-conid'>False</span> <span class='hs-layout'>(</span><span class='hs-varid'>pSatisfy</span> <span class='hs-layout'>(</span><span class='hs-varop'>~==</span> <span class='hs-conid'>TagOpen</span> <span class='hs-varid'>tagtype</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <span class='hs-varop'>>></span> <span class='hs-varid'>return</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <a name="line-388"></a> <span class='hs-varid'>skipMany</span> <span class='hs-varid'>pBlank</span> <a name="line-389"></a> <span class='hs-varid'>x</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>parser</span> <a name="line-390"></a> <span class='hs-varid'>skipMany</span> <span class='hs-varid'>pBlank</span> <a name="line-391"></a> <span class='hs-varid'>when</span> <span class='hs-varid'>open</span> <span class='hs-varop'>$</span> <span class='hs-varid'>pCloses</span> <span class='hs-varid'>tagtype</span> <a name="line-392"></a> <span class='hs-varid'>return</span> <span class='hs-varid'>x</span> <a name="line-393"></a> <a name="line-394"></a><a name="pCloses"></a><span class='hs-definition'>pCloses</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>TagParser</span> <span class='hs-conid'>()</span> <a name="line-395"></a><span class='hs-definition'>pCloses</span> <span class='hs-varid'>tagtype</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-396"></a> <span class='hs-varid'>t</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>lookAhead</span> <span class='hs-varop'>$</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>tag</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>isTagClose</span> <span class='hs-varid'>tag</span> <span class='hs-varop'>||</span> <span class='hs-varid'>isTagOpen</span> <span class='hs-varid'>tag</span> <a name="line-397"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>t</span> <span class='hs-keyword'>of</span> <a name="line-398"></a> <span class='hs-layout'>(</span><span class='hs-conid'>TagClose</span> <span class='hs-varid'>t'</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'>tagtype</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>pAnyTag</span> <span class='hs-varop'>>></span> <span class='hs-varid'>return</span> <span class='hs-conid'>()</span> <a name="line-399"></a> <span class='hs-layout'>(</span><span class='hs-conid'>TagOpen</span> <span class='hs-varid'>t'</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>t'</span> <span class='hs-varop'>`closes`</span> <span class='hs-varid'>tagtype</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>return</span> <span class='hs-conid'>()</span> <a name="line-400"></a> <span class='hs-layout'>(</span><span class='hs-conid'>TagClose</span> <span class='hs-str'>"ul"</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>tagtype</span> <span class='hs-varop'>==</span> <span class='hs-str'>"li"</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>return</span> <span class='hs-conid'>()</span> <a name="line-401"></a> <span class='hs-layout'>(</span><span class='hs-conid'>TagClose</span> <span class='hs-str'>"ol"</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>tagtype</span> <span class='hs-varop'>==</span> <span class='hs-str'>"li"</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>return</span> <span class='hs-conid'>()</span> <a name="line-402"></a> <span class='hs-layout'>(</span><span class='hs-conid'>TagClose</span> <span class='hs-str'>"dl"</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>tagtype</span> <span class='hs-varop'>==</span> <span class='hs-str'>"li"</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>return</span> <span class='hs-conid'>()</span> <a name="line-403"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>pzero</span> <a name="line-404"></a> <a name="line-405"></a><a name="pTagText"></a><span class='hs-definition'>pTagText</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Inline</span><span class='hs-keyglyph'>]</span> <a name="line-406"></a><span class='hs-definition'>pTagText</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-407"></a> <span class='hs-layout'>(</span><span class='hs-conid'>TagText</span> <span class='hs-varid'>str</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-varid'>isTagText</span> <a name="line-408"></a> <span class='hs-varid'>st</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>getState</span> <a name="line-409"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>runParser</span> <span class='hs-layout'>(</span><span class='hs-varid'>many</span> <span class='hs-varid'>pTagContents</span><span class='hs-layout'>)</span> <span class='hs-varid'>st</span> <span class='hs-str'>"text"</span> <span class='hs-varid'>str</span> <span class='hs-keyword'>of</span> <a name="line-410"></a> <span class='hs-conid'>Left</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>fail</span> <span class='hs-varop'>$</span> <span class='hs-str'>"Could not parse `"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>str</span> <span class='hs-varop'>++</span> <span class='hs-str'>"'"</span> <a name="line-411"></a> <span class='hs-conid'>Right</span> <span class='hs-varid'>result</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>return</span> <span class='hs-varid'>result</span> <a name="line-412"></a> <a name="line-413"></a><a name="pBlank"></a><span class='hs-definition'>pBlank</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagParser</span> <span class='hs-conid'>()</span> <a name="line-414"></a><span class='hs-definition'>pBlank</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-415"></a> <span class='hs-layout'>(</span><span class='hs-conid'>TagText</span> <span class='hs-varid'>str</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-varid'>isTagText</span> <a name="line-416"></a> <span class='hs-varid'>guard</span> <span class='hs-varop'>$</span> <span class='hs-varid'>all</span> <span class='hs-varid'>isSpace</span> <span class='hs-varid'>str</span> <a name="line-417"></a> <a name="line-418"></a><a name="pTagContents"></a><span class='hs-definition'>pTagContents</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GenParser</span> <span class='hs-conid'>Char</span> <span class='hs-conid'>ParserState</span> <span class='hs-conid'>Inline</span> <a name="line-419"></a><span class='hs-definition'>pTagContents</span> <span class='hs-keyglyph'>=</span> <a name="line-420"></a> <span class='hs-varid'>pStr</span> <span class='hs-varop'><|></span> <span class='hs-varid'>pSpace</span> <span class='hs-varop'><|></span> <span class='hs-varid'>smartPunctuation</span> <span class='hs-varid'>pTagContents</span> <span class='hs-varop'><|></span> <span class='hs-varid'>pSymbol</span> <span class='hs-varop'><|></span> <span class='hs-varid'>pBad</span> <a name="line-421"></a> <a name="line-422"></a><a name="pStr"></a><span class='hs-definition'>pStr</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GenParser</span> <span class='hs-conid'>Char</span> <span class='hs-conid'>ParserState</span> <span class='hs-conid'>Inline</span> <a name="line-423"></a><span class='hs-definition'>pStr</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>liftM</span> <span class='hs-conid'>Str</span> <span class='hs-varop'>$</span> <span class='hs-varid'>many1</span> <span class='hs-varop'>$</span> <span class='hs-varid'>satisfy</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>c</span> <span class='hs-keyglyph'>-></span> <a name="line-424"></a> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>isSpace</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>isSpecial</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>isBad</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <a name="line-425"></a> <a name="line-426"></a><a name="isSpecial"></a><span class='hs-definition'>isSpecial</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Char</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-427"></a><span class='hs-definition'>isSpecial</span> <span class='hs-chr'>'"'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-428"></a><span class='hs-definition'>isSpecial</span> <span class='hs-chr'>'\''</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-429"></a><span class='hs-definition'>isSpecial</span> <span class='hs-chr'>'.'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-430"></a><span class='hs-definition'>isSpecial</span> <span class='hs-chr'>'-'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-431"></a><span class='hs-definition'>isSpecial</span> <span class='hs-chr'>'\8216'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-432"></a><span class='hs-definition'>isSpecial</span> <span class='hs-chr'>'\8217'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-433"></a><span class='hs-definition'>isSpecial</span> <span class='hs-chr'>'\8220'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-434"></a><span class='hs-definition'>isSpecial</span> <span class='hs-chr'>'\8221'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-435"></a><span class='hs-definition'>isSpecial</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-436"></a> <a name="line-437"></a><a name="pSymbol"></a><span class='hs-definition'>pSymbol</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GenParser</span> <span class='hs-conid'>Char</span> <span class='hs-conid'>ParserState</span> <span class='hs-conid'>Inline</span> <a name="line-438"></a><span class='hs-definition'>pSymbol</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>satisfy</span> <span class='hs-varid'>isSpecial</span> <span class='hs-varop'>>>=</span> <span class='hs-varid'>return</span> <span class='hs-varop'>.</span> <span class='hs-conid'>Str</span> <span class='hs-varop'>.</span> <span class='hs-layout'>(</span><span class='hs-conop'>:</span><span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <a name="line-439"></a> <a name="line-440"></a><a name="isBad"></a><span class='hs-definition'>isBad</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Char</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-441"></a><span class='hs-definition'>isBad</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>c</span> <span class='hs-varop'>>=</span> <span class='hs-chr'>'\128'</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>c</span> <span class='hs-varop'><=</span> <span class='hs-chr'>'\159'</span> <span class='hs-comment'>-- not allowed in HTML</span> <a name="line-442"></a> <a name="line-443"></a><a name="pBad"></a><span class='hs-definition'>pBad</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GenParser</span> <span class='hs-conid'>Char</span> <span class='hs-conid'>ParserState</span> <span class='hs-conid'>Inline</span> <a name="line-444"></a><span class='hs-definition'>pBad</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-445"></a> <span class='hs-varid'>c</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>satisfy</span> <span class='hs-varid'>isBad</span> <a name="line-446"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>c'</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>c</span> <span class='hs-keyword'>of</span> <a name="line-447"></a> <span class='hs-chr'>'\128'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8364'</span> <a name="line-448"></a> <span class='hs-chr'>'\130'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8218'</span> <a name="line-449"></a> <span class='hs-chr'>'\131'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\402'</span> <a name="line-450"></a> <span class='hs-chr'>'\132'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8222'</span> <a name="line-451"></a> <span class='hs-chr'>'\133'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8230'</span> <a name="line-452"></a> <span class='hs-chr'>'\134'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8224'</span> <a name="line-453"></a> <span class='hs-chr'>'\135'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8225'</span> <a name="line-454"></a> <span class='hs-chr'>'\136'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\710'</span> <a name="line-455"></a> <span class='hs-chr'>'\137'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8240'</span> <a name="line-456"></a> <span class='hs-chr'>'\138'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\352'</span> <a name="line-457"></a> <span class='hs-chr'>'\139'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8249'</span> <a name="line-458"></a> <span class='hs-chr'>'\140'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\338'</span> <a name="line-459"></a> <span class='hs-chr'>'\142'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\381'</span> <a name="line-460"></a> <span class='hs-chr'>'\145'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8216'</span> <a name="line-461"></a> <span class='hs-chr'>'\146'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8217'</span> <a name="line-462"></a> <span class='hs-chr'>'\147'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8220'</span> <a name="line-463"></a> <span class='hs-chr'>'\148'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8221'</span> <a name="line-464"></a> <span class='hs-chr'>'\149'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8226'</span> <a name="line-465"></a> <span class='hs-chr'>'\150'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8211'</span> <a name="line-466"></a> <span class='hs-chr'>'\151'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8212'</span> <a name="line-467"></a> <span class='hs-chr'>'\152'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\732'</span> <a name="line-468"></a> <span class='hs-chr'>'\153'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8482'</span> <a name="line-469"></a> <span class='hs-chr'>'\154'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\353'</span> <a name="line-470"></a> <span class='hs-chr'>'\155'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\8250'</span> <a name="line-471"></a> <span class='hs-chr'>'\156'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\339'</span> <a name="line-472"></a> <span class='hs-chr'>'\158'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\382'</span> <a name="line-473"></a> <span class='hs-chr'>'\159'</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'\376'</span> <a name="line-474"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-chr'>'?'</span> <a name="line-475"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Str</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>c'</span><span class='hs-keyglyph'>]</span> <a name="line-476"></a> <a name="line-477"></a><a name="pSpace"></a><span class='hs-definition'>pSpace</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GenParser</span> <span class='hs-conid'>Char</span> <span class='hs-conid'>ParserState</span> <span class='hs-conid'>Inline</span> <a name="line-478"></a><span class='hs-definition'>pSpace</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>many1</span> <span class='hs-layout'>(</span><span class='hs-varid'>satisfy</span> <span class='hs-varid'>isSpace</span><span class='hs-layout'>)</span> <span class='hs-varop'>>></span> <span class='hs-varid'>return</span> <span class='hs-conid'>Space</span> <a name="line-479"></a> <a name="line-480"></a><span class='hs-comment'>--</span> <a name="line-481"></a><span class='hs-comment'>-- Constants</span> <a name="line-482"></a><span class='hs-comment'>--</span> <a name="line-483"></a> <a name="line-484"></a><a name="eitherBlockOrInline"></a><span class='hs-definition'>eitherBlockOrInline</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <a name="line-485"></a><span class='hs-definition'>eitherBlockOrInline</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"applet"</span><span class='hs-layout'>,</span> <span class='hs-str'>"button"</span><span class='hs-layout'>,</span> <span class='hs-str'>"del"</span><span class='hs-layout'>,</span> <span class='hs-str'>"iframe"</span><span class='hs-layout'>,</span> <span class='hs-str'>"ins"</span><span class='hs-layout'>,</span> <a name="line-486"></a> <span class='hs-str'>"map"</span><span class='hs-layout'>,</span> <span class='hs-str'>"area"</span><span class='hs-layout'>,</span> <span class='hs-str'>"object"</span><span class='hs-keyglyph'>]</span> <a name="line-487"></a> <a name="line-488"></a><span class='hs-comment'>{- <a name="line-489"></a>inlineHtmlTags :: [[Char]] <a name="line-490"></a>inlineHtmlTags = ["a", "abbr", "acronym", "b", "basefont", "bdo", "big", <a name="line-491"></a> "br", "cite", "code", "dfn", "em", "font", "i", "img", <a name="line-492"></a> "input", "kbd", "label", "q", "s", "samp", "select", <a name="line-493"></a> "small", "span", "strike", "strong", "sub", "sup", <a name="line-494"></a> "textarea", "tt", "u", "var"] <a name="line-495"></a>-}</span> <a name="line-496"></a> <a name="line-497"></a><a name="blockHtmlTags"></a><span class='hs-definition'>blockHtmlTags</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <a name="line-498"></a><span class='hs-definition'>blockHtmlTags</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"address"</span><span class='hs-layout'>,</span> <span class='hs-str'>"blockquote"</span><span class='hs-layout'>,</span> <span class='hs-str'>"body"</span><span class='hs-layout'>,</span> <span class='hs-str'>"center"</span><span class='hs-layout'>,</span> <span class='hs-str'>"dir"</span><span class='hs-layout'>,</span> <span class='hs-str'>"div"</span><span class='hs-layout'>,</span> <a name="line-499"></a> <span class='hs-str'>"dl"</span><span class='hs-layout'>,</span> <span class='hs-str'>"fieldset"</span><span class='hs-layout'>,</span> <span class='hs-str'>"form"</span><span class='hs-layout'>,</span> <span class='hs-str'>"h1"</span><span class='hs-layout'>,</span> <span class='hs-str'>"h2"</span><span class='hs-layout'>,</span> <span class='hs-str'>"h3"</span><span class='hs-layout'>,</span> <span class='hs-str'>"h4"</span><span class='hs-layout'>,</span> <a name="line-500"></a> <span class='hs-str'>"h5"</span><span class='hs-layout'>,</span> <span class='hs-str'>"h6"</span><span class='hs-layout'>,</span> <span class='hs-str'>"head"</span><span class='hs-layout'>,</span> <span class='hs-str'>"hr"</span><span class='hs-layout'>,</span> <span class='hs-str'>"html"</span><span class='hs-layout'>,</span> <span class='hs-str'>"isindex"</span><span class='hs-layout'>,</span> <span class='hs-str'>"menu"</span><span class='hs-layout'>,</span> <a name="line-501"></a> <span class='hs-str'>"noframes"</span><span class='hs-layout'>,</span> <span class='hs-str'>"noscript"</span><span class='hs-layout'>,</span> <span class='hs-str'>"ol"</span><span class='hs-layout'>,</span> <span class='hs-str'>"p"</span><span class='hs-layout'>,</span> <span class='hs-str'>"pre"</span><span class='hs-layout'>,</span> <span class='hs-str'>"table"</span><span class='hs-layout'>,</span> <span class='hs-str'>"ul"</span><span class='hs-layout'>,</span> <span class='hs-str'>"dd"</span><span class='hs-layout'>,</span> <a name="line-502"></a> <span class='hs-str'>"dt"</span><span class='hs-layout'>,</span> <span class='hs-str'>"frameset"</span><span class='hs-layout'>,</span> <span class='hs-str'>"li"</span><span class='hs-layout'>,</span> <span class='hs-str'>"tbody"</span><span class='hs-layout'>,</span> <span class='hs-str'>"td"</span><span class='hs-layout'>,</span> <span class='hs-str'>"tfoot"</span><span class='hs-layout'>,</span> <a name="line-503"></a> <span class='hs-str'>"th"</span><span class='hs-layout'>,</span> <span class='hs-str'>"thead"</span><span class='hs-layout'>,</span> <span class='hs-str'>"tr"</span><span class='hs-layout'>,</span> <span class='hs-str'>"script"</span><span class='hs-layout'>,</span> <span class='hs-str'>"style"</span><span class='hs-keyglyph'>]</span> <a name="line-504"></a> <a name="line-505"></a><a name="isInlineTag"></a><span class='hs-definition'>isInlineTag</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-506"></a><span class='hs-definition'>isInlineTag</span> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>tagOpen</span> <span class='hs-layout'>(</span><span class='hs-varop'>`notElem`</span> <span class='hs-varid'>blockHtmlTags</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <span class='hs-varid'>t</span> <span class='hs-varop'>||</span> <a name="line-507"></a> <span class='hs-varid'>tagClose</span> <span class='hs-layout'>(</span><span class='hs-varop'>`notElem`</span> <span class='hs-varid'>blockHtmlTags</span><span class='hs-layout'>)</span> <span class='hs-varid'>t</span> <span class='hs-varop'>||</span> <a name="line-508"></a> <span class='hs-varid'>tagComment</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <span class='hs-varid'>t</span> <a name="line-509"></a> <a name="line-510"></a><a name="isBlockTag"></a><span class='hs-definition'>isBlockTag</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-511"></a><span class='hs-definition'>isBlockTag</span> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>tagOpen</span> <span class='hs-layout'>(</span><span class='hs-varop'>`elem`</span> <span class='hs-varid'>blocktags</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <span class='hs-varid'>t</span> <span class='hs-varop'>||</span> <a name="line-512"></a> <span class='hs-varid'>tagClose</span> <span class='hs-layout'>(</span><span class='hs-varop'>`elem`</span> <span class='hs-varid'>blocktags</span><span class='hs-layout'>)</span> <span class='hs-varid'>t</span> <span class='hs-varop'>||</span> <a name="line-513"></a> <span class='hs-varid'>tagComment</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <span class='hs-varid'>t</span> <a name="line-514"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>blocktags</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>blockHtmlTags</span> <span class='hs-varop'>++</span> <span class='hs-varid'>eitherBlockOrInline</span> <a name="line-515"></a> <a name="line-516"></a><a name="isTextTag"></a><span class='hs-definition'>isTextTag</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-517"></a><span class='hs-definition'>isTextTag</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>tagText</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <a name="line-518"></a> <a name="line-519"></a><a name="isCommentTag"></a><span class='hs-definition'>isCommentTag</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-520"></a><span class='hs-definition'>isCommentTag</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>tagComment</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <a name="line-521"></a> <a name="line-522"></a><span class='hs-comment'>-- taken from HXT and extended</span> <a name="line-523"></a> <a name="line-524"></a><a name="closes"></a><span class='hs-definition'>closes</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-525"></a><span class='hs-keyword'>_</span> <span class='hs-varop'>`closes`</span> <span class='hs-str'>"body"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-526"></a><span class='hs-keyword'>_</span> <span class='hs-varop'>`closes`</span> <span class='hs-str'>"html"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-527"></a><span class='hs-str'>"a"</span> <span class='hs-varop'>`closes`</span> <span class='hs-str'>"a"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-528"></a><span class='hs-str'>"li"</span> <span class='hs-varop'>`closes`</span> <span class='hs-str'>"li"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-529"></a><span class='hs-str'>"th"</span> <span class='hs-varop'>`closes`</span> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>t</span> <span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"th"</span><span class='hs-layout'>,</span><span class='hs-str'>"td"</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-530"></a><span class='hs-str'>"tr"</span> <span class='hs-varop'>`closes`</span> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>t</span> <span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"th"</span><span class='hs-layout'>,</span><span class='hs-str'>"td"</span><span class='hs-layout'>,</span><span class='hs-str'>"tr"</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-531"></a><span class='hs-str'>"dt"</span> <span class='hs-varop'>`closes`</span> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>t</span> <span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"dt"</span><span class='hs-layout'>,</span><span class='hs-str'>"dd"</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-532"></a><span class='hs-str'>"hr"</span> <span class='hs-varop'>`closes`</span> <span class='hs-str'>"p"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-533"></a><span class='hs-str'>"p"</span> <span class='hs-varop'>`closes`</span> <span class='hs-str'>"p"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-534"></a><span class='hs-str'>"meta"</span> <span class='hs-varop'>`closes`</span> <span class='hs-str'>"meta"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-535"></a><span class='hs-str'>"colgroup"</span> <span class='hs-varop'>`closes`</span> <span class='hs-str'>"colgroup"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-536"></a><span class='hs-str'>"form"</span> <span class='hs-varop'>`closes`</span> <span class='hs-str'>"form"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-537"></a><span class='hs-str'>"label"</span> <span class='hs-varop'>`closes`</span> <span class='hs-str'>"label"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-538"></a><span class='hs-str'>"map"</span> <span class='hs-varop'>`closes`</span> <span class='hs-str'>"map"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-539"></a><span class='hs-str'>"object"</span> <span class='hs-varop'>`closes`</span> <span class='hs-str'>"object"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-540"></a><span class='hs-keyword'>_</span> <span class='hs-varop'>`closes`</span> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>t</span> <span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"option"</span><span class='hs-layout'>,</span><span class='hs-str'>"style"</span><span class='hs-layout'>,</span><span class='hs-str'>"script"</span><span class='hs-layout'>,</span><span class='hs-str'>"textarea"</span><span class='hs-layout'>,</span><span class='hs-str'>"title"</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-541"></a><a name="closes"></a><span class='hs-definition'>t</span> <span class='hs-varop'>`closes`</span> <span class='hs-str'>"select"</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>t</span> <span class='hs-varop'>/=</span> <span class='hs-str'>"option"</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-542"></a><span class='hs-str'>"thead"</span> <span class='hs-varop'>`closes`</span> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>t</span> <span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"colgroup"</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-543"></a><span class='hs-str'>"tfoot"</span> <span class='hs-varop'>`closes`</span> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>t</span> <span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"thead"</span><span class='hs-layout'>,</span><span class='hs-str'>"colgroup"</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-544"></a><span class='hs-str'>"tbody"</span> <span class='hs-varop'>`closes`</span> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>t</span> <span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"tbody"</span><span class='hs-layout'>,</span><span class='hs-str'>"tfoot"</span><span class='hs-layout'>,</span><span class='hs-str'>"thead"</span><span class='hs-layout'>,</span><span class='hs-str'>"colgroup"</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-545"></a><a name="closes"></a><span class='hs-definition'>t</span> <span class='hs-varop'>`closes`</span> <span class='hs-varid'>t2</span> <span class='hs-keyglyph'>|</span> <a name="line-546"></a> <span class='hs-varid'>t</span> <span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"h1"</span><span class='hs-layout'>,</span><span class='hs-str'>"h2"</span><span class='hs-layout'>,</span><span class='hs-str'>"h3"</span><span class='hs-layout'>,</span><span class='hs-str'>"h4"</span><span class='hs-layout'>,</span><span class='hs-str'>"h5"</span><span class='hs-layout'>,</span><span class='hs-str'>"h6"</span><span class='hs-layout'>,</span><span class='hs-str'>"dl"</span><span class='hs-layout'>,</span><span class='hs-str'>"ol"</span><span class='hs-layout'>,</span><span class='hs-str'>"ul"</span><span class='hs-layout'>,</span><span class='hs-str'>"table"</span><span class='hs-layout'>,</span><span class='hs-str'>"div"</span><span class='hs-layout'>,</span><span class='hs-str'>"p"</span><span class='hs-keyglyph'>]</span> <span class='hs-varop'>&&</span> <a name="line-547"></a> <span class='hs-varid'>t2</span> <span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"h1"</span><span class='hs-layout'>,</span><span class='hs-str'>"h2"</span><span class='hs-layout'>,</span><span class='hs-str'>"h3"</span><span class='hs-layout'>,</span><span class='hs-str'>"h4"</span><span class='hs-layout'>,</span><span class='hs-str'>"h5"</span><span class='hs-layout'>,</span><span class='hs-str'>"h6"</span><span class='hs-layout'>,</span><span class='hs-str'>"p"</span> <span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <span class='hs-comment'>-- not "div"</span> <a name="line-548"></a><a name="closes"></a><span class='hs-definition'>t1</span> <span class='hs-varop'>`closes`</span> <span class='hs-varid'>t2</span> <span class='hs-keyglyph'>|</span> <a name="line-549"></a> <span class='hs-varid'>t1</span> <span class='hs-varop'>`elem`</span> <span class='hs-varid'>blockHtmlTags</span> <span class='hs-varop'>&&</span> <a name="line-550"></a> <span class='hs-varid'>t2</span> <span class='hs-varop'>`notElem`</span> <span class='hs-layout'>(</span><span class='hs-varid'>blockHtmlTags</span> <span class='hs-varop'>++</span> <span class='hs-varid'>eitherBlockOrInline</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-551"></a><span class='hs-keyword'>_</span> <span class='hs-varop'>`closes`</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-552"></a> <a name="line-553"></a><span class='hs-comment'>--- parsers for use in markdown, textile readers</span> <a name="line-554"></a> <a name="line-555"></a><a name="htmlInBalanced"></a><span class='hs-comment'>-- | Matches a stretch of HTML in balanced tags.</span> <a name="line-556"></a><span class='hs-definition'>htmlInBalanced</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>GenParser</span> <span class='hs-conid'>Char</span> <span class='hs-conid'>ParserState</span> <span class='hs-conid'>String</span> <a name="line-557"></a><span class='hs-definition'>htmlInBalanced</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-558"></a> <span class='hs-layout'>(</span><span class='hs-conid'>TagOpen</span> <span class='hs-varid'>t</span> <span class='hs-keyword'>_</span><span class='hs-layout'>,</span> <span class='hs-varid'>tag</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>htmlTag</span> <span class='hs-varid'>f</span> <a name="line-559"></a> <span class='hs-varid'>guard</span> <span class='hs-varop'>$</span> <span class='hs-chr'>'/'</span> <span class='hs-varop'>`notElem`</span> <span class='hs-varid'>tag</span> <span class='hs-comment'>-- not a self-closing tag</span> <a name="line-560"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>nonTagChunk</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>many1</span> <span class='hs-varop'>$</span> <span class='hs-varid'>satisfy</span> <span class='hs-layout'>(</span><span class='hs-varop'>/=</span> <span class='hs-chr'>'<'</span><span class='hs-layout'>)</span> <a name="line-561"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>stopper</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>htmlTag</span> <span class='hs-layout'>(</span><span class='hs-varop'>~==</span> <span class='hs-conid'>TagClose</span> <span class='hs-varid'>t</span><span class='hs-layout'>)</span> <a name="line-562"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>anytag</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>liftM</span> <span class='hs-varid'>snd</span> <span class='hs-varop'>$</span> <span class='hs-varid'>htmlTag</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <a name="line-563"></a> <span class='hs-varid'>contents</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>many</span> <span class='hs-varop'>$</span> <span class='hs-varid'>notFollowedBy'</span> <span class='hs-varid'>stopper</span> <span class='hs-varop'>>></span> <a name="line-564"></a> <span class='hs-layout'>(</span><span class='hs-varid'>nonTagChunk</span> <span class='hs-varop'><|></span> <span class='hs-varid'>htmlInBalanced</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <span class='hs-varop'><|></span> <span class='hs-varid'>anytag</span><span class='hs-layout'>)</span> <a name="line-565"></a> <span class='hs-varid'>endtag</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>liftM</span> <span class='hs-varid'>snd</span> <span class='hs-varid'>stopper</span> <a name="line-566"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-varid'>tag</span> <span class='hs-varop'>++</span> <span class='hs-varid'>concat</span> <span class='hs-varid'>contents</span> <span class='hs-varop'>++</span> <span class='hs-varid'>endtag</span> <a name="line-567"></a> <a name="line-568"></a><a name="htmlTag"></a><span class='hs-comment'>-- | Matches a tag meeting a certain condition.</span> <a name="line-569"></a><span class='hs-definition'>htmlTag</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>GenParser</span> <span class='hs-conid'>Char</span> <span class='hs-conid'>ParserState</span> <span class='hs-layout'>(</span><span class='hs-conid'>Tag</span> <span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <a name="line-570"></a><span class='hs-definition'>htmlTag</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-571"></a> <span class='hs-varid'>lookAhead</span> <span class='hs-layout'>(</span><span class='hs-varid'>char</span> <span class='hs-chr'>'<'</span><span class='hs-layout'>)</span> <a name="line-572"></a> <span class='hs-layout'>(</span><span class='hs-varid'>next</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'>getInput</span> <span class='hs-varop'>>>=</span> <span class='hs-varid'>return</span> <span class='hs-varop'>.</span> <span class='hs-varid'>canonicalizeTags</span> <span class='hs-varop'>.</span> <span class='hs-varid'>parseTags</span> <a name="line-573"></a> <span class='hs-varid'>guard</span> <span class='hs-varop'>$</span> <span class='hs-varid'>f</span> <span class='hs-varid'>next</span> <a name="line-574"></a> <span class='hs-comment'>-- advance the parser</span> <a name="line-575"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>next</span> <span class='hs-keyword'>of</span> <a name="line-576"></a> <span class='hs-conid'>TagComment</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>do</span> <a name="line-577"></a> <span class='hs-varid'>count</span> <span class='hs-layout'>(</span><span class='hs-varid'>length</span> <span class='hs-varid'>s</span> <span class='hs-varop'>+</span> <span class='hs-num'>4</span><span class='hs-layout'>)</span> <span class='hs-varid'>anyChar</span> <a name="line-578"></a> <span class='hs-varid'>skipMany</span> <span class='hs-layout'>(</span><span class='hs-varid'>satisfy</span> <span class='hs-layout'>(</span><span class='hs-varop'>/=</span><span class='hs-chr'>'>'</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-579"></a> <span class='hs-varid'>char</span> <span class='hs-chr'>'>'</span> <a name="line-580"></a> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>next</span><span class='hs-layout'>,</span> <span class='hs-str'>"<!--"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>s</span> <span class='hs-varop'>++</span> <span class='hs-str'>"-->"</span><span class='hs-layout'>)</span> <a name="line-581"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>do</span> <a name="line-582"></a> <span class='hs-varid'>rendered</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>manyTill</span> <span class='hs-varid'>anyChar</span> <span class='hs-layout'>(</span><span class='hs-varid'>char</span> <span class='hs-chr'>'>'</span><span class='hs-layout'>)</span> <a name="line-583"></a> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>next</span><span class='hs-layout'>,</span> <span class='hs-varid'>rendered</span> <span class='hs-varop'>++</span> <span class='hs-str'>">"</span><span class='hs-layout'>)</span> </pre></body> </html>