diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2022-08-06 13:58:27 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-06 13:58:27 -0400 |
| commit | e8fe591fecf626fe4540ed666d147c61728c890f (patch) | |
| tree | 5a1a1d4d63c6315539a3606cc223b941f4c8620a /html-test/ref/Bug1004.html | |
| parent | 2f1711b301fea88eb1d0b40d1c04b2f0539fd882 (diff) | |
| parent | 7f2892b571c7b072c86edbf21b7c7469e21f6303 (diff) | |
Merge pull request #1518 from bgamari/wip/ghc-9.4-merge
Merge GHC 9.4 into `main`
Diffstat (limited to 'html-test/ref/Bug1004.html')
| -rw-r--r-- | html-test/ref/Bug1004.html | 212 |
1 files changed, 50 insertions, 162 deletions
diff --git a/html-test/ref/Bug1004.html b/html-test/ref/Bug1004.html index 3324fae1..bbe2f599 100644 --- a/html-test/ref/Bug1004.html +++ b/html-test/ref/Bug1004.html @@ -48,26 +48,6 @@ ><p class="caption" >Bug1004</p ></div - ><div id="synopsis" - ><details id="syn" - ><summary - >Synopsis</summary - ><ul class="details-toggle" data-details-id="syn" - ><li class="src short" - ><span class="keyword" - >data</span - > <a href="#" - >Product</a - > (f :: k -> <a href="#" title="Data.Kind" - >Type</a - >) (g :: k -> <a href="#" title="Data.Kind" - >Type</a - >) (a :: k) = <a href="#" - >Pair</a - > (f a) (g a)</li - ></ul - ></details - ></div ><div id="interface" ><h1 >Documentation</h1 @@ -84,10 +64,6 @@ >) (a :: k) <a href="#" class="selflink" >#</a ></p - ><div class="doc" - ><p - >Lifted product of functors.</p - ></div ><div class="subs constructors" ><p class="caption" >Constructors</p @@ -200,12 +176,8 @@ >Product</a > f g)</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" @@ -248,12 +220,8 @@ >Product</a > f g)</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" @@ -322,12 +290,8 @@ >Product</a > f g)</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" @@ -518,12 +482,8 @@ >Product</a > f g)</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" @@ -570,12 +530,8 @@ >Product</a > f g)</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" @@ -622,12 +578,8 @@ >Product</a > f g)</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" @@ -722,12 +674,8 @@ >Product</a > f g)</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" @@ -794,12 +742,8 @@ >Product</a > f g)</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" @@ -880,12 +824,8 @@ >Product</a > f g)</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" @@ -958,12 +898,8 @@ >Product</a > f g)</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" @@ -1052,12 +988,8 @@ >Product</a > f g)</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" @@ -1110,12 +1042,8 @@ >Product</a > f g)</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" @@ -1180,12 +1108,8 @@ >Product</a > f g)</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" @@ -1228,13 +1152,13 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Data:15" ></span - > (<a href="#" title="Data.Typeable" + > (<a href="#" title="Type.Reflection" >Typeable</a - > a, <a href="#" title="Data.Typeable" + > a, <a href="#" title="Type.Reflection" >Typeable</a - > f, <a href="#" title="Data.Typeable" + > f, <a href="#" title="Type.Reflection" >Typeable</a - > g, <a href="#" title="Data.Typeable" + > g, <a href="#" title="Type.Reflection" >Typeable</a > k, <a href="#" title="Data.Data" >Data</a @@ -1246,12 +1170,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" @@ -1320,7 +1240,7 @@ ><p class="src" ><a href="#" >dataCast1</a - > :: <a href="#" title="Data.Typeable" + > :: <a href="#" title="Type.Reflection" >Typeable</a > t => (<span class="keyword" >forall</span @@ -1336,7 +1256,7 @@ ><p class="src" ><a href="#" >dataCast2</a - > :: <a href="#" title="Data.Typeable" + > :: <a href="#" title="Type.Reflection" >Typeable</a > t => (<span class="keyword" >forall</span @@ -1484,12 +1404,8 @@ >Product</a > f g a)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.16.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -1552,12 +1468,8 @@ >Product</a > f g a)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.16.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -1700,12 +1612,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" @@ -1782,12 +1690,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" @@ -1854,12 +1758,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" @@ -1918,12 +1818,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" @@ -2040,12 +1936,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" @@ -2134,12 +2026,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" |