<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html> <head> <!-- Generated by HsColour, http://www.cs.york.ac.uk/fp/darcs/hscolour/ --> <title>Text/MkSizeType.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a><span class='hs-comment'>-- | Internal functions to generate CSS size wrapper types.</span> <a name="line-2"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>MkSizeType</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkSizeType</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-3"></a> <a name="line-4"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Language</span><span class='hs-varop'>.</span><span class='hs-conid'>Haskell</span><span class='hs-varop'>.</span><span class='hs-conid'>TH</span><span class='hs-varop'>.</span><span class='hs-conid'>Syntax</span> <a name="line-5"></a> <a name="line-6"></a><a name="mkSizeType"></a><span class='hs-definition'>mkSizeType</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Q</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Dec</span><span class='hs-keyglyph'>]</span> <a name="line-7"></a><span class='hs-definition'>mkSizeType</span> <span class='hs-varid'>name'</span> <span class='hs-varid'>unit</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>[</span> <span class='hs-varid'>dataDec</span> <span class='hs-varid'>name</span> <a name="line-8"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>showInstanceDec</span> <span class='hs-varid'>name</span> <span class='hs-varid'>unit</span> <a name="line-9"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>numInstanceDec</span> <span class='hs-varid'>name</span> <a name="line-10"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>fractionalInstanceDec</span> <span class='hs-varid'>name</span> <a name="line-11"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>toCssInstanceDec</span> <span class='hs-varid'>name</span> <span class='hs-keyglyph'>]</span> <a name="line-12"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>name</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkName</span> <span class='hs-varop'>$</span> <span class='hs-varid'>name'</span> <a name="line-13"></a> <a name="line-14"></a><a name="dataDec"></a><span class='hs-definition'>dataDec</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Name</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Dec</span> <a name="line-15"></a><span class='hs-definition'>dataDec</span> <span class='hs-varid'>name</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>DataD</span> <span class='hs-conid'>[]</span> <span class='hs-varid'>name</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>constructor</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>derives</span> <a name="line-16"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>constructor</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>NormalC</span> <span class='hs-varid'>name</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>NotStrict</span><span class='hs-layout'>,</span> <span class='hs-conid'>ConT</span> <span class='hs-varop'>$</span> <span class='hs-varid'>mkName</span> <span class='hs-str'>"Rational"</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-17"></a> <span class='hs-varid'>derives</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>mkName</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"Eq"</span><span class='hs-layout'>,</span> <span class='hs-str'>"Ord"</span><span class='hs-keyglyph'>]</span> <a name="line-18"></a> <a name="line-19"></a><a name="showInstanceDec"></a><span class='hs-definition'>showInstanceDec</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Name</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Dec</span> <a name="line-20"></a><span class='hs-definition'>showInstanceDec</span> <span class='hs-varid'>name</span> <span class='hs-varid'>unit'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>InstanceD</span> <span class='hs-conid'>[]</span> <span class='hs-layout'>(</span><span class='hs-varid'>instanceType</span> <span class='hs-str'>"Show"</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>showDec</span><span class='hs-keyglyph'>]</span> <a name="line-21"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>showSize</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>VarE</span> <span class='hs-varop'>$</span> <span class='hs-varid'>mkName</span> <span class='hs-str'>"showSize"</span> <a name="line-22"></a> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkName</span> <span class='hs-str'>"x"</span> <a name="line-23"></a> <span class='hs-varid'>unit</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>LitE</span> <span class='hs-varop'>$</span> <span class='hs-conid'>StringL</span> <span class='hs-varid'>unit'</span> <a name="line-24"></a> <span class='hs-varid'>showDec</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>FunD</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkName</span> <span class='hs-str'>"show"</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Clause</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>showPat</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>showBody</span> <span class='hs-conid'>[]</span><span class='hs-keyglyph'>]</span> <a name="line-25"></a> <span class='hs-varid'>showPat</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ConP</span> <span class='hs-varid'>name</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>VarP</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span> <a name="line-26"></a> <span class='hs-varid'>showBody</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>NormalB</span> <span class='hs-varop'>$</span> <span class='hs-conid'>AppE</span> <span class='hs-layout'>(</span><span class='hs-conid'>AppE</span> <span class='hs-varid'>showSize</span> <span class='hs-varop'>$</span> <span class='hs-conid'>VarE</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varid'>unit</span> <a name="line-27"></a> <a name="line-28"></a><a name="numInstanceDec"></a><span class='hs-definition'>numInstanceDec</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Name</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Dec</span> <a name="line-29"></a><span class='hs-definition'>numInstanceDec</span> <span class='hs-varid'>name</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>InstanceD</span> <span class='hs-conid'>[]</span> <span class='hs-layout'>(</span><span class='hs-varid'>instanceType</span> <span class='hs-str'>"Num"</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-varid'>decs</span> <a name="line-30"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>decs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>binaryFunDec</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"+"</span><span class='hs-layout'>,</span> <span class='hs-str'>"*"</span><span class='hs-layout'>,</span> <span class='hs-str'>"-"</span><span class='hs-keyglyph'>]</span> <span class='hs-varop'>++</span> <a name="line-31"></a> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>unariFunDec1</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"abs"</span><span class='hs-layout'>,</span> <span class='hs-str'>"signum"</span><span class='hs-keyglyph'>]</span> <span class='hs-varop'>++</span> <a name="line-32"></a> <span class='hs-keyglyph'>[</span><span class='hs-varid'>unariFunDec2</span> <span class='hs-varid'>name</span> <span class='hs-str'>"fromInteger"</span><span class='hs-keyglyph'>]</span> <a name="line-33"></a> <a name="line-34"></a><a name="fractionalInstanceDec"></a><span class='hs-definition'>fractionalInstanceDec</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Name</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Dec</span> <a name="line-35"></a><span class='hs-definition'>fractionalInstanceDec</span> <span class='hs-varid'>name</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>InstanceD</span> <span class='hs-conid'>[]</span> <span class='hs-layout'>(</span><span class='hs-varid'>instanceType</span> <span class='hs-str'>"Fractional"</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-varid'>decs</span> <a name="line-36"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>decs</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>binaryFunDec</span> <span class='hs-varid'>name</span> <span class='hs-str'>"/"</span><span class='hs-layout'>,</span> <span class='hs-varid'>unariFunDec2</span> <span class='hs-varid'>name</span> <span class='hs-str'>"fromRational"</span><span class='hs-keyglyph'>]</span> <a name="line-37"></a> <a name="line-38"></a><a name="toCssInstanceDec"></a><span class='hs-definition'>toCssInstanceDec</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Name</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Dec</span> <a name="line-39"></a><span class='hs-definition'>toCssInstanceDec</span> <span class='hs-varid'>name</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>InstanceD</span> <span class='hs-conid'>[]</span> <span class='hs-layout'>(</span><span class='hs-varid'>instanceType</span> <span class='hs-str'>"ToCss"</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>toCssDec</span><span class='hs-keyglyph'>]</span> <a name="line-40"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>toCssDec</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>FunD</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkName</span> <span class='hs-str'>"toCss"</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Clause</span> <span class='hs-conid'>[]</span> <span class='hs-varid'>showBody</span> <span class='hs-conid'>[]</span><span class='hs-keyglyph'>]</span> <a name="line-41"></a> <span class='hs-varid'>showBody</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>NormalB</span> <span class='hs-varop'>$</span> <span class='hs-layout'>(</span><span class='hs-conid'>AppE</span> <span class='hs-varid'>dot</span> <span class='hs-varid'>from</span><span class='hs-layout'>)</span> <span class='hs-varop'>`AppE`</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-conid'>AppE</span> <span class='hs-varid'>dot</span> <span class='hs-varid'>pack</span><span class='hs-layout'>)</span> <span class='hs-varop'>`AppE`</span> <span class='hs-varid'>show'</span><span class='hs-layout'>)</span> <a name="line-42"></a> <span class='hs-comment'>-- FIXME this whole section makes me a little nervous</span> <a name="line-43"></a> <span class='hs-varid'>from</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>VarE</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkName</span> <span class='hs-str'>"fromLazyText"</span><span class='hs-layout'>)</span> <a name="line-44"></a> <span class='hs-varid'>pack</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>VarE</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkName</span> <span class='hs-str'>"TL.pack"</span><span class='hs-layout'>)</span> <a name="line-45"></a> <span class='hs-varid'>dot</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>VarE</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkName</span> <span class='hs-str'>"."</span><span class='hs-layout'>)</span> <a name="line-46"></a> <span class='hs-varid'>show'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>VarE</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkName</span> <span class='hs-str'>"show"</span><span class='hs-layout'>)</span> <a name="line-47"></a> <a name="line-48"></a><a name="instanceType"></a><span class='hs-definition'>instanceType</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Name</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Type</span> <a name="line-49"></a><span class='hs-definition'>instanceType</span> <span class='hs-varid'>className</span> <span class='hs-varid'>name</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>AppT</span> <span class='hs-layout'>(</span><span class='hs-conid'>ConT</span> <span class='hs-varop'>$</span> <span class='hs-varid'>mkName</span> <span class='hs-varid'>className</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>ConT</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <a name="line-50"></a> <a name="line-51"></a><a name="binaryFunDec"></a><span class='hs-definition'>binaryFunDec</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Name</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Dec</span> <a name="line-52"></a><span class='hs-definition'>binaryFunDec</span> <span class='hs-varid'>name</span> <span class='hs-varid'>fun'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>FunD</span> <span class='hs-varid'>fun</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Clause</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>pat1</span><span class='hs-layout'>,</span> <span class='hs-varid'>pat2</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>body</span> <span class='hs-conid'>[]</span><span class='hs-keyglyph'>]</span> <a name="line-53"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>pat1</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ConP</span> <span class='hs-varid'>name</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>VarP</span> <span class='hs-varid'>v1</span><span class='hs-keyglyph'>]</span> <a name="line-54"></a> <span class='hs-varid'>pat2</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ConP</span> <span class='hs-varid'>name</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>VarP</span> <span class='hs-varid'>v2</span><span class='hs-keyglyph'>]</span> <a name="line-55"></a> <span class='hs-varid'>body</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>NormalB</span> <span class='hs-varop'>$</span> <span class='hs-conid'>AppE</span> <span class='hs-layout'>(</span><span class='hs-conid'>ConE</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-varid'>result</span> <a name="line-56"></a> <span class='hs-varid'>result</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>AppE</span> <span class='hs-layout'>(</span><span class='hs-conid'>AppE</span> <span class='hs-layout'>(</span><span class='hs-conid'>VarE</span> <span class='hs-varid'>fun</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>VarE</span> <span class='hs-varid'>v1</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>VarE</span> <span class='hs-varid'>v2</span><span class='hs-layout'>)</span> <a name="line-57"></a> <span class='hs-varid'>fun</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkName</span> <span class='hs-varid'>fun'</span> <a name="line-58"></a> <span class='hs-varid'>v1</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkName</span> <span class='hs-str'>"v1"</span> <a name="line-59"></a> <span class='hs-varid'>v2</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkName</span> <span class='hs-str'>"v2"</span> <a name="line-60"></a> <a name="line-61"></a><a name="unariFunDec1"></a><span class='hs-definition'>unariFunDec1</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Name</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Dec</span> <a name="line-62"></a><span class='hs-definition'>unariFunDec1</span> <span class='hs-varid'>name</span> <span class='hs-varid'>fun'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>FunD</span> <span class='hs-varid'>fun</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Clause</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>pat</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>body</span> <span class='hs-conid'>[]</span><span class='hs-keyglyph'>]</span> <a name="line-63"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>pat</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ConP</span> <span class='hs-varid'>name</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>VarP</span> <span class='hs-varid'>v</span><span class='hs-keyglyph'>]</span> <a name="line-64"></a> <span class='hs-varid'>body</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>NormalB</span> <span class='hs-varop'>$</span> <span class='hs-conid'>AppE</span> <span class='hs-layout'>(</span><span class='hs-conid'>ConE</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>AppE</span> <span class='hs-layout'>(</span><span class='hs-conid'>VarE</span> <span class='hs-varid'>fun</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>VarE</span> <span class='hs-varid'>v</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-65"></a> <span class='hs-varid'>fun</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkName</span> <span class='hs-varid'>fun'</span> <a name="line-66"></a> <span class='hs-varid'>v</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkName</span> <span class='hs-str'>"v"</span> <a name="line-67"></a> <a name="line-68"></a><a name="unariFunDec2"></a><span class='hs-definition'>unariFunDec2</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Name</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Dec</span> <a name="line-69"></a><span class='hs-definition'>unariFunDec2</span> <span class='hs-varid'>name</span> <span class='hs-varid'>fun'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>FunD</span> <span class='hs-varid'>fun</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Clause</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>pat</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>body</span> <span class='hs-conid'>[]</span><span class='hs-keyglyph'>]</span> <a name="line-70"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>pat</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>VarP</span> <span class='hs-varid'>x</span> <a name="line-71"></a> <span class='hs-varid'>body</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>NormalB</span> <span class='hs-varop'>$</span> <span class='hs-conid'>AppE</span> <span class='hs-layout'>(</span><span class='hs-conid'>ConE</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>AppE</span> <span class='hs-layout'>(</span><span class='hs-conid'>VarE</span> <span class='hs-varid'>fun</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>VarE</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-72"></a> <span class='hs-varid'>fun</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkName</span> <span class='hs-varid'>fun'</span> <a name="line-73"></a> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkName</span> <span class='hs-str'>"x"</span> </pre></body> </html>
distrib
>
Fedora
>
14
>
x86_64
>
media
>
updates
>
by-pkgid
>
0ec9d8e04c6b78d98ce34d1036640fe3
>
files
>
109
