diff options
| author | alexbiehl <alexbiehl@gmail.com> | 2021-02-09 12:42:30 +0100 | 
|---|---|---|
| committer | Sylvain Henry <sylvain@haskus.fr> | 2021-02-11 10:32:32 +0100 | 
| commit | cf7d06b8ac0f47d6ff1c2d3decdb6a50a0fd7502 (patch) | |
| tree | 3c6c8e5898f353f1b2722f19b9ef4c06219f1388 /html-test/ref/Bug548.html | |
| parent | 010f0320dff64e3f86091ba4691bc69ce6999647 (diff) | |
Stable sort for (data/newtype) instances
Diffstat (limited to 'html-test/ref/Bug548.html')
| -rw-r--r-- | html-test/ref/Bug548.html | 96 | 
1 files changed, 48 insertions, 48 deletions
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index 1ac40ae4..0946c21b 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -180,12 +180,14 @@  		><tr  		><td class="src clearfix"  		  ><span class="inst-left" -		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Functor:2" +		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Alternative:2"  		      ></span -		      > <a href="#" title="Control.Arrow" -		      >Arrow</a -		      > a => <a href="#" title="Data.Functor" -		      >Functor</a +		      > (<a href="#" title="Control.Arrow" +		      >ArrowZero</a +		      > a, <a href="#" title="Control.Arrow" +		      >ArrowPlus</a +		      > a) => <a href="#" title="Control.Applicative" +		      >Alternative</a  		      > (<a href="#" title="Bug548"  		      >WrappedArrow</a  		      > a b)</span @@ -199,7 +201,7 @@  		  ></tr  		><tr  		><td colspan="2" -		  ><details id="i:id:WrappedArrow:Functor:2" +		  ><details id="i:id:WrappedArrow:Alternative:2"  		    ><summary class="hide-when-js-enabled"  		      >Instance details</summary  		      ><p @@ -211,22 +213,42 @@  			>Methods</p  			><p class="src"  			><a href="#" -			  >fmap</a -			  > :: (a0 -> b0) -> <a href="#" title="Bug548" +			  >empty</a +			  > :: <a href="#" title="Bug548" +			  >WrappedArrow</a +			  > a b a0 <a href="#" class="selflink" +			  >#</a +			  ></p +			><p class="src" +			><a href="#" +			  >(<|>)</a +			  > :: <a href="#" title="Bug548"  			  >WrappedArrow</a  			  > a b a0 -> <a href="#" title="Bug548"  			  >WrappedArrow</a -			  > a b b0 <a href="#" class="selflink" +			  > a b a0 -> <a href="#" title="Bug548" +			  >WrappedArrow</a +			  > a b a0 <a href="#" class="selflink"  			  >#</a  			  ></p  			><p class="src"  			><a href="#" -			  >(<$)</a -			  > :: a0 -> <a href="#" title="Bug548" +			  >some</a +			  > :: <a href="#" title="Bug548"  			  >WrappedArrow</a -			  > a b b0 -> <a href="#" title="Bug548" +			  > a b a0 -> <a href="#" title="Bug548"  			  >WrappedArrow</a -			  > a b a0 <a href="#" class="selflink" +			  > a b [a0] <a href="#" class="selflink" +			  >#</a +			  ></p +			><p class="src" +			><a href="#" +			  >many</a +			  > :: <a href="#" title="Bug548" +			  >WrappedArrow</a +			  > a b a0 -> <a href="#" title="Bug548" +			  >WrappedArrow</a +			  > a b [a0] <a href="#" class="selflink"  			  >#</a  			  ></p  			></div @@ -328,14 +350,12 @@  		><tr  		><td class="src clearfix"  		  ><span class="inst-left" -		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Alternative:4" +		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Functor:4"  		      ></span -		      > (<a href="#" title="Control.Arrow" -		      >ArrowZero</a -		      > a, <a href="#" title="Control.Arrow" -		      >ArrowPlus</a -		      > a) => <a href="#" title="Control.Applicative" -		      >Alternative</a +		      > <a href="#" title="Control.Arrow" +		      >Arrow</a +		      > a => <a href="#" title="Data.Functor" +		      >Functor</a  		      > (<a href="#" title="Bug548"  		      >WrappedArrow</a  		      > a b)</span @@ -349,7 +369,7 @@  		  ></tr  		><tr  		><td colspan="2" -		  ><details id="i:id:WrappedArrow:Alternative:4" +		  ><details id="i:id:WrappedArrow:Functor:4"  		    ><summary class="hide-when-js-enabled"  		      >Instance details</summary  		      ><p @@ -361,42 +381,22 @@  			>Methods</p  			><p class="src"  			><a href="#" -			  >empty</a -			  > :: <a href="#" title="Bug548" -			  >WrappedArrow</a -			  > a b a0 <a href="#" class="selflink" -			  >#</a -			  ></p -			><p class="src" -			><a href="#" -			  >(<|>)</a -			  > :: <a href="#" title="Bug548" -			  >WrappedArrow</a -			  > a b a0 -> <a href="#" title="Bug548" -			  >WrappedArrow</a -			  > a b a0 -> <a href="#" title="Bug548" -			  >WrappedArrow</a -			  > a b a0 <a href="#" class="selflink" -			  >#</a -			  ></p -			><p class="src" -			><a href="#" -			  >some</a -			  > :: <a href="#" title="Bug548" +			  >fmap</a +			  > :: (a0 -> b0) -> <a href="#" title="Bug548"  			  >WrappedArrow</a  			  > a b a0 -> <a href="#" title="Bug548"  			  >WrappedArrow</a -			  > a b [a0] <a href="#" class="selflink" +			  > a b b0 <a href="#" class="selflink"  			  >#</a  			  ></p  			><p class="src"  			><a href="#" -			  >many</a -			  > :: <a href="#" title="Bug548" +			  >(<$)</a +			  > :: a0 -> <a href="#" title="Bug548"  			  >WrappedArrow</a -			  > a b a0 -> <a href="#" title="Bug548" +			  > a b b0 -> <a href="#" title="Bug548"  			  >WrappedArrow</a -			  > a b [a0] <a href="#" class="selflink" +			  > a b a0 <a href="#" class="selflink"  			  >#</a  			  ></p  			></div  | 
