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