diff options
Diffstat (limited to 'html-test/ref/Test.html')
-rw-r--r-- | html-test/ref/Test.html | 320 |
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 -> <a href="#" title="Test" >T2</a - > <a href="#" title="Data.Int" - >Int</a - > <a href="#" title="Data.Int" - >Int</a - > -> <a href="#" title="Test" + > Int Int -> <a href="#" title="Test" >T3</a - > <a href="#" title="Data.Bool" - >Bool</a - > <a href="#" title="Data.Bool" - >Bool</a - > -> <a href="#" title="Test" + > Bool Bool -> <a href="#" title="Test" >T4</a - > <a href="#" title="Prelude" - >Float</a - > <a href="#" title="Prelude" - >Float</a - > -> <a href="#" title="Test" + > Float Float -> <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 - > -> <a href="#" title="Data.Int" - >Int</a - ></li + > -> Int</li ><li class="src short" ><a href="#" >q</a @@ -465,9 +429,7 @@ >u</a > :: <a href="#" title="Test" >R</a - > -> <a href="#" title="Data.Int" - >Int</a - ></li + > -> 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 => <a href="#" title="System.IO" - >IO</a - > a</li + > a => IO a</li ><li class="src short" ><a href="#" >f</a > :: <a href="#" title="Test" >C</a - > a => a -> <a href="#" title="Data.Int" - >Int</a - ></li + > a => a -> Int</li ><li class="src short" ><a href="#" >g</a - > :: <a href="#" title="Data.Int" - >Int</a - > -> <a href="#" title="System.IO" - >IO</a - > CInt</li + > :: Int -> IO CInt</li ><li class="src short" ><a href="#" >hidden</a - > :: <a href="#" title="Data.Int" - >Int</a - > -> <a href="#" title="Data.Int" - >Int</a - ></li + > :: Int -> Int</li ><li class="src short" >module <a href="#" >Visible</a @@ -603,39 +551,17 @@ >T</a > () () -> <a href="#" title="Test" >T2</a - > <a href="#" title="Data.Int" - >Int</a - > <a href="#" title="Data.Int" - >Int</a - > -> (<a href="#" title="Test" + > Int Int -> (<a href="#" title="Test" >T3</a - > <a href="#" title="Data.Bool" - >Bool</a - > <a href="#" title="Data.Bool" - >Bool</a - > -> <a href="#" title="Test" + > Bool Bool -> <a href="#" title="Test" >T4</a - > <a href="#" title="Prelude" - >Float</a - > <a href="#" title="Prelude" - >Float</a - >) -> <a href="#" title="Test" + > Float Float) -> <a href="#" title="Test" >T5</a - > () () -> <a href="#" title="System.IO" - >IO</a - > ()</li + > () () -> 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 - >) -> <a href="#" title="Data.Int" - >Int</a - ></li + > :: (Int, Int, Float) -> Int</li ><li class="src short" ><a href="#" >m</a @@ -643,33 +569,19 @@ >R</a > -> <a href="#" title="Test" >N1</a - > () -> <a href="#" title="System.IO" - >IO</a - > <a href="#" title="Data.Int" - >Int</a - ></li + > () -> IO Int</li ><li class="src short" ><a href="#" >o</a - > :: <a href="#" title="Prelude" - >Float</a - > -> <a href="#" title="System.IO" - >IO</a - > <a href="#" title="Prelude" - >Float</a - ></li + > :: Float -> 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 -> <a href="#" title="Test" >T2</a - > <a href="#" title="Data.Int" - >Int</a - > <a href="#" title="Data.Int" - >Int</a - > -> <a href="#" title="Test" + > Int Int -> <a href="#" title="Test" >T3</a - > <a href="#" title="Data.Bool" - >Bool</a - > <a href="#" title="Data.Bool" - >Bool</a - > -> <a href="#" title="Test" + > Bool Bool -> <a href="#" title="Test" >T4</a - > <a href="#" title="Prelude" - >Float</a - > <a href="#" title="Prelude" - >Float</a - > -> <a href="#" title="Test" + > Float Float -> <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 - > -> <a href="#" title="Data.Int" - >Int</a - > <a href="#" class="selflink" + > -> Int <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -1549,9 +1425,7 @@ >u</a > :: <a href="#" title="Test" >R</a - > -> <a href="#" title="Data.Int" - >Int</a - > <a href="#" class="selflink" + > -> 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 => <a href="#" title="System.IO" - >IO</a - > a <a href="#" class="selflink" + > a => IO a <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -1839,9 +1693,7 @@ >f</a > :: <a href="#" title="Test" >C</a - > a => a -> <a href="#" title="Data.Int" - >Int</a - > <a href="#" class="selflink" + > a => a -> 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 - > -> <a href="#" title="System.IO" - >IO</a - > CInt <a href="#" class="selflink" + > :: Int -> 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 - > -> <a href="#" title="Data.Int" - >Int</a - > <a href="#" class="selflink" + > :: Int -> Int <a href="#" class="selflink" >#</a ></p ></div @@ -2133,11 +1977,7 @@ is at the beginning of the line).</pre ><td class="src" >-> <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" >-> (<a href="#" title="Test" >T3</a - > <a href="#" title="Data.Bool" - >Bool</a - > <a href="#" title="Data.Bool" - >Bool</a - > -> <a href="#" title="Test" + > Bool Bool -> <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" - >-> <a href="#" title="System.IO" - >IO</a - > ()</td + >-> 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" - >-> <a href="#" title="Data.Int" - >Int</a - ></td + >-> 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" - >-> <a href="#" title="System.IO" - >IO</a - > <a href="#" title="Data.Int" - >Int</a - ></td + >-> 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" - >-> <a href="#" title="System.IO" - >IO</a - > <a href="#" title="Prelude" - >Float</a - ></td + >-> 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" |