aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Test.html
diff options
context:
space:
mode:
authorPhil Ruffwind <rf@rufflewind.com>2015-09-30 03:22:14 -0400
committerBen Gamari <ben@smart-cactus.org>2016-02-08 17:54:44 +0100
commit8410dd341a1730f708af3f0d96d13f2b5f7b9df5 (patch)
tree6dc24b56fdf8d99d0d798c25621ae4f205af57a3 /html-test/ref/Test.html
parent1b6bcd62e7f5534be45a0d5737b76d181c2d934b (diff)
Update tests for previous commit
Diffstat (limited to 'html-test/ref/Test.html')
-rw-r--r--html-test/ref/Test.html286
1 files changed, 185 insertions, 101 deletions
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index 6fb34801..4cb434ad 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -640,9 +640,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>data</span
- > <a href="#" id="t:T" class="def"
+ > <a id="t:T" class="def"
>T</a
- > a b</p
+ > a b <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>This comment applies to the <em
@@ -656,7 +658,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><table
><tr
><td class="src"
- ><a href="#" id="v:A" class="def"
+ ><a id="v:A" class="def"
>A</a
> <a href="#"
>Int</a
@@ -676,7 +678,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
></tr
><tr
><td class="src"
- ><a href="#" id="v:B" class="def"
+ ><a id="v:B" class="def"
>B</a
> (<a href="#"
>T</a
@@ -703,9 +705,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>data</span
- > <a href="#" id="t:T2" class="def"
+ > <a id="t:T2" class="def"
>T2</a
- > a b</p
+ > a b <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>An abstract data declaration</p
@@ -715,9 +719,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>data</span
- > <a href="#" id="t:T3" class="def"
+ > <a id="t:T3" class="def"
>T3</a
- > a b</p
+ > a b <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>A data declaration with no documentation annotations on the constructors</p
@@ -728,7 +734,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><table
><tr
><td class="src"
- ><a href="#" id="v:A1" class="def"
+ ><a id="v:A1" class="def"
>A1</a
> a</td
><td class="doc empty"
@@ -736,7 +742,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
></tr
><tr
><td class="src"
- ><a href="#" id="v:B1" class="def"
+ ><a id="v:B1" class="def"
>B1</a
> b</td
><td class="doc empty"
@@ -749,16 +755,18 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>data</span
- > <a href="#" id="t:T4" class="def"
+ > <a id="t:T4" class="def"
>T4</a
- > a b</p
+ > a b <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
- ><a href="#" id="v:A2" class="def"
+ ><a id="v:A2" class="def"
>A2</a
> a</td
><td class="doc empty"
@@ -766,7 +774,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
></tr
><tr
><td class="src"
- ><a href="#" id="v:B2" class="def"
+ ><a id="v:B2" class="def"
>B2</a
> b</td
><td class="doc empty"
@@ -779,16 +787,18 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>data</span
- > <a href="#" id="t:T5" class="def"
+ > <a id="t:T5" class="def"
>T5</a
- > a b</p
+ > a b <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
- ><a href="#" id="v:A3" class="def"
+ ><a id="v:A3" class="def"
>A3</a
> a</td
><td class="doc"
@@ -802,7 +812,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
></tr
><tr
><td class="src"
- ><a href="#" id="v:B3" class="def"
+ ><a id="v:B3" class="def"
>B3</a
> b</td
><td class="doc"
@@ -821,8 +831,10 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>data</span
- > <a href="#" id="t:T6" class="def"
+ > <a id="t:T6" class="def"
>T6</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><p
@@ -834,7 +846,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><table
><tr
><td class="src"
- ><a href="#" id="v:A4" class="def"
+ ><a id="v:A4" class="def"
>A4</a
></td
><td class="doc"
@@ -848,7 +860,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
></tr
><tr
><td class="src"
- ><a href="#" id="v:B4" class="def"
+ ><a id="v:B4" class="def"
>B4</a
></td
><td class="doc"
@@ -862,7 +874,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
></tr
><tr
><td class="src"
- ><a href="#" id="v:C4" class="def"
+ ><a id="v:C4" class="def"
>C4</a
></td
><td class="doc"
@@ -881,9 +893,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>newtype</span
- > <a href="#" id="t:N1" class="def"
+ > <a id="t:N1" class="def"
>N1</a
- > a</p
+ > a <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>A newtype</p
@@ -894,7 +908,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><table
><tr
><td class="src"
- ><a href="#" id="v:N1" class="def"
+ ><a id="v:N1" class="def"
>N1</a
> a</td
><td class="doc empty"
@@ -907,9 +921,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>newtype</span
- > <a href="#" id="t:N2" class="def"
+ > <a id="t:N2" class="def"
>N2</a
- > a b</p
+ > a b <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>A newtype with a fieldname</p
@@ -920,7 +936,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><table
><tr
><td class="src"
- ><a href="#" id="v:N2" class="def"
+ ><a id="v:N2" class="def"
>N2</a
></td
><td class="doc empty"
@@ -934,7 +950,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><ul
><li
><dfn class="src"
- ><a href="#" id="v:n" class="def"
+ ><a id="v:n" class="def"
>n</a
> :: a b</dfn
><div class="doc empty"
@@ -951,9 +967,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>newtype</span
- > <a href="#" id="t:N3" class="def"
+ > <a id="t:N3" class="def"
>N3</a
- > a b</p
+ > a b <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>A newtype with a fieldname, documentation on the field</p
@@ -964,7 +982,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><table
><tr
><td class="src"
- ><a href="#" id="v:N3" class="def"
+ ><a id="v:N3" class="def"
>N3</a
></td
><td class="doc empty"
@@ -978,7 +996,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><ul
><li
><dfn class="src"
- ><a href="#" id="v:n3" class="def"
+ ><a id="v:n3" class="def"
>n3</a
> :: a b</dfn
><div class="doc"
@@ -1001,9 +1019,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>data</span
- > <a href="#" id="t:N4" class="def"
+ > <a id="t:N4" class="def"
>N4</a
- > a b</p
+ > a b <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>An abstract newtype - we show this one as data rather than newtype because
@@ -1014,16 +1034,18 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>newtype</span
- > <a href="#" id="t:N5" class="def"
+ > <a id="t:N5" class="def"
>N5</a
- > a b</p
+ > a b <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
- ><a href="#" id="v:N5" class="def"
+ ><a id="v:N5" class="def"
>N5</a
></td
><td class="doc empty"
@@ -1037,7 +1059,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><ul
><li
><dfn class="src"
- ><a href="#" id="v:n5" class="def"
+ ><a id="v:n5" class="def"
>n5</a
> :: a b</dfn
><div class="doc"
@@ -1056,16 +1078,18 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>newtype</span
- > <a href="#" id="t:N6" class="def"
+ > <a id="t:N6" class="def"
>N6</a
- > a b</p
+ > a b <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
- ><a href="#" id="v:N6" class="def"
+ ><a id="v:N6" class="def"
>N6</a
></td
><td class="doc"
@@ -1081,7 +1105,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><ul
><li
><dfn class="src"
- ><a href="#" id="v:n6" class="def"
+ ><a id="v:n6" class="def"
>n6</a
> :: a b</dfn
><div class="doc empty"
@@ -1098,9 +1122,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>newtype</span
- > <a href="#" id="t:N7" class="def"
+ > <a id="t:N7" class="def"
>N7</a
- > a b</p
+ > a b <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>docs on the newtype and the constructor</p
@@ -1111,7 +1137,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><table
><tr
><td class="src"
- ><a href="#" id="v:N7" class="def"
+ ><a id="v:N7" class="def"
>N7</a
></td
><td class="doc"
@@ -1131,7 +1157,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><ul
><li
><dfn class="src"
- ><a href="#" id="v:n7" class="def"
+ ><a id="v:n7" class="def"
>n7</a
> :: a b</dfn
><div class="doc empty"
@@ -1150,8 +1176,10 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>data</span
- > <a href="#" id="t:R" class="def"
+ > <a id="t:R" class="def"
>R</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><p
@@ -1184,7 +1212,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><table
><tr
><td class="src"
- ><a href="#" id="v:C1" class="def"
+ ><a id="v:C1" class="def"
>C1</a
></td
><td class="doc"
@@ -1204,7 +1232,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><ul
><li
><dfn class="src"
- ><a href="#" id="v:p" class="def"
+ ><a id="v:p" class="def"
>p</a
> :: <a href="#"
>Int</a
@@ -1220,7 +1248,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
></li
><li
><dfn class="src"
- ><a href="#" id="v:q" class="def"
+ ><a id="v:q" class="def"
>q</a
> :: <span class="keyword"
>forall</span
@@ -1236,9 +1264,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
></li
><li
><dfn class="src"
- ><a href="#" id="v:r" class="def"
+ ><a id="v:r" class="def"
>r</a
- >, <a href="#" id="v:s" class="def"
+ >, <a id="v:s" class="def"
>s</a
> :: <a href="#"
>Int</a
@@ -1262,7 +1290,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
></tr
><tr
><td class="src"
- ><a href="#" id="v:C2" class="def"
+ ><a id="v:C2" class="def"
>C2</a
></td
><td class="doc"
@@ -1282,7 +1310,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><ul
><li
><dfn class="src"
- ><a href="#" id="v:t" class="def"
+ ><a id="v:t" class="def"
>t</a
> :: T1 -&gt; <a href="#"
>T2</a
@@ -1310,9 +1338,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
></li
><li
><dfn class="src"
- ><a href="#" id="v:u" class="def"
+ ><a id="v:u" class="def"
>u</a
- >, <a href="#" id="v:v" class="def"
+ >, <a id="v:v" class="def"
>v</a
> :: <a href="#"
>Int</a
@@ -1331,8 +1359,10 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>data</span
- > <a href="#" id="t:R1" class="def"
+ > <a id="t:R1" class="def"
>R1</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><p
@@ -1344,7 +1374,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><table
><tr
><td class="src"
- ><a href="#" id="v:C3" class="def"
+ ><a id="v:C3" class="def"
>C3</a
></td
><td class="doc"
@@ -1364,7 +1394,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><ul
><li
><dfn class="src"
- ><a href="#" id="v:s1" class="def"
+ ><a id="v:s1" class="def"
>s1</a
> :: <a href="#"
>Int</a
@@ -1380,7 +1410,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
></li
><li
><dfn class="src"
- ><a href="#" id="v:s2" class="def"
+ ><a id="v:s2" class="def"
>s2</a
> :: <a href="#"
>Int</a
@@ -1396,7 +1426,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
></li
><li
><dfn class="src"
- ><a href="#" id="v:s3" class="def"
+ ><a id="v:s3" class="def"
>s3</a
> :: <a href="#"
>Int</a
@@ -1429,10 +1459,12 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
>class</span
> <a href="#"
>D</a
- > a =&gt; <a href="#" id="t:C" class="def"
+ > a =&gt; <a id="t:C" class="def"
>C</a
> a <span class="keyword"
>where</span
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><p
@@ -1458,11 +1490,13 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="caption"
>Methods</p
><p class="src"
- ><a href="#" id="v:a" class="def"
+ ><a id="v:a" class="def"
>a</a
> :: <a href="#"
>IO</a
- > a</p
+ > a <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>this is a description of the <code
@@ -1472,9 +1506,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
> method</p
></div
><p class="src"
- ><a href="#" id="v:b" class="def"
+ ><a id="v:b" class="def"
>b</a
- > :: [a]</p
+ > :: [a] <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>this is a description of the <code
@@ -1489,10 +1525,12 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>class</span
- > <a href="#" id="t:D" class="def"
+ > <a id="t:D" class="def"
>D</a
> a <span class="keyword"
>where</span
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><p
@@ -1512,15 +1550,19 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="caption"
>Methods</p
><p class="src"
- ><a href="#" id="v:d" class="def"
+ ><a id="v:d" class="def"
>d</a
> :: <a href="#"
>T</a
- > a b</p
+ > a b <a href="#" class="selflink"
+ >#</a
+ ></p
><p class="src"
- ><a href="#" id="v:e" class="def"
+ ><a id="v:e" class="def"
>e</a
- > :: (a, a)</p
+ > :: (a, a) <a href="#" class="selflink"
+ >#</a
+ ></p
></div
><div class="subs instances"
><p id="control.i:D" class="caption collapser" onclick="toggleSection('i:D')"
@@ -1537,6 +1579,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
> <a href="#"
>Float</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -1554,7 +1598,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
>T</a
> <a href="#"
>Float</a
- > b</p
+ > b <a href="#" class="selflink"
+ >#</a
+ ></p
><p class="src"
><a href="#"
>e</a
@@ -1562,7 +1608,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
>Float</a
>, <a href="#"
>Float</a
- >)</p
+ >) <a href="#" class="selflink"
+ >#</a
+ ></p
></div
></div
></td
@@ -1577,6 +1625,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
> <a href="#"
>Int</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -1594,7 +1644,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
>T</a
> <a href="#"
>Int</a
- > b</p
+ > b <a href="#" class="selflink"
+ >#</a
+ ></p
><p class="src"
><a href="#"
>e</a
@@ -1602,7 +1654,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
>Int</a
>, <a href="#"
>Int</a
- >)</p
+ >) <a href="#" class="selflink"
+ >#</a
+ ></p
></div
></div
></td
@@ -1615,9 +1669,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>class</span
- > <a href="#" id="t:E" class="def"
+ > <a id="t:E" class="def"
>E</a
- > a</p
+ > a <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>This is a class declaration with no methods (or no methods exported)</p
@@ -1633,10 +1689,12 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="src"
><span class="keyword"
>class</span
- > <a href="#" id="t:F" class="def"
+ > <a id="t:F" class="def"
>F</a
> a <span class="keyword"
>where</span
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="subs minimal"
><p class="caption"
@@ -1650,9 +1708,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
><p class="caption"
>Methods</p
><p class="src"
- ><a href="#" id="v:ff" class="def"
+ ><a id="v:ff" class="def"
>ff</a
- > :: a</p
+ > :: a <a href="#" class="selflink"
+ >#</a
+ ></p
></div
></div
><div class="doc"
@@ -1661,13 +1721,15 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
></div
><div class="top"
><p class="src"
- ><a href="#" id="v:a" class="def"
+ ><a id="v:a" class="def"
>a</a
> :: <a href="#"
>C</a
> a =&gt; <a href="#"
>IO</a
- > a</p
+ > a <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>this is a description of the <code
@@ -1681,12 +1743,14 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);
>Function types</h1
><div class="top"
><p class="src"
- ><a href="#" id="v:f" class="def"
+ ><a id="v:f" class="def"
>f</a
> :: <a href="#"
>C</a
> a =&gt; a -&gt; <a href="#"
>Int</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><p
@@ -1743,13 +1807,15 @@ using double quotes: <a href="#"
></div
><div class="top"
><p class="src"
- ><a href="#" id="v:g" class="def"
+ ><a id="v:g" class="def"
>g</a
> :: <a href="#"
>Int</a
> -&gt; <a href="#"
>IO</a
- > CInt</p
+ > CInt <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>we can export foreign declarations too</p
@@ -1840,12 +1906,14 @@ is at the beginning of the line).</pre
>A hidden module</h1
><div class="top"
><p class="src"
- ><a href="#" id="v:hidden" class="def"
+ ><a id="v:hidden" class="def"
>hidden</a
> :: <a href="#"
>Int</a
> -&gt; <a href="#"
>Int</a
+ > <a href="#" class="selflink"
+ >#</a
></p
></div
><h1 id="g:8"
@@ -1866,9 +1934,11 @@ is at the beginning of the line).</pre
><p class="src"
><span class="keyword"
>data</span
- > <a href="#" id="t:Ex" class="def"
+ > <a id="t:Ex" class="def"
>Ex</a
- > a</p
+ > a <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>A data-type using existential/universal types</p
@@ -1881,7 +1951,7 @@ is at the beginning of the line).</pre
><td class="src"
><a href="#"
>C</a
- > b =&gt; <a href="#" id="v:Ex1" class="def"
+ > b =&gt; <a id="v:Ex1" class="def"
>Ex1</a
> b</td
><td class="doc empty"
@@ -1889,7 +1959,7 @@ is at the beginning of the line).</pre
></tr
><tr
><td class="src"
- ><a href="#" id="v:Ex2" class="def"
+ ><a id="v:Ex2" class="def"
>Ex2</a
> b</td
><td class="doc empty"
@@ -1899,7 +1969,7 @@ is at the beginning of the line).</pre
><td class="src"
><a href="#"
>C</a
- > a =&gt; <a href="#" id="v:Ex3" class="def"
+ > a =&gt; <a id="v:Ex3" class="def"
>Ex3</a
> b</td
><td class="doc empty"
@@ -1907,7 +1977,7 @@ is at the beginning of the line).</pre
></tr
><tr
><td class="src"
- ><a href="#" id="v:Ex4" class="def"
+ ><a id="v:Ex4" class="def"
>Ex4</a
> (<span class="keyword"
>forall</span
@@ -1922,8 +1992,10 @@ is at the beginning of the line).</pre
>Type signatures with argument docs</h1
><div class="top"
><p class="src"
- ><a href="#" id="v:k" class="def"
+ ><a id="v:k" class="def"
>k</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="subs arguments"
><p class="caption"
@@ -2010,8 +2082,10 @@ is at the beginning of the line).</pre
></div
><div class="top"
><p class="src"
- ><a href="#" id="v:l" class="def"
+ ><a id="v:l" class="def"
>l</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="subs arguments"
><p class="caption"
@@ -2050,8 +2124,10 @@ is at the beginning of the line).</pre
></div
><div class="top"
><p class="src"
- ><a href="#" id="v:m" class="def"
+ ><a id="v:m" class="def"
>m</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="subs arguments"
><p class="caption"
@@ -2096,8 +2172,10 @@ is at the beginning of the line).</pre
></div
><div class="top"
><p class="src"
- ><a href="#" id="v:o" class="def"
+ ><a id="v:o" class="def"
>o</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="subs arguments"
><p class="caption"
@@ -2146,10 +2224,12 @@ is at the beginning of the line).</pre
></div
><div class="top"
><p class="src"
- ><a href="#" id="v:f-39-" class="def"
+ ><a id="v:f-39-" class="def"
>f'</a
> :: <a href="#"
>Int</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><p
@@ -2163,10 +2243,12 @@ is at the beginning of the line).</pre
></div
><div class="top"
><p class="src"
- ><a href="#" id="v:withType" class="def"
+ ><a id="v:withType" class="def"
>withType</a
> :: <a href="#"
>Int</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><p
@@ -2175,9 +2257,11 @@ is at the beginning of the line).</pre
></div
><div class="top"
><p class="src"
- ><a href="#" id="v:withoutType" class="def"
+ ><a id="v:withoutType" class="def"
>withoutType</a
- > :: a</p
+ > :: a <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>Comment on a definition without type signature</p