Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC

Commits:

14 changed files:

Changes:

  • libraries/ghc-internal/src/GHC/Internal/Exception/Backtrace.hs
    ... ... @@ -3,16 +3,7 @@
    3 3 
     {-# LANGUAGE NamedFieldPuns #-}
    4 4 
     {-# LANGUAGE RankNTypes #-}
    5 5
    6 
    -module GHC.Internal.Exception.Backtrace
    7 
    -    ( -- * Backtrace mechanisms
    8 
    -      BacktraceMechanism(..)
    9 
    -    , getBacktraceMechanismState
    10 
    -    , setBacktraceMechanismState
    11 
    -      -- * Collecting backtraces
    12 
    -    , Backtraces(..)
    13 
    -    , displayBacktraces
    14 
    -    , collectBacktraces
    15 
    -    ) where
    6 
    +module GHC.Internal.Exception.Backtrace where
    16 7
    17 8 
     import GHC.Internal.Base
    18 9 
     import GHC.Internal.Data.OldList

  • utils/haddock/haddock-api/resources/html/Linuwial.std-theme/linuwial.css
    ... ... @@ -571,10 +571,15 @@ table.info {
    571 571 
       margin-left: 0;
    572 572 
     }
    573 573
    574 
    +#interface span.unbreakable,
    574 575 
     #interface td.src {
    575 576 
       white-space: nowrap;
    576 577 
     }
    577 578
    579 
    +#interface span.breakable {
    580 
    +  white-space: pre-wrap;
    581 
    +}
    582 
    +
    578 583 
     /* @end */
    579 584
    580 585 
     /* @group Main Content */

  • utils/haddock/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs
    ... ... @@ -735,7 +735,7 @@ ppContext cxt unicode qual emptyCtxts = ppContextNoLocs (map unLoc cxt) unicode
    735 735 
     ppHsContext :: [HsType DocNameI] -> Unicode -> Qualification -> Html
    736 736 
     ppHsContext [] _ _ = noHtml
    737 737 
     ppHsContext [p] unicode qual = ppCtxType unicode qual p
    738 
    -ppHsContext cxt unicode qual = parenList (map (ppType unicode qual HideEmptyContexts) cxt)
    738 
    +ppHsContext cxt unicode qual = parenBreakableList (map (ppType unicode qual HideEmptyContexts) cxt)
    739 739
    740 740 
     -------------------------------------------------------------------------------
    741 741

  • utils/haddock/haddock-api/src/Haddock/Backends/Xhtml/Utils.hs
    ... ... @@ -29,6 +29,7 @@ module Haddock.Backends.Xhtml.Utils
    29 29 
       , pabrackets
    30 30 
       , parens
    31 31 
       , parenList
    32 
    +  , parenBreakableList
    32 33 
       , ubxParenList
    33 34 
       , ubxSumList
    34 35 
       , arrow
    ... ... @@ -176,6 +177,10 @@ punctuate h (d0 : ds) = go d0 ds
    176 177 
         go d [] = [d]
    177 178 
         go d (e : es) = (d +++ h) : go e es
    178 179
    180 
    +parenBreakableList :: [Html] -> Html
    181 
    +parenBreakableList = (thespan ! [theclass "breakable"]) . parens . hsep . punctuate comma
    182 
    +                     . map (thespan ! [theclass "unbreakable"])
    183 
    +
    179 184 
     parenList :: [Html] -> Html
    180 185 
     parenList = parens . hsep . punctuate comma
    181 186

  • utils/haddock/haddock-api/src/Haddock/Interface/LexParseRn.hs
    ... ... @@ -155,6 +155,7 @@ rename sDocContext renamer = rn
    155 155 
                   | otherwise = isTermVarOrFieldNameSpace
    156 156 
                 typeNsChoices
    157 157 
                   | isDataOcc occ = isTcClsNameSpace
    158 
    +              | isSymOcc occ = isTcClsNameSpace
    158 159 
                   | otherwise = isTvNameSpace
    159 160 
             -- Generate the choices for the possible kind of thing this
    160 161 
             -- is. We narrow down the possibilities with the namespace (if

  • utils/haddock/html-test/ref/Bug1004.html
    ... ... @@ -304,11 +304,17 @@
    304 304 
     		  ><span class="inst-left"
    305 305 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Foldable1:2"
    306 306 
     		      ></span
    307 
    -		      > (<a href="#" title="Data.Foldable1"
    308 
    -		      >Foldable1</a
    309 
    -		      > f, <a href="#" title="Data.Foldable1"
    310 
    -		      >Foldable1</a
    311 
    -		      > g) =&gt; <a href="#" title="Data.Foldable1"
    307 
    +		      > <span class="breakable"
    308 
    +		      >(<span class="unbreakable"
    309 
    +			><a href="#" title="Data.Foldable1"
    310 
    +			  >Foldable1</a
    311 
    +			  > f</span
    312 
    +			>, <span class="unbreakable"
    313 
    +			><a href="#" title="Data.Foldable1"
    314 
    +			  >Foldable1</a
    315 
    +			  > g</span
    316 
    +			>)</span
    317 
    +		      > =&gt; <a href="#" title="Data.Foldable1"
    312 318 
     		      >Foldable1</a
    313 319 
     		      > (<a href="#" title="Bug1004"
    314 320 
     		      >Product</a
    ... ... @@ -459,11 +465,17 @@
    459 465 
     		  ><span class="inst-left"
    460 466 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Eq1:3"
    461 467 
     		      ></span
    462 
    -		      > (<a href="#" title="Data.Functor.Classes"
    463 
    -		      >Eq1</a
    464 
    -		      > f, <a href="#" title="Data.Functor.Classes"
    465 
    -		      >Eq1</a
    466 
    -		      > g) =&gt; <a href="#" title="Data.Functor.Classes"
    468 
    +		      > <span class="breakable"
    469 
    +		      >(<span class="unbreakable"
    470 
    +			><a href="#" title="Data.Functor.Classes"
    471 
    +			  >Eq1</a
    472 
    +			  > f</span
    473 
    +			>, <span class="unbreakable"
    474 
    +			><a href="#" title="Data.Functor.Classes"
    475 
    +			  >Eq1</a
    476 
    +			  > g</span
    477 
    +			>)</span
    478 
    +		      > =&gt; <a href="#" title="Data.Functor.Classes"
    467 479 
     		      >Eq1</a
    468 480 
     		      > (<a href="#" title="Bug1004"
    469 481 
     		      >Product</a
    ... ... @@ -513,11 +525,17 @@
    513 525 
     		  ><span class="inst-left"
    514 526 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Ord1:4"
    515 527 
     		      ></span
    516 
    -		      > (<a href="#" title="Data.Functor.Classes"
    517 
    -		      >Ord1</a
    518 
    -		      > f, <a href="#" title="Data.Functor.Classes"
    519 
    -		      >Ord1</a
    520 
    -		      > g) =&gt; <a href="#" title="Data.Functor.Classes"
    528 
    +		      > <span class="breakable"
    529 
    +		      >(<span class="unbreakable"
    530 
    +			><a href="#" title="Data.Functor.Classes"
    531 
    +			  >Ord1</a
    532 
    +			  > f</span
    533 
    +			>, <span class="unbreakable"
    534 
    +			><a href="#" title="Data.Functor.Classes"
    535 
    +			  >Ord1</a
    536 
    +			  > g</span
    537 
    +			>)</span
    538 
    +		      > =&gt; <a href="#" title="Data.Functor.Classes"
    521 539 
     		      >Ord1</a
    522 540 
     		      > (<a href="#" title="Bug1004"
    523 541 
     		      >Product</a
    ... ... @@ -567,11 +585,17 @@
    567 585 
     		  ><span class="inst-left"
    568 586 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Read1:5"
    569 587 
     		      ></span
    570 
    -		      > (<a href="#" title="Data.Functor.Classes"
    571 
    -		      >Read1</a
    572 
    -		      > f, <a href="#" title="Data.Functor.Classes"
    573 
    -		      >Read1</a
    574 
    -		      > g) =&gt; <a href="#" title="Data.Functor.Classes"
    588 
    +		      > <span class="breakable"
    589 
    +		      >(<span class="unbreakable"
    590 
    +			><a href="#" title="Data.Functor.Classes"
    591 
    +			  >Read1</a
    592 
    +			  > f</span
    593 
    +			>, <span class="unbreakable"
    594 
    +			><a href="#" title="Data.Functor.Classes"
    595 
    +			  >Read1</a
    596 
    +			  > g</span
    597 
    +			>)</span
    598 
    +		      > =&gt; <a href="#" title="Data.Functor.Classes"
    575 599 
     		      >Read1</a
    576 600 
     		      > (<a href="#" title="Bug1004"
    577 601 
     		      >Product</a
    ... ... @@ -669,11 +693,17 @@
    669 693 
     		  ><span class="inst-left"
    670 694 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Show1:6"
    671 695 
     		      ></span
    672 
    -		      > (<a href="#" title="Data.Functor.Classes"
    673 
    -		      >Show1</a
    674 
    -		      > f, <a href="#" title="Data.Functor.Classes"
    675 
    -		      >Show1</a
    676 
    -		      > g) =&gt; <a href="#" title="Data.Functor.Classes"
    696 
    +		      > <span class="breakable"
    697 
    +		      >(<span class="unbreakable"
    698 
    +			><a href="#" title="Data.Functor.Classes"
    699 
    +			  >Show1</a
    700 
    +			  > f</span
    701 
    +			>, <span class="unbreakable"
    702 
    +			><a href="#" title="Data.Functor.Classes"
    703 
    +			  >Show1</a
    704 
    +			  > g</span
    705 
    +			>)</span
    706 
    +		      > =&gt; <a href="#" title="Data.Functor.Classes"
    677 707 
     		      >Show1</a
    678 708 
     		      > (<a href="#" title="Bug1004"
    679 709 
     		      >Product</a
    ... ... @@ -743,11 +773,17 @@
    743 773 
     		  ><span class="inst-left"
    744 774 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Contravariant:7"
    745 775 
     		      ></span
    746 
    -		      > (<a href="#" title="Data.Functor.Contravariant"
    747 
    -		      >Contravariant</a
    748 
    -		      > f, <a href="#" title="Data.Functor.Contravariant"
    749 
    -		      >Contravariant</a
    750 
    -		      > g) =&gt; <a href="#" title="Data.Functor.Contravariant"
    776 
    +		      > <span class="breakable"
    777 
    +		      >(<span class="unbreakable"
    778 
    +			><a href="#" title="Data.Functor.Contravariant"
    779 
    +			  >Contravariant</a
    780 
    +			  > f</span
    781 
    +			>, <span class="unbreakable"
    782 
    +			><a href="#" title="Data.Functor.Contravariant"
    783 
    +			  >Contravariant</a
    784 
    +			  > g</span
    785 
    +			>)</span
    786 
    +		      > =&gt; <a href="#" title="Data.Functor.Contravariant"
    751 787 
     		      >Contravariant</a
    752 788 
     		      > (<a href="#" title="Bug1004"
    753 789 
     		      >Product</a
    ... ... @@ -799,11 +835,17 @@
    799 835 
     		  ><span class="inst-left"
    800 836 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Alternative:8"
    801 837 
     		      ></span
    802 
    -		      > (<a href="#" title="Control.Applicative"
    803 
    -		      >Alternative</a
    804 
    -		      > f, <a href="#" title="Control.Applicative"
    805 
    -		      >Alternative</a
    806 
    -		      > g) =&gt; <a href="#" title="Control.Applicative"
    838 
    +		      > <span class="breakable"
    839 
    +		      >(<span class="unbreakable"
    840 
    +			><a href="#" title="Control.Applicative"
    841 
    +			  >Alternative</a
    842 
    +			  > f</span
    843 
    +			>, <span class="unbreakable"
    844 
    +			><a href="#" title="Control.Applicative"
    845 
    +			  >Alternative</a
    846 
    +			  > g</span
    847 
    +			>)</span
    848 
    +		      > =&gt; <a href="#" title="Control.Applicative"
    807 849 
     		      >Alternative</a
    808 850 
     		      > (<a href="#" title="Bug1004"
    809 851 
     		      >Product</a
    ... ... @@ -879,11 +921,17 @@
    879 921 
     		  ><span class="inst-left"
    880 922 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Applicative:9"
    881 923 
     		      ></span
    882 
    -		      > (<a href="#" title="Control.Applicative"
    883 
    -		      >Applicative</a
    884 
    -		      > f, <a href="#" title="Control.Applicative"
    885 
    -		      >Applicative</a
    886 
    -		      > g) =&gt; <a href="#" title="Control.Applicative"
    924 
    +		      > <span class="breakable"
    925 
    +		      >(<span class="unbreakable"
    926 
    +			><a href="#" title="Control.Applicative"
    927 
    +			  >Applicative</a
    928 
    +			  > f</span
    929 
    +			>, <span class="unbreakable"
    930 
    +			><a href="#" title="Control.Applicative"
    931 
    +			  >Applicative</a
    932 
    +			  > g</span
    933 
    +			>)</span
    934 
    +		      > =&gt; <a href="#" title="Control.Applicative"
    887 935 
     		      >Applicative</a
    888 936 
     		      > (<a href="#" title="Bug1004"
    889 937 
     		      >Product</a
    ... ... @@ -975,11 +1023,17 @@
    975 1023 
     		  ><span class="inst-left"
    976 1024 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Functor:10"
    977 1025 
     		      ></span
    978 
    -		      > (<a href="#" title="Control.Monad"
    979 
    -		      >Functor</a
    980 
    -		      > f, <a href="#" title="Control.Monad"
    981 
    -		      >Functor</a
    982 
    -		      > g) =&gt; <a href="#" title="Control.Monad"
    1026 
    +		      > <span class="breakable"
    1027 
    +		      >(<span class="unbreakable"
    1028 
    +			><a href="#" title="Control.Monad"
    1029 
    +			  >Functor</a
    1030 
    +			  > f</span
    1031 
    +			>, <span class="unbreakable"
    1032 
    +			><a href="#" title="Control.Monad"
    1033 
    +			  >Functor</a
    1034 
    +			  > g</span
    1035 
    +			>)</span
    1036 
    +		      > =&gt; <a href="#" title="Control.Monad"
    983 1037 
     		      >Functor</a
    984 1038 
     		      > (<a href="#" title="Bug1004"
    985 1039 
     		      >Product</a
    ... ... @@ -1035,11 +1089,17 @@
    1035 1089 
     		  ><span class="inst-left"
    1036 1090 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Monad:11"
    1037 1091 
     		      ></span
    1038 
    -		      > (<a href="#" title="Control.Monad"
    1039 
    -		      >Monad</a
    1040 
    -		      > f, <a href="#" title="Control.Monad"
    1041 
    -		      >Monad</a
    1042 
    -		      > g) =&gt; <a href="#" title="Control.Monad"
    1092 
    +		      > <span class="breakable"
    1093 
    +		      >(<span class="unbreakable"
    1094 
    +			><a href="#" title="Control.Monad"
    1095 
    +			  >Monad</a
    1096 
    +			  > f</span
    1097 
    +			>, <span class="unbreakable"
    1098 
    +			><a href="#" title="Control.Monad"
    1099 
    +			  >Monad</a
    1100 
    +			  > g</span
    1101 
    +			>)</span
    1102 
    +		      > =&gt; <a href="#" title="Control.Monad"
    1043 1103 
     		      >Monad</a
    1044 1104 
     		      > (<a href="#" title="Bug1004"
    1045 1105 
     		      >Product</a
    ... ... @@ -1107,11 +1167,17 @@
    1107 1167 
     		  ><span class="inst-left"
    1108 1168 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:MonadPlus:12"
    1109 1169 
     		      ></span
    1110 
    -		      > (<a href="#" title="Control.Monad"
    1111 
    -		      >MonadPlus</a
    1112 
    -		      > f, <a href="#" title="Control.Monad"
    1113 
    -		      >MonadPlus</a
    1114 
    -		      > g) =&gt; <a href="#" title="Control.Monad"
    1170 
    +		      > <span class="breakable"
    1171 
    +		      >(<span class="unbreakable"
    1172 
    +			><a href="#" title="Control.Monad"
    1173 
    +			  >MonadPlus</a
    1174 
    +			  > f</span
    1175 
    +			>, <span class="unbreakable"
    1176 
    +			><a href="#" title="Control.Monad"
    1177 
    +			  >MonadPlus</a
    1178 
    +			  > g</span
    1179 
    +			>)</span
    1180 
    +		      > =&gt; <a href="#" title="Control.Monad"
    1115 1181 
     		      >MonadPlus</a
    1116 1182 
     		      > (<a href="#" title="Bug1004"
    1117 1183 
     		      >Product</a
    ... ... @@ -1167,11 +1233,17 @@
    1167 1233 
     		  ><span class="inst-left"
    1168 1234 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:MonadFix:13"
    1169 1235 
     		      ></span
    1170 
    -		      > (<a href="#" title="Control.Monad.Fix"
    1171 
    -		      >MonadFix</a
    1172 
    -		      > f, <a href="#" title="Control.Monad.Fix"
    1173 
    -		      >MonadFix</a
    1174 
    -		      > g) =&gt; <a href="#" title="Control.Monad.Fix"
    1236 
    +		      > <span class="breakable"
    1237 
    +		      >(<span class="unbreakable"
    1238 
    +			><a href="#" title="Control.Monad.Fix"
    1239 
    +			  >MonadFix</a
    1240 
    +			  > f</span
    1241 
    +			>, <span class="unbreakable"
    1242 
    +			><a href="#" title="Control.Monad.Fix"
    1243 
    +			  >MonadFix</a
    1244 
    +			  > g</span
    1245 
    +			>)</span
    1246 
    +		      > =&gt; <a href="#" title="Control.Monad.Fix"
    1175 1247 
     		      >MonadFix</a
    1176 1248 
     		      > (<a href="#" title="Bug1004"
    1177 1249 
     		      >Product</a
    ... ... @@ -1217,11 +1289,17 @@
    1217 1289 
     		  ><span class="inst-left"
    1218 1290 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:MonadZip:14"
    1219 1291 
     		      ></span
    1220 
    -		      > (<a href="#" title="Control.Monad.Zip"
    1221 
    -		      >MonadZip</a
    1222 
    -		      > f, <a href="#" title="Control.Monad.Zip"
    1223 
    -		      >MonadZip</a
    1224 
    -		      > g) =&gt; <a href="#" title="Control.Monad.Zip"
    1292 
    +		      > <span class="breakable"
    1293 
    +		      >(<span class="unbreakable"
    1294 
    +			><a href="#" title="Control.Monad.Zip"
    1295 
    +			  >MonadZip</a
    1296 
    +			  > f</span
    1297 
    +			>, <span class="unbreakable"
    1298 
    +			><a href="#" title="Control.Monad.Zip"
    1299 
    +			  >MonadZip</a
    1300 
    +			  > g</span
    1301 
    +			>)</span
    1302 
    +		      > =&gt; <a href="#" title="Control.Monad.Zip"
    1225 1303 
     		      >MonadZip</a
    1226 1304 
     		      > (<a href="#" title="Bug1004"
    1227 1305 
     		      >Product</a
    ... ... @@ -1293,11 +1371,17 @@
    1293 1371 
     		  ><span class="inst-left"
    1294 1372 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Foldable:15"
    1295 1373 
     		      ></span
    1296 
    -		      > (<a href="#" title="Data.Foldable"
    1297 
    -		      >Foldable</a
    1298 
    -		      > f, <a href="#" title="Data.Foldable"
    1299 
    -		      >Foldable</a
    1300 
    -		      > g) =&gt; <a href="#" title="Data.Foldable"
    1374 
    +		      > <span class="breakable"
    1375 
    +		      >(<span class="unbreakable"
    1376 
    +			><a href="#" title="Data.Foldable"
    1377 
    +			  >Foldable</a
    1378 
    +			  > f</span
    1379 
    +			>, <span class="unbreakable"
    1380 
    +			><a href="#" title="Data.Foldable"
    1381 
    +			  >Foldable</a
    1382 
    +			  > g</span
    1383 
    +			>)</span
    1384 
    +		      > =&gt; <a href="#" title="Data.Foldable"
    1301 1385 
     		      >Foldable</a
    1302 1386 
     		      > (<a href="#" title="Bug1004"
    1303 1387 
     		      >Product</a
    ... ... @@ -1491,11 +1575,17 @@
    1491 1575 
     		  ><span class="inst-left"
    1492 1576 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Traversable:16"
    1493 1577 
     		      ></span
    1494 
    -		      > (<a href="#" title="Data.Traversable"
    1495 
    -		      >Traversable</a
    1496 
    -		      > f, <a href="#" title="Data.Traversable"
    1497 
    -		      >Traversable</a
    1498 
    -		      > g) =&gt; <a href="#" title="Data.Traversable"
    1578 
    +		      > <span class="breakable"
    1579 
    +		      >(<span class="unbreakable"
    1580 
    +			><a href="#" title="Data.Traversable"
    1581 
    +			  >Traversable</a
    1582 
    +			  > f</span
    1583 
    +			>, <span class="unbreakable"
    1584 
    +			><a href="#" title="Data.Traversable"
    1585 
    +			  >Traversable</a
    1586 
    +			  > g</span
    1587 
    +			>)</span
    1588 
    +		      > =&gt; <a href="#" title="Data.Traversable"
    1499 1589 
     		      >Traversable</a
    1500 1590 
     		      > (<a href="#" title="Bug1004"
    1501 1591 
     		      >Product</a
    ... ... @@ -1579,11 +1669,17 @@
    1579 1669 
     		  ><span class="inst-left"
    1580 1670 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Monoid:17"
    1581 1671 
     		      ></span
    1582 
    -		      > (<a href="#" title="Data.Monoid"
    1583 
    -		      >Monoid</a
    1584 
    -		      > (f a), <a href="#" title="Data.Monoid"
    1585 
    -		      >Monoid</a
    1586 
    -		      > (g a)) =&gt; <a href="#" title="Data.Monoid"
    1672 
    +		      > <span class="breakable"
    1673 
    +		      >(<span class="unbreakable"
    1674 
    +			><a href="#" title="Data.Monoid"
    1675 
    +			  >Monoid</a
    1676 
    +			  > (f a)</span
    1677 
    +			>, <span class="unbreakable"
    1678 
    +			><a href="#" title="Data.Monoid"
    1679 
    +			  >Monoid</a
    1680 
    +			  > (g a)</span
    1681 
    +			>)</span
    1682 
    +		      > =&gt; <a href="#" title="Data.Monoid"
    1587 1683 
     		      >Monoid</a
    1588 1684 
     		      > (<a href="#" title="Bug1004"
    1589 1685 
     		      >Product</a
    ... ... @@ -1649,11 +1745,17 @@
    1649 1745 
     		  ><span class="inst-left"
    1650 1746 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Semigroup:18"
    1651 1747 
     		      ></span
    1652 
    -		      > (<a href="#" title="Prelude"
    1653 
    -		      >Semigroup</a
    1654 
    -		      > (f a), <a href="#" title="Prelude"
    1655 
    -		      >Semigroup</a
    1656 
    -		      > (g a)) =&gt; <a href="#" title="Prelude"
    1748 
    +		      > <span class="breakable"
    1749 
    +		      >(<span class="unbreakable"
    1750 
    +			><a href="#" title="Prelude"
    1751 
    +			  >Semigroup</a
    1752 
    +			  > (f a)</span
    1753 
    +			>, <span class="unbreakable"
    1754 
    +			><a href="#" title="Prelude"
    1755 
    +			  >Semigroup</a
    1756 
    +			  > (g a)</span
    1757 
    +			>)</span
    1758 
    +		      > =&gt; <a href="#" title="Prelude"
    1657 1759 
     		      >Semigroup</a
    1658 1760 
     		      > (<a href="#" title="Bug1004"
    1659 1761 
     		      >Product</a
    ... ... @@ -1725,11 +1827,17 @@
    1725 1827 
     		  ><span class="inst-left"
    1726 1828 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Eq:19"
    1727 1829 
     		      ></span
    1728 
    -		      > (<a href="#" title="Data.Eq"
    1729 
    -		      >Eq</a
    1730 
    -		      > (f a), <a href="#" title="Data.Eq"
    1731 
    -		      >Eq</a
    1732 
    -		      > (g a)) =&gt; <a href="#" title="Data.Eq"
    1830 
    +		      > <span class="breakable"
    1831 
    +		      >(<span class="unbreakable"
    1832 
    +			><a href="#" title="Data.Eq"
    1833 
    +			  >Eq</a
    1834 
    +			  > (f a)</span
    1835 
    +			>, <span class="unbreakable"
    1836 
    +			><a href="#" title="Data.Eq"
    1837 
    +			  >Eq</a
    1838 
    +			  > (g a)</span
    1839 
    +			>)</span
    1840 
    +		      > =&gt; <a href="#" title="Data.Eq"
    1733 1841 
     		      >Eq</a
    1734 1842 
     		      > (<a href="#" title="Bug1004"
    1735 1843 
     		      >Product</a
    ... ... @@ -1789,11 +1897,17 @@
    1789 1897 
     		  ><span class="inst-left"
    1790 1898 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Ord:20"
    1791 1899 
     		      ></span
    1792 
    -		      > (<a href="#" title="Data.Ord"
    1793 
    -		      >Ord</a
    1794 
    -		      > (f a), <a href="#" title="Data.Ord"
    1795 
    -		      >Ord</a
    1796 
    -		      > (g a)) =&gt; <a href="#" title="Data.Ord"
    1900 
    +		      > <span class="breakable"
    1901 
    +		      >(<span class="unbreakable"
    1902 
    +			><a href="#" title="Data.Ord"
    1903 
    +			  >Ord</a
    1904 
    +			  > (f a)</span
    1905 
    +			>, <span class="unbreakable"
    1906 
    +			><a href="#" title="Data.Ord"
    1907 
    +			  >Ord</a
    1908 
    +			  > (g a)</span
    1909 
    +			>)</span
    1910 
    +		      > =&gt; <a href="#" title="Data.Ord"
    1797 1911 
     		      >Ord</a
    1798 1912 
     		      > (<a href="#" title="Bug1004"
    1799 1913 
     		      >Product</a
    ... ... @@ -1913,19 +2027,33 @@
    1913 2027 
     		  ><span class="inst-left"
    1914 2028 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Data:21"
    1915 2029 
     		      ></span
    1916 
    -		      > (<a href="#" title="Data.Dynamic"
    1917 
    -		      >Typeable</a
    1918 
    -		      > a, <a href="#" title="Data.Dynamic"
    1919 
    -		      >Typeable</a
    1920 
    -		      > f, <a href="#" title="Data.Dynamic"
    1921 
    -		      >Typeable</a
    1922 
    -		      > g, <a href="#" title="Data.Dynamic"
    1923 
    -		      >Typeable</a
    1924 
    -		      > k, <a href="#" title="Data.Data"
    1925 
    -		      >Data</a
    1926 
    -		      > (f a), <a href="#" title="Data.Data"
    1927 
    -		      >Data</a
    1928 
    -		      > (g a)) =&gt; <a href="#" title="Data.Data"
    2030 
    +		      > <span class="breakable"
    2031 
    +		      >(<span class="unbreakable"
    2032 
    +			><a href="#" title="Data.Dynamic"
    2033 
    +			  >Typeable</a
    2034 
    +			  > a</span
    2035 
    +			>, <span class="unbreakable"
    2036 
    +			><a href="#" title="Data.Dynamic"
    2037 
    +			  >Typeable</a
    2038 
    +			  > f</span
    2039 
    +			>, <span class="unbreakable"
    2040 
    +			><a href="#" title="Data.Dynamic"
    2041 
    +			  >Typeable</a
    2042 
    +			  > g</span
    2043 
    +			>, <span class="unbreakable"
    2044 
    +			><a href="#" title="Data.Dynamic"
    2045 
    +			  >Typeable</a
    2046 
    +			  > k</span
    2047 
    +			>, <span class="unbreakable"
    2048 
    +			><a href="#" title="Data.Data"
    2049 
    +			  >Data</a
    2050 
    +			  > (f a)</span
    2051 
    +			>, <span class="unbreakable"
    2052 
    +			><a href="#" title="Data.Data"
    2053 
    +			  >Data</a
    2054 
    +			  > (g a)</span
    2055 
    +			>)</span
    2056 
    +		      > =&gt; <a href="#" title="Data.Data"
    1929 2057 
     		      >Data</a
    1930 2058 
     		      > (<a href="#" title="Bug1004"
    1931 2059 
     		      >Product</a
    ... ... @@ -2027,11 +2155,17 @@
    2027 2155 
     			  >Typeable</a
    2028 2156 
     			  > t =&gt; (<span class="keyword"
    2029 2157 
     			  >forall</span
    2030 
    -			  > d e. (<a href="#" title="Data.Data"
    2031 
    -			  >Data</a
    2032 
    -			  > d, <a href="#" title="Data.Data"
    2033 
    -			  >Data</a
    2034 
    -			  > e) =&gt; c (t d e)) -&gt; <a href="#" title="Data.Maybe"
    2158 
    +			  > d e. <span class="breakable"
    2159 
    +			  >(<span class="unbreakable"
    2160 
    +			    ><a href="#" title="Data.Data"
    2161 
    +			      >Data</a
    2162 
    +			      > d</span
    2163 
    +			    >, <span class="unbreakable"
    2164 
    +			    ><a href="#" title="Data.Data"
    2165 
    +			      >Data</a
    2166 
    +			      > e</span
    2167 
    +			    >)</span
    2168 
    +			  > =&gt; c (t d e)) -&gt; <a href="#" title="Data.Maybe"
    2035 2169 
     			  >Maybe</a
    2036 2170 
     			  > (c (<a href="#" title="Bug1004"
    2037 2171 
     			  >Product</a
    ... ... @@ -2315,11 +2449,17 @@
    2315 2449 
     		  ><span class="inst-left"
    2316 2450 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Read:23"
    2317 2451 
     		      ></span
    2318 
    -		      > (<a href="#" title="Prelude"
    2319 
    -		      >Read</a
    2320 
    -		      > (f a), <a href="#" title="Prelude"
    2321 
    -		      >Read</a
    2322 
    -		      > (g a)) =&gt; <a href="#" title="Prelude"
    2452 
    +		      > <span class="breakable"
    2453 
    +		      >(<span class="unbreakable"
    2454 
    +			><a href="#" title="Prelude"
    2455 
    +			  >Read</a
    2456 
    +			  > (f a)</span
    2457 
    +			>, <span class="unbreakable"
    2458 
    +			><a href="#" title="Prelude"
    2459 
    +			  >Read</a
    2460 
    +			  > (g a)</span
    2461 
    +			>)</span
    2462 
    +		      > =&gt; <a href="#" title="Prelude"
    2323 2463 
     		      >Read</a
    2324 2464 
     		      > (<a href="#" title="Bug1004"
    2325 2465 
     		      >Product</a
    ... ... @@ -2397,11 +2537,17 @@
    2397 2537 
     		  ><span class="inst-left"
    2398 2538 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Show:24"
    2399 2539 
     		      ></span
    2400 
    -		      > (<a href="#" title="Prelude"
    2401 
    -		      >Show</a
    2402 
    -		      > (f a), <a href="#" title="Prelude"
    2403 
    -		      >Show</a
    2404 
    -		      > (g a)) =&gt; <a href="#" title="Prelude"
    2540 
    +		      > <span class="breakable"
    2541 
    +		      >(<span class="unbreakable"
    2542 
    +			><a href="#" title="Prelude"
    2543 
    +			  >Show</a
    2544 
    +			  > (f a)</span
    2545 
    +			>, <span class="unbreakable"
    2546 
    +			><a href="#" title="Prelude"
    2547 
    +			  >Show</a
    2548 
    +			  > (g a)</span
    2549 
    +			>)</span
    2550 
    +		      > =&gt; <a href="#" title="Prelude"
    2405 2551 
     		      >Show</a
    2406 2552 
     		      > (<a href="#" title="Bug1004"
    2407 2553 
     		      >Product</a

  • utils/haddock/html-test/ref/Bug548.html
    ... ... @@ -252,11 +252,17 @@
    252 252 
     		  ><span class="inst-left"
    253 253 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Alternative:2"
    254 254 
     		      ></span
    255 
    -		      > (<a href="#" title="Control.Arrow"
    256 
    -		      >ArrowZero</a
    257 
    -		      > a, <a href="#" title="Control.Arrow"
    258 
    -		      >ArrowPlus</a
    259 
    -		      > a) =&gt; <a href="#" title="Control.Applicative"
    255 
    +		      > <span class="breakable"
    256 
    +		      >(<span class="unbreakable"
    257 
    +			><a href="#" title="Control.Arrow"
    258 
    +			  >ArrowZero</a
    259 
    +			  > a</span
    260 
    +			>, <span class="unbreakable"
    261 
    +			><a href="#" title="Control.Arrow"
    262 
    +			  >ArrowPlus</a
    263 
    +			  > a</span
    264 
    +			>)</span
    265 
    +		      > =&gt; <a href="#" title="Control.Applicative"
    260 266 
     		      >Alternative</a
    261 267 
     		      > (<a href="#" title="Bug548"
    262 268 
     		      >WrappedArrow</a
    ... ... @@ -484,15 +490,25 @@
    484 490 
     		  ><span class="inst-left"
    485 491 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Data:5"
    486 492 
     		      ></span
    487 
    -		      > (<a href="#" title="Data.Dynamic"
    488 
    -		      >Typeable</a
    489 
    -		      > a, <a href="#" title="Data.Dynamic"
    490 
    -		      >Typeable</a
    491 
    -		      > b, <a href="#" title="Data.Dynamic"
    492 
    -		      >Typeable</a
    493 
    -		      > c, <a href="#" title="Data.Data"
    494 
    -		      >Data</a
    495 
    -		      > (a b c)) =&gt; <a href="#" title="Data.Data"
    493 
    +		      > <span class="breakable"
    494 
    +		      >(<span class="unbreakable"
    495 
    +			><a href="#" title="Data.Dynamic"
    496 
    +			  >Typeable</a
    497 
    +			  > a</span
    498 
    +			>, <span class="unbreakable"
    499 
    +			><a href="#" title="Data.Dynamic"
    500 
    +			  >Typeable</a
    501 
    +			  > b</span
    502 
    +			>, <span class="unbreakable"
    503 
    +			><a href="#" title="Data.Dynamic"
    504 
    +			  >Typeable</a
    505 
    +			  > c</span
    506 
    +			>, <span class="unbreakable"
    507 
    +			><a href="#" title="Data.Data"
    508 
    +			  >Data</a
    509 
    +			  > (a b c)</span
    510 
    +			>)</span
    511 
    +		      > =&gt; <a href="#" title="Data.Data"
    496 512 
     		      >Data</a
    497 513 
     		      > (<a href="#" title="Bug548"
    498 514 
     		      >WrappedArrow</a
    ... ... @@ -594,11 +610,17 @@
    594 610 
     			  >Typeable</a
    595 611 
     			  > t =&gt; (<span class="keyword"
    596 612 
     			  >forall</span
    597 
    -			  > d e. (<a href="#" title="Data.Data"
    598 
    -			  >Data</a
    599 
    -			  > d, <a href="#" title="Data.Data"
    600 
    -			  >Data</a
    601 
    -			  > e) =&gt; c0 (t d e)) -&gt; <a href="#" title="Data.Maybe"
    613 
    +			  > d e. <span class="breakable"
    614 
    +			  >(<span class="unbreakable"
    615 
    +			    ><a href="#" title="Data.Data"
    616 
    +			      >Data</a
    617 
    +			      > d</span
    618 
    +			    >, <span class="unbreakable"
    619 
    +			    ><a href="#" title="Data.Data"
    620 
    +			      >Data</a
    621 
    +			      > e</span
    622 
    +			    >)</span
    623 
    +			  > =&gt; c0 (t d e)) -&gt; <a href="#" title="Data.Maybe"
    602 624 
     			  >Maybe</a
    603 625 
     			  > (c0 (<a href="#" title="Bug548"
    604 626 
     			  >WrappedArrow</a

  • utils/haddock/html-test/ref/Bug973.html
    ... ... @@ -56,21 +56,33 @@
    56 56 
     	  ><li class="src short"
    57 57 
     	    ><a href="#"
    58 58 
     	      >showRead</a
    59 
    -	      > :: (<a href="#" title="Prelude"
    60 
    -	      >Show</a
    61 
    -	      > a, <a href="#" title="Prelude"
    62 
    -	      >Read</a
    63 
    -	      > b) =&gt; a -&gt; b</li
    59 
    +	      > :: <span class="breakable"
    60 
    +	      >(<span class="unbreakable"
    61 
    +		><a href="#" title="Prelude"
    62 
    +		  >Show</a
    63 
    +		  > a</span
    64 
    +		>, <span class="unbreakable"
    65 
    +		><a href="#" title="Prelude"
    66 
    +		  >Read</a
    67 
    +		  > b</span
    68 
    +		>)</span
    69 
    +	      > =&gt; a -&gt; b</li
    64 70 
     	    ><li class="src short"
    65 71 
     	    ><a href="#"
    66 72 
     	      >showRead'</a
    67 73 
     	      > :: <span class="keyword"
    68 74 
     	      >forall</span
    69 
    -	      > b a. (<a href="#" title="Prelude"
    70 
    -	      >Show</a
    71 
    -	      > a, <a href="#" title="Prelude"
    72 
    -	      >Read</a
    73 
    -	      > b) =&gt; a -&gt; b</li
    75 
    +	      > b a. <span class="breakable"
    76 
    +	      >(<span class="unbreakable"
    77 
    +		><a href="#" title="Prelude"
    78 
    +		  >Show</a
    79 
    +		  > a</span
    80 
    +		>, <span class="unbreakable"
    81 
    +		><a href="#" title="Prelude"
    82 
    +		  >Read</a
    83 
    +		  > b</span
    84 
    +		>)</span
    85 
    +	      > =&gt; a -&gt; b</li
    74 86 
     	    ></ul
    75 87 
     	  ></details
    76 88 
     	></div
    ... ... @@ -90,11 +102,17 @@
    90 102 
     	    ><table
    91 103 
     	    ><tr
    92 104 
     	      ><td class="src"
    93 
    -		>:: (<a href="#" title="Prelude"
    94 
    -		  >Show</a
    95 
    -		  > a, <a href="#" title="Prelude"
    96 
    -		  >Read</a
    97 
    -		  > b)</td
    105 
    +		>:: <span class="breakable"
    106 
    +		  >(<span class="unbreakable"
    107 
    +		    ><a href="#" title="Prelude"
    108 
    +		      >Show</a
    109 
    +		      > a</span
    110 
    +		    >, <span class="unbreakable"
    111 
    +		    ><a href="#" title="Prelude"
    112 
    +		      >Read</a
    113 
    +		      > b</span
    114 
    +		    >)</span
    115 
    +		  ></td
    98 116 
     		><td class="doc empty"
    99 117 
     		>&nbsp;</td
    100 118 
     		></tr
    ... ... @@ -132,11 +150,17 @@
    132 150 
     	      ><td class="src"
    133 151 
     		>:: <span class="keyword"
    134 152 
     		  >forall</span
    135 
    -		  > b a. (<a href="#" title="Prelude"
    136 
    -		  >Show</a
    137 
    -		  > a, <a href="#" title="Prelude"
    138 
    -		  >Read</a
    139 
    -		  > b)</td
    153 
    +		  > b a. <span class="breakable"
    154 
    +		  >(<span class="unbreakable"
    155 
    +		    ><a href="#" title="Prelude"
    156 
    +		      >Show</a
    157 
    +		      > a</span
    158 
    +		    >, <span class="unbreakable"
    159 
    +		    ><a href="#" title="Prelude"
    160 
    +		      >Read</a
    161 
    +		      > b</span
    162 
    +		    >)</span
    163 
    +		  ></td
    140 164 
     		><td class="doc empty"
    141 165 
     		>&nbsp;</td
    142 166 
     		></tr

  • utils/haddock/html-test/ref/Hash.html
    ... ... @@ -99,11 +99,17 @@
    99 99 
     	    ><li class="src short"
    100 100 
     	    ><a href="#"
    101 101 
     	      >new</a
    102 
    -	      > :: (<a href="#" title="Data.Eq"
    103 
    -	      >Eq</a
    104 
    -	      > key, <a href="#" title="Hash"
    105 
    -	      >Hash</a
    106 
    -	      > key) =&gt; <a href="#" title="Data.Int"
    102 
    +	      > :: <span class="breakable"
    103 
    +	      >(<span class="unbreakable"
    104 
    +		><a href="#" title="Data.Eq"
    105 
    +		  >Eq</a
    106 
    +		  > key</span
    107 
    +		>, <span class="unbreakable"
    108 
    +		><a href="#" title="Hash"
    109 
    +		  >Hash</a
    110 
    +		  > key</span
    111 
    +		>)</span
    112 
    +	      > =&gt; <a href="#" title="Data.Int"
    107 113 
     	      >Int</a
    108 114 
     	      > -&gt; <a href="#" title="Prelude"
    109 115 
     	      >IO</a
    ... ... @@ -113,11 +119,17 @@
    113 119 
     	    ><li class="src short"
    114 120 
     	    ><a href="#"
    115 121 
     	      >insert</a
    116 
    -	      > :: (<a href="#" title="Data.Eq"
    117 
    -	      >Eq</a
    118 
    -	      > key, <a href="#" title="Hash"
    119 
    -	      >Hash</a
    120 
    -	      > key) =&gt; key -&gt; val -&gt; <a href="#" title="Prelude"
    122 
    +	      > :: <span class="breakable"
    123 
    +	      >(<span class="unbreakable"
    124 
    +		><a href="#" title="Data.Eq"
    125 
    +		  >Eq</a
    126 
    +		  > key</span
    127 
    +		>, <span class="unbreakable"
    128 
    +		><a href="#" title="Hash"
    129 
    +		  >Hash</a
    130 
    +		  > key</span
    131 
    +		>)</span
    132 
    +	      > =&gt; key -&gt; val -&gt; <a href="#" title="Prelude"
    121 133 
     	      >IO</a
    122 134 
     	      > ()</li
    123 135 
     	    ><li class="src short"
    ... ... @@ -191,11 +203,17 @@
    191 203 
     	><p class="src"
    192 204 
     	  ><a id="v:new" class="def"
    193 205 
     	    >new</a
    194 
    -	    > :: (<a href="#" title="Data.Eq"
    195 
    -	    >Eq</a
    196 
    -	    > key, <a href="#" title="Hash"
    197 
    -	    >Hash</a
    198 
    -	    > key) =&gt; <a href="#" title="Data.Int"
    206 
    +	    > :: <span class="breakable"
    207 
    +	    >(<span class="unbreakable"
    208 
    +	      ><a href="#" title="Data.Eq"
    209 
    +		>Eq</a
    210 
    +		> key</span
    211 
    +	      >, <span class="unbreakable"
    212 
    +	      ><a href="#" title="Hash"
    213 
    +		>Hash</a
    214 
    +		> key</span
    215 
    +	      >)</span
    216 
    +	    > =&gt; <a href="#" title="Data.Int"
    199 217 
     	    >Int</a
    200 218 
     	    > -&gt; <a href="#" title="Prelude"
    201 219 
     	    >IO</a
    ... ... @@ -213,11 +231,17 @@
    213 231 
     	><p class="src"
    214 232 
     	  ><a id="v:insert" class="def"
    215 233 
     	    >insert</a
    216 
    -	    > :: (<a href="#" title="Data.Eq"
    217 
    -	    >Eq</a
    218 
    -	    > key, <a href="#" title="Hash"
    219 
    -	    >Hash</a
    220 
    -	    > key) =&gt; key -&gt; val -&gt; <a href="#" title="Prelude"
    234 
    +	    > :: <span class="breakable"
    235 
    +	    >(<span class="unbreakable"
    236 
    +	      ><a href="#" title="Data.Eq"
    237 
    +		>Eq</a
    238 
    +		> key</span
    239 
    +	      >, <span class="unbreakable"
    240 
    +	      ><a href="#" title="Hash"
    241 
    +		>Hash</a
    242 
    +		> key</span
    243 
    +	      >)</span
    244 
    +	    > =&gt; key -&gt; val -&gt; <a href="#" title="Prelude"
    221 245 
     	    >IO</a
    222 246 
     	    > () <a href="#" class="selflink"
    223 247 
     	    >#</a
    ... ... @@ -395,11 +419,17 @@
    395 419 
     		  ><span class="inst-left"
    396 420 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Hash:Hash:3"
    397 421 
     		      ></span
    398 
    -		      > (<a href="#" title="Hash"
    399 
    -		      >Hash</a
    400 
    -		      > a, <a href="#" title="Hash"
    401 
    -		      >Hash</a
    402 
    -		      > b) =&gt; <a href="#" title="Hash"
    422 
    +		      > <span class="breakable"
    423 
    +		      >(<span class="unbreakable"
    424 
    +			><a href="#" title="Hash"
    425 
    +			  >Hash</a
    426 
    +			  > a</span
    427 
    +			>, <span class="unbreakable"
    428 
    +			><a href="#" title="Hash"
    429 
    +			  >Hash</a
    430 
    +			  > b</span
    431 
    +			>)</span
    432 
    +		      > =&gt; <a href="#" title="Hash"
    403 433 
     		      >Hash</a
    404 434 
     		      > (a, b)</span
    405 435 
     		    > <a href="#" class="selflink"

  • utils/haddock/html-test/ref/ImplicitParams.html
    ... ... @@ -91,11 +91,17 @@
    91 91 
     	><p class="src"
    92 92 
     	  ><a id="v:d" class="def"
    93 93 
     	    >d</a
    94 
    -	    > :: (?x :: <a href="#" title="ImplicitParams"
    95 
    -	    >X</a
    96 
    -	    >, ?y :: <a href="#" title="ImplicitParams"
    97 
    -	    >X</a
    98 
    -	    >) =&gt; (<a href="#" title="ImplicitParams"
    94 
    +	    > :: <span class="breakable"
    95 
    +	    >(<span class="unbreakable"
    96 
    +	      >?x :: <a href="#" title="ImplicitParams"
    97 
    +		>X</a
    98 
    +		></span
    99 
    +	      >, <span class="unbreakable"
    100 
    +	      >?y :: <a href="#" title="ImplicitParams"
    101 
    +		>X</a
    102 
    +		></span
    103 
    +	      >)</span
    104 
    +	    > =&gt; (<a href="#" title="ImplicitParams"
    99 105 
     	    >X</a
    100 106 
     	    >, <a href="#" title="ImplicitParams"
    101 107 
     	    >X</a

  • utils/haddock/html-test/ref/Instances.html
    ... ... @@ -438,11 +438,17 @@
    438 438 
     		  ><span class="inst-left"
    439 439 
     		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:5"
    440 440 
     		      ></span
    441 
    -		      > (<a href="#" title="Data.Eq"
    442 
    -		      >Eq</a
    443 
    -		      > a, <a href="#" title="Instances"
    444 
    -		      >Foo</a
    445 
    -		      > f) =&gt; <a href="#" title="Instances"
    441 
    +		      > <span class="breakable"
    442 
    +		      >(<span class="unbreakable"
    443 
    +			><a href="#" title="Data.Eq"
    444 
    +			  >Eq</a
    445 
    +			  > a</span
    446 
    +			>, <span class="unbreakable"
    447 
    +			><a href="#" title="Instances"
    448 
    +			  >Foo</a
    449 
    +			  > f</span
    450 
    +			>)</span
    451 
    +		      > =&gt; <a href="#" title="Instances"
    446 452 
     		      >Foo</a
    447 453 
     		      > ((,) (f a))</span
    448 454 
     		    > <a href="#" class="selflink"

  • utils/haddock/html-test/ref/PatternSyns.html
    ... ... @@ -308,8 +308,10 @@
    308 308 
     	    ></p
    309 309 
     	  ><div class="doc"
    310 310 
     	  ><p
    311 
    -	    >Doc for (<code class="inline-code"
    312 
    -	      >&gt;&lt;</code
    311 
    +	    >Doc for (<code
    312 
    +	      ><a href="#" title="PatternSyns"
    313 
    +		>&gt;&lt;</a
    314 
    +		></code
    313 315 
     	      >)</p
    314 316 
     	    ></div
    315 317 
     	  ><div class="subs constructors"

  • utils/haddock/html-test/ref/TypeOperators.html
    ... ... @@ -48,6 +48,34 @@
    48 48 
     	><p class="caption"
    49 49 
     	>TypeOperators</p
    50 50 
     	></div
    51 
    +      ><div id="description"
    52 
    +      ><p class="caption"
    53 
    +	>Description</p
    54 
    +	><div class="doc"
    55 
    +	><p
    56 
    +	  >This documentation refers to <code
    57 
    +	    ><a href="#" title="Data.Type.Equality"
    58 
    +	      >~</a
    59 
    +	      ></code
    60 
    +	    >, <code
    61 
    +	    ><a href="#" title="TypeOperators"
    62 
    +	      >:-:</a
    63 
    +	      ></code
    64 
    +	    >, <code
    65 
    +	    ><a href="#" title="TypeOperators"
    66 
    +	      >:+:</a
    67 
    +	      ></code
    68 
    +	    >, <code
    69 
    +	    ><a href="#" title="TypeOperators"
    70 
    +	      >&lt;=&gt;</a
    71 
    +	      ></code
    72 
    +	    >, and <code
    73 
    +	    ><a href="#" title="TypeOperators"
    74 
    +	      >|||</a
    75 
    +	      ></code
    76 
    +	    >.</p
    77 
    +	  ></div
    78 
    +	></div
    51 79 
           ><div id="interface"
    52 80 
           ><h1
    53 81 
     	>Documentation</h1
    ... ... @@ -142,6 +170,18 @@
    142 170 
     	    ></p
    143 171 
     	  ></div
    144 172 
     	><div class="top"
    173 
    +	><p class="src"
    174 
    +	  ><span class="keyword"
    175 
    +	    >type</span
    176 
    +	    > <a id="t:-124--124--124-" class="def"
    177 
    +	    >(|||)</a
    178 
    +	    > = <a href="#" title="Data.Either"
    179 
    +	    >Either</a
    180 
    +	    > <a href="#" class="selflink"
    181 
    +	    >#</a
    182 
    +	    ></p
    183 
    +	  ></div
    184 
    +	><div class="top"
    145 185 
     	><p class="src"
    146 186 
     	  ><a id="v:biO" class="def"
    147 187 
     	    >biO</a
    ... ... @@ -175,11 +215,17 @@
    175 215 
     	><p class="src"
    176 216 
     	  ><a id="v:g" class="def"
    177 217 
     	    >g</a
    178 
    -	    > :: (a <a href="#" title="Data.Type.Equality"
    179 
    -	    >~</a
    180 
    -	    > b, b <a href="#" title="Data.Type.Equality"
    181 
    -	    >~</a
    182 
    -	    > c) =&gt; a -&gt; c <a href="#" class="selflink"
    218 
    +	    > :: <span class="breakable"
    219 
    +	    >(<span class="unbreakable"
    220 
    +	      >a <a href="#" title="Data.Type.Equality"
    221 
    +		>~</a
    222 
    +		> b</span
    223 
    +	      >, <span class="unbreakable"
    224 
    +	      >b <a href="#" title="Data.Type.Equality"
    225 
    +		>~</a
    226 
    +		> c</span
    227 
    +	      >)</span
    228 
    +	    > =&gt; a -&gt; c <a href="#" class="selflink"
    183 229 
     	    >#</a
    184 230 
     	    ></p
    185 231 
     	  ></div
    ... ... @@ -201,13 +247,19 @@
    201 247 
     	><p class="src"
    202 248 
     	  ><a id="v:y" class="def"
    203 249 
     	    >y</a
    204 
    -	    > :: (a <a href="#" title="TypeOperators"
    205 
    -	    >&lt;=&gt;</a
    206 
    -	    > a, <a href="#" title="TypeOperators"
    207 
    -	    >Op</a
    208 
    -	    > a a <a href="#" title="TypeOperators"
    209 
    -	    >&lt;=&gt;</a
    210 
    -	    > a) =&gt; a <a href="#" class="selflink"
    250 
    +	    > :: <span class="breakable"
    251 
    +	    >(<span class="unbreakable"
    252 
    +	      >a <a href="#" title="TypeOperators"
    253 
    +		>&lt;=&gt;</a
    254 
    +		> a</span
    255 
    +	      >, <span class="unbreakable"
    256 
    +	      ><a href="#" title="TypeOperators"
    257 
    +		>Op</a
    258 
    +		> a a <a href="#" title="TypeOperators"
    259 
    +		>&lt;=&gt;</a
    260 
    +		> a</span
    261 
    +	      >)</span
    262 
    +	    > =&gt; a <a href="#" class="selflink"
    211 263 
     	    >#</a
    212 264 
     	    ></p
    213 265 
     	  ></div

  • utils/haddock/html-test/src/TypeOperators.hs
    1 1 
     {-# LANGUAGE Haskell2010 #-}
    2 2 
     {-# LANGUAGE TypeOperators, GADTs, MultiParamTypeClasses, FlexibleContexts #-}
    3 
    +-- | This documentation refers to '~', ':-:', ':+:', '<=>', and '|||'.
    3 4 
     module TypeOperators where
    4 5
    5 6 
     data a :-: b
    ... ... @@ -12,6 +13,8 @@ newtype (g `O` f) a = O { unO :: g (f a) }
    12 13
    13 14 
     class a <=> b
    14 15
    16 
    +type (|||) = Either
    17 
    +
    15 18 
     biO :: (g `O` f) a
    16 19 
     biO = undefined
    17 20

    • —
    View it on GitLab.
    You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications · Help