diff options
Diffstat (limited to 'html-test/ref/Instances.html')
| -rw-r--r-- | html-test/ref/Instances.html | 92 |
1 files changed, 42 insertions, 50 deletions
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index 308b97ce..7faa9588 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -242,7 +242,7 @@ ></span > <a href="#" title="Instances" >Foo</a - > <a href="#" title="GHC.Maybe" + > <a href="#" title="Data.Maybe" >Maybe</a ></span > <a href="#" class="selflink" @@ -266,11 +266,11 @@ ><p class="src" ><a href="#" >foo</a - > :: <a href="#" title="GHC.Maybe" + > :: <a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Int" >Int</a - > -> a -> <a href="#" title="GHC.Maybe" + > -> a -> <a href="#" title="Data.Maybe" >Maybe</a > a <a href="#" class="selflink" >#</a @@ -278,15 +278,15 @@ ><p class="src" ><a href="#" >foo'</a - > :: <a href="#" title="GHC.Maybe" + > :: <a href="#" title="Data.Maybe" >Maybe</a - > (<a href="#" title="GHC.Maybe" + > (<a href="#" title="Data.Maybe" >Maybe</a > a) -> <a href="#" title="Data.Int" >Int</a - > -> <a href="#" title="GHC.Maybe" + > -> <a href="#" title="Data.Maybe" >Maybe</a - > (<a href="#" title="GHC.Maybe" + > (<a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Int" >Int</a @@ -706,7 +706,7 @@ ></span > <a href="#" title="Instances" >Bar</a - > <a href="#" title="GHC.Maybe" + > <a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a @@ -732,11 +732,11 @@ ><p class="src" ><a href="#" >bar</a - > :: <a href="#" title="GHC.Maybe" + > :: <a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a - > -> <a href="#" title="GHC.Maybe" + > -> <a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a @@ -748,17 +748,17 @@ ><p class="src" ><a href="#" >bar'</a - > :: <a href="#" title="GHC.Maybe" + > :: <a href="#" title="Data.Maybe" >Maybe</a - > (<a href="#" title="GHC.Maybe" + > (<a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a - >) -> <a href="#" title="GHC.Maybe" + >) -> <a href="#" title="Data.Maybe" >Maybe</a - > (<a href="#" title="GHC.Maybe" + > (<a href="#" title="Data.Maybe" >Maybe</a - > (<a href="#" title="GHC.Maybe" + > (<a href="#" title="Data.Maybe" >Maybe</a > b)) <a href="#" class="selflink" >#</a @@ -766,17 +766,17 @@ ><p class="src" ><a href="#" >bar0</a - > :: (<a href="#" title="GHC.Maybe" + > :: (<a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a - >, <a href="#" title="GHC.Maybe" + >, <a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a - >) -> (<a href="#" title="GHC.Maybe" + >) -> (<a href="#" title="Data.Maybe" >Maybe</a - > b, <a href="#" title="GHC.Maybe" + > b, <a href="#" title="Data.Maybe" >Maybe</a > c) <a href="#" class="selflink" >#</a @@ -784,17 +784,17 @@ ><p class="src" ><a href="#" >bar1</a - > :: (<a href="#" title="GHC.Maybe" + > :: (<a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a - >, <a href="#" title="GHC.Maybe" + >, <a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a - >) -> (<a href="#" title="GHC.Maybe" + >) -> (<a href="#" title="Data.Maybe" >Maybe</a - > b, <a href="#" title="GHC.Maybe" + > b, <a href="#" title="Data.Maybe" >Maybe</a > c) <a href="#" class="selflink" >#</a @@ -810,7 +810,7 @@ ></span > <a href="#" title="Instances" >Bar</a - > <a href="#" title="GHC.Maybe" + > <a href="#" title="Data.Maybe" >Maybe</a > [a]</span > <a href="#" class="selflink" @@ -834,9 +834,9 @@ ><p class="src" ><a href="#" >bar</a - > :: <a href="#" title="GHC.Maybe" + > :: <a href="#" title="Data.Maybe" >Maybe</a - > [a] -> <a href="#" title="GHC.Maybe" + > [a] -> <a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a @@ -846,15 +846,15 @@ ><p class="src" ><a href="#" >bar'</a - > :: <a href="#" title="GHC.Maybe" + > :: <a href="#" title="Data.Maybe" >Maybe</a - > (<a href="#" title="GHC.Maybe" + > (<a href="#" title="Data.Maybe" >Maybe</a - > [a]) -> <a href="#" title="GHC.Maybe" + > [a]) -> <a href="#" title="Data.Maybe" >Maybe</a - > (<a href="#" title="GHC.Maybe" + > (<a href="#" title="Data.Maybe" >Maybe</a - > (<a href="#" title="GHC.Maybe" + > (<a href="#" title="Data.Maybe" >Maybe</a > b)) <a href="#" class="selflink" >#</a @@ -862,13 +862,13 @@ ><p class="src" ><a href="#" >bar0</a - > :: (<a href="#" title="GHC.Maybe" + > :: (<a href="#" title="Data.Maybe" >Maybe</a - > [a], <a href="#" title="GHC.Maybe" + > [a], <a href="#" title="Data.Maybe" >Maybe</a - > [a]) -> (<a href="#" title="GHC.Maybe" + > [a]) -> (<a href="#" title="Data.Maybe" >Maybe</a - > b, <a href="#" title="GHC.Maybe" + > b, <a href="#" title="Data.Maybe" >Maybe</a > c) <a href="#" class="selflink" >#</a @@ -876,13 +876,13 @@ ><p class="src" ><a href="#" >bar1</a - > :: (<a href="#" title="GHC.Maybe" + > :: (<a href="#" title="Data.Maybe" >Maybe</a - > [a], <a href="#" title="GHC.Maybe" + > [a], <a href="#" title="Data.Maybe" >Maybe</a - > [a]) -> (<a href="#" title="GHC.Maybe" + > [a]) -> (<a href="#" title="Data.Maybe" >Maybe</a - > b, <a href="#" title="GHC.Maybe" + > b, <a href="#" title="Data.Maybe" >Maybe</a > c) <a href="#" class="selflink" >#</a @@ -2038,8 +2038,6 @@ >Int</a > c <a href="#" title="Data.Bool" >Bool</a - > :: <a href="#" title="Data.Kind" - >Type</a > <a href="#" class="selflink" >#</a ></p @@ -2050,9 +2048,7 @@ >Thud</a > <a href="#" title="Data.Int" >Int</a - > c :: <a href="#" title="Data.Kind" - >Type</a - > <a href="#" class="selflink" + > c <a href="#" class="selflink" >#</a ></p ></div @@ -2112,9 +2108,7 @@ >type</span > <a href="#" title="Instances" >Plugh</a - > [a] c [b] :: <a href="#" title="Data.Kind" - >Type</a - > <a href="#" class="selflink" + > [a] c [b] <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -2122,9 +2116,7 @@ >data</span > <a href="#" title="Instances" >Thud</a - > [a] c :: <a href="#" title="Data.Kind" - >Type</a - > <a href="#" class="selflink" + > [a] c <a href="#" class="selflink" >#</a ></p ></div |