Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC
Commits:
-
7b64697c
by Mario Blažević at 2025-05-30T14:13:41-04:00
10 changed files:
- utils/haddock/haddock-api/resources/html/Linuwial.std-theme/linuwial.css
- utils/haddock/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs
- utils/haddock/haddock-api/src/Haddock/Backends/Xhtml/Utils.hs
- utils/haddock/html-test/ref/Bug1004.html
- utils/haddock/html-test/ref/Bug548.html
- utils/haddock/html-test/ref/Bug973.html
- utils/haddock/html-test/ref/Hash.html
- utils/haddock/html-test/ref/ImplicitParams.html
- utils/haddock/html-test/ref/Instances.html
- utils/haddock/html-test/ref/TypeOperators.html
Changes:
| ... | ... | @@ -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 */
|
| ... | ... | @@ -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 |
| ... | ... | @@ -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 |
| ... | ... | @@ -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) => <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 | + > => <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) => <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 | + > => <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) => <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 | + > => <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) => <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 | + > => <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) => <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 | + > => <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) => <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 | + > => <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) => <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 | + > => <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) => <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 | + > => <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) => <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 | + > => <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) => <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 | + > => <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) => <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 | + > => <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) => <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 | + > => <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) => <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 | + > => <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) => <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 | + > => <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) => <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 | + > => <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)) => <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 | + > => <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)) => <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 | + > => <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)) => <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 | + > => <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)) => <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 | + > => <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)) => <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 | + > => <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 => (<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) => c (t d e)) -> <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 | + > => c (t d e)) -> <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)) => <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 | + > => <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)) => <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 | + > => <a href="#" title="Prelude"
|
|
| 2405 | 2551 | >Show</a
|
| 2406 | 2552 | > (<a href="#" title="Bug1004"
|
| 2407 | 2553 | >Product</a
|
| ... | ... | @@ -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) => <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 | + > => <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)) => <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 | + > => <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 => (<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) => c0 (t d e)) -> <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 | + > => c0 (t d e)) -> <a href="#" title="Data.Maybe"
|
|
| 602 | 624 | >Maybe</a
|
| 603 | 625 | > (c0 (<a href="#" title="Bug548"
|
| 604 | 626 | >WrappedArrow</a
|
| ... | ... | @@ -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) => a -> 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 | + > => a -> 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) => a -> 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 | + > => a -> 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 | > </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 | > </td
|
| 142 | 166 | ></tr
|
| ... | ... | @@ -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) => <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 | + > => <a href="#" title="Data.Int"
|
|
| 107 | 113 | >Int</a
|
| 108 | 114 | > -> <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) => key -> val -> <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 | + > => key -> val -> <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) => <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 | + > => <a href="#" title="Data.Int"
|
|
| 199 | 217 | >Int</a
|
| 200 | 218 | > -> <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) => key -> val -> <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 | + > => key -> val -> <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) => <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 | + > => <a href="#" title="Hash"
|
|
| 403 | 433 | >Hash</a
|
| 404 | 434 | > (a, b)</span
|
| 405 | 435 | > <a href="#" class="selflink"
|
| ... | ... | @@ -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 | - >) => (<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 | + > => (<a href="#" title="ImplicitParams"
|
|
| 99 | 105 | >X</a
|
| 100 | 106 | >, <a href="#" title="ImplicitParams"
|
| 101 | 107 | >X</a
|
| ... | ... | @@ -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) => <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 | + > => <a href="#" title="Instances"
|
|
| 446 | 452 | >Foo</a
|
| 447 | 453 | > ((,) (f a))</span
|
| 448 | 454 | > <a href="#" class="selflink"
|
| ... | ... | @@ -215,11 +215,17 @@ |
| 215 | 215 | ><p class="src"
|
| 216 | 216 | ><a id="v:g" class="def"
|
| 217 | 217 | >g</a
|
| 218 | - > :: (a <a href="#" title="Data.Type.Equality"
|
|
| 219 | - >~</a
|
|
| 220 | - > b, b <a href="#" title="Data.Type.Equality"
|
|
| 221 | - >~</a
|
|
| 222 | - > c) => a -> 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 | + > => a -> c <a href="#" class="selflink"
|
|
| 223 | 229 | >#</a
|
| 224 | 230 | ></p
|
| 225 | 231 | ></div
|
| ... | ... | @@ -241,13 +247,19 @@ |
| 241 | 247 | ><p class="src"
|
| 242 | 248 | ><a id="v:y" class="def"
|
| 243 | 249 | >y</a
|
| 244 | - > :: (a <a href="#" title="TypeOperators"
|
|
| 245 | - ><=></a
|
|
| 246 | - > a, <a href="#" title="TypeOperators"
|
|
| 247 | - >Op</a
|
|
| 248 | - > a a <a href="#" title="TypeOperators"
|
|
| 249 | - ><=></a
|
|
| 250 | - > a) => a <a href="#" class="selflink"
|
|
| 250 | + > :: <span class="breakable"
|
|
| 251 | + >(<span class="unbreakable"
|
|
| 252 | + >a <a href="#" title="TypeOperators"
|
|
| 253 | + ><=></a
|
|
| 254 | + > a</span
|
|
| 255 | + >, <span class="unbreakable"
|
|
| 256 | + ><a href="#" title="TypeOperators"
|
|
| 257 | + >Op</a
|
|
| 258 | + > a a <a href="#" title="TypeOperators"
|
|
| 259 | + ><=></a
|
|
| 260 | + > a</span
|
|
| 261 | + >)</span
|
|
| 262 | + > => a <a href="#" class="selflink"
|
|
| 251 | 263 | >#</a
|
| 252 | 264 | ></p
|
| 253 | 265 | ></div
|