diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2021-03-06 19:26:49 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-03-06 19:26:49 -0500 |
| commit | 65868397a59e61b575c70c0757dddbbba9cb5ac9 (patch) | |
| tree | 91254d8ae801ed55c82f44efcafabac88df28415 /html-test/ref/Bug548.html | |
| parent | 0bf811ba98af90f852066734977aacb898ba8e69 (diff) | |
| parent | e57036c8fa31679243a97f4c14fdfbcbc07da9c5 (diff) | |
Merge remote-tracking branch 'origin/ghc-head' into HEAD
Diffstat (limited to 'html-test/ref/Bug548.html')
| -rw-r--r-- | html-test/ref/Bug548.html | 102 |
1 files changed, 54 insertions, 48 deletions
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index 1ac40ae4..594480c7 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -38,6 +38,12 @@ ><td >Safe-Inferred</td ></tr + ><tr + ><th + >Language</th + ><td + >Haskell2010</td + ></tr ></table ><p class="caption" >Bug548</p @@ -180,12 +186,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 +207,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 +219,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 +356,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 +375,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 +387,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 |