diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2021-02-04 21:49:05 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-02-06 11:53:31 -0500 |
| commit | bf8ba2525e95319bdbcfc81d06448b646eba3a57 (patch) | |
| tree | 83aac2bf137fccb8ae49916da9265b7b7fd41833 /html-test/ref/Bug1004.html | |
| parent | e1230ede3d1c77a6916e318aefcd47829e56035c (diff) | |
| parent | 1bdbf284b4ba20ee1738b13c4e3414384955f6f3 (diff) | |
Merge remote-tracking branch 'origin/ghc-head' into wip/ghc-head-merge
Diffstat (limited to 'html-test/ref/Bug1004.html')
| -rw-r--r-- | html-test/ref/Bug1004.html | 300 |
1 files changed, 150 insertions, 150 deletions
diff --git a/html-test/ref/Bug1004.html b/html-test/ref/Bug1004.html index 9327f8ee..b4ce3c88 100644 --- a/html-test/ref/Bug1004.html +++ b/html-test/ref/Bug1004.html @@ -116,12 +116,8 @@ >Type</a >)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -738,14 +734,14 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Eq1:8" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Show1:8" ></span > (<a href="#" title="Data.Functor.Classes" - >Eq1</a + >Show1</a > f, <a href="#" title="Data.Functor.Classes" - >Eq1</a + >Show1</a > g) => <a href="#" title="Data.Functor.Classes" - >Eq1</a + >Show1</a > (<a href="#" title="Bug1004" >Product</a > f g)</span @@ -759,7 +755,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:Product:Eq1:8" + ><details id="i:id:Product:Show1:8" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -771,67 +767,35 @@ >Methods</p ><p class="src" ><a href="#" - >liftEq</a - > :: (a -> b -> <a href="#" title="Data.Bool" - >Bool</a - >) -> <a href="#" title="Bug1004" - >Product</a - > f g a -> <a href="#" title="Bug1004" + >liftShowsPrec</a + > :: (<a href="#" title="Data.Int" + >Int</a + > -> a -> <a href="#" title="Text.Show" + >ShowS</a + >) -> ([a] -> <a href="#" title="Text.Show" + >ShowS</a + >) -> <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Bug1004" >Product</a - > f g b -> <a href="#" title="Data.Bool" - >Bool</a + > f g a -> <a href="#" title="Text.Show" + >ShowS</a > <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:id:Product:Ord1:9" - ></span - > (<a href="#" title="Data.Functor.Classes" - >Ord1</a - > f, <a href="#" title="Data.Functor.Classes" - >Ord1</a - > g) => <a href="#" title="Data.Functor.Classes" - >Ord1</a - > (<a href="#" title="Bug1004" - >Product</a - > f g)</span - ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td - ></tr - ><tr - ><td colspan="2" - ><details id="i:id:Product:Ord1:9" - ><summary class="hide-when-js-enabled" - >Instance details</summary - ><p - >Defined in <a href="#" - >Data.Functor.Product</a - ></p - > <div class="subs methods" - ><p class="caption" - >Methods</p ><p class="src" ><a href="#" - >liftCompare</a - > :: (a -> b -> <a href="#" title="Data.Ord" - >Ordering</a - >) -> <a href="#" title="Bug1004" - >Product</a - > f g a -> <a href="#" title="Bug1004" + >liftShowList</a + > :: (<a href="#" title="Data.Int" + >Int</a + > -> a -> <a href="#" title="Text.Show" + >ShowS</a + >) -> ([a] -> <a href="#" title="Text.Show" + >ShowS</a + >) -> [<a href="#" title="Bug1004" >Product</a - > f g b -> <a href="#" title="Data.Ord" - >Ordering</a + > f g a] -> <a href="#" title="Text.Show" + >ShowS</a > <a href="#" class="selflink" >#</a ></p @@ -842,7 +806,7 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Read1:10" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Read1:9" ></span > (<a href="#" title="Data.Functor.Classes" >Read1</a @@ -863,7 +827,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:Product:Read1:10" + ><details id="i:id:Product:Read1:9" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -942,14 +906,14 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Show1:11" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Ord1:10" ></span > (<a href="#" title="Data.Functor.Classes" - >Show1</a + >Ord1</a > f, <a href="#" title="Data.Functor.Classes" - >Show1</a + >Ord1</a > g) => <a href="#" title="Data.Functor.Classes" - >Show1</a + >Ord1</a > (<a href="#" title="Bug1004" >Product</a > f g)</span @@ -963,7 +927,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:Product:Show1:11" + ><details id="i:id:Product:Ord1:10" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -975,35 +939,67 @@ >Methods</p ><p class="src" ><a href="#" - >liftShowsPrec</a - > :: (<a href="#" title="Data.Int" - >Int</a - > -> a -> <a href="#" title="Text.Show" - >ShowS</a - >) -> ([a] -> <a href="#" title="Text.Show" - >ShowS</a - >) -> <a href="#" title="Data.Int" - >Int</a - > -> <a href="#" title="Bug1004" + >liftCompare</a + > :: (a -> b -> <a href="#" title="Data.Ord" + >Ordering</a + >) -> <a href="#" title="Bug1004" >Product</a - > f g a -> <a href="#" title="Text.Show" - >ShowS</a + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g b -> <a href="#" title="Data.Ord" + >Ordering</a > <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:id:Product:Eq1:11" + ></span + > (<a href="#" title="Data.Functor.Classes" + >Eq1</a + > f, <a href="#" title="Data.Functor.Classes" + >Eq1</a + > g) => <a href="#" title="Data.Functor.Classes" + >Eq1</a + > (<a href="#" title="Bug1004" + >Product</a + > f g)</span + ></td + ><td class="doc" + ><p + ><em + >Since: base-4.9.0.0</em + ></p + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:id:Product:Eq1:11" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Data.Functor.Product</a + ></p + > <div class="subs methods" + ><p class="caption" + >Methods</p ><p class="src" ><a href="#" - >liftShowList</a - > :: (<a href="#" title="Data.Int" - >Int</a - > -> a -> <a href="#" title="Text.Show" - >ShowS</a - >) -> ([a] -> <a href="#" title="Text.Show" - >ShowS</a - >) -> [<a href="#" title="Bug1004" + >liftEq</a + > :: (a -> b -> <a href="#" title="Data.Bool" + >Bool</a + >) -> <a href="#" title="Bug1004" >Product</a - > f g a] -> <a href="#" title="Text.Show" - >ShowS</a + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g b -> <a href="#" title="Data.Bool" + >Bool</a > <a href="#" class="selflink" >#</a ></p @@ -1088,14 +1084,14 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Alternative:13" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:MonadPlus:13" ></span - > (<a href="#" title="Control.Applicative" - >Alternative</a - > f, <a href="#" title="Control.Applicative" - >Alternative</a - > g) => <a href="#" title="Control.Applicative" - >Alternative</a + > (<a href="#" title="Control.Monad" + >MonadPlus</a + > f, <a href="#" title="Control.Monad" + >MonadPlus</a + > g) => <a href="#" title="Control.Monad" + >MonadPlus</a > (<a href="#" title="Bug1004" >Product</a > f g)</span @@ -1109,7 +1105,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:Product:Alternative:13" + ><details id="i:id:Product:MonadPlus:13" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -1121,7 +1117,7 @@ >Methods</p ><p class="src" ><a href="#" - >empty</a + >mzero</a > :: <a href="#" title="Bug1004" >Product</a > f g a <a href="#" class="selflink" @@ -1129,7 +1125,7 @@ ></p ><p class="src" ><a href="#" - >(<|>)</a + >mplus</a > :: <a href="#" title="Bug1004" >Product</a > f g a -> <a href="#" title="Bug1004" @@ -1139,26 +1135,6 @@ > f g a <a href="#" class="selflink" >#</a ></p - ><p class="src" - ><a href="#" - >some</a - > :: <a href="#" title="Bug1004" - >Product</a - > f g a -> <a href="#" title="Bug1004" - >Product</a - > f g [a] <a href="#" class="selflink" - >#</a - ></p - ><p class="src" - ><a href="#" - >many</a - > :: <a href="#" title="Bug1004" - >Product</a - > f g a -> <a href="#" title="Bug1004" - >Product</a - > f g [a] <a href="#" class="selflink" - >#</a - ></p ></div ></details ></td @@ -1166,14 +1142,14 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:MonadPlus:14" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Alternative:14" ></span - > (<a href="#" title="Control.Monad" - >MonadPlus</a - > f, <a href="#" title="Control.Monad" - >MonadPlus</a - > g) => <a href="#" title="Control.Monad" - >MonadPlus</a + > (<a href="#" title="Control.Applicative" + >Alternative</a + > f, <a href="#" title="Control.Applicative" + >Alternative</a + > g) => <a href="#" title="Control.Applicative" + >Alternative</a > (<a href="#" title="Bug1004" >Product</a > f g)</span @@ -1187,7 +1163,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:Product:MonadPlus:14" + ><details id="i:id:Product:Alternative:14" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -1199,7 +1175,7 @@ >Methods</p ><p class="src" ><a href="#" - >mzero</a + >empty</a > :: <a href="#" title="Bug1004" >Product</a > f g a <a href="#" class="selflink" @@ -1207,7 +1183,7 @@ ></p ><p class="src" ><a href="#" - >mplus</a + >(<|>)</a > :: <a href="#" title="Bug1004" >Product</a > f g a -> <a href="#" title="Bug1004" @@ -1217,6 +1193,26 @@ > f g a <a href="#" class="selflink" >#</a ></p + ><p class="src" + ><a href="#" + >some</a + > :: <a href="#" title="Bug1004" + >Product</a + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g [a] <a href="#" class="selflink" + >#</a + ></p + ><p class="src" + ><a href="#" + >many</a + > :: <a href="#" title="Bug1004" + >Product</a + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g [a] <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td @@ -1290,13 +1286,13 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Data:16" ></span - > (<a href="#" title="Type.Reflection" + > (<a href="#" title="Data.Typeable" >Typeable</a - > a, <a href="#" title="Type.Reflection" + > a, <a href="#" title="Data.Typeable" >Typeable</a - > f, <a href="#" title="Type.Reflection" + > f, <a href="#" title="Data.Typeable" >Typeable</a - > g, <a href="#" title="Type.Reflection" + > g, <a href="#" title="Data.Typeable" >Typeable</a > k, <a href="#" title="Data.Data" >Data</a @@ -1382,7 +1378,7 @@ ><p class="src" ><a href="#" >dataCast1</a - > :: <a href="#" title="Type.Reflection" + > :: <a href="#" title="Data.Typeable" >Typeable</a > t => (<span class="keyword" >forall</span @@ -1398,7 +1394,7 @@ ><p class="src" ><a href="#" >dataCast2</a - > :: <a href="#" title="Type.Reflection" + > :: <a href="#" title="Data.Typeable" >Typeable</a > t => (<span class="keyword" >forall</span @@ -1820,12 +1816,8 @@ >Product</a > f g a)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -2042,8 +2034,12 @@ >Type</a >)</span ></td - ><td class="doc empty" - > </td + ><td class="doc" + ><p + ><em + >Since: base-4.9.0.0</em + ></p + ></td ></tr ><tr ><td colspan="2" @@ -2132,8 +2128,12 @@ >Product</a > f g a)</span ></td - ><td class="doc empty" - > </td + ><td class="doc" + ><p + ><em + >Since: base-4.9.0.0</em + ></p + ></td ></tr ><tr ><td colspan="2" |