diff options
Diffstat (limited to 'html-test/ref/Instances.html')
| -rw-r--r-- | html-test/ref/Instances.html | 360 |
1 files changed, 183 insertions, 177 deletions
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index c6a6b5ca..9e9f2300 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -38,6 +38,12 @@ ><td >Safe-Inferred</td ></tr + ><tr + ><th + >Language</th + ><td + >Haskell2010</td + ></tr ></table ><p class="caption" >Instances</p @@ -194,7 +200,9 @@ ></span > <a href="#" title="Instances" >Foo</a - > []</span + > <a href="#" title="Data.Maybe" + >Maybe</a + ></span > <a href="#" class="selflink" >#</a ></td @@ -216,19 +224,31 @@ ><p class="src" ><a href="#" >foo</a - > :: [<a href="#" title="Data.Int" + > :: <a href="#" title="Data.Maybe" + >Maybe</a + > <a href="#" title="Data.Int" >Int</a - >] -> a -> [a] <a href="#" class="selflink" + > -> a -> <a href="#" title="Data.Maybe" + >Maybe</a + > a <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: [[a]] -> <a href="#" title="Data.Int" + > :: <a href="#" title="Data.Maybe" + >Maybe</a + > (<a href="#" title="Data.Maybe" + >Maybe</a + > a) -> <a href="#" title="Data.Int" >Int</a - > -> [[<a href="#" title="Data.Int" + > -> <a href="#" title="Data.Maybe" + >Maybe</a + > (<a href="#" title="Data.Maybe" + >Maybe</a + > <a href="#" title="Data.Int" >Int</a - >]] <a href="#" class="selflink" + >) <a href="#" class="selflink" >#</a ></p ></div @@ -242,9 +262,7 @@ ></span > <a href="#" title="Instances" >Foo</a - > <a href="#" title="Data.Maybe" - >Maybe</a - ></span + > []</span > <a href="#" class="selflink" >#</a ></td @@ -266,31 +284,19 @@ ><p class="src" ><a href="#" >foo</a - > :: <a href="#" title="Data.Maybe" - >Maybe</a - > <a href="#" title="Data.Int" + > :: [<a href="#" title="Data.Int" >Int</a - > -> a -> <a href="#" title="Data.Maybe" - >Maybe</a - > a <a href="#" class="selflink" + >] -> a -> [a] <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: <a href="#" title="Data.Maybe" - >Maybe</a - > (<a href="#" title="Data.Maybe" - >Maybe</a - > a) -> <a href="#" title="Data.Int" + > :: [[a]] -> <a href="#" title="Data.Int" >Int</a - > -> <a href="#" title="Data.Maybe" - >Maybe</a - > (<a href="#" title="Data.Maybe" - >Maybe</a - > <a href="#" title="Data.Int" + > -> [[<a href="#" title="Data.Int" >Int</a - >) <a href="#" class="selflink" + >]] <a href="#" class="selflink" >#</a ></p ></div @@ -364,15 +370,11 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:4" ></span - > (<a href="#" title="Data.Eq" - >Eq</a - > a, <a href="#" title="Instances" - >Foo</a - > f) => <a href="#" title="Instances" + > <a href="#" title="Instances" >Foo</a - > (<a href="#" title="GHC.Tuple" - >(,)</a - > (f a))</span + > (<a href="#" title="Instances" + >(<~~)</a + > a)</span > <a href="#" class="selflink" >#</a ></td @@ -394,19 +396,31 @@ ><p class="src" ><a href="#" >foo</a - > :: (f a, <a href="#" title="Data.Int" + > :: (a <a href="#" title="Instances" + ><~~</a + > <a href="#" title="Data.Int" >Int</a - >) -> a0 -> (f a, a0) <a href="#" class="selflink" + >) -> a0 -> a <a href="#" title="Instances" + ><~~</a + > a0 <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: (f a, (f a, a0)) -> <a href="#" title="Data.Int" + > :: (a <a href="#" title="Instances" + ><~~</a + > (a <a href="#" title="Instances" + ><~~</a + > a0)) -> <a href="#" title="Data.Int" >Int</a - > -> (f a, (f a, <a href="#" title="Data.Int" + > -> a <a href="#" title="Instances" + ><~~</a + > (a <a href="#" title="Instances" + ><~~</a + > <a href="#" title="Data.Int" >Int</a - >)) <a href="#" class="selflink" + >) <a href="#" class="selflink" >#</a ></p ></div @@ -418,11 +432,15 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:5" ></span - > <a href="#" title="Instances" + > (<a href="#" title="Data.Eq" + >Eq</a + > a, <a href="#" title="Instances" >Foo</a - > (<a href="#" title="Instances" - >(<~~)</a - > a)</span + > f) => <a href="#" title="Instances" + >Foo</a + > (<a href="#" title="GHC.Tuple" + >(,)</a + > (f a))</span > <a href="#" class="selflink" >#</a ></td @@ -444,31 +462,19 @@ ><p class="src" ><a href="#" >foo</a - > :: (a <a href="#" title="Instances" - ><~~</a - > <a href="#" title="Data.Int" + > :: (f a, <a href="#" title="Data.Int" >Int</a - >) -> a0 -> a <a href="#" title="Instances" - ><~~</a - > a0 <a href="#" class="selflink" + >) -> a0 -> (f a, a0) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: (a <a href="#" title="Instances" - ><~~</a - > (a <a href="#" title="Instances" - ><~~</a - > a0)) -> <a href="#" title="Data.Int" + > :: (f a, (f a, a0)) -> <a href="#" title="Data.Int" >Int</a - > -> a <a href="#" title="Instances" - ><~~</a - > (a <a href="#" title="Instances" - ><~~</a - > <a href="#" title="Data.Int" + > -> (f a, (f a, <a href="#" title="Data.Int" >Int</a - >) <a href="#" class="selflink" + >)) <a href="#" class="selflink" >#</a ></p ></div @@ -482,9 +488,9 @@ ></span > <a href="#" title="Instances" >Foo</a - > (<a href="#" title="GHC.Tuple" - >(,,)</a - > a a)</span + > (<a href="#" title="Instances" + >Quux</a + > a b)</span > <a href="#" class="selflink" >#</a ></td @@ -506,19 +512,31 @@ ><p class="src" ><a href="#" >foo</a - > :: (a, a, <a href="#" title="Data.Int" + > :: <a href="#" title="Instances" + >Quux</a + > a b <a href="#" title="Data.Int" >Int</a - >) -> a0 -> (a, a, a0) <a href="#" class="selflink" + > -> a0 -> <a href="#" title="Instances" + >Quux</a + > a b a0 <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: (a, a, (a, a, a0)) -> <a href="#" title="Data.Int" + > :: <a href="#" title="Instances" + >Quux</a + > a b (<a href="#" title="Instances" + >Quux</a + > a b a0) -> <a href="#" title="Data.Int" >Int</a - > -> (a, a, (a, a, <a href="#" title="Data.Int" + > -> <a href="#" title="Instances" + >Quux</a + > a b (<a href="#" title="Instances" + >Quux</a + > a b <a href="#" title="Data.Int" >Int</a - >)) <a href="#" class="selflink" + >) <a href="#" class="selflink" >#</a ></p ></div @@ -532,9 +550,9 @@ ></span > <a href="#" title="Instances" >Foo</a - > (<a href="#" title="Instances" - >Quux</a - > a b)</span + > (<a href="#" title="GHC.Tuple" + >(,,)</a + > a a)</span > <a href="#" class="selflink" >#</a ></td @@ -556,31 +574,19 @@ ><p class="src" ><a href="#" >foo</a - > :: <a href="#" title="Instances" - >Quux</a - > a b <a href="#" title="Data.Int" + > :: (a, a, <a href="#" title="Data.Int" >Int</a - > -> a0 -> <a href="#" title="Instances" - >Quux</a - > a b a0 <a href="#" class="selflink" + >) -> a0 -> (a, a, a0) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: <a href="#" title="Instances" - >Quux</a - > a b (<a href="#" title="Instances" - >Quux</a - > a b a0) -> <a href="#" title="Data.Int" + > :: (a, a, (a, a, a0)) -> <a href="#" title="Data.Int" >Int</a - > -> <a href="#" title="Instances" - >Quux</a - > a b (<a href="#" title="Instances" - >Quux</a - > a b <a href="#" title="Data.Int" + > -> (a, a, (a, a, <a href="#" title="Data.Int" >Int</a - >) <a href="#" class="selflink" + >)) <a href="#" class="selflink" >#</a ></p ></div @@ -1039,68 +1045,6 @@ ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Bar:Bar:5" ></span > <a href="#" title="Instances" - >Foo</a - > (<a href="#" title="GHC.Tuple" - >(,,)</a - > a b) => <a href="#" title="Instances" - >Bar</a - > (<a href="#" title="GHC.Tuple" - >(,,)</a - > a b) (a, b, a)</span - > <a href="#" class="selflink" - >#</a - ></td - ><td class="doc empty" - > </td - ></tr - ><tr - ><td colspan="2" - ><details id="i:ic:Bar:Bar:5" - ><summary class="hide-when-js-enabled" - >Instance details</summary - ><p - >Defined in <a href="#" - >Instances</a - ></p - > <div class="subs methods" - ><p class="caption" - >Methods</p - ><p class="src" - ><a href="#" - >bar</a - > :: (a, b, (a, b, a)) -> (a, b, <a href="#" title="Data.Bool" - >Bool</a - >) -> (a, b, a) <a href="#" class="selflink" - >#</a - ></p - ><p class="src" - ><a href="#" - >bar'</a - > :: (a, b, (a, b, (a, b, a))) -> (a, b, (a, b, (a, b, b0))) <a href="#" class="selflink" - >#</a - ></p - ><p class="src" - ><a href="#" - >bar0</a - > :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b0), (a, b, c)) <a href="#" class="selflink" - >#</a - ></p - ><p class="src" - ><a href="#" - >bar1</a - > :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b0), (a, b, c)) <a href="#" class="selflink" - >#</a - ></p - ></div - ></details - ></td - ></tr - ><tr - ><td class="src clearfix" - ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Bar:Bar:6" - ></span - > <a href="#" title="Instances" >Bar</a > (<a href="#" title="Instances" >Quux</a @@ -1115,7 +1059,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:ic:Bar:Bar:6" + ><details id="i:ic:Bar:Bar:5" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -1199,6 +1143,68 @@ ></details ></td ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Bar:Bar:6" + ></span + > <a href="#" title="Instances" + >Foo</a + > (<a href="#" title="GHC.Tuple" + >(,,)</a + > a b) => <a href="#" title="Instances" + >Bar</a + > (<a href="#" title="GHC.Tuple" + >(,,)</a + > a b) (a, b, a)</span + > <a href="#" class="selflink" + >#</a + ></td + ><td class="doc empty" + > </td + ></tr + ><tr + ><td colspan="2" + ><details id="i:ic:Bar:Bar:6" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" + ><p class="caption" + >Methods</p + ><p class="src" + ><a href="#" + >bar</a + > :: (a, b, (a, b, a)) -> (a, b, <a href="#" title="Data.Bool" + >Bool</a + >) -> (a, b, a) <a href="#" class="selflink" + >#</a + ></p + ><p class="src" + ><a href="#" + >bar'</a + > :: (a, b, (a, b, (a, b, a))) -> (a, b, (a, b, (a, b, b0))) <a href="#" class="selflink" + >#</a + ></p + ><p class="src" + ><a href="#" + >bar0</a + > :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b0), (a, b, c)) <a href="#" class="selflink" + >#</a + ></p + ><p class="src" + ><a href="#" + >bar1</a + > :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b0), (a, b, c)) <a href="#" class="selflink" + >#</a + ></p + ></div + ></details + ></td + ></tr ></table ></details ></div @@ -1394,7 +1400,9 @@ ></span > <a href="#" title="Instances" >Baz</a - > (a, b, c)</span + > (<a href="#" title="Instances" + >Quux</a + > a b c)</span > <a href="#" class="selflink" >#</a ></td @@ -1416,11 +1424,15 @@ ><p class="src" ><a href="#" >baz</a - > :: (a, b, c) -> (<span class="keyword" + > :: <a href="#" title="Instances" + >Quux</a + > a b c -> (<span class="keyword" >forall</span > a0. a0 -> a0) -> (b0, <span class="keyword" >forall</span - > c0. c0 -> (a, b, c)) -> (b0, c1) <a href="#" class="selflink" + > c0. c0 -> <a href="#" title="Instances" + >Quux</a + > a b c) -> (b0, c1) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1428,9 +1440,15 @@ >baz'</a > :: b0 -> (<span class="keyword" >forall</span - > b1. b1 -> (a, b, c)) -> (<span class="keyword" + > b1. b1 -> <a href="#" title="Instances" + >Quux</a + > a b c) -> (<span class="keyword" >forall</span - > b2. b2 -> (a, b, c)) -> [(b0, (a, b, c))] <a href="#" class="selflink" + > b2. b2 -> <a href="#" title="Instances" + >Quux</a + > a b c) -> [(b0, <a href="#" title="Instances" + >Quux</a + > a b c)] <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1440,7 +1458,9 @@ >forall</span > b1. (<span class="keyword" >forall</span - > b2. b2 -> (a, b, c)) -> c0) -> <span class="keyword" + > b2. b2 -> <a href="#" title="Instances" + >Quux</a + > a b c) -> c0) -> <span class="keyword" >forall</span > c1. c1 -> b0 <a href="#" class="selflink" >#</a @@ -1456,9 +1476,7 @@ ></span > <a href="#" title="Instances" >Baz</a - > (<a href="#" title="Instances" - >Quux</a - > a b c)</span + > (a, b, c)</span > <a href="#" class="selflink" >#</a ></td @@ -1480,15 +1498,11 @@ ><p class="src" ><a href="#" >baz</a - > :: <a href="#" title="Instances" - >Quux</a - > a b c -> (<span class="keyword" + > :: (a, b, c) -> (<span class="keyword" >forall</span > a0. a0 -> a0) -> (b0, <span class="keyword" >forall</span - > c0. c0 -> <a href="#" title="Instances" - >Quux</a - > a b c) -> (b0, c1) <a href="#" class="selflink" + > c0. c0 -> (a, b, c)) -> (b0, c1) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1496,15 +1510,9 @@ >baz'</a > :: b0 -> (<span class="keyword" >forall</span - > b1. b1 -> <a href="#" title="Instances" - >Quux</a - > a b c) -> (<span class="keyword" + > b1. b1 -> (a, b, c)) -> (<span class="keyword" >forall</span - > b2. b2 -> <a href="#" title="Instances" - >Quux</a - > a b c) -> [(b0, <a href="#" title="Instances" - >Quux</a - > a b c)] <a href="#" class="selflink" + > b2. b2 -> (a, b, c)) -> [(b0, (a, b, c))] <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1514,9 +1522,7 @@ >forall</span > b1. (<span class="keyword" >forall</span - > b2. b2 -> <a href="#" title="Instances" - >Quux</a - > a b c) -> c0) -> <span class="keyword" + > b2. b2 -> (a, b, c)) -> c0) -> <span class="keyword" >forall</span > c1. c1 -> b0 <a href="#" class="selflink" >#</a |