aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Instances.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/Instances.html')
-rw-r--r--html-test/ref/Instances.html566
1 files changed, 271 insertions, 295 deletions
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index 84c9498f..fb3ee280 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -74,9 +74,9 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:-60--126--126-:Foo:1"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Foo</a
- > (<a href="#"
+ > (<a href="#" title="Instances"
>(&lt;~~)</a
> a)</span
> <a href="#" class="selflink"
@@ -96,11 +96,11 @@
><p class="src"
><a href="#"
>foo</a
- > :: (a <a href="#"
+ > :: (a <a href="#" title="Instances"
>&lt;~~</a
- > <a href="#"
+ > <a href="#" title="Data.Int"
>Int</a
- >) -&gt; a0 -&gt; a <a href="#"
+ >) -&gt; a0 -&gt; a <a href="#" title="Instances"
>&lt;~~</a
> a0 <a href="#" class="selflink"
>#</a
@@ -108,17 +108,17 @@
><p class="src"
><a href="#"
>foo'</a
- > :: (a <a href="#"
+ > :: (a <a href="#" title="Instances"
>&lt;~~</a
- > (a <a href="#"
+ > (a <a href="#" title="Instances"
>&lt;~~</a
- > a0)) -&gt; <a href="#"
+ > a0)) -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; a <a href="#"
+ > -&gt; a <a href="#" title="Instances"
>&lt;~~</a
- > (a <a href="#"
+ > (a <a href="#" title="Instances"
>&lt;~~</a
- > <a href="#"
+ > <a href="#" title="Data.Int"
>Int</a
>) <a href="#" class="selflink"
>#</a
@@ -148,7 +148,7 @@
><p class="src"
><a id="v:foo" class="def"
>foo</a
- > :: f <a href="#"
+ > :: f <a href="#" title="Data.Int"
>Int</a
> -&gt; a -&gt; f a <a href="#" class="selflink"
>#</a
@@ -156,9 +156,9 @@
><p class="src"
><a id="v:foo-39-" class="def"
>foo'</a
- > :: f (f a) -&gt; <a href="#"
+ > :: f (f a) -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; f (f <a href="#"
+ > -&gt; f (f <a href="#" title="Data.Int"
>Int</a
>) <a href="#" class="selflink"
>#</a
@@ -174,7 +174,7 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:1"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Foo</a
> []</span
> <a href="#" class="selflink"
@@ -194,7 +194,7 @@
><p class="src"
><a href="#"
>foo</a
- > :: [<a href="#"
+ > :: [<a href="#" title="Data.Int"
>Int</a
>] -&gt; a -&gt; [a] <a href="#" class="selflink"
>#</a
@@ -202,9 +202,9 @@
><p class="src"
><a href="#"
>foo'</a
- > :: [[a]] -&gt; <a href="#"
+ > :: [[a]] -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; [[<a href="#"
+ > -&gt; [[<a href="#" title="Data.Int"
>Int</a
>]] <a href="#" class="selflink"
>#</a
@@ -218,9 +218,9 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:2"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Foo</a
- > <a href="#"
+ > <a href="#" title="Data.Maybe"
>Maybe</a
></span
> <a href="#" class="selflink"
@@ -240,11 +240,11 @@
><p class="src"
><a href="#"
>foo</a
- > :: <a href="#"
+ > :: <a href="#" title="Data.Maybe"
>Maybe</a
- > <a href="#"
+ > <a href="#" title="Data.Int"
>Int</a
- > -&gt; a -&gt; <a href="#"
+ > -&gt; a -&gt; <a href="#" title="Data.Maybe"
>Maybe</a
> a <a href="#" class="selflink"
>#</a
@@ -252,17 +252,17 @@
><p class="src"
><a href="#"
>foo'</a
- > :: <a href="#"
+ > :: <a href="#" title="Data.Maybe"
>Maybe</a
- > (<a href="#"
+ > (<a href="#" title="Data.Maybe"
>Maybe</a
- > a) -&gt; <a href="#"
+ > a) -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; <a href="#"
+ > -&gt; <a href="#" title="Data.Maybe"
>Maybe</a
- > (<a href="#"
+ > (<a href="#" title="Data.Maybe"
>Maybe</a
- > <a href="#"
+ > <a href="#" title="Data.Int"
>Int</a
>) <a href="#" class="selflink"
>#</a
@@ -276,9 +276,9 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:3"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Foo</a
- > (<a href="#"
+ > (<a href="#" title="Data.Either"
>Either</a
> a)</span
> <a href="#" class="selflink"
@@ -298,11 +298,11 @@
><p class="src"
><a href="#"
>foo</a
- > :: <a href="#"
+ > :: <a href="#" title="Data.Either"
>Either</a
- > a <a href="#"
+ > a <a href="#" title="Data.Int"
>Int</a
- > -&gt; a0 -&gt; <a href="#"
+ > -&gt; a0 -&gt; <a href="#" title="Data.Either"
>Either</a
> a a0 <a href="#" class="selflink"
>#</a
@@ -310,17 +310,17 @@
><p class="src"
><a href="#"
>foo'</a
- > :: <a href="#"
+ > :: <a href="#" title="Data.Either"
>Either</a
- > a (<a href="#"
+ > a (<a href="#" title="Data.Either"
>Either</a
- > a a0) -&gt; <a href="#"
+ > a a0) -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; <a href="#"
+ > -&gt; <a href="#" title="Data.Either"
>Either</a
- > a (<a href="#"
+ > a (<a href="#" title="Data.Either"
>Either</a
- > a <a href="#"
+ > a <a href="#" title="Data.Int"
>Int</a
>) <a href="#" class="selflink"
>#</a
@@ -334,13 +334,13 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:4"
></span
- > (<a href="#"
+ > (<a href="#" title="Data.Eq"
>Eq</a
- > a, <a href="#"
+ > a, <a href="#" title="Instances"
>Foo</a
- > f) =&gt; <a href="#"
+ > f) =&gt; <a href="#" title="Instances"
>Foo</a
- > (<a href="#"
+ > (<a href="#" title="GHC.Tuple"
>(,)</a
> (f a))</span
> <a href="#" class="selflink"
@@ -360,7 +360,7 @@
><p class="src"
><a href="#"
>foo</a
- > :: (f a, <a href="#"
+ > :: (f a, <a href="#" title="Data.Int"
>Int</a
>) -&gt; a0 -&gt; (f a, a0) <a href="#" class="selflink"
>#</a
@@ -368,9 +368,9 @@
><p class="src"
><a href="#"
>foo'</a
- > :: (f a, (f a, a0)) -&gt; <a href="#"
+ > :: (f a, (f a, a0)) -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; (f a, (f a, <a href="#"
+ > -&gt; (f a, (f a, <a href="#" title="Data.Int"
>Int</a
>)) <a href="#" class="selflink"
>#</a
@@ -384,9 +384,9 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:5"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Foo</a
- > (<a href="#"
+ > (<a href="#" title="Instances"
>(&lt;~~)</a
> a)</span
> <a href="#" class="selflink"
@@ -406,11 +406,11 @@
><p class="src"
><a href="#"
>foo</a
- > :: (a <a href="#"
+ > :: (a <a href="#" title="Instances"
>&lt;~~</a
- > <a href="#"
+ > <a href="#" title="Data.Int"
>Int</a
- >) -&gt; a0 -&gt; a <a href="#"
+ >) -&gt; a0 -&gt; a <a href="#" title="Instances"
>&lt;~~</a
> a0 <a href="#" class="selflink"
>#</a
@@ -418,17 +418,17 @@
><p class="src"
><a href="#"
>foo'</a
- > :: (a <a href="#"
+ > :: (a <a href="#" title="Instances"
>&lt;~~</a
- > (a <a href="#"
+ > (a <a href="#" title="Instances"
>&lt;~~</a
- > a0)) -&gt; <a href="#"
+ > a0)) -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; a <a href="#"
+ > -&gt; a <a href="#" title="Instances"
>&lt;~~</a
- > (a <a href="#"
+ > (a <a href="#" title="Instances"
>&lt;~~</a
- > <a href="#"
+ > <a href="#" title="Data.Int"
>Int</a
>) <a href="#" class="selflink"
>#</a
@@ -442,9 +442,9 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:6"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Foo</a
- > (<a href="#"
+ > (<a href="#" title="GHC.Tuple"
>(,,)</a
> a a)</span
> <a href="#" class="selflink"
@@ -464,7 +464,7 @@
><p class="src"
><a href="#"
>foo</a
- > :: (a, a, <a href="#"
+ > :: (a, a, <a href="#" title="Data.Int"
>Int</a
>) -&gt; a0 -&gt; (a, a, a0) <a href="#" class="selflink"
>#</a
@@ -472,9 +472,9 @@
><p class="src"
><a href="#"
>foo'</a
- > :: (a, a, (a, a, a0)) -&gt; <a href="#"
+ > :: (a, a, (a, a, a0)) -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; (a, a, (a, a, <a href="#"
+ > -&gt; (a, a, (a, a, <a href="#" title="Data.Int"
>Int</a
>)) <a href="#" class="selflink"
>#</a
@@ -488,9 +488,9 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:7"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Foo</a
- > (<a href="#"
+ > (<a href="#" title="Instances"
>Quux</a
> a b)</span
> <a href="#" class="selflink"
@@ -510,11 +510,11 @@
><p class="src"
><a href="#"
>foo</a
- > :: <a href="#"
+ > :: <a href="#" title="Instances"
>Quux</a
- > a b <a href="#"
+ > a b <a href="#" title="Data.Int"
>Int</a
- > -&gt; a0 -&gt; <a href="#"
+ > -&gt; a0 -&gt; <a href="#" title="Instances"
>Quux</a
> a b a0 <a href="#" class="selflink"
>#</a
@@ -522,17 +522,17 @@
><p class="src"
><a href="#"
>foo'</a
- > :: <a href="#"
+ > :: <a href="#" title="Instances"
>Quux</a
- > a b (<a href="#"
+ > a b (<a href="#" title="Instances"
>Quux</a
- > a b a0) -&gt; <a href="#"
+ > a b a0) -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; <a href="#"
+ > -&gt; <a href="#" title="Instances"
>Quux</a
- > a b (<a href="#"
+ > a b (<a href="#" title="Instances"
>Quux</a
- > a b <a href="#"
+ > a b <a href="#" title="Data.Int"
>Int</a
>) <a href="#" class="selflink"
>#</a
@@ -546,13 +546,13 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:8"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Foo</a
- > ((-&gt;) <a href="#"
- >LiftedRep</a
- > <a href="#"
- >LiftedRep</a
- > a)</span
+ > ((-&gt;) a :: <a href="#" title="Data.Kind"
+ >*</a
+ > -&gt; <a href="#" title="Data.Kind"
+ >*</a
+ >)</span
> <a href="#" class="selflink"
>#</a
></td
@@ -570,43 +570,19 @@
><p class="src"
><a href="#"
>foo</a
- > :: (<a href="#"
- >LiftedRep</a
- > -&gt; <a href="#"
- >LiftedRep</a
- >) a <a href="#"
+ > :: (a -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; a0 -&gt; (<a href="#"
- >LiftedRep</a
- > -&gt; <a href="#"
- >LiftedRep</a
- >) a a0 <a href="#" class="selflink"
+ >) -&gt; a0 -&gt; a -&gt; a0 <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>foo'</a
- > :: (<a href="#"
- >LiftedRep</a
- > -&gt; <a href="#"
- >LiftedRep</a
- >) a ((<a href="#"
- >LiftedRep</a
- > -&gt; <a href="#"
- >LiftedRep</a
- >) a a0) -&gt; <a href="#"
+ > :: (a -&gt; a -&gt; a0) -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; (<a href="#"
- >LiftedRep</a
- > -&gt; <a href="#"
- >LiftedRep</a
- >) a ((<a href="#"
- >LiftedRep</a
- > -&gt; <a href="#"
- >LiftedRep</a
- >) a <a href="#"
+ > -&gt; a -&gt; a -&gt; <a href="#" title="Data.Int"
>Int</a
- >) <a href="#" class="selflink"
+ > <a href="#" class="selflink"
>#</a
></p
></div
@@ -621,7 +597,7 @@
><p class="src"
><span class="keyword"
>class</span
- > <a href="#"
+ > <a href="#" title="Instances"
>Foo</a
> f =&gt; <a id="t:Bar" class="def"
>Bar</a
@@ -636,7 +612,7 @@
><p class="src"
><a id="v:bar" class="def"
>bar</a
- > :: f a -&gt; f <a href="#"
+ > :: f a -&gt; f <a href="#" title="Data.Bool"
>Bool</a
> -&gt; a <a href="#" class="selflink"
>#</a
@@ -670,11 +646,11 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Bar:Bar:1"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Bar</a
- > <a href="#"
+ > <a href="#" title="Data.Maybe"
>Maybe</a
- > <a href="#"
+ > <a href="#" title="Data.Bool"
>Bool</a
></span
> <a href="#" class="selflink"
@@ -694,15 +670,15 @@
><p class="src"
><a href="#"
>bar</a
- > :: <a href="#"
+ > :: <a href="#" title="Data.Maybe"
>Maybe</a
- > <a href="#"
+ > <a href="#" title="Data.Bool"
>Bool</a
- > -&gt; <a href="#"
+ > -&gt; <a href="#" title="Data.Maybe"
>Maybe</a
- > <a href="#"
+ > <a href="#" title="Data.Bool"
>Bool</a
- > -&gt; <a href="#"
+ > -&gt; <a href="#" title="Data.Bool"
>Bool</a
> <a href="#" class="selflink"
>#</a
@@ -710,17 +686,17 @@
><p class="src"
><a href="#"
>bar'</a
- > :: <a href="#"
+ > :: <a href="#" title="Data.Maybe"
>Maybe</a
- > (<a href="#"
+ > (<a href="#" title="Data.Maybe"
>Maybe</a
- > <a href="#"
+ > <a href="#" title="Data.Bool"
>Bool</a
- >) -&gt; <a href="#"
+ >) -&gt; <a href="#" title="Data.Maybe"
>Maybe</a
- > (<a href="#"
+ > (<a href="#" title="Data.Maybe"
>Maybe</a
- > (<a href="#"
+ > (<a href="#" title="Data.Maybe"
>Maybe</a
> b)) <a href="#" class="selflink"
>#</a
@@ -728,17 +704,17 @@
><p class="src"
><a href="#"
>bar0</a
- > :: (<a href="#"
+ > :: (<a href="#" title="Data.Maybe"
>Maybe</a
- > <a href="#"
+ > <a href="#" title="Data.Bool"
>Bool</a
- >, <a href="#"
+ >, <a href="#" title="Data.Maybe"
>Maybe</a
- > <a href="#"
+ > <a href="#" title="Data.Bool"
>Bool</a
- >) -&gt; (<a href="#"
+ >) -&gt; (<a href="#" title="Data.Maybe"
>Maybe</a
- > b, <a href="#"
+ > b, <a href="#" title="Data.Maybe"
>Maybe</a
> c) <a href="#" class="selflink"
>#</a
@@ -746,17 +722,17 @@
><p class="src"
><a href="#"
>bar1</a
- > :: (<a href="#"
+ > :: (<a href="#" title="Data.Maybe"
>Maybe</a
- > <a href="#"
+ > <a href="#" title="Data.Bool"
>Bool</a
- >, <a href="#"
+ >, <a href="#" title="Data.Maybe"
>Maybe</a
- > <a href="#"
+ > <a href="#" title="Data.Bool"
>Bool</a
- >) -&gt; (<a href="#"
+ >) -&gt; (<a href="#" title="Data.Maybe"
>Maybe</a
- > b, <a href="#"
+ > b, <a href="#" title="Data.Maybe"
>Maybe</a
> c) <a href="#" class="selflink"
>#</a
@@ -770,9 +746,9 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Bar:Bar:2"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Bar</a
- > <a href="#"
+ > <a href="#" title="Data.Maybe"
>Maybe</a
> [a]</span
> <a href="#" class="selflink"
@@ -792,11 +768,11 @@
><p class="src"
><a href="#"
>bar</a
- > :: <a href="#"
+ > :: <a href="#" title="Data.Maybe"
>Maybe</a
- > [a] -&gt; <a href="#"
+ > [a] -&gt; <a href="#" title="Data.Maybe"
>Maybe</a
- > <a href="#"
+ > <a href="#" title="Data.Bool"
>Bool</a
> -&gt; [a] <a href="#" class="selflink"
>#</a
@@ -804,15 +780,15 @@
><p class="src"
><a href="#"
>bar'</a
- > :: <a href="#"
+ > :: <a href="#" title="Data.Maybe"
>Maybe</a
- > (<a href="#"
+ > (<a href="#" title="Data.Maybe"
>Maybe</a
- > [a]) -&gt; <a href="#"
+ > [a]) -&gt; <a href="#" title="Data.Maybe"
>Maybe</a
- > (<a href="#"
+ > (<a href="#" title="Data.Maybe"
>Maybe</a
- > (<a href="#"
+ > (<a href="#" title="Data.Maybe"
>Maybe</a
> b)) <a href="#" class="selflink"
>#</a
@@ -820,13 +796,13 @@
><p class="src"
><a href="#"
>bar0</a
- > :: (<a href="#"
+ > :: (<a href="#" title="Data.Maybe"
>Maybe</a
- > [a], <a href="#"
+ > [a], <a href="#" title="Data.Maybe"
>Maybe</a
- > [a]) -&gt; (<a href="#"
+ > [a]) -&gt; (<a href="#" title="Data.Maybe"
>Maybe</a
- > b, <a href="#"
+ > b, <a href="#" title="Data.Maybe"
>Maybe</a
> c) <a href="#" class="selflink"
>#</a
@@ -834,13 +810,13 @@
><p class="src"
><a href="#"
>bar1</a
- > :: (<a href="#"
+ > :: (<a href="#" title="Data.Maybe"
>Maybe</a
- > [a], <a href="#"
+ > [a], <a href="#" title="Data.Maybe"
>Maybe</a
- > [a]) -&gt; (<a href="#"
+ > [a]) -&gt; (<a href="#" title="Data.Maybe"
>Maybe</a
- > b, <a href="#"
+ > b, <a href="#" title="Data.Maybe"
>Maybe</a
> c) <a href="#" class="selflink"
>#</a
@@ -854,7 +830,7 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Bar:Bar:3"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Bar</a
> [] (a, a)</span
> <a href="#" class="selflink"
@@ -874,7 +850,7 @@
><p class="src"
><a href="#"
>bar</a
- > :: [(a, a)] -&gt; [<a href="#"
+ > :: [(a, a)] -&gt; [<a href="#" title="Data.Bool"
>Bool</a
>] -&gt; (a, a) <a href="#" class="selflink"
>#</a
@@ -906,11 +882,11 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Bar:Bar:4"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Foo</a
- > f =&gt; <a href="#"
+ > f =&gt; <a href="#" title="Instances"
>Bar</a
- > (<a href="#"
+ > (<a href="#" title="Data.Either"
>Either</a
> a) (f a)</span
> <a href="#" class="selflink"
@@ -930,11 +906,11 @@
><p class="src"
><a href="#"
>bar</a
- > :: <a href="#"
+ > :: <a href="#" title="Data.Either"
>Either</a
- > a (f a) -&gt; <a href="#"
+ > a (f a) -&gt; <a href="#" title="Data.Either"
>Either</a
- > a <a href="#"
+ > a <a href="#" title="Data.Bool"
>Bool</a
> -&gt; f a <a href="#" class="selflink"
>#</a
@@ -942,15 +918,15 @@
><p class="src"
><a href="#"
>bar'</a
- > :: <a href="#"
+ > :: <a href="#" title="Data.Either"
>Either</a
- > a (<a href="#"
+ > a (<a href="#" title="Data.Either"
>Either</a
- > a (f a)) -&gt; <a href="#"
+ > a (f a)) -&gt; <a href="#" title="Data.Either"
>Either</a
- > a (<a href="#"
+ > a (<a href="#" title="Data.Either"
>Either</a
- > a (<a href="#"
+ > a (<a href="#" title="Data.Either"
>Either</a
> a b)) <a href="#" class="selflink"
>#</a
@@ -958,13 +934,13 @@
><p class="src"
><a href="#"
>bar0</a
- > :: (<a href="#"
+ > :: (<a href="#" title="Data.Either"
>Either</a
- > a (f a), <a href="#"
+ > a (f a), <a href="#" title="Data.Either"
>Either</a
- > a (f a)) -&gt; (<a href="#"
+ > a (f a)) -&gt; (<a href="#" title="Data.Either"
>Either</a
- > a b, <a href="#"
+ > a b, <a href="#" title="Data.Either"
>Either</a
> a c) <a href="#" class="selflink"
>#</a
@@ -972,13 +948,13 @@
><p class="src"
><a href="#"
>bar1</a
- > :: (<a href="#"
+ > :: (<a href="#" title="Data.Either"
>Either</a
- > a (f a), <a href="#"
+ > a (f a), <a href="#" title="Data.Either"
>Either</a
- > a (f a)) -&gt; (<a href="#"
+ > a (f a)) -&gt; (<a href="#" title="Data.Either"
>Either</a
- > a b, <a href="#"
+ > a b, <a href="#" title="Data.Either"
>Either</a
> a c) <a href="#" class="selflink"
>#</a
@@ -992,13 +968,13 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Bar:Bar:5"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Foo</a
- > (<a href="#"
+ > (<a href="#" title="GHC.Tuple"
>(,,)</a
- > a b) =&gt; <a href="#"
+ > a b) =&gt; <a href="#" title="Instances"
>Bar</a
- > (<a href="#"
+ > (<a href="#" title="GHC.Tuple"
>(,,)</a
> a b) (a, b, a)</span
> <a href="#" class="selflink"
@@ -1018,7 +994,7 @@
><p class="src"
><a href="#"
>bar</a
- > :: (a, b, (a, b, a)) -&gt; (a, b, <a href="#"
+ > :: (a, b, (a, b, a)) -&gt; (a, b, <a href="#" title="Data.Bool"
>Bool</a
>) -&gt; (a, b, a) <a href="#" class="selflink"
>#</a
@@ -1050,11 +1026,11 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Bar:Bar:6"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Bar</a
- > (<a href="#"
+ > (<a href="#" title="Instances"
>Quux</a
- > a c) (<a href="#"
+ > a c) (<a href="#" title="Instances"
>Quux</a
> a b c)</span
> <a href="#" class="selflink"
@@ -1074,15 +1050,15 @@
><p class="src"
><a href="#"
>bar</a
- > :: <a href="#"
+ > :: <a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a b c) -&gt; <a href="#"
+ > a b c) -&gt; <a href="#" title="Instances"
>Quux</a
- > a c <a href="#"
+ > a c <a href="#" title="Data.Bool"
>Bool</a
- > -&gt; <a href="#"
+ > -&gt; <a href="#" title="Instances"
>Quux</a
> a b c <a href="#" class="selflink"
>#</a
@@ -1090,17 +1066,17 @@
><p class="src"
><a href="#"
>bar'</a
- > :: <a href="#"
+ > :: <a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a b c)) -&gt; <a href="#"
+ > a b c)) -&gt; <a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
> a c b0)) <a href="#" class="selflink"
>#</a
@@ -1108,17 +1084,17 @@
><p class="src"
><a href="#"
>bar0</a
- > :: (<a href="#"
+ > :: (<a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a b c), <a href="#"
+ > a b c), <a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a b c)) -&gt; (<a href="#"
+ > a b c)) -&gt; (<a href="#" title="Instances"
>Quux</a
- > a c b0, <a href="#"
+ > a c b0, <a href="#" title="Instances"
>Quux</a
> a c c0) <a href="#" class="selflink"
>#</a
@@ -1126,17 +1102,17 @@
><p class="src"
><a href="#"
>bar1</a
- > :: (<a href="#"
+ > :: (<a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a b c), <a href="#"
+ > a b c), <a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a b c)) -&gt; (<a href="#"
+ > a b c)) -&gt; (<a href="#" title="Instances"
>Quux</a
- > a c b0, <a href="#"
+ > a c b0, <a href="#" title="Instances"
>Quux</a
> a c c0) <a href="#" class="selflink"
>#</a
@@ -1206,7 +1182,7 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Baz:Baz:1"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Baz</a
> [c]</span
> <a href="#" class="selflink"
@@ -1264,7 +1240,7 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Baz:Baz:2"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Baz</a
> (a -&gt; b)</span
> <a href="#" class="selflink"
@@ -1322,7 +1298,7 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Baz:Baz:3"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Baz</a
> (a, b, c)</span
> <a href="#" class="selflink"
@@ -1380,9 +1356,9 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Baz:Baz:4"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Baz</a
- > (<a href="#"
+ > (<a href="#" title="Instances"
>Quux</a
> a b c)</span
> <a href="#" class="selflink"
@@ -1402,13 +1378,13 @@
><p class="src"
><a href="#"
>baz</a
- > :: <a href="#"
+ > :: <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 href="#"
+ > c0. c0 -&gt; <a href="#" title="Instances"
>Quux</a
> a b c) -&gt; (b0, c1) <a href="#" class="selflink"
>#</a
@@ -1418,13 +1394,13 @@
>baz'</a
> :: b0 -&gt; (<span class="keyword"
>forall</span
- > b1. b1 -&gt; <a href="#"
+ > b1. b1 -&gt; <a href="#" title="Instances"
>Quux</a
> a b c) -&gt; (<span class="keyword"
>forall</span
- > b2. b2 -&gt; <a href="#"
+ > b2. b2 -&gt; <a href="#" title="Instances"
>Quux</a
- > a b c) -&gt; [(b0, <a href="#"
+ > a b c) -&gt; [(b0, <a href="#" title="Instances"
>Quux</a
> a b c)] <a href="#" class="selflink"
>#</a
@@ -1436,7 +1412,7 @@
>forall</span
> b1. (<span class="keyword"
>forall</span
- > b2. b2 -&gt; <a href="#"
+ > b2. b2 -&gt; <a href="#" title="Instances"
>Quux</a
> a b c) -&gt; c0) -&gt; <span class="keyword"
>forall</span
@@ -1452,7 +1428,7 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Baz:Baz:5"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Baz</a
> (a, [b], b, a)</span
> <a href="#" class="selflink"
@@ -1558,9 +1534,9 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Quux:Foo:1"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Foo</a
- > (<a href="#"
+ > (<a href="#" title="Instances"
>Quux</a
> a b)</span
> <a href="#" class="selflink"
@@ -1580,11 +1556,11 @@
><p class="src"
><a href="#"
>foo</a
- > :: <a href="#"
+ > :: <a href="#" title="Instances"
>Quux</a
- > a b <a href="#"
+ > a b <a href="#" title="Data.Int"
>Int</a
- > -&gt; a0 -&gt; <a href="#"
+ > -&gt; a0 -&gt; <a href="#" title="Instances"
>Quux</a
> a b a0 <a href="#" class="selflink"
>#</a
@@ -1592,17 +1568,17 @@
><p class="src"
><a href="#"
>foo'</a
- > :: <a href="#"
+ > :: <a href="#" title="Instances"
>Quux</a
- > a b (<a href="#"
+ > a b (<a href="#" title="Instances"
>Quux</a
- > a b a0) -&gt; <a href="#"
+ > a b a0) -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; <a href="#"
+ > -&gt; <a href="#" title="Instances"
>Quux</a
- > a b (<a href="#"
+ > a b (<a href="#" title="Instances"
>Quux</a
- > a b <a href="#"
+ > a b <a href="#" title="Data.Int"
>Int</a
>) <a href="#" class="selflink"
>#</a
@@ -1616,11 +1592,11 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Quux:Bar:2"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Bar</a
- > (<a href="#"
+ > (<a href="#" title="Instances"
>Quux</a
- > a c) (<a href="#"
+ > a c) (<a href="#" title="Instances"
>Quux</a
> a b c)</span
> <a href="#" class="selflink"
@@ -1640,15 +1616,15 @@
><p class="src"
><a href="#"
>bar</a
- > :: <a href="#"
+ > :: <a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a b c) -&gt; <a href="#"
+ > a b c) -&gt; <a href="#" title="Instances"
>Quux</a
- > a c <a href="#"
+ > a c <a href="#" title="Data.Bool"
>Bool</a
- > -&gt; <a href="#"
+ > -&gt; <a href="#" title="Instances"
>Quux</a
> a b c <a href="#" class="selflink"
>#</a
@@ -1656,17 +1632,17 @@
><p class="src"
><a href="#"
>bar'</a
- > :: <a href="#"
+ > :: <a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a b c)) -&gt; <a href="#"
+ > a b c)) -&gt; <a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
> a c b0)) <a href="#" class="selflink"
>#</a
@@ -1674,17 +1650,17 @@
><p class="src"
><a href="#"
>bar0</a
- > :: (<a href="#"
+ > :: (<a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a b c), <a href="#"
+ > a b c), <a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a b c)) -&gt; (<a href="#"
+ > a b c)) -&gt; (<a href="#" title="Instances"
>Quux</a
- > a c b0, <a href="#"
+ > a c b0, <a href="#" title="Instances"
>Quux</a
> a c c0) <a href="#" class="selflink"
>#</a
@@ -1692,17 +1668,17 @@
><p class="src"
><a href="#"
>bar1</a
- > :: (<a href="#"
+ > :: (<a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a b c), <a href="#"
+ > a b c), <a href="#" title="Instances"
>Quux</a
- > a c (<a href="#"
+ > a c (<a href="#" title="Instances"
>Quux</a
- > a b c)) -&gt; (<a href="#"
+ > a b c)) -&gt; (<a href="#" title="Instances"
>Quux</a
- > a c b0, <a href="#"
+ > a c b0, <a href="#" title="Instances"
>Quux</a
> a c c0) <a href="#" class="selflink"
>#</a
@@ -1716,9 +1692,9 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Quux:Baz:3"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Baz</a
- > (<a href="#"
+ > (<a href="#" title="Instances"
>Quux</a
> a b c)</span
> <a href="#" class="selflink"
@@ -1738,13 +1714,13 @@
><p class="src"
><a href="#"
>baz</a
- > :: <a href="#"
+ > :: <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 href="#"
+ > c0. c0 -&gt; <a href="#" title="Instances"
>Quux</a
> a b c) -&gt; (b0, c1) <a href="#" class="selflink"
>#</a
@@ -1754,13 +1730,13 @@
>baz'</a
> :: b0 -&gt; (<span class="keyword"
>forall</span
- > b1. b1 -&gt; <a href="#"
+ > b1. b1 -&gt; <a href="#" title="Instances"
>Quux</a
> a b c) -&gt; (<span class="keyword"
>forall</span
- > b2. b2 -&gt; <a href="#"
+ > b2. b2 -&gt; <a href="#" title="Instances"
>Quux</a
- > a b c) -&gt; [(b0, <a href="#"
+ > a b c) -&gt; [(b0, <a href="#" title="Instances"
>Quux</a
> a b c)] <a href="#" class="selflink"
>#</a
@@ -1772,7 +1748,7 @@
>forall</span
> b1. (<span class="keyword"
>forall</span
- > b2. b2 -&gt; <a href="#"
+ > b2. b2 -&gt; <a href="#" title="Instances"
>Quux</a
> a b c) -&gt; c0) -&gt; <span class="keyword"
>forall</span
@@ -1790,11 +1766,11 @@
></span
> <span class="keyword"
>data</span
- > <a href="#"
+ > <a href="#" title="Instances"
>Thud</a
- > <a href="#"
+ > <a href="#" title="Data.Int"
>Int</a
- > (<a href="#"
+ > (<a href="#" title="Instances"
>Quux</a
> a [a] c)</span
> <a href="#" class="selflink"
@@ -1811,11 +1787,11 @@
><div class="src"
><span class="keyword"
>data</span
- > <a href="#"
+ > <a href="#" title="Instances"
>Thud</a
- > <a href="#"
+ > <a href="#" title="Data.Int"
>Int</a
- > (<a href="#"
+ > (<a href="#" title="Instances"
>Quux</a
> a [a] c) <ul class="inst"
><li class="inst"
@@ -1825,9 +1801,9 @@
><li class="inst"
>| <a id="v:Thuuud" class="def"
>Thuuud</a
- > <a href="#"
+ > <a href="#" title="Data.Int"
>Int</a
- > <a href="#"
+ > <a href="#" title="Data.Int"
>Int</a
></li
></ul
@@ -1876,7 +1852,7 @@
><p class="src"
><a id="v:norf" class="def"
>norf</a
- > :: <a href="#"
+ > :: <a href="#" title="Instances"
>Plugh</a
> a c b -&gt; a -&gt; (a -&gt; c) -&gt; b <a href="#" class="selflink"
>#</a
@@ -1892,11 +1868,11 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Norf:Norf:1"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Norf</a
- > <a href="#"
+ > <a href="#" title="Data.Int"
>Int</a
- > <a href="#"
+ > <a href="#" title="Data.Bool"
>Bool</a
></span
> <a href="#" class="selflink"
@@ -1916,13 +1892,13 @@
><p class="src"
><span class="keyword"
>type</span
- > <a href="#"
+ > <a href="#" title="Instances"
>Plugh</a
- > <a href="#"
+ > <a href="#" title="Data.Int"
>Int</a
- > c <a href="#"
+ > c <a href="#" title="Data.Bool"
>Bool</a
- > :: <a href="#"
+ > :: <a href="#" title="Data.Kind"
>*</a
> <a href="#" class="selflink"
>#</a
@@ -1930,11 +1906,11 @@
><p class="src"
><span class="keyword"
>data</span
- > <a href="#"
+ > <a href="#" title="Instances"
>Thud</a
- > <a href="#"
+ > <a href="#" title="Data.Int"
>Int</a
- > c :: <a href="#"
+ > c :: <a href="#" title="Data.Kind"
>*</a
> <a href="#" class="selflink"
>#</a
@@ -1946,17 +1922,17 @@
><p class="src"
><a href="#"
>norf</a
- > :: <a href="#"
+ > :: <a href="#" title="Instances"
>Plugh</a
- > <a href="#"
+ > <a href="#" title="Data.Int"
>Int</a
- > c <a href="#"
+ > c <a href="#" title="Data.Bool"
>Bool</a
- > -&gt; <a href="#"
+ > -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; (<a href="#"
+ > -&gt; (<a href="#" title="Data.Int"
>Int</a
- > -&gt; c) -&gt; <a href="#"
+ > -&gt; c) -&gt; <a href="#" title="Data.Bool"
>Bool</a
> <a href="#" class="selflink"
>#</a
@@ -1970,7 +1946,7 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Norf:Norf:2"
></span
- > <a href="#"
+ > <a href="#" title="Instances"
>Norf</a
> [a] [b]</span
> <a href="#" class="selflink"
@@ -1990,9 +1966,9 @@
><p class="src"
><span class="keyword"
>type</span
- > <a href="#"
+ > <a href="#" title="Instances"
>Plugh</a
- > [a] c [b] :: <a href="#"
+ > [a] c [b] :: <a href="#" title="Data.Kind"
>*</a
> <a href="#" class="selflink"
>#</a
@@ -2000,9 +1976,9 @@
><p class="src"
><span class="keyword"
>data</span
- > <a href="#"
+ > <a href="#" title="Instances"
>Thud</a
- > [a] c :: <a href="#"
+ > [a] c :: <a href="#" title="Data.Kind"
>*</a
> <a href="#" class="selflink"
>#</a
@@ -2014,7 +1990,7 @@
><p class="src"
><a href="#"
>norf</a
- > :: <a href="#"
+ > :: <a href="#" title="Instances"
>Plugh</a
> [a] c [b] -&gt; [a] -&gt; ([a] -&gt; c) -&gt; [b] <a href="#" class="selflink"
>#</a