Sophie

Sophie

distrib > Fedora > 15 > i386 > by-pkgid > 25c992be774d9bc6c23faf553b1f301f > files > 227

ghc-pandoc-devel-1.8.1.1-3.fc15.i686.rpm

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<!-- Generated by HsColour, http://www.cs.york.ac.uk/fp/darcs/hscolour/ -->
<title>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 &lt;jgm@berkeley.edu&gt;
<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 &lt;jgm@berkeley.edu&gt;
<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>
<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'>-&gt;</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'>-&gt;</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'>-&gt;</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'>-&gt;</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'>-&gt;</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-varid'>concat</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'>-&gt;</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'>&lt;|&gt;</span> <span class='hs-varid'>pOrderedList</span> <span class='hs-varop'>&lt;|&gt;</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'>-&gt;</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'>&amp;&amp;</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 &lt;ol&gt; or &lt;ul&gt; not in scope of a &lt;li&gt;,</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'>&lt;-</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'>&gt;&gt;~</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-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'>&lt;-</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'>&lt;-</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'>-&gt;</span> <span class='hs-conid'>LowerRoman</span>
<a name="line-129"></a>                                            <span class='hs-str'>"upper-roman"</span>  <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>UpperRoman</span>
<a name="line-130"></a>                                            <span class='hs-str'>"lower-alpha"</span>  <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>LowerAlpha</span>
<a name="line-131"></a>                                            <span class='hs-str'>"upper-alpha"</span>  <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>UpperAlpha</span>
<a name="line-132"></a>                                            <span class='hs-str'>"decimal"</span>      <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Decimal</span>
<a name="line-133"></a>                                            <span class='hs-keyword'>_</span>              <span class='hs-keyglyph'>-&gt;</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'>-&gt;</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'>&amp;&amp;</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 &lt;ol&gt; or &lt;ul&gt; not in scope of a &lt;li&gt;,</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'>&lt;-</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'>&gt;&gt;~</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-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'>&lt;-</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'>-&gt;</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'>&amp;&amp;</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'>&amp;&amp;</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'>&lt;-</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'>&gt;&gt;</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'>&lt;-</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'>&gt;&gt;</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'>defs</span><span class='hs-layout'>)</span>
<a name="line-158"></a>
<a name="line-159"></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-160"></a><span class='hs-definition'>pRawTag</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-161"></a>  <span class='hs-varid'>tag</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>pAnyTag</span>
<a name="line-162"></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-163"></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-164"></a>     <span class='hs-keyword'>then</span> <span class='hs-varid'>return</span> <span class='hs-conid'>[]</span>
<a name="line-165"></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-166"></a>
<a name="line-167"></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-168"></a><span class='hs-definition'>pRawHtmlBlock</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-169"></a>  <span class='hs-varid'>raw</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>pHtmlBlock</span> <span class='hs-str'>"script"</span> <span class='hs-varop'>&lt;|&gt;</span> <span class='hs-varid'>pHtmlBlock</span> <span class='hs-str'>"style"</span> <span class='hs-varop'>&lt;|&gt;</span> <span class='hs-varid'>pRawTag</span>
<a name="line-170"></a>  <span class='hs-varid'>state</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>getState</span>
<a name="line-171"></a>  <span class='hs-keyword'>if</span> <span class='hs-varid'>stateParseRaw</span> <span class='hs-varid'>state</span> <span class='hs-varop'>&amp;&amp;</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-172"></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-173"></a>     <span class='hs-keyword'>else</span> <span class='hs-varid'>return</span> <span class='hs-conid'>[]</span>
<a name="line-174"></a>
<a name="line-175"></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'>-&gt;</span> <span class='hs-conid'>TagParser</span> <span class='hs-conid'>String</span>
<a name="line-176"></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-177"></a>  <span class='hs-varid'>open</span> <span class='hs-keyglyph'>&lt;-</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-178"></a>  <span class='hs-varid'>contents</span> <span class='hs-keyglyph'>&lt;-</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-179"></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-180"></a>
<a name="line-181"></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-182"></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-183"></a>  <span class='hs-conid'>TagOpen</span> <span class='hs-varid'>tagtype</span> <span class='hs-varid'>attr</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-varop'>$</span>
<a name="line-184"></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-185"></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-186"></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-187"></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-188"></a>  <span class='hs-varid'>contents</span> <span class='hs-keyglyph'>&lt;-</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'>&lt;|&gt;</span> <span class='hs-varid'>eof</span><span class='hs-layout'>)</span>
<a name="line-189"></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-190"></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-191"></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-192"></a>
<a name="line-193"></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-194"></a><span class='hs-definition'>pHrule</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-195"></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-196"></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-197"></a>
<a name="line-198"></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-199"></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-200"></a>  <span class='hs-conid'>TagOpen</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>&lt;-</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-201"></a>  <span class='hs-varid'>skipMany</span> <span class='hs-varid'>pBlank</span>
<a name="line-202"></a>  <span class='hs-varid'>head'</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>option</span> <span class='hs-conid'>[]</span> <span class='hs-varop'>$</span> <span class='hs-varid'>pInTags</span> <span class='hs-str'>"th"</span> <span class='hs-varid'>pTd</span>
<a name="line-203"></a>  <span class='hs-varid'>rows</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>many1</span> <span class='hs-varop'>$</span> <span class='hs-varid'>try</span> <span class='hs-varop'>$</span>
<a name="line-204"></a>           <span class='hs-varid'>skipMany</span> <span class='hs-varid'>pBlank</span> <span class='hs-varop'>&gt;&gt;</span> <span class='hs-varid'>pInTags</span> <span class='hs-str'>"tr"</span> <span class='hs-varid'>pTd</span>
<a name="line-205"></a>  <span class='hs-varid'>skipMany</span> <span class='hs-varid'>pBlank</span>
<a name="line-206"></a>  <span class='hs-conid'>TagClose</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>&lt;-</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-207"></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-208"></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-209"></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-210"></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-211"></a>
<a name="line-212"></a><a name="pTd"></a><span class='hs-definition'>pTd</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-213"></a><span class='hs-definition'>pTd</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-214"></a>  <span class='hs-varid'>skipMany</span> <span class='hs-varid'>pBlank</span>
<a name="line-215"></a>  <span class='hs-varid'>res</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>pInTags</span> <span class='hs-str'>"td"</span> <span class='hs-varid'>pPlain</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'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span>
<a name="line-218"></a>
<a name="line-219"></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-220"></a><span class='hs-definition'>pBlockQuote</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-221"></a>  <span class='hs-varid'>contents</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>pInTags</span> <span class='hs-str'>"blockquote"</span> <span class='hs-varid'>block</span>
<a name="line-222"></a>  <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>BlockQuote</span> <span class='hs-varid'>contents</span><span class='hs-keyglyph'>]</span>
<a name="line-223"></a>
<a name="line-224"></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-225"></a><span class='hs-definition'>pPlain</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-226"></a>  <span class='hs-varid'>contents</span> <span class='hs-keyglyph'>&lt;-</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-227"></a>  <span class='hs-keyword'>if</span> <span class='hs-varid'>null</span> <span class='hs-varid'>contents</span>
<a name="line-228"></a>     <span class='hs-keyword'>then</span> <span class='hs-varid'>return</span> <span class='hs-conid'>[]</span>
<a name="line-229"></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-230"></a>
<a name="line-231"></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-232"></a><span class='hs-definition'>pPara</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-233"></a>  <span class='hs-varid'>contents</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>pInTags</span> <span class='hs-str'>"p"</span> <span class='hs-varid'>inline</span>
<a name="line-234"></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-235"></a>
<a name="line-236"></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-237"></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-238"></a>  <span class='hs-conid'>TagOpen</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>attr</span> <span class='hs-keyglyph'>&lt;-</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-239"></a>  <span class='hs-varid'>contents</span> <span class='hs-keyglyph'>&lt;-</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'>&lt;|&gt;</span> <span class='hs-varid'>eof</span><span class='hs-layout'>)</span>
<a name="line-240"></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-241"></a>  <span class='hs-comment'>-- drop leading newline if any</span>
<a name="line-242"></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-243"></a>                     <span class='hs-chr'>'\n'</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span>  <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>xs</span>
<a name="line-244"></a>                     <span class='hs-keyword'>_</span>        <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>rawText</span>
<a name="line-245"></a>  <span class='hs-comment'>-- drop trailing newline if any</span>
<a name="line-246"></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-247"></a>                    <span class='hs-chr'>'\n'</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span>   <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>init</span> <span class='hs-varid'>result'</span>
<a name="line-248"></a>                    <span class='hs-keyword'>_</span>        <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>result'</span>
<a name="line-249"></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-250"></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-251"></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'>-&gt;</span> <span class='hs-varid'>k</span> <span class='hs-varop'>/=</span> <span class='hs-str'>"class"</span> <span class='hs-varop'>&amp;&amp;</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-252"></a>  <span class='hs-varid'>st</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>getState</span>
<a name="line-253"></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-254"></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-255"></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-256"></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-257"></a>
<a name="line-258"></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-259"></a><span class='hs-definition'>inline</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>choice</span>
<a name="line-260"></a>           <span class='hs-keyglyph'>[</span> <span class='hs-varid'>pTagText</span>
<a name="line-261"></a>           <span class='hs-layout'>,</span> <span class='hs-varid'>pEmph</span>
<a name="line-262"></a>           <span class='hs-layout'>,</span> <span class='hs-varid'>pStrong</span>
<a name="line-263"></a>           <span class='hs-layout'>,</span> <span class='hs-varid'>pSuperscript</span>
<a name="line-264"></a>           <span class='hs-layout'>,</span> <span class='hs-varid'>pSubscript</span>
<a name="line-265"></a>           <span class='hs-layout'>,</span> <span class='hs-varid'>pStrikeout</span>
<a name="line-266"></a>           <span class='hs-layout'>,</span> <span class='hs-varid'>pLineBreak</span>
<a name="line-267"></a>           <span class='hs-layout'>,</span> <span class='hs-varid'>pLink</span>
<a name="line-268"></a>           <span class='hs-layout'>,</span> <span class='hs-varid'>pImage</span>
<a name="line-269"></a>           <span class='hs-layout'>,</span> <span class='hs-varid'>pCode</span>
<a name="line-270"></a>           <span class='hs-layout'>,</span> <span class='hs-varid'>pRawHtmlInline</span>
<a name="line-271"></a>           <span class='hs-keyglyph'>]</span>
<a name="line-272"></a>
<a name="line-273"></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-274"></a><span class='hs-definition'>pLocation</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-275"></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'>&lt;-</span> <span class='hs-varid'>pSat</span> <span class='hs-varid'>isTagPosition</span>
<a name="line-276"></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-277"></a>
<a name="line-278"></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'>-&gt;</span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</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-279"></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-280"></a>  <span class='hs-varid'>pos</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>getPosition</span>
<a name="line-281"></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'>-&gt;</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-282"></a>
<a name="line-283"></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'>-&gt;</span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</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-284"></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'>&gt;&gt;</span> <span class='hs-varid'>pSat</span> <span class='hs-varid'>f</span>
<a name="line-285"></a>
<a name="line-286"></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-287"></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-288"></a>
<a name="line-289"></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'>-&gt;</span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</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'>-&gt;</span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span>
<a name="line-290"></a>             <span class='hs-keyglyph'>-&gt;</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-291"></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-292"></a>  <span class='hs-varid'>open</span> <span class='hs-keyglyph'>&lt;-</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-293"></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-294"></a>  <span class='hs-varid'>return</span> <span class='hs-varid'>open</span>
<a name="line-295"></a>
<a name="line-296"></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-297"></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'>&lt;|&gt;</span> <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"i"</span> <span class='hs-conid'>Emph</span>
<a name="line-298"></a>
<a name="line-299"></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-300"></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'>&lt;|&gt;</span> <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"b"</span> <span class='hs-conid'>Strong</span>
<a name="line-301"></a>
<a name="line-302"></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-303"></a><span class='hs-definition'>pSuperscript</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>failIfStrict</span> <span class='hs-varop'>&gt;&gt;</span> <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"sup"</span> <span class='hs-conid'>Superscript</span>
<a name="line-304"></a>
<a name="line-305"></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-306"></a><span class='hs-definition'>pSubscript</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>failIfStrict</span> <span class='hs-varop'>&gt;&gt;</span> <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"sub"</span> <span class='hs-conid'>Subscript</span>
<a name="line-307"></a>
<a name="line-308"></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-309"></a><span class='hs-definition'>pStrikeout</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-310"></a>  <span class='hs-varid'>failIfStrict</span>
<a name="line-311"></a>  <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"s"</span> <span class='hs-conid'>Strikeout</span> <span class='hs-varop'>&lt;|&gt;</span>
<a name="line-312"></a>    <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"strike"</span> <span class='hs-conid'>Strikeout</span> <span class='hs-varop'>&lt;|&gt;</span>
<a name="line-313"></a>    <span class='hs-varid'>pInlinesInTags</span> <span class='hs-str'>"del"</span> <span class='hs-conid'>Strikeout</span> <span class='hs-varop'>&lt;|&gt;</span>
<a name="line-314"></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-315"></a>            <span class='hs-varid'>contents</span> <span class='hs-keyglyph'>&lt;-</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-316"></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-317"></a>
<a name="line-318"></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-319"></a><span class='hs-definition'>pLineBreak</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-320"></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-321"></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-322"></a>
<a name="line-323"></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-324"></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-325"></a>  <span class='hs-varid'>tag</span> <span class='hs-keyglyph'>&lt;-</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-326"></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-327"></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-328"></a>  <span class='hs-varid'>lab</span> <span class='hs-keyglyph'>&lt;-</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-329"></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-330"></a>
<a name="line-331"></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-332"></a><span class='hs-definition'>pImage</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-333"></a>  <span class='hs-varid'>tag</span> <span class='hs-keyglyph'>&lt;-</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-334"></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-335"></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-336"></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-337"></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-338"></a>
<a name="line-339"></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-340"></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-341"></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'>&lt;-</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-342"></a>  <span class='hs-varid'>result</span> <span class='hs-keyglyph'>&lt;-</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-343"></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-344"></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-345"></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'>-&gt;</span> <span class='hs-varid'>x</span> <span class='hs-varop'>/=</span> <span class='hs-str'>"id"</span> <span class='hs-varop'>&amp;&amp;</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-346"></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-347"></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-348"></a>
<a name="line-349"></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-350"></a><span class='hs-definition'>pRawHtmlInline</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-351"></a>  <span class='hs-varid'>result</span> <span class='hs-keyglyph'>&lt;-</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'>&lt;|&gt;</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-varid'>isInlineTag</span>
<a name="line-352"></a>  <span class='hs-varid'>state</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>getState</span>
<a name="line-353"></a>  <span class='hs-keyword'>if</span> <span class='hs-varid'>stateParseRaw</span> <span class='hs-varid'>state</span>
<a name="line-354"></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-355"></a>     <span class='hs-keyword'>else</span> <span class='hs-varid'>return</span> <span class='hs-conid'>[]</span>
<a name="line-356"></a>
<a name="line-357"></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'>-&gt;</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'>-&gt;</span> <span class='hs-conid'>Inline</span><span class='hs-layout'>)</span>
<a name="line-358"></a>               <span class='hs-keyglyph'>-&gt;</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-359"></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-360"></a>  <span class='hs-varid'>contents</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>pInTags</span> <span class='hs-varid'>tagtype</span> <span class='hs-varid'>inline</span>
<a name="line-361"></a>  <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>f</span> <span class='hs-varid'>contents</span><span class='hs-keyglyph'>]</span>
<a name="line-362"></a>
<a name="line-363"></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'>-&gt;</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-364"></a>        <span class='hs-keyglyph'>-&gt;</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-365"></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-366"></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-367"></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'>&lt;|&gt;</span> <span class='hs-varid'>eof</span><span class='hs-layout'>)</span>
<a name="line-368"></a>
<a name="line-369"></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'>-&gt;</span> <span class='hs-conid'>TagParser</span> <span class='hs-conid'>()</span>
<a name="line-370"></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-371"></a>  <span class='hs-varid'>t</span> <span class='hs-keyglyph'>&lt;-</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'>-&gt;</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-372"></a>  <span class='hs-keyword'>case</span> <span class='hs-varid'>t</span> <span class='hs-keyword'>of</span>
<a name="line-373"></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'>-&gt;</span> <span class='hs-varid'>pAnyTag</span> <span class='hs-varop'>&gt;&gt;</span> <span class='hs-varid'>return</span> <span class='hs-conid'>()</span>
<a name="line-374"></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'>-&gt;</span> <span class='hs-varid'>return</span> <span class='hs-conid'>()</span>
<a name="line-375"></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'>-&gt;</span> <span class='hs-varid'>return</span> <span class='hs-conid'>()</span>
<a name="line-376"></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'>-&gt;</span> <span class='hs-varid'>return</span> <span class='hs-conid'>()</span>
<a name="line-377"></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'>-&gt;</span> <span class='hs-varid'>return</span> <span class='hs-conid'>()</span>
<a name="line-378"></a>       <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>pzero</span>
<a name="line-379"></a>
<a name="line-380"></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-381"></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-382"></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'>&lt;-</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-varid'>isTagText</span>
<a name="line-383"></a>  <span class='hs-varid'>st</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>getState</span>
<a name="line-384"></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-385"></a>       <span class='hs-conid'>Left</span> <span class='hs-keyword'>_</span>        <span class='hs-keyglyph'>-&gt;</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-386"></a>       <span class='hs-conid'>Right</span> <span class='hs-varid'>result</span>  <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>return</span> <span class='hs-varid'>result</span>
<a name="line-387"></a>
<a name="line-388"></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-389"></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-390"></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'>&lt;-</span> <span class='hs-varid'>pSatisfy</span> <span class='hs-varid'>isTagText</span>
<a name="line-391"></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-392"></a>
<a name="line-393"></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-394"></a><span class='hs-definition'>pTagContents</span> <span class='hs-keyglyph'>=</span>  <span class='hs-varid'>pStr</span> <span class='hs-varop'>&lt;|&gt;</span> <span class='hs-varid'>pSpace</span> <span class='hs-varop'>&lt;|&gt;</span> <span class='hs-varid'>smartPunctuation</span> <span class='hs-varid'>pTagContents</span> <span class='hs-varop'>&lt;|&gt;</span> <span class='hs-varid'>pSymbol</span>
<a name="line-395"></a>
<a name="line-396"></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-397"></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'>-&gt;</span> <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'>&amp;&amp;</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>
<a name="line-398"></a>
<a name="line-399"></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'>-&gt;</span> <span class='hs-conid'>Bool</span>
<a name="line-400"></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-401"></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-402"></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-403"></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-404"></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-405"></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-406"></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-407"></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-408"></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-409"></a>
<a name="line-410"></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-411"></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'>&gt;&gt;=</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-412"></a>
<a name="line-413"></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-414"></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'>&gt;&gt;</span> <span class='hs-varid'>return</span> <span class='hs-conid'>Space</span>
<a name="line-415"></a>
<a name="line-416"></a><span class='hs-comment'>--</span>
<a name="line-417"></a><span class='hs-comment'>-- Constants</span>
<a name="line-418"></a><span class='hs-comment'>--</span>
<a name="line-419"></a>
<a name="line-420"></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-421"></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-422"></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-423"></a>
<a name="line-424"></a><span class='hs-comment'>{-
<a name="line-425"></a>inlineHtmlTags :: [[Char]]
<a name="line-426"></a>inlineHtmlTags = ["a", "abbr", "acronym", "b", "basefont", "bdo", "big",
<a name="line-427"></a>                  "br", "cite", "code", "dfn", "em", "font", "i", "img",
<a name="line-428"></a>                  "input", "kbd", "label", "q", "s", "samp", "select",
<a name="line-429"></a>                  "small", "span", "strike", "strong", "sub", "sup",
<a name="line-430"></a>                  "textarea", "tt", "u", "var"]
<a name="line-431"></a>-}</span>
<a name="line-432"></a>
<a name="line-433"></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-434"></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-435"></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-436"></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-437"></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-438"></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-439"></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-440"></a>
<a name="line-441"></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'>-&gt;</span> <span class='hs-conid'>Bool</span>
<a name="line-442"></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-443"></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-444"></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-445"></a>
<a name="line-446"></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'>-&gt;</span> <span class='hs-conid'>Bool</span>
<a name="line-447"></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-448"></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-449"></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-450"></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-451"></a>
<a name="line-452"></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'>-&gt;</span> <span class='hs-conid'>Bool</span>
<a name="line-453"></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-454"></a>
<a name="line-455"></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'>-&gt;</span> <span class='hs-conid'>Bool</span>
<a name="line-456"></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-457"></a>
<a name="line-458"></a><span class='hs-comment'>-- taken from HXT and extended</span>
<a name="line-459"></a>
<a name="line-460"></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'>-&gt;</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Bool</span>
<a name="line-461"></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-462"></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-463"></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-464"></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-465"></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-466"></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-467"></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-468"></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-469"></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-470"></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-471"></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-472"></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-473"></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-474"></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-475"></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-476"></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-477"></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-478"></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-479"></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-480"></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-481"></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-482"></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'>&amp;&amp;</span>
<a name="line-483"></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-484"></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-485"></a>   <span class='hs-varid'>t1</span> <span class='hs-varop'>`elem`</span> <span class='hs-varid'>blockHtmlTags</span> <span class='hs-varop'>&amp;&amp;</span>
<a name="line-486"></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-487"></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-488"></a>
<a name="line-489"></a><span class='hs-comment'>--- parsers for use in markdown, textile readers</span>
<a name="line-490"></a>
<a name="line-491"></a><a name="htmlInBalanced"></a><span class='hs-comment'>-- | Matches a stretch of HTML in balanced tags.</span>
<a name="line-492"></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'>-&gt;</span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</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-493"></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-494"></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'>&lt;-</span> <span class='hs-varid'>htmlTag</span> <span class='hs-varid'>f</span>
<a name="line-495"></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-496"></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'>'&lt;'</span><span class='hs-layout'>)</span>
<a name="line-497"></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-498"></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-499"></a>  <span class='hs-varid'>contents</span> <span class='hs-keyglyph'>&lt;-</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'>&gt;&gt;</span>
<a name="line-500"></a>                     <span class='hs-layout'>(</span><span class='hs-varid'>nonTagChunk</span> <span class='hs-varop'>&lt;|&gt;</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'>&lt;|&gt;</span> <span class='hs-varid'>anytag</span><span class='hs-layout'>)</span>
<a name="line-501"></a>  <span class='hs-varid'>endtag</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>liftM</span> <span class='hs-varid'>snd</span> <span class='hs-varid'>stopper</span>
<a name="line-502"></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-503"></a>
<a name="line-504"></a><a name="htmlTag"></a><span class='hs-comment'>-- | Matches a tag meeting a certain condition.</span>
<a name="line-505"></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'>-&gt;</span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</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-506"></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-507"></a>  <span class='hs-varid'>lookAhead</span> <span class='hs-layout'>(</span><span class='hs-varid'>char</span> <span class='hs-chr'>'&lt;'</span><span class='hs-layout'>)</span>
<a name="line-508"></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'>&lt;-</span> <span class='hs-varid'>getInput</span> <span class='hs-varop'>&gt;&gt;=</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-509"></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-510"></a>  <span class='hs-comment'>-- advance the parser</span>
<a name="line-511"></a>  <span class='hs-keyword'>case</span> <span class='hs-varid'>next</span> <span class='hs-keyword'>of</span>
<a name="line-512"></a>       <span class='hs-conid'>TagComment</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyword'>do</span>
<a name="line-513"></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-514"></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'>'&gt;'</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-515"></a>          <span class='hs-varid'>char</span> <span class='hs-chr'>'&gt;'</span>
<a name="line-516"></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'>"&lt;!--"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>s</span> <span class='hs-varop'>++</span> <span class='hs-str'>"--&gt;"</span><span class='hs-layout'>)</span> 
<a name="line-517"></a>       <span class='hs-keyword'>_</span>            <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyword'>do</span>
<a name="line-518"></a>          <span class='hs-varid'>rendered</span> <span class='hs-keyglyph'>&lt;-</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'>'&gt;'</span><span class='hs-layout'>)</span>
<a name="line-519"></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'>"&gt;"</span><span class='hs-layout'>)</span>
</pre></body>
</html>