diff options
Diffstat (limited to 'html-test/ref/Instances.html')
| -rw-r--r-- | html-test/ref/Instances.html | 566 |
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" >(<~~)</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" ><~~</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a - >) -> a0 -> a <a href="#" + >) -> a0 -> a <a href="#" title="Instances" ><~~</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" ><~~</a - > (a <a href="#" + > (a <a href="#" title="Instances" ><~~</a - > a0)) -> <a href="#" + > a0)) -> <a href="#" title="Data.Int" >Int</a - > -> a <a href="#" + > -> a <a href="#" title="Instances" ><~~</a - > (a <a href="#" + > (a <a href="#" title="Instances" ><~~</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 > -> a -> 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) -> <a href="#" + > :: f (f a) -> <a href="#" title="Data.Int" >Int</a - > -> f (f <a href="#" + > -> 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 >] -> a -> [a] <a href="#" class="selflink" >#</a @@ -202,9 +202,9 @@ ><p class="src" ><a href="#" >foo'</a - > :: [[a]] -> <a href="#" + > :: [[a]] -> <a href="#" title="Data.Int" >Int</a - > -> [[<a href="#" + > -> [[<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 - > -> a -> <a href="#" + > -> a -> <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) -> <a href="#" + > a) -> <a href="#" title="Data.Int" >Int</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.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 - > -> a0 -> <a href="#" + > -> a0 -> <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) -> <a href="#" + > a a0) -> <a href="#" title="Data.Int" >Int</a - > -> <a href="#" + > -> <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) => <a href="#" + > f) => <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 >) -> a0 -> (f a, a0) <a href="#" class="selflink" >#</a @@ -368,9 +368,9 @@ ><p class="src" ><a href="#" >foo'</a - > :: (f a, (f a, a0)) -> <a href="#" + > :: (f a, (f a, a0)) -> <a href="#" title="Data.Int" >Int</a - > -> (f a, (f a, <a href="#" + > -> (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" >(<~~)</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" ><~~</a - > <a href="#" + > <a href="#" title="Data.Int" >Int</a - >) -> a0 -> a <a href="#" + >) -> a0 -> a <a href="#" title="Instances" ><~~</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" ><~~</a - > (a <a href="#" + > (a <a href="#" title="Instances" ><~~</a - > a0)) -> <a href="#" + > a0)) -> <a href="#" title="Data.Int" >Int</a - > -> a <a href="#" + > -> a <a href="#" title="Instances" ><~~</a - > (a <a href="#" + > (a <a href="#" title="Instances" ><~~</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 >) -> a0 -> (a, a, a0) <a href="#" class="selflink" >#</a @@ -472,9 +472,9 @@ ><p class="src" ><a href="#" >foo'</a - > :: (a, a, (a, a, a0)) -> <a href="#" + > :: (a, a, (a, a, a0)) -> <a href="#" title="Data.Int" >Int</a - > -> (a, a, (a, a, <a href="#" + > -> (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 - > -> a0 -> <a href="#" + > -> a0 -> <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) -> <a href="#" + > a b a0) -> <a href="#" title="Data.Int" >Int</a - > -> <a href="#" + > -> <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 - > ((->) <a href="#" - >LiftedRep</a - > <a href="#" - >LiftedRep</a - > a)</span + > ((->) a :: <a href="#" title="Data.Kind" + >*</a + > -> <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 - > -> <a href="#" - >LiftedRep</a - >) a <a href="#" + > :: (a -> <a href="#" title="Data.Int" >Int</a - > -> a0 -> (<a href="#" - >LiftedRep</a - > -> <a href="#" - >LiftedRep</a - >) a a0 <a href="#" class="selflink" + >) -> a0 -> a -> a0 <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: (<a href="#" - >LiftedRep</a - > -> <a href="#" - >LiftedRep</a - >) a ((<a href="#" - >LiftedRep</a - > -> <a href="#" - >LiftedRep</a - >) a a0) -> <a href="#" + > :: (a -> a -> a0) -> <a href="#" title="Data.Int" >Int</a - > -> (<a href="#" - >LiftedRep</a - > -> <a href="#" - >LiftedRep</a - >) a ((<a href="#" - >LiftedRep</a - > -> <a href="#" - >LiftedRep</a - >) a <a href="#" + > -> a -> a -> <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 => <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 -> f <a href="#" + > :: f a -> f <a href="#" title="Data.Bool" >Bool</a > -> 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 - > -> <a href="#" + > -> <a href="#" title="Data.Maybe" >Maybe</a - > <a href="#" + > <a href="#" title="Data.Bool" >Bool</a - > -> <a href="#" + > -> <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 - >) -> <a href="#" + >) -> <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 - >) -> (<a href="#" + >) -> (<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 - >) -> (<a href="#" + >) -> (<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] -> <a href="#" + > [a] -> <a href="#" title="Data.Maybe" >Maybe</a - > <a href="#" + > <a href="#" title="Data.Bool" >Bool</a > -> [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]) -> <a href="#" + > [a]) -> <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]) -> (<a href="#" + > [a]) -> (<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]) -> (<a href="#" + > [a]) -> (<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)] -> [<a href="#" + > :: [(a, a)] -> [<a href="#" title="Data.Bool" >Bool</a >] -> (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 => <a href="#" + > f => <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) -> <a href="#" + > a (f a) -> <a href="#" title="Data.Either" >Either</a - > a <a href="#" + > a <a href="#" title="Data.Bool" >Bool</a > -> 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)) -> <a href="#" + > a (f a)) -> <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)) -> (<a href="#" + > a (f a)) -> (<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)) -> (<a href="#" + > a (f a)) -> (<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) => <a href="#" + > a b) => <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)) -> (a, b, <a href="#" + > :: (a, b, (a, b, a)) -> (a, b, <a href="#" title="Data.Bool" >Bool</a >) -> (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) -> <a href="#" + > a b c) -> <a href="#" title="Instances" >Quux</a - > a c <a href="#" + > a c <a href="#" title="Data.Bool" >Bool</a - > -> <a href="#" + > -> <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)) -> <a href="#" + > a b c)) -> <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)) -> (<a href="#" + > a b c)) -> (<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)) -> (<a href="#" + > a b c)) -> (<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 -> 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 -> (<span class="keyword" >forall</span > a0. a0 -> a0) -> (b0, <span class="keyword" >forall</span - > c0. c0 -> <a href="#" + > c0. c0 -> <a href="#" title="Instances" >Quux</a > a b c) -> (b0, c1) <a href="#" class="selflink" >#</a @@ -1418,13 +1394,13 @@ >baz'</a > :: b0 -> (<span class="keyword" >forall</span - > b1. b1 -> <a href="#" + > b1. b1 -> <a href="#" title="Instances" >Quux</a > a b c) -> (<span class="keyword" >forall</span - > b2. b2 -> <a href="#" + > b2. b2 -> <a href="#" title="Instances" >Quux</a - > a b c) -> [(b0, <a href="#" + > a b c) -> [(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 -> <a href="#" + > b2. b2 -> <a href="#" title="Instances" >Quux</a > a b c) -> c0) -> <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 - > -> a0 -> <a href="#" + > -> a0 -> <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) -> <a href="#" + > a b a0) -> <a href="#" title="Data.Int" >Int</a - > -> <a href="#" + > -> <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) -> <a href="#" + > a b c) -> <a href="#" title="Instances" >Quux</a - > a c <a href="#" + > a c <a href="#" title="Data.Bool" >Bool</a - > -> <a href="#" + > -> <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)) -> <a href="#" + > a b c)) -> <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)) -> (<a href="#" + > a b c)) -> (<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)) -> (<a href="#" + > a b c)) -> (<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 -> (<span class="keyword" >forall</span > a0. a0 -> a0) -> (b0, <span class="keyword" >forall</span - > c0. c0 -> <a href="#" + > c0. c0 -> <a href="#" title="Instances" >Quux</a > a b c) -> (b0, c1) <a href="#" class="selflink" >#</a @@ -1754,13 +1730,13 @@ >baz'</a > :: b0 -> (<span class="keyword" >forall</span - > b1. b1 -> <a href="#" + > b1. b1 -> <a href="#" title="Instances" >Quux</a > a b c) -> (<span class="keyword" >forall</span - > b2. b2 -> <a href="#" + > b2. b2 -> <a href="#" title="Instances" >Quux</a - > a b c) -> [(b0, <a href="#" + > a b c) -> [(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 -> <a href="#" + > b2. b2 -> <a href="#" title="Instances" >Quux</a > a b c) -> c0) -> <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 -> a -> (a -> c) -> 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 - > -> <a href="#" + > -> <a href="#" title="Data.Int" >Int</a - > -> (<a href="#" + > -> (<a href="#" title="Data.Int" >Int</a - > -> c) -> <a href="#" + > -> c) -> <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] -> [a] -> ([a] -> c) -> [b] <a href="#" class="selflink" >#</a |