diff options
Diffstat (limited to 'html-test/ref/Test.html')
| -rw-r--r-- | html-test/ref/Test.html | 638 |
1 files changed, 339 insertions, 299 deletions
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index 89491f01..8b82fe0b 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -65,7 +65,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" @@ -371,11 +371,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li ><a href="" >r</a - > :: <a href="" - >Int</a - ></li - ><li - ><a href="" + >, <a href="" >s</a > :: <a href="" >Int</a @@ -413,11 +409,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li ><a href="" >u</a - > :: <a href="" - >Int</a - ></li - ><li - ><a href="" + >, <a href="" >v</a > :: <a href="" >Int</a @@ -669,7 +661,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:T" class="def" + > <a href="" id="t:T" class="def" >T</a > a b</p ><div class="doc" @@ -685,7 +677,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a name="v:A" class="def" + ><a href="" id="v:A" class="def" >A</a > <a href="" >Int</a @@ -705,7 +697,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a name="v:B" class="def" + ><a href="" id="v:B" class="def" >B</a > (<a href="" >T</a @@ -732,7 +724,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:T2" class="def" + > <a href="" id="t:T2" class="def" >T2</a > a b</p ><div class="doc" @@ -744,7 +736,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:T3" class="def" + > <a href="" id="t:T3" class="def" >T3</a > a b</p ><div class="doc" @@ -757,7 +749,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a name="v:A1" class="def" + ><a href="" id="v:A1" class="def" >A1</a > a</td ><td class="doc empty" @@ -765,7 +757,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a name="v:B1" class="def" + ><a href="" id="v:B1" class="def" >B1</a > b</td ><td class="doc empty" @@ -778,7 +770,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:T4" class="def" + > <a href="" id="t:T4" class="def" >T4</a > a b</p ><div class="subs constructors" @@ -787,7 +779,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a name="v:A2" class="def" + ><a href="" id="v:A2" class="def" >A2</a > a</td ><td class="doc empty" @@ -795,7 +787,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a name="v:B2" class="def" + ><a href="" id="v:B2" class="def" >B2</a > b</td ><td class="doc empty" @@ -808,7 +800,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:T5" class="def" + > <a href="" id="t:T5" class="def" >T5</a > a b</p ><div class="subs constructors" @@ -817,7 +809,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a name="v:A3" class="def" + ><a href="" id="v:A3" class="def" >A3</a > a</td ><td class="doc" @@ -831,7 +823,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a name="v:B3" class="def" + ><a href="" id="v:B3" class="def" >B3</a > b</td ><td class="doc" @@ -850,7 +842,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:T6" class="def" + > <a href="" id="t:T6" class="def" >T6</a ></p ><div class="doc" @@ -863,7 +855,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a name="v:A4" class="def" + ><a href="" id="v:A4" class="def" >A4</a ></td ><td class="doc" @@ -877,7 +869,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a name="v:B4" class="def" + ><a href="" id="v:B4" class="def" >B4</a ></td ><td class="doc" @@ -891,7 +883,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a name="v:C4" class="def" + ><a href="" id="v:C4" class="def" >C4</a ></td ><td class="doc" @@ -910,7 +902,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a name="t:N1" class="def" + > <a href="" id="t:N1" class="def" >N1</a > a</p ><div class="doc" @@ -923,7 +915,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a name="v:N1" class="def" + ><a href="" id="v:N1" class="def" >N1</a > a</td ><td class="doc empty" @@ -936,7 +928,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a name="t:N2" class="def" + > <a href="" id="t:N2" class="def" >N2</a > a b</p ><div class="doc" @@ -949,7 +941,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a name="v:N2" class="def" + ><a href="" id="v:N2" class="def" >N2</a ></td ><td class="doc empty" @@ -960,16 +952,16 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><div class="subs fields" ><p class="caption" >Fields</p - ><dl - ><dt class="src" - ><a name="v:n" class="def" - >n</a - > :: a b</dt - ><dd class="doc empty" - > </dd - ></dl - ><div class="clear" - ></div + ><ul + ><li + ><dfn class="src" + ><a href="" id="v:n" class="def" + >n</a + > :: a b</dfn + ><div class="doc empty" + > </div + ></li + ></ul ></div ></td ></tr @@ -980,7 +972,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a name="t:N3" class="def" + > <a href="" id="t:N3" class="def" >N3</a > a b</p ><div class="doc" @@ -993,7 +985,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a name="v:N3" class="def" + ><a href="" id="v:N3" class="def" >N3</a ></td ><td class="doc empty" @@ -1004,22 +996,22 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><div class="subs fields" ><p class="caption" >Fields</p - ><dl - ><dt class="src" - ><a name="v:n3" class="def" - >n3</a - > :: a b</dt - ><dd class="doc" - ><p - >this is the <code - ><a href="" - >n3</a - ></code - > field</p - ></dd - ></dl - ><div class="clear" - ></div + ><ul + ><li + ><dfn class="src" + ><a href="" id="v:n3" class="def" + >n3</a + > :: a b</dfn + ><div class="doc" + ><p + >this is the <code + ><a href="" + >n3</a + ></code + > field</p + ></div + ></li + ></ul ></div ></td ></tr @@ -1030,7 +1022,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:N4" class="def" + > <a href="" id="t:N4" class="def" >N4</a > a b</p ><div class="doc" @@ -1043,7 +1035,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a name="t:N5" class="def" + > <a href="" id="t:N5" class="def" >N5</a > a b</p ><div class="subs constructors" @@ -1052,7 +1044,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a name="v:N5" class="def" + ><a href="" id="v:N5" class="def" >N5</a ></td ><td class="doc empty" @@ -1063,18 +1055,18 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><div class="subs fields" ><p class="caption" >Fields</p - ><dl - ><dt class="src" - ><a name="v:n5" class="def" - >n5</a - > :: a b</dt - ><dd class="doc" - ><p - >no docs on the datatype or the constructor</p - ></dd - ></dl - ><div class="clear" - ></div + ><ul + ><li + ><dfn class="src" + ><a href="" id="v:n5" class="def" + >n5</a + > :: a b</dfn + ><div class="doc" + ><p + >no docs on the datatype or the constructor</p + ></div + ></li + ></ul ></div ></td ></tr @@ -1085,7 +1077,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a name="t:N6" class="def" + > <a href="" id="t:N6" class="def" >N6</a > a b</p ><div class="subs constructors" @@ -1094,7 +1086,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a name="v:N6" class="def" + ><a href="" id="v:N6" class="def" >N6</a ></td ><td class="doc" @@ -1107,16 +1099,16 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><div class="subs fields" ><p class="caption" >Fields</p - ><dl - ><dt class="src" - ><a name="v:n6" class="def" - >n6</a - > :: a b</dt - ><dd class="doc empty" - > </dd - ></dl - ><div class="clear" - ></div + ><ul + ><li + ><dfn class="src" + ><a href="" id="v:n6" class="def" + >n6</a + > :: a b</dfn + ><div class="doc empty" + > </div + ></li + ></ul ></div ></td ></tr @@ -1127,7 +1119,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a name="t:N7" class="def" + > <a href="" id="t:N7" class="def" >N7</a > a b</p ><div class="doc" @@ -1140,7 +1132,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a name="v:N7" class="def" + ><a href="" id="v:N7" class="def" >N7</a ></td ><td class="doc" @@ -1157,16 +1149,16 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><div class="subs fields" ><p class="caption" >Fields</p - ><dl - ><dt class="src" - ><a name="v:n7" class="def" - >n7</a - > :: a b</dt - ><dd class="doc empty" - > </dd - ></dl - ><div class="clear" - ></div + ><ul + ><li + ><dfn class="src" + ><a href="" id="v:n7" class="def" + >n7</a + > :: a b</dfn + ><div class="doc empty" + > </div + ></li + ></ul ></div ></td ></tr @@ -1179,7 +1171,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:R" class="def" + > <a href="" id="t:R" class="def" >R</a ></p ><div class="doc" @@ -1213,7 +1205,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a name="v:C1" class="def" + ><a href="" id="v:C1" class="def" >C1</a ></td ><td class="doc" @@ -1230,80 +1222,68 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><div class="subs fields" ><p class="caption" >Fields</p - ><dl - ><dt class="src" - ><a name="v:p" class="def" - >p</a - > :: <a href="" - >Int</a - ></dt - ><dd class="doc" - ><p - >This comment applies to the <code - ><a href="" - >p</a - ></code - > field</p - ></dd - ><dt class="src" - ><a name="v:q" class="def" - >q</a - > :: <span class="keyword" - >forall</span - > a. a -> a</dt - ><dd class="doc" - ><p - >This comment applies to the <code - ><a href="" - >q</a - ></code - > field</p - ></dd - ><dt class="src" - ><a name="v:r" class="def" - >r</a - > :: <a href="" - >Int</a - ></dt - ><dd class="doc" - ><p - >This comment applies to both <code - ><a href="" - >r</a - ></code - > and <code - ><a href="" - >s</a - ></code - ></p - ></dd - ><dt class="src" - ><a name="v:s" class="def" - >s</a - > :: <a href="" - >Int</a - ></dt - ><dd class="doc" - ><p - >This comment applies to both <code - ><a href="" - >r</a - ></code - > and <code - ><a href="" - >s</a - ></code - ></p - ></dd - ></dl - ><div class="clear" - ></div + ><ul + ><li + ><dfn class="src" + ><a href="" id="v:p" class="def" + >p</a + > :: <a href="" + >Int</a + ></dfn + ><div class="doc" + ><p + >This comment applies to the <code + ><a href="" + >p</a + ></code + > field</p + ></div + ></li + ><li + ><dfn class="src" + ><a href="" id="v:q" class="def" + >q</a + > :: <span class="keyword" + >forall</span + > a. a -> a</dfn + ><div class="doc" + ><p + >This comment applies to the <code + ><a href="" + >q</a + ></code + > field</p + ></div + ></li + ><li + ><dfn class="src" + ><a href="" id="v:r" class="def" + >r</a + >, <a href="" id="v:s" class="def" + >s</a + > :: <a href="" + >Int</a + ></dfn + ><div class="doc" + ><p + >This comment applies to both <code + ><a href="" + >r</a + ></code + > and <code + ><a href="" + >s</a + ></code + ></p + ></div + ></li + ></ul ></div ></td ></tr ><tr ><td class="src" - ><a name="v:C2" class="def" + ><a href="" id="v:C2" class="def" >C2</a ></td ><td class="doc" @@ -1320,52 +1300,48 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><div class="subs fields" ><p class="caption" >Fields</p - ><dl - ><dt class="src" - ><a name="v:t" class="def" - >t</a - > :: T1 -> <a href="" - >T2</a - > <a href="" - >Int</a - > <a href="" - >Int</a - > -> <a href="" - >T3</a - > <a href="" - >Bool</a - > <a href="" - >Bool</a - > -> <a href="" - >T4</a - > <a href="" - >Float</a - > <a href="" - >Float</a - > -> <a href="" - >T5</a - > () ()</dt - ><dd class="doc empty" - > </dd - ><dt class="src" - ><a name="v:u" class="def" - >u</a - > :: <a href="" - >Int</a - ></dt - ><dd class="doc empty" - > </dd - ><dt class="src" - ><a name="v:v" class="def" - >v</a - > :: <a href="" - >Int</a - ></dt - ><dd class="doc empty" - > </dd - ></dl - ><div class="clear" - ></div + ><ul + ><li + ><dfn class="src" + ><a href="" id="v:t" class="def" + >t</a + > :: T1 -> <a href="" + >T2</a + > <a href="" + >Int</a + > <a href="" + >Int</a + > -> <a href="" + >T3</a + > <a href="" + >Bool</a + > <a href="" + >Bool</a + > -> <a href="" + >T4</a + > <a href="" + >Float</a + > <a href="" + >Float</a + > -> <a href="" + >T5</a + > () ()</dfn + ><div class="doc empty" + > </div + ></li + ><li + ><dfn class="src" + ><a href="" id="v:u" class="def" + >u</a + >, <a href="" id="v:v" class="def" + >v</a + > :: <a href="" + >Int</a + ></dfn + ><div class="doc empty" + > </div + ></li + ></ul ></div ></td ></tr @@ -1376,7 +1352,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:R1" class="def" + > <a href="" id="t:R1" class="def" >R1</a ></p ><div class="doc" @@ -1389,7 +1365,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a name="v:C3" class="def" + ><a href="" id="v:C3" class="def" >C3</a ></td ><td class="doc" @@ -1406,52 +1382,56 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><div class="subs fields" ><p class="caption" >Fields</p - ><dl - ><dt class="src" - ><a name="v:s1" class="def" - >s1</a - > :: <a href="" - >Int</a - ></dt - ><dd class="doc" - ><p - >The <code - ><a href="" - >s1</a - ></code - > record selector</p - ></dd - ><dt class="src" - ><a name="v:s2" class="def" - >s2</a - > :: <a href="" - >Int</a - ></dt - ><dd class="doc" - ><p - >The <code - ><a href="" - >s2</a - ></code - > record selector</p - ></dd - ><dt class="src" - ><a name="v:s3" class="def" - >s3</a - > :: <a href="" - >Int</a - ></dt - ><dd class="doc" - ><p - >The <code - ><a href="" - >s3</a - ></code - > record selector</p - ></dd - ></dl - ><div class="clear" - ></div + ><ul + ><li + ><dfn class="src" + ><a href="" id="v:s1" class="def" + >s1</a + > :: <a href="" + >Int</a + ></dfn + ><div class="doc" + ><p + >The <code + ><a href="" + >s1</a + ></code + > record selector</p + ></div + ></li + ><li + ><dfn class="src" + ><a href="" id="v:s2" class="def" + >s2</a + > :: <a href="" + >Int</a + ></dfn + ><div class="doc" + ><p + >The <code + ><a href="" + >s2</a + ></code + > record selector</p + ></div + ></li + ><li + ><dfn class="src" + ><a href="" id="v:s3" class="def" + >s3</a + > :: <a href="" + >Int</a + ></dfn + ><div class="doc" + ><p + >The <code + ><a href="" + >s3</a + ></code + > record selector</p + ></div + ></li + ></ul ></div ></td ></tr @@ -1470,7 +1450,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; >class</span > <a href="" >D</a - > a => <a name="t:C" class="def" + > a => <a href="" id="t:C" class="def" >C</a > a <span class="keyword" >where</span @@ -1489,7 +1469,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="caption" >Methods</p ><p class="src" - ><a name="v:a" class="def" + ><a href="" id="v:a" class="def" >a</a > :: <a href="" >IO</a @@ -1503,7 +1483,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; > method</p ></div ><p class="src" - ><a name="v:b" class="def" + ><a href="" id="v:b" class="def" >b</a > :: [a]</p ><div class="doc" @@ -1520,7 +1500,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >class</span - > <a name="t:D" class="def" + > <a href="" id="t:D" class="def" >D</a > a <span class="keyword" >where</span @@ -1533,13 +1513,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="caption" >Methods</p ><p class="src" - ><a name="v:d" class="def" + ><a href="" id="v:d" class="def" >d</a > :: <a href="" >T</a > a b</p ><p class="src" - ><a name="v:e" class="def" + ><a href="" id="v:e" class="def" >e</a > :: (a, a)</p ></div @@ -1549,25 +1529,85 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><div id="section.i:D" class="show" ><table ><tr - ><td class="src" - ><a href="" - >D</a - > <a href="" - >Float</a + ><td class="src clearfix" + ><span class="inst-left" + ><span id="control.i:ic:D:D:1" class="instance expander" onclick="toggleSection('i:ic:D:D:1')" + ></span + > <a href="" + >D</a + > <a href="" + >Float</a + ></span ></td ><td class="doc empty" > </td ></tr ><tr - ><td class="src" - ><a href="" - >D</a - > <a href="" - >Int</a + ><td colspan="2" + ><div id="section.i:ic:D:D:1" class="inst-details hide" + ><div class="subs methods" + ><p class="caption" + >Methods</p + ><p class="src" + ><a href="" + >d</a + > :: <a href="" + >T</a + > <a href="" + >Float</a + > b</p + ><p class="src" + ><a href="" + >e</a + > :: (<a href="" + >Float</a + >, <a href="" + >Float</a + >)</p + ></div + ></div + ></td + ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span id="control.i:ic:D:D:2" class="instance expander" onclick="toggleSection('i:ic:D:D:2')" + ></span + > <a href="" + >D</a + > <a href="" + >Int</a + ></span ></td ><td class="doc empty" > </td ></tr + ><tr + ><td colspan="2" + ><div id="section.i:ic:D:D:2" class="inst-details hide" + ><div class="subs methods" + ><p class="caption" + >Methods</p + ><p class="src" + ><a href="" + >d</a + > :: <a href="" + >T</a + > <a href="" + >Int</a + > b</p + ><p class="src" + ><a href="" + >e</a + > :: (<a href="" + >Int</a + >, <a href="" + >Int</a + >)</p + ></div + ></div + ></td + ></tr ></table ></div ></div @@ -1576,7 +1616,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >class</span - > <a name="t:E" class="def" + > <a href="" id="t:E" class="def" >E</a > a</p ><div class="doc" @@ -1594,7 +1634,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >class</span - > <a name="t:F" class="def" + > <a href="" id="t:F" class="def" >F</a > a <span class="keyword" >where</span @@ -1603,7 +1643,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="caption" >Methods</p ><p class="src" - ><a name="v:ff" class="def" + ><a href="" id="v:ff" class="def" >ff</a > :: a</p ></div @@ -1616,7 +1656,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; >Function types</h1 ><div class="top" ><p class="src" - ><a name="v:f" class="def" + ><a href="" id="v:f" class="def" >f</a > :: <a href="" >C</a @@ -1678,7 +1718,7 @@ using double quotes: <a href="" ></div ><div class="top" ><p class="src" - ><a name="v:g" class="def" + ><a href="" id="v:g" class="def" >g</a > :: <a href="" >Int</a @@ -1787,7 +1827,7 @@ is at the beginning of the line).</pre >A hidden module</h1 ><div class="top" ><p class="src" - ><a name="v:hidden" class="def" + ><a href="" id="v:hidden" class="def" >hidden</a > :: <a href="" >Int</a @@ -1813,7 +1853,7 @@ is at the beginning of the line).</pre ><p class="src" ><span class="keyword" >data</span - > <a name="t:Ex" class="def" + > <a href="" id="t:Ex" class="def" >Ex</a > a</p ><div class="doc" @@ -1830,7 +1870,7 @@ is at the beginning of the line).</pre >forall</span > b . <a href="" >C</a - > b => <a name="v:Ex1" class="def" + > b => <a href="" id="v:Ex1" class="def" >Ex1</a > b</td ><td class="doc empty" @@ -1840,7 +1880,7 @@ is at the beginning of the line).</pre ><td class="src" ><span class="keyword" >forall</span - > b . <a name="v:Ex2" class="def" + > b . <a href="" id="v:Ex2" class="def" >Ex2</a > b</td ><td class="doc empty" @@ -1852,7 +1892,7 @@ is at the beginning of the line).</pre >forall</span > b . <a href="" >C</a - > a => <a name="v:Ex3" class="def" + > a => <a href="" id="v:Ex3" class="def" >Ex3</a > b</td ><td class="doc empty" @@ -1860,7 +1900,7 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - ><a name="v:Ex4" class="def" + ><a href="" id="v:Ex4" class="def" >Ex4</a > (<span class="keyword" >forall</span @@ -1875,7 +1915,7 @@ is at the beginning of the line).</pre >Type signatures with argument docs</h1 ><div class="top" ><p class="src" - ><a name="v:k" class="def" + ><a href="" id="v:k" class="def" >k</a ></p ><div class="subs arguments" @@ -1963,7 +2003,7 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a name="v:l" class="def" + ><a href="" id="v:l" class="def" >l</a ></p ><div class="subs arguments" @@ -2003,7 +2043,7 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a name="v:m" class="def" + ><a href="" id="v:m" class="def" >m</a ></p ><div class="subs arguments" @@ -2049,7 +2089,7 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a name="v:o" class="def" + ><a href="" id="v:o" class="def" >o</a ></p ><div class="subs arguments" @@ -2099,7 +2139,7 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a name="v:f-39-" class="def" + ><a href="" id="v:f-39-" class="def" >f'</a > :: <a href="" >Int</a @@ -2116,7 +2156,7 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a name="v:withType" class="def" + ><a href="" id="v:withType" class="def" >withType</a > :: <a href="" >Int</a @@ -2128,7 +2168,7 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a name="v:withoutType" class="def" + ><a href="" id="v:withoutType" class="def" >withoutType</a > :: t</p ><div class="doc" @@ -2142,7 +2182,7 @@ is at the beginning of the line).</pre ><p >Produced by <a href="" >Haddock</a - > version 2.15.0</p + > version 2.16.2</p ></div ></body ></html |