From cf7d06b8ac0f47d6ff1c2d3decdb6a50a0fd7502 Mon Sep 17 00:00:00 2001
From: alexbiehl <alexbiehl@gmail.com>
Date: Tue, 9 Feb 2021 12:42:30 +0100
Subject: Stable sort for (data/newtype) instances

---
 html-test/ref/Instances.html | 354 +++++++++++++++++++++----------------------
 1 file changed, 177 insertions(+), 177 deletions(-)

(limited to 'html-test/ref/Instances.html')

diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index c6a6b5ca..764f538d 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -194,7 +194,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 +218,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 +256,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 +278,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 +364,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 +390,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 +426,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 +456,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 +482,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 +506,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 +544,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 +568,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
@@ -1037,68 +1037,6 @@
 		><td class="src clearfix"
 		  ><span class="inst-left"
 		    ><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
@@ -1115,7 +1053,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 +1137,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 +1394,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 +1418,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 +1434,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 +1452,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 +1470,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 +1492,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 +1504,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 +1516,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
-- 
cgit v1.2.3