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 |