aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Test.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/Test.html')
-rw-r--r--html-test/ref/Test.html320
1 files changed, 63 insertions, 257 deletions
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index 26481afe..d4c2417c 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -165,13 +165,7 @@
><li
>= <a href="#"
>A</a
- > <a href="#" title="Data.Int"
- >Int</a
- > (<a href="#" title="Data.Maybe"
- >Maybe</a
- > <a href="#" title="Prelude"
- >Float</a
- >)</li
+ > Int (Maybe Float)</li
><li
>| <a href="#"
>B</a
@@ -179,11 +173,7 @@
>T</a
> a b, <a href="#" title="Test"
>T</a
- > <a href="#" title="Data.Int"
- >Int</a
- > <a href="#" title="Prelude"
- >Float</a
- >)</li
+ > Int Float)</li
></ul
></li
><li class="src short"
@@ -357,9 +347,7 @@
><li
><a href="#"
>p</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- ></li
+ > :: Int</li
><li
><a href="#"
>q</a
@@ -371,9 +359,7 @@
>r</a
>, <a href="#"
>s</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- ></li
+ > :: Int</li
></ul
> }</li
><li
@@ -385,23 +371,11 @@
>t</a
> :: T1 -&gt; <a href="#" title="Test"
>T2</a
- > <a href="#" title="Data.Int"
- >Int</a
- > <a href="#" title="Data.Int"
- >Int</a
- > -&gt; <a href="#" title="Test"
+ > Int Int -&gt; <a href="#" title="Test"
>T3</a
- > <a href="#" title="Data.Bool"
- >Bool</a
- > <a href="#" title="Data.Bool"
- >Bool</a
- > -&gt; <a href="#" title="Test"
+ > Bool Bool -&gt; <a href="#" title="Test"
>T4</a
- > <a href="#" title="Prelude"
- >Float</a
- > <a href="#" title="Prelude"
- >Float</a
- > -&gt; <a href="#" title="Test"
+ > Float Float -&gt; <a href="#" title="Test"
>T5</a
> () ()</li
><li
@@ -409,9 +383,7 @@
>u</a
>, <a href="#"
>v</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- ></li
+ > :: Int</li
></ul
> }</li
></ul
@@ -427,21 +399,15 @@
><li
><a href="#"
>s1</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- ></li
+ > :: Int</li
><li
><a href="#"
>s2</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- ></li
+ > :: Int</li
><li
><a href="#"
>s3</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- ></li
+ > :: Int</li
></ul
>}</li
><li class="src short"
@@ -449,9 +415,7 @@
>p</a
> :: <a href="#" title="Test"
>R</a
- > -&gt; <a href="#" title="Data.Int"
- >Int</a
- ></li
+ > -&gt; Int</li
><li class="src short"
><a href="#"
>q</a
@@ -465,9 +429,7 @@
>u</a
> :: <a href="#" title="Test"
>R</a
- > -&gt; <a href="#" title="Data.Int"
- >Int</a
- ></li
+ > -&gt; Int</li
><li class="src short"
><span class="keyword"
>class</span
@@ -481,9 +443,7 @@
><li
><a href="#"
>a</a
- > :: <a href="#" title="System.IO"
- >IO</a
- > a</li
+ > :: IO a</li
><li
><a href="#"
>b</a
@@ -535,33 +495,21 @@
>a</a
> :: <a href="#" title="Test"
>C</a
- > a =&gt; <a href="#" title="System.IO"
- >IO</a
- > a</li
+ > a =&gt; IO a</li
><li class="src short"
><a href="#"
>f</a
> :: <a href="#" title="Test"
>C</a
- > a =&gt; a -&gt; <a href="#" title="Data.Int"
- >Int</a
- ></li
+ > a =&gt; a -&gt; Int</li
><li class="src short"
><a href="#"
>g</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- > -&gt; <a href="#" title="System.IO"
- >IO</a
- > CInt</li
+ > :: Int -&gt; IO CInt</li
><li class="src short"
><a href="#"
>hidden</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- > -&gt; <a href="#" title="Data.Int"
- >Int</a
- ></li
+ > :: Int -&gt; Int</li
><li class="src short"
>module <a href="#"
>Visible</a
@@ -603,39 +551,17 @@
>T</a
> () () -&gt; <a href="#" title="Test"
>T2</a
- > <a href="#" title="Data.Int"
- >Int</a
- > <a href="#" title="Data.Int"
- >Int</a
- > -&gt; (<a href="#" title="Test"
+ > Int Int -&gt; (<a href="#" title="Test"
>T3</a
- > <a href="#" title="Data.Bool"
- >Bool</a
- > <a href="#" title="Data.Bool"
- >Bool</a
- > -&gt; <a href="#" title="Test"
+ > Bool Bool -&gt; <a href="#" title="Test"
>T4</a
- > <a href="#" title="Prelude"
- >Float</a
- > <a href="#" title="Prelude"
- >Float</a
- >) -&gt; <a href="#" title="Test"
+ > Float Float) -&gt; <a href="#" title="Test"
>T5</a
- > () () -&gt; <a href="#" title="System.IO"
- >IO</a
- > ()</li
+ > () () -&gt; IO ()</li
><li class="src short"
><a href="#"
>l</a
- > :: (<a href="#" title="Data.Int"
- >Int</a
- >, <a href="#" title="Data.Int"
- >Int</a
- >, <a href="#" title="Prelude"
- >Float</a
- >) -&gt; <a href="#" title="Data.Int"
- >Int</a
- ></li
+ > :: (Int, Int, Float) -&gt; Int</li
><li class="src short"
><a href="#"
>m</a
@@ -643,33 +569,19 @@
>R</a
> -&gt; <a href="#" title="Test"
>N1</a
- > () -&gt; <a href="#" title="System.IO"
- >IO</a
- > <a href="#" title="Data.Int"
- >Int</a
- ></li
+ > () -&gt; IO Int</li
><li class="src short"
><a href="#"
>o</a
- > :: <a href="#" title="Prelude"
- >Float</a
- > -&gt; <a href="#" title="System.IO"
- >IO</a
- > <a href="#" title="Prelude"
- >Float</a
- ></li
+ > :: Float -&gt; IO Float</li
><li class="src short"
><a href="#"
>f'</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- ></li
+ > :: Int</li
><li class="src short"
><a href="#"
>withType</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- ></li
+ > :: Int</li
><li class="src short"
><a href="#"
>withoutType</a
@@ -710,13 +622,7 @@
><td class="src"
><a id="v:A" class="def"
>A</a
- > <a href="#" title="Data.Int"
- >Int</a
- > (<a href="#" title="Data.Maybe"
- >Maybe</a
- > <a href="#" title="Prelude"
- >Float</a
- >)</td
+ > Int (Maybe Float)</td
><td class="doc"
><p
>This comment describes the <code
@@ -734,11 +640,7 @@
>T</a
> a b, <a href="#" title="Test"
>T</a
- > <a href="#" title="Data.Int"
- >Int</a
- > <a href="#" title="Prelude"
- >Float</a
- >)</td
+ > Int Float)</td
><td class="doc"
><p
>This comment describes the <code
@@ -1286,9 +1188,7 @@
><dfn class="src"
><a id="v:p" class="def"
>p</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- ></dfn
+ > :: Int</dfn
><div class="doc"
><p
>This comment applies to the <code
@@ -1320,9 +1220,7 @@
>r</a
>, <a id="v:s" class="def"
>s</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- ></dfn
+ > :: Int</dfn
><div class="doc"
><p
>This comment applies to both <code
@@ -1366,23 +1264,11 @@
>t</a
> :: T1 -&gt; <a href="#" title="Test"
>T2</a
- > <a href="#" title="Data.Int"
- >Int</a
- > <a href="#" title="Data.Int"
- >Int</a
- > -&gt; <a href="#" title="Test"
+ > Int Int -&gt; <a href="#" title="Test"
>T3</a
- > <a href="#" title="Data.Bool"
- >Bool</a
- > <a href="#" title="Data.Bool"
- >Bool</a
- > -&gt; <a href="#" title="Test"
+ > Bool Bool -&gt; <a href="#" title="Test"
>T4</a
- > <a href="#" title="Prelude"
- >Float</a
- > <a href="#" title="Prelude"
- >Float</a
- > -&gt; <a href="#" title="Test"
+ > Float Float -&gt; <a href="#" title="Test"
>T5</a
> () ()</dfn
><div class="doc empty"
@@ -1394,9 +1280,7 @@
>u</a
>, <a id="v:v" class="def"
>v</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- ></dfn
+ > :: Int</dfn
><div class="doc empty"
></div
></li
@@ -1448,9 +1332,7 @@
><dfn class="src"
><a id="v:s1" class="def"
>s1</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- ></dfn
+ > :: Int</dfn
><div class="doc"
><p
>The <code
@@ -1464,9 +1346,7 @@
><dfn class="src"
><a id="v:s2" class="def"
>s2</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- ></dfn
+ > :: Int</dfn
><div class="doc"
><p
>The <code
@@ -1480,9 +1360,7 @@
><dfn class="src"
><a id="v:s3" class="def"
>s3</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- ></dfn
+ > :: Int</dfn
><div class="doc"
><p
>The <code
@@ -1509,9 +1387,7 @@
>p</a
> :: <a href="#" title="Test"
>R</a
- > -&gt; <a href="#" title="Data.Int"
- >Int</a
- > <a href="#" class="selflink"
+ > -&gt; Int <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -1549,9 +1425,7 @@
>u</a
> :: <a href="#" title="Test"
>R</a
- > -&gt; <a href="#" title="Data.Int"
- >Int</a
- > <a href="#" class="selflink"
+ > -&gt; Int <a href="#" class="selflink"
>#</a
></p
></div
@@ -1588,9 +1462,7 @@
><p class="src"
><a id="v:a" class="def"
>a</a
- > :: <a href="#" title="System.IO"
- >IO</a
- > a <a href="#" class="selflink"
+ > :: IO a <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -1662,9 +1534,7 @@
></span
> <a href="#" title="Test"
>D</a
- > <a href="#" title="Prelude"
- >Float</a
- ></span
+ > Float</span
> <a href="#" class="selflink"
>#</a
></td
@@ -1688,19 +1558,13 @@
>d</a
> :: <a href="#" title="Test"
>T</a
- > <a href="#" title="Prelude"
- >Float</a
- > b <a href="#" class="selflink"
+ > Float b <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>e</a
- > :: (<a href="#" title="Prelude"
- >Float</a
- >, <a href="#" title="Prelude"
- >Float</a
- >) <a href="#" class="selflink"
+ > :: (Float, Float) <a href="#" class="selflink"
>#</a
></p
></div
@@ -1714,9 +1578,7 @@
></span
> <a href="#" title="Test"
>D</a
- > <a href="#" title="Data.Int"
- >Int</a
- ></span
+ > Int</span
> <a href="#" class="selflink"
>#</a
></td
@@ -1740,19 +1602,13 @@
>d</a
> :: <a href="#" title="Test"
>T</a
- > <a href="#" title="Data.Int"
- >Int</a
- > b <a href="#" class="selflink"
+ > Int b <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>e</a
- > :: (<a href="#" title="Data.Int"
- >Int</a
- >, <a href="#" title="Data.Int"
- >Int</a
- >) <a href="#" class="selflink"
+ > :: (Int, Int) <a href="#" class="selflink"
>#</a
></p
></div
@@ -1815,9 +1671,7 @@
>a</a
> :: <a href="#" title="Test"
>C</a
- > a =&gt; <a href="#" title="System.IO"
- >IO</a
- > a <a href="#" class="selflink"
+ > a =&gt; IO a <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -1839,9 +1693,7 @@
>f</a
> :: <a href="#" title="Test"
>C</a
- > a =&gt; a -&gt; <a href="#" title="Data.Int"
- >Int</a
- > <a href="#" class="selflink"
+ > a =&gt; a -&gt; Int <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -1901,11 +1753,7 @@ using double quotes: <a href="#"
><p class="src"
><a id="v:g" class="def"
>g</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- > -&gt; <a href="#" title="System.IO"
- >IO</a
- > CInt <a href="#" class="selflink"
+ > :: Int -&gt; IO CInt <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -2016,11 +1864,7 @@ is at the beginning of the line).</pre
><p class="src"
><a id="v:hidden" class="def"
>hidden</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- > -&gt; <a href="#" title="Data.Int"
- >Int</a
- > <a href="#" class="selflink"
+ > :: Int -&gt; Int <a href="#" class="selflink"
>#</a
></p
></div
@@ -2133,11 +1977,7 @@ is at the beginning of the line).</pre
><td class="src"
>-&gt; <a href="#" title="Test"
>T2</a
- > <a href="#" title="Data.Int"
- >Int</a
- > <a href="#" title="Data.Int"
- >Int</a
- ></td
+ > Int Int</td
><td class="doc"
><p
>This argument has type 'T2 Int Int'</p
@@ -2147,17 +1987,9 @@ is at the beginning of the line).</pre
><td class="src"
>-&gt; (<a href="#" title="Test"
>T3</a
- > <a href="#" title="Data.Bool"
- >Bool</a
- > <a href="#" title="Data.Bool"
- >Bool</a
- > -&gt; <a href="#" title="Test"
+ > Bool Bool -&gt; <a href="#" title="Test"
>T4</a
- > <a href="#" title="Prelude"
- >Float</a
- > <a href="#" title="Prelude"
- >Float</a
- >)</td
+ > Float Float)</td
><td class="doc"
><p
>This argument has type <code
@@ -2179,9 +2011,7 @@ is at the beginning of the line).</pre
></tr
><tr
><td class="src"
- >-&gt; <a href="#" title="System.IO"
- >IO</a
- > ()</td
+ >-&gt; IO ()</td
><td class="doc"
><p
>This is the result type</p
@@ -2207,13 +2037,7 @@ is at the beginning of the line).</pre
><table
><tr
><td class="src"
- >:: (<a href="#" title="Data.Int"
- >Int</a
- >, <a href="#" title="Data.Int"
- >Int</a
- >, <a href="#" title="Prelude"
- >Float</a
- >)</td
+ >:: (Int, Int, Float)</td
><td class="doc"
><p
>takes a triple</p
@@ -2221,15 +2045,11 @@ is at the beginning of the line).</pre
></tr
><tr
><td class="src"
- >-&gt; <a href="#" title="Data.Int"
- >Int</a
- ></td
+ >-&gt; Int</td
><td class="doc"
><p
>returns an <code
- ><a href="#" title="Data.Int"
- >Int</a
- ></code
+ >Int</code
></p
></td
></tr
@@ -2267,11 +2087,7 @@ is at the beginning of the line).</pre
></tr
><tr
><td class="src"
- >-&gt; <a href="#" title="System.IO"
- >IO</a
- > <a href="#" title="Data.Int"
- >Int</a
- ></td
+ >-&gt; IO Int</td
><td class="doc"
><p
>and the return value</p
@@ -2297,9 +2113,7 @@ is at the beginning of the line).</pre
><table
><tr
><td class="src"
- >:: <a href="#" title="Prelude"
- >Float</a
- ></td
+ >:: Float</td
><td class="doc"
><p
>The input float</p
@@ -2307,11 +2121,7 @@ is at the beginning of the line).</pre
></tr
><tr
><td class="src"
- >-&gt; <a href="#" title="System.IO"
- >IO</a
- > <a href="#" title="Prelude"
- >Float</a
- ></td
+ >-&gt; IO Float</td
><td class="doc"
><p
>The output float</p
@@ -2344,9 +2154,7 @@ is at the beginning of the line).</pre
><p class="src"
><a id="v:f-39-" class="def"
>f'</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- > <a href="#" class="selflink"
+ > :: Int <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -2363,9 +2171,7 @@ is at the beginning of the line).</pre
><p class="src"
><a id="v:withType" class="def"
>withType</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- > <a href="#" class="selflink"
+ > :: Int <a href="#" class="selflink"
>#</a
></p
><div class="doc"