diff options
Diffstat (limited to 'html-test/ref/Test.html')
| -rw-r--r-- | html-test/ref/Test.html | 424 |
1 files changed, 250 insertions, 174 deletions
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index 4006fffa..49a0cf04 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -133,19 +133,19 @@ ><p >This module illustrates & tests most of the features of Haddock. Testing references from the description: <code - ><a href="#" + ><a href="#" title="Test" >T</a ></code >, <code - ><a href="#" + ><a href="#" title="Test" >f</a ></code >, <code - ><a href="#" + ><a href="#" title="Test" >g</a ></code >, <code - ><a href="#" + ><a href="#" title="Visible" >visible</a ></code >.</p @@ -165,23 +165,23 @@ ><li >= <a href="#" >A</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a - > (<a href="#" + > (<a href="#" title="Data.Maybe" >Maybe</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a >)</li ><li >| <a href="#" >B</a - > (<a href="#" + > (<a href="#" title="Test" >T</a - > a b, <a href="#" + > a b, <a href="#" title="Test" >T</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a >)</li ></ul @@ -357,7 +357,7 @@ ><li ><a href="#" >p</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a ></li ><li @@ -371,7 +371,7 @@ >r</a >, <a href="#" >s</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a ></li ></ul @@ -383,25 +383,25 @@ ><li ><a href="#" >t</a - > :: T1 -> <a href="#" + > :: T1 -> <a href="#" title="Test" >T2</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a - > -> <a href="#" + > -> <a href="#" title="Test" >T3</a - > <a href="#" + > <a href="#" title="Data.Bool" >Bool</a - > <a href="#" + > <a href="#" title="Data.Bool" >Bool</a - > -> <a href="#" + > -> <a href="#" title="Test" >T4</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a - > -> <a href="#" + > -> <a href="#" title="Test" >T5</a > () ()</li ><li @@ -409,7 +409,7 @@ >u</a >, <a href="#" >v</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a ></li ></ul @@ -427,27 +427,51 @@ ><li ><a href="#" >s1</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a ></li ><li ><a href="#" >s2</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a ></li ><li ><a href="#" >s3</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a ></li ></ul >}</li ><li class="src short" + ><a href="#" + >p</a + > :: <a href="#" title="Test" + >R</a + > -> <a href="#" title="Data.Int" + >Int</a + ></li + ><li class="src short" + ><a href="#" + >q</a + > :: <a href="#" title="Test" + >R</a + > -> <span class="keyword" + >forall</span + > a. a -> a</li + ><li class="src short" + ><a href="#" + >u</a + > :: <a href="#" title="Test" + >R</a + > -> <a href="#" title="Data.Int" + >Int</a + ></li + ><li class="src short" ><span class="keyword" >class</span - > <a href="#" + > <a href="#" title="Test" >D</a > a => <a href="#" >C</a @@ -485,33 +509,33 @@ ><li class="src short" ><a href="#" >a</a - > :: <a href="#" + > :: <a href="#" title="Test" >C</a - > a => <a href="#" + > a => <a href="#" title="System.IO" >IO</a > a</li ><li class="src short" ><a href="#" >f</a - > :: <a href="#" + > :: <a href="#" title="Test" >C</a - > a => a -> <a href="#" + > a => a -> <a href="#" title="Data.Int" >Int</a ></li ><li class="src short" ><a href="#" >g</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a - > -> <a href="#" + > -> <a href="#" title="System.IO" >IO</a > CInt</li ><li class="src short" ><a href="#" >hidden</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a - > -> <a href="#" + > -> <a href="#" title="Data.Int" >Int</a ></li ><li class="src short" @@ -525,7 +549,7 @@ >Ex</a > a<ul class="subs" ><li - >= <a href="#" + >= <a href="#" title="Test" >C</a > b => <a href="#" >Ex1</a @@ -535,7 +559,7 @@ >Ex2</a > b</li ><li - >| <a href="#" + >| <a href="#" title="Test" >C</a > a => <a href="#" >Ex3</a @@ -551,75 +575,75 @@ ><li class="src short" ><a href="#" >k</a - > :: <a href="#" + > :: <a href="#" title="Test" >T</a - > () () -> <a href="#" + > () () -> <a href="#" title="Test" >T2</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a - > -> (<a href="#" + > -> (<a href="#" title="Test" >T3</a - > <a href="#" + > <a href="#" title="Data.Bool" >Bool</a - > <a href="#" + > <a href="#" title="Data.Bool" >Bool</a - > -> <a href="#" + > -> <a href="#" title="Test" >T4</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a - >) -> <a href="#" + >) -> <a href="#" title="Test" >T5</a - > () () -> <a href="#" + > () () -> <a href="#" title="System.IO" >IO</a > ()</li ><li class="src short" ><a href="#" >l</a - > :: (<a href="#" + > :: (<a href="#" title="Data.Int" >Int</a - >, <a href="#" + >, <a href="#" title="Data.Int" >Int</a - >, <a href="#" + >, <a href="#" title="Prelude" >Float</a - >) -> <a href="#" + >) -> <a href="#" title="Data.Int" >Int</a ></li ><li class="src short" ><a href="#" >m</a - > :: <a href="#" + > :: <a href="#" title="Test" >R</a - > -> <a href="#" + > -> <a href="#" title="Test" >N1</a - > () -> <a href="#" + > () -> <a href="#" title="System.IO" >IO</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a ></li ><li class="src short" ><a href="#" >o</a - > :: <a href="#" + > :: <a href="#" title="Prelude" >Float</a - > -> <a href="#" + > -> <a href="#" title="System.IO" >IO</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a ></li ><li class="src short" ><a href="#" >f'</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a ></li ><li class="src short" ><a href="#" >withType</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a ></li ><li class="src short" @@ -662,17 +686,17 @@ ><td class="src" ><a id="v:A" class="def" >A</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a - > (<a href="#" + > (<a href="#" title="Data.Maybe" >Maybe</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a >)</td ><td class="doc" ><p >This comment describes the <code - ><a href="#" + ><a href="#" title="Test" >A</a ></code > constructor</p @@ -682,19 +706,19 @@ ><td class="src" ><a id="v:B" class="def" >B</a - > (<a href="#" + > (<a href="#" title="Test" >T</a - > a b, <a href="#" + > a b, <a href="#" title="Test" >T</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a >)</td ><td class="doc" ><p >This comment describes the <code - ><a href="#" + ><a href="#" title="Test" >B</a ></code > constructor</p @@ -806,7 +830,7 @@ ><td class="doc" ><p >documents <code - ><a href="#" + ><a href="#" title="Test" >A3</a ></code ></p @@ -820,7 +844,7 @@ ><td class="doc" ><p >documents <code - ><a href="#" + ><a href="#" title="Test" >B3</a ></code ></p @@ -854,7 +878,7 @@ ><td class="doc" ><p >This is the doc for <code - ><a href="#" + ><a href="#" title="Test" >A4</a ></code ></p @@ -868,7 +892,7 @@ ><td class="doc" ><p >This is the doc for <code - ><a href="#" + ><a href="#" title="Test" >B4</a ></code ></p @@ -882,7 +906,7 @@ ><td class="doc" ><p >This is the doc for <code - ><a href="#" + ><a href="#" title="Test" >C4</a ></code ></p @@ -1004,7 +1028,7 @@ ><div class="doc" ><p >this is the <code - ><a href="#" + ><a href="#" title="Test" >n3</a ></code > field</p @@ -1145,7 +1169,7 @@ ><td class="doc" ><p >The <code - ><a href="#" + ><a href="#" title="Test" >N7</a ></code > constructor</p @@ -1188,24 +1212,24 @@ ><div class="doc" ><p >This is the documentation for the <code - ><a href="#" + ><a href="#" title="Test" >R</a ></code > record, which has four fields, <code - ><a href="#" + ><a href="#" title="Test" >p</a ></code >, <code - ><a href="#" + ><a href="#" title="Test" >q</a ></code >, <code - ><a href="#" + ><a href="#" title="Test" >r</a ></code >, and <code - ><a href="#" + ><a href="#" title="Test" >s</a ></code >.</p @@ -1222,7 +1246,7 @@ ><td class="doc" ><p >This is the <code - ><a href="#" + ><a href="#" title="Test" >C1</a ></code > record constructor, with the following fields:</p @@ -1238,13 +1262,13 @@ ><dfn class="src" ><a id="v:p" class="def" >p</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a ></dfn ><div class="doc" ><p >This comment applies to the <code - ><a href="#" + ><a href="#" title="Test" >p</a ></code > field</p @@ -1260,7 +1284,7 @@ ><div class="doc" ><p >This comment applies to the <code - ><a href="#" + ><a href="#" title="Test" >q</a ></code > field</p @@ -1272,17 +1296,17 @@ >r</a >, <a id="v:s" class="def" >s</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a ></dfn ><div class="doc" ><p >This comment applies to both <code - ><a href="#" + ><a href="#" title="Test" >r</a ></code > and <code - ><a href="#" + ><a href="#" title="Test" >s</a ></code ></p @@ -1300,7 +1324,7 @@ ><td class="doc" ><p >This is the <code - ><a href="#" + ><a href="#" title="Test" >C2</a ></code > record constructor, also with some fields:</p @@ -1316,25 +1340,25 @@ ><dfn class="src" ><a id="v:t" class="def" >t</a - > :: T1 -> <a href="#" + > :: T1 -> <a href="#" title="Test" >T2</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a - > -> <a href="#" + > -> <a href="#" title="Test" >T3</a - > <a href="#" + > <a href="#" title="Data.Bool" >Bool</a - > <a href="#" + > <a href="#" title="Data.Bool" >Bool</a - > -> <a href="#" + > -> <a href="#" title="Test" >T4</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a - > -> <a href="#" + > -> <a href="#" title="Test" >T5</a > () ()</dfn ><div class="doc empty" @@ -1346,7 +1370,7 @@ >u</a >, <a id="v:v" class="def" >v</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a ></dfn ><div class="doc empty" @@ -1384,7 +1408,7 @@ ><td class="doc" ><p >This is the <code - ><a href="#" + ><a href="#" title="Test" >C3</a ></code > record constructor</p @@ -1400,13 +1424,13 @@ ><dfn class="src" ><a id="v:s1" class="def" >s1</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a ></dfn ><div class="doc" ><p >The <code - ><a href="#" + ><a href="#" title="Test" >s1</a ></code > record selector</p @@ -1416,13 +1440,13 @@ ><dfn class="src" ><a id="v:s2" class="def" >s2</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a ></dfn ><div class="doc" ><p >The <code - ><a href="#" + ><a href="#" title="Test" >s2</a ></code > record selector</p @@ -1432,13 +1456,13 @@ ><dfn class="src" ><a id="v:s3" class="def" >s3</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a ></dfn ><div class="doc" ><p >The <code - ><a href="#" + ><a href="#" title="Test" >s3</a ></code > record selector</p @@ -1455,6 +1479,58 @@ ><p >test that we can export record selectors on their own:</p ></div + ><div class="top" + ><p class="src" + ><a id="v:p" class="def" + >p</a + > :: <a href="#" title="Test" + >R</a + > -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >This comment applies to the <code + ><a href="#" title="Test" + >p</a + ></code + > field</p + ></div + ></div + ><div class="top" + ><p class="src" + ><a id="v:q" class="def" + >q</a + > :: <a href="#" title="Test" + >R</a + > -> <span class="keyword" + >forall</span + > a. a -> a <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >This comment applies to the <code + ><a href="#" title="Test" + >q</a + ></code + > field</p + ></div + ></div + ><div class="top" + ><p class="src" + ><a id="v:u" class="def" + >u</a + > :: <a href="#" title="Test" + >R</a + > -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" + >#</a + ></p + ></div ><a href="#" id="g:4" ><h1 >Class declarations</h1 @@ -1463,7 +1539,7 @@ ><p class="src" ><span class="keyword" >class</span - > <a href="#" + > <a href="#" title="Test" >D</a > a => <a id="t:C" class="def" >C</a @@ -1477,7 +1553,7 @@ >This comment applies to the <em >previous</em > declaration (the <code - ><a href="#" + ><a href="#" title="Test" >C</a ></code > class)</p @@ -1486,9 +1562,9 @@ ><p class="caption" >Minimal complete definition</p ><p class="src" - ><a href="#" + ><a href="#" title="Test" >a</a - >, <a href="#" + >, <a href="#" title="Test" >b</a ></p ></div @@ -1498,7 +1574,7 @@ ><p class="src" ><a id="v:a" class="def" >a</a - > :: <a href="#" + > :: <a href="#" title="System.IO" >IO</a > a <a href="#" class="selflink" >#</a @@ -1506,7 +1582,7 @@ ><div class="doc" ><p >this is a description of the <code - ><a href="#" + ><a href="#" title="Test" >a</a ></code > method</p @@ -1520,7 +1596,7 @@ ><div class="doc" ><p >this is a description of the <code - ><a href="#" + ><a href="#" title="Test" >b</a ></code > method</p @@ -1546,9 +1622,9 @@ ><p class="caption" >Minimal complete definition</p ><p class="src" - ><a href="#" + ><a href="#" title="Test" >d</a - >, <a href="#" + >, <a href="#" title="Test" >e</a ></p ></div @@ -1558,7 +1634,7 @@ ><p class="src" ><a id="v:d" class="def" >d</a - > :: <a href="#" + > :: <a href="#" title="Test" >T</a > a b <a href="#" class="selflink" >#</a @@ -1580,9 +1656,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:D:D:1" ></span - > <a href="#" + > <a href="#" title="Test" >D</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a ></span > <a href="#" class="selflink" @@ -1602,9 +1678,9 @@ ><p class="src" ><a href="#" >d</a - > :: <a href="#" + > :: <a href="#" title="Test" >T</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a > b <a href="#" class="selflink" >#</a @@ -1612,9 +1688,9 @@ ><p class="src" ><a href="#" >e</a - > :: (<a href="#" + > :: (<a href="#" title="Prelude" >Float</a - >, <a href="#" + >, <a href="#" title="Prelude" >Float</a >) <a href="#" class="selflink" >#</a @@ -1628,9 +1704,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:D:D:2" ></span - > <a href="#" + > <a href="#" title="Test" >D</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a ></span > <a href="#" class="selflink" @@ -1650,9 +1726,9 @@ ><p class="src" ><a href="#" >d</a - > :: <a href="#" + > :: <a href="#" title="Test" >T</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a > b <a href="#" class="selflink" >#</a @@ -1660,9 +1736,9 @@ ><p class="src" ><a href="#" >e</a - > :: (<a href="#" + > :: (<a href="#" title="Data.Int" >Int</a - >, <a href="#" + >, <a href="#" title="Data.Int" >Int</a >) <a href="#" class="selflink" >#</a @@ -1710,7 +1786,7 @@ ><p class="caption" >Minimal complete definition</p ><p class="src" - ><a href="#" + ><a href="#" title="Test" >ff</a ></p ></div @@ -1733,9 +1809,9 @@ ><p class="src" ><a id="v:a" class="def" >a</a - > :: <a href="#" + > :: <a href="#" title="Test" >C</a - > a => <a href="#" + > a => <a href="#" title="System.IO" >IO</a > a <a href="#" class="selflink" >#</a @@ -1743,7 +1819,7 @@ ><div class="doc" ><p >this is a description of the <code - ><a href="#" + ><a href="#" title="Test" >a</a ></code > method</p @@ -1757,9 +1833,9 @@ ><p class="src" ><a id="v:f" class="def" >f</a - > :: <a href="#" + > :: <a href="#" title="Test" >C</a - > a => a -> <a href="#" + > a => a -> <a href="#" title="Data.Int" >Int</a > <a href="#" class="selflink" >#</a @@ -1768,7 +1844,7 @@ ><p >In a comment string we can refer to identifiers in scope with single quotes like this: <code - ><a href="#" + ><a href="#" title="Test" >T</a ></code >, and we can refer to modules by @@ -1801,7 +1877,7 @@ using double quotes: <a href="#" ></dl ><pre > This is a block of code, which can include other markup: <code - ><a href="#" + ><a href="#" title="Test" >R</a ></code > @@ -1821,9 +1897,9 @@ using double quotes: <a href="#" ><p class="src" ><a id="v:g" class="def" >g</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a - > -> <a href="#" + > -> <a href="#" title="System.IO" >IO</a > CInt <a href="#" class="selflink" >#</a @@ -1936,9 +2012,9 @@ is at the beginning of the line).</pre ><p class="src" ><a id="v:hidden" class="def" >hidden</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a - > -> <a href="#" + > -> <a href="#" title="Data.Int" >Int</a > <a href="#" class="selflink" >#</a @@ -1981,7 +2057,7 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - ><a href="#" + ><a href="#" title="Test" >C</a > b => <a id="v:Ex1" class="def" >Ex1</a @@ -1999,7 +2075,7 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - ><a href="#" + ><a href="#" title="Test" >C</a > a => <a id="v:Ex3" class="def" >Ex3</a @@ -2037,13 +2113,13 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - >:: <a href="#" + >:: <a href="#" title="Test" >T</a > () ()</td ><td class="doc" ><p >This argument has type <code - ><a href="#" + ><a href="#" title="Test" >T</a ></code ></p @@ -2051,11 +2127,11 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="#" + >-> <a href="#" title="Test" >T2</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a ></td ><td class="doc" @@ -2065,17 +2141,17 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> (<a href="#" + >-> (<a href="#" title="Test" >T3</a - > <a href="#" + > <a href="#" title="Data.Bool" >Bool</a - > <a href="#" + > <a href="#" title="Data.Bool" >Bool</a - > -> <a href="#" + > -> <a href="#" title="Test" >T4</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a >)</td ><td class="doc" @@ -2087,7 +2163,7 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="#" + >-> <a href="#" title="Test" >T5</a > () ()</td ><td class="doc" @@ -2099,7 +2175,7 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="#" + >-> <a href="#" title="System.IO" >IO</a > ()</td ><td class="doc" @@ -2127,11 +2203,11 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - >:: (<a href="#" + >:: (<a href="#" title="Data.Int" >Int</a - >, <a href="#" + >, <a href="#" title="Data.Int" >Int</a - >, <a href="#" + >, <a href="#" title="Prelude" >Float</a >)</td ><td class="doc" @@ -2141,13 +2217,13 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="#" + >-> <a href="#" title="Data.Int" >Int</a ></td ><td class="doc" ><p >returns an <code - ><a href="#" + ><a href="#" title="Data.Int" >Int</a ></code ></p @@ -2169,7 +2245,7 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - >:: <a href="#" + >:: <a href="#" title="Test" >R</a ></td ><td class="doc empty" @@ -2177,7 +2253,7 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="#" + >-> <a href="#" title="Test" >N1</a > ()</td ><td class="doc" @@ -2187,9 +2263,9 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="#" + >-> <a href="#" title="System.IO" >IO</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a ></td ><td class="doc" @@ -2217,7 +2293,7 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - >:: <a href="#" + >:: <a href="#" title="Prelude" >Float</a ></td ><td class="doc" @@ -2227,9 +2303,9 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="#" + >-> <a href="#" title="System.IO" >IO</a - > <a href="#" + > <a href="#" title="Prelude" >Float</a ></td ><td class="doc" @@ -2264,7 +2340,7 @@ is at the beginning of the line).</pre ><p class="src" ><a id="v:f-39-" class="def" >f'</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a > <a href="#" class="selflink" >#</a @@ -2272,7 +2348,7 @@ is at the beginning of the line).</pre ><div class="doc" ><p >a function with a prime can be referred to as <code - ><a href="#" + ><a href="#" title="Test" >f'</a ></code > @@ -2283,7 +2359,7 @@ is at the beginning of the line).</pre ><p class="src" ><a id="v:withType" class="def" >withType</a - > :: <a href="#" + > :: <a href="#" title="Data.Int" >Int</a > <a href="#" class="selflink" >#</a |