aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Bug548.html
diff options
context:
space:
mode:
authorHécate Moonlight <Kleidukos@users.noreply.github.com>2021-02-11 11:00:31 +0100
committerGitHub <noreply@github.com>2021-02-11 11:00:31 +0100
commit59957c2885732bb86e737ac9679a05c62189e022 (patch)
tree562ae65942bd3aa5c87f2b03aaba0ea5b9b8343c /html-test/ref/Bug548.html
parentd1b7f181b60ba3ac191183f1512e66793d28ac08 (diff)
parent7e8c7c3491f3e769368b8e6c767c62a33e996c80 (diff)
Merge pull request #1329 from hsyl20/hsyl20/stabe_iface
Stable sort for instances
Diffstat (limited to 'html-test/ref/Bug548.html')
-rw-r--r--html-test/ref/Bug548.html96
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 =&gt; <a href="#" title="Data.Functor"
- >Functor</a
+ > (<a href="#" title="Control.Arrow"
+ >ArrowZero</a
+ > a, <a href="#" title="Control.Arrow"
+ >ArrowPlus</a
+ > a) =&gt; <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 -&gt; b0) -&gt; <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="#"
+ >(&lt;|&gt;)</a
+ > :: <a href="#" title="Bug548"
>WrappedArrow</a
> a b a0 -&gt; <a href="#" title="Bug548"
>WrappedArrow</a
- > a b b0 <a href="#" class="selflink"
+ > a b a0 -&gt; <a href="#" title="Bug548"
+ >WrappedArrow</a
+ > a b a0 <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
- >(&lt;$)</a
- > :: a0 -&gt; <a href="#" title="Bug548"
+ >some</a
+ > :: <a href="#" title="Bug548"
>WrappedArrow</a
- > a b b0 -&gt; <a href="#" title="Bug548"
+ > a b a0 -&gt; <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 -&gt; <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) =&gt; <a href="#" title="Control.Applicative"
- >Alternative</a
+ > <a href="#" title="Control.Arrow"
+ >Arrow</a
+ > a =&gt; <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="#"
- >(&lt;|&gt;)</a
- > :: <a href="#" title="Bug548"
- >WrappedArrow</a
- > a b a0 -&gt; <a href="#" title="Bug548"
- >WrappedArrow</a
- > a b a0 -&gt; <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 -&gt; b0) -&gt; <a href="#" title="Bug548"
>WrappedArrow</a
> a b a0 -&gt; <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"
+ >(&lt;$)</a
+ > :: a0 -&gt; <a href="#" title="Bug548"
>WrappedArrow</a
- > a b a0 -&gt; <a href="#" title="Bug548"
+ > a b b0 -&gt; <a href="#" title="Bug548"
>WrappedArrow</a
- > a b [a0] <a href="#" class="selflink"
+ > a b a0 <a href="#" class="selflink"
>#</a
></p
></div