diff options
Diffstat (limited to 'html-test/ref/Instances.html')
| -rw-r--r-- | html-test/ref/Instances.html | 834 |
1 files changed, 333 insertions, 501 deletions
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index 84c9498f..40b1045c 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" @@ -90,17 +90,19 @@ ><details id="i:id:-60--126--126-:Foo:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a - > :: (a <a href="#" + > :: (a <a href="#" title="Instances" ><~~</a - > <a href="#" - >Int</a - >) -> a0 -> a <a href="#" + > Int) -> a0 -> a <a href="#" title="Instances" ><~~</a > a0 <a href="#" class="selflink" >#</a @@ -108,19 +110,15 @@ ><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="#" - >Int</a - > -> a <a href="#" + > a0)) -> Int -> a <a href="#" title="Instances" ><~~</a - > (a <a href="#" + > (a <a href="#" title="Instances" ><~~</a - > <a href="#" - >Int</a - >) <a href="#" class="selflink" + > Int) <a href="#" class="selflink" >#</a ></p ></div @@ -142,25 +140,25 @@ > <a href="#" class="selflink" >#</a ></p + ><div class="subs minimal" + ><p class="caption" + >Minimal complete definition</p + ><p class="src" + >Nothing</p + ></div ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: f <a href="#" - >Int</a - > -> a -> f a <a href="#" class="selflink" + > :: f Int -> a -> f a <a href="#" class="selflink" >#</a ></p ><p class="src" ><a id="v:foo-39-" class="def" >foo'</a - > :: f (f a) -> <a href="#" - >Int</a - > -> f (f <a href="#" - >Int</a - >) <a href="#" class="selflink" + > :: f (f a) -> Int -> f (f Int) <a href="#" class="selflink" >#</a ></p ></div @@ -174,7 +172,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" @@ -188,25 +186,23 @@ ><details id="i:ic:Foo:Foo:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a - > :: [<a href="#" - >Int</a - >] -> a -> [a] <a href="#" class="selflink" + > :: [Int] -> a -> [a] <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: [[a]] -> <a href="#" - >Int</a - > -> [[<a href="#" - >Int</a - >]] <a href="#" class="selflink" + > :: [[a]] -> Int -> [[Int]] <a href="#" class="selflink" >#</a ></p ></div @@ -218,11 +214,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="#" - >Maybe</a - ></span + > Maybe</span > <a href="#" class="selflink" >#</a ></td @@ -234,37 +228,23 @@ ><details id="i:ic:Foo:Foo:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a - > :: <a href="#" - >Maybe</a - > <a href="#" - >Int</a - > -> a -> <a href="#" - >Maybe</a - > a <a href="#" class="selflink" + > :: Maybe Int -> a -> Maybe a <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: <a href="#" - >Maybe</a - > (<a href="#" - >Maybe</a - > a) -> <a href="#" - >Int</a - > -> <a href="#" - >Maybe</a - > (<a href="#" - >Maybe</a - > <a href="#" - >Int</a - >) <a href="#" class="selflink" + > :: Maybe (Maybe a) -> Int -> Maybe (Maybe Int) <a href="#" class="selflink" >#</a ></p ></div @@ -276,11 +256,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="#" - >Either</a - > a)</span + > (Either a)</span > <a href="#" class="selflink" >#</a ></td @@ -292,37 +270,23 @@ ><details id="i:ic:Foo:Foo:3" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a - > :: <a href="#" - >Either</a - > a <a href="#" - >Int</a - > -> a0 -> <a href="#" - >Either</a - > a a0 <a href="#" class="selflink" + > :: Either a Int -> a0 -> Either a a0 <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: <a href="#" - >Either</a - > a (<a href="#" - >Either</a - > a a0) -> <a href="#" - >Int</a - > -> <a href="#" - >Either</a - > a (<a href="#" - >Either</a - > a <a href="#" - >Int</a - >) <a href="#" class="selflink" + > :: Either a (Either a a0) -> Int -> Either a (Either a Int) <a href="#" class="selflink" >#</a ></p ></div @@ -334,15 +298,11 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:4" ></span - > (<a href="#" - >Eq</a - > a, <a href="#" + > (Eq a, <a href="#" title="Instances" >Foo</a - > f) => <a href="#" + > f) => <a href="#" title="Instances" >Foo</a - > (<a href="#" - >(,)</a - > (f a))</span + > ((,) (f a))</span > <a href="#" class="selflink" >#</a ></td @@ -354,25 +314,23 @@ ><details id="i:ic:Foo:Foo:4" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a - > :: (f a, <a href="#" - >Int</a - >) -> a0 -> (f a, a0) <a href="#" class="selflink" + > :: (f a, Int) -> a0 -> (f a, a0) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: (f a, (f a, a0)) -> <a href="#" - >Int</a - > -> (f a, (f a, <a href="#" - >Int</a - >)) <a href="#" class="selflink" + > :: (f a, (f a, a0)) -> Int -> (f a, (f a, Int)) <a href="#" class="selflink" >#</a ></p ></div @@ -384,9 +342,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" @@ -400,17 +358,19 @@ ><details id="i:ic:Foo:Foo:5" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a - > :: (a <a href="#" + > :: (a <a href="#" title="Instances" ><~~</a - > <a href="#" - >Int</a - >) -> a0 -> a <a href="#" + > Int) -> a0 -> a <a href="#" title="Instances" ><~~</a > a0 <a href="#" class="selflink" >#</a @@ -418,19 +378,15 @@ ><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="#" - >Int</a - > -> a <a href="#" + > a0)) -> Int -> a <a href="#" title="Instances" ><~~</a - > (a <a href="#" + > (a <a href="#" title="Instances" ><~~</a - > <a href="#" - >Int</a - >) <a href="#" class="selflink" + > Int) <a href="#" class="selflink" >#</a ></p ></div @@ -442,11 +398,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 - > a a)</span + > ((,,) a a)</span > <a href="#" class="selflink" >#</a ></td @@ -458,25 +412,23 @@ ><details id="i:ic:Foo:Foo:6" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a - > :: (a, a, <a href="#" - >Int</a - >) -> a0 -> (a, a, a0) <a href="#" class="selflink" + > :: (a, a, Int) -> a0 -> (a, a, a0) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: (a, a, (a, a, a0)) -> <a href="#" - >Int</a - > -> (a, a, (a, a, <a href="#" - >Int</a - >)) <a href="#" class="selflink" + > :: (a, a, (a, a, a0)) -> Int -> (a, a, (a, a, Int)) <a href="#" class="selflink" >#</a ></p ></div @@ -488,9 +440,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" @@ -504,17 +456,19 @@ ><details id="i:ic:Foo:Foo:7" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a - > :: <a href="#" + > :: <a href="#" title="Instances" >Quux</a - > a b <a href="#" - >Int</a - > -> a0 -> <a href="#" + > a b Int -> a0 -> <a href="#" title="Instances" >Quux</a > a b a0 <a href="#" class="selflink" >#</a @@ -522,19 +476,15 @@ ><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="#" - >Int</a - > -> <a href="#" + > a b a0) -> Int -> <a href="#" title="Instances" >Quux</a - > a b (<a href="#" + > a b (<a href="#" title="Instances" >Quux</a - > a b <a href="#" - >Int</a - >) <a href="#" class="selflink" + > a b Int) <a href="#" class="selflink" >#</a ></p ></div @@ -546,13 +496,9 @@ ><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 :: * -> *)</span > <a href="#" class="selflink" >#</a ></td @@ -564,49 +510,23 @@ ><details id="i:ic:Foo:Foo:8" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a - > :: (<a href="#" - >LiftedRep</a - > -> <a href="#" - >LiftedRep</a - >) a <a href="#" - >Int</a - > -> a0 -> (<a href="#" - >LiftedRep</a - > -> <a href="#" - >LiftedRep</a - >) a a0 <a href="#" class="selflink" + > :: (a -> Int) -> 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="#" - >Int</a - > -> (<a href="#" - >LiftedRep</a - > -> <a href="#" - >LiftedRep</a - >) a ((<a href="#" - >LiftedRep</a - > -> <a href="#" - >LiftedRep</a - >) a <a href="#" - >Int</a - >) <a href="#" class="selflink" + > :: (a -> (a -> a0)) -> Int -> a -> (a -> Int) <a href="#" class="selflink" >#</a ></p ></div @@ -621,7 +541,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 @@ -630,15 +550,19 @@ > <a href="#" class="selflink" >#</a ></p + ><div class="subs minimal" + ><p class="caption" + >Minimal complete definition</p + ><p class="src" + >Nothing</p + ></div ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a id="v:bar" class="def" >bar</a - > :: f a -> f <a href="#" - >Bool</a - > -> a <a href="#" class="selflink" + > :: f a -> f Bool -> a <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -670,13 +594,9 @@ ><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="#" - >Maybe</a - > <a href="#" - >Bool</a - ></span + > Maybe Bool</span > <a href="#" class="selflink" >#</a ></td @@ -688,77 +608,35 @@ ><details id="i:ic:Bar:Bar:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >bar</a - > :: <a href="#" - >Maybe</a - > <a href="#" - >Bool</a - > -> <a href="#" - >Maybe</a - > <a href="#" - >Bool</a - > -> <a href="#" - >Bool</a - > <a href="#" class="selflink" + > :: Maybe Bool -> Maybe Bool -> Bool <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar'</a - > :: <a href="#" - >Maybe</a - > (<a href="#" - >Maybe</a - > <a href="#" - >Bool</a - >) -> <a href="#" - >Maybe</a - > (<a href="#" - >Maybe</a - > (<a href="#" - >Maybe</a - > b)) <a href="#" class="selflink" + > :: Maybe (Maybe Bool) -> Maybe (Maybe (Maybe b)) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar0</a - > :: (<a href="#" - >Maybe</a - > <a href="#" - >Bool</a - >, <a href="#" - >Maybe</a - > <a href="#" - >Bool</a - >) -> (<a href="#" - >Maybe</a - > b, <a href="#" - >Maybe</a - > c) <a href="#" class="selflink" + > :: (Maybe Bool, Maybe Bool) -> (Maybe b, Maybe c) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar1</a - > :: (<a href="#" - >Maybe</a - > <a href="#" - >Bool</a - >, <a href="#" - >Maybe</a - > <a href="#" - >Bool</a - >) -> (<a href="#" - >Maybe</a - > b, <a href="#" - >Maybe</a - > c) <a href="#" class="selflink" + > :: (Maybe Bool, Maybe Bool) -> (Maybe b, Maybe c) <a href="#" class="selflink" >#</a ></p ></div @@ -770,11 +648,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="#" - >Maybe</a - > [a]</span + > Maybe [a]</span > <a href="#" class="selflink" >#</a ></td @@ -786,63 +662,35 @@ ><details id="i:ic:Bar:Bar:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >bar</a - > :: <a href="#" - >Maybe</a - > [a] -> <a href="#" - >Maybe</a - > <a href="#" - >Bool</a - > -> [a] <a href="#" class="selflink" + > :: Maybe [a] -> Maybe Bool -> [a] <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar'</a - > :: <a href="#" - >Maybe</a - > (<a href="#" - >Maybe</a - > [a]) -> <a href="#" - >Maybe</a - > (<a href="#" - >Maybe</a - > (<a href="#" - >Maybe</a - > b)) <a href="#" class="selflink" + > :: Maybe (Maybe [a]) -> Maybe (Maybe (Maybe b)) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar0</a - > :: (<a href="#" - >Maybe</a - > [a], <a href="#" - >Maybe</a - > [a]) -> (<a href="#" - >Maybe</a - > b, <a href="#" - >Maybe</a - > c) <a href="#" class="selflink" + > :: (Maybe [a], Maybe [a]) -> (Maybe b, Maybe c) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar1</a - > :: (<a href="#" - >Maybe</a - > [a], <a href="#" - >Maybe</a - > [a]) -> (<a href="#" - >Maybe</a - > b, <a href="#" - >Maybe</a - > c) <a href="#" class="selflink" + > :: (Maybe [a], Maybe [a]) -> (Maybe b, Maybe c) <a href="#" class="selflink" >#</a ></p ></div @@ -854,7 +702,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" @@ -868,15 +716,17 @@ ><details id="i:ic:Bar:Bar:3" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >bar</a - > :: [(a, a)] -> [<a href="#" - >Bool</a - >] -> (a, a) <a href="#" class="selflink" + > :: [(a, a)] -> [Bool] -> (a, a) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -906,13 +756,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="#" - >Either</a - > a) (f a)</span + > (Either a) (f a)</span > <a href="#" class="selflink" >#</a ></td @@ -924,63 +772,35 @@ ><details id="i:ic:Bar:Bar:4" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >bar</a - > :: <a href="#" - >Either</a - > a (f a) -> <a href="#" - >Either</a - > a <a href="#" - >Bool</a - > -> f a <a href="#" class="selflink" + > :: Either a (f a) -> Either a Bool -> f a <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar'</a - > :: <a href="#" - >Either</a - > a (<a href="#" - >Either</a - > a (f a)) -> <a href="#" - >Either</a - > a (<a href="#" - >Either</a - > a (<a href="#" - >Either</a - > a b)) <a href="#" class="selflink" + > :: Either a (Either a (f a)) -> Either a (Either a (Either a b)) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar0</a - > :: (<a href="#" - >Either</a - > a (f a), <a href="#" - >Either</a - > a (f a)) -> (<a href="#" - >Either</a - > a b, <a href="#" - >Either</a - > a c) <a href="#" class="selflink" + > :: (Either a (f a), Either a (f a)) -> (Either a b, Either a c) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar1</a - > :: (<a href="#" - >Either</a - > a (f a), <a href="#" - >Either</a - > a (f a)) -> (<a href="#" - >Either</a - > a b, <a href="#" - >Either</a - > a c) <a href="#" class="selflink" + > :: (Either a (f a), Either a (f a)) -> (Either a b, Either a c) <a href="#" class="selflink" >#</a ></p ></div @@ -992,15 +812,11 @@ ><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 - > a b) => <a href="#" + > ((,,) a b) => <a href="#" title="Instances" >Bar</a - > (<a href="#" - >(,,)</a - > a b) (a, b, a)</span + > ((,,) a b) (a, b, a)</span > <a href="#" class="selflink" >#</a ></td @@ -1012,15 +828,17 @@ ><details id="i:ic:Bar:Bar:5" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >bar</a - > :: (a, b, (a, b, a)) -> (a, b, <a href="#" - >Bool</a - >) -> (a, b, a) <a href="#" class="selflink" + > :: (a, b, (a, b, a)) -> (a, b, Bool) -> (a, b, a) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1050,11 +868,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" @@ -1068,21 +886,23 @@ ><details id="i:ic:Bar:Bar:6" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><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="#" - >Bool</a - > -> <a href="#" + > a c Bool -> <a href="#" title="Instances" >Quux</a > a b c <a href="#" class="selflink" >#</a @@ -1090,17 +910,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 +928,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 +946,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 @@ -1160,6 +980,12 @@ > <a href="#" class="selflink" >#</a ></p + ><div class="subs minimal" + ><p class="caption" + >Minimal complete definition</p + ><p class="src" + >Nothing</p + ></div ><div class="subs methods" ><p class="caption" >Methods</p @@ -1206,7 +1032,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" @@ -1220,7 +1046,11 @@ ><details id="i:ic:Baz:Baz:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" @@ -1264,7 +1094,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" @@ -1278,7 +1108,11 @@ ><details id="i:ic:Baz:Baz:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" @@ -1322,7 +1156,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" @@ -1336,7 +1170,11 @@ ><details id="i:ic:Baz:Baz:3" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" @@ -1380,9 +1218,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" @@ -1396,19 +1234,23 @@ ><details id="i:ic:Baz:Baz:4" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><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 +1260,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 +1278,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 +1294,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" @@ -1466,7 +1308,11 @@ ><details id="i:ic:Baz:Baz:5" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" @@ -1558,9 +1404,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" @@ -1574,17 +1420,19 @@ ><details id="i:id:Quux:Foo:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a - > :: <a href="#" + > :: <a href="#" title="Instances" >Quux</a - > a b <a href="#" - >Int</a - > -> a0 -> <a href="#" + > a b Int -> a0 -> <a href="#" title="Instances" >Quux</a > a b a0 <a href="#" class="selflink" >#</a @@ -1592,19 +1440,15 @@ ><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="#" - >Int</a - > -> <a href="#" + > a b a0) -> Int -> <a href="#" title="Instances" >Quux</a - > a b (<a href="#" + > a b (<a href="#" title="Instances" >Quux</a - > a b <a href="#" - >Int</a - >) <a href="#" class="selflink" + > a b Int) <a href="#" class="selflink" >#</a ></p ></div @@ -1616,11 +1460,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" @@ -1634,21 +1478,23 @@ ><details id="i:id:Quux:Bar:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><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="#" - >Bool</a - > -> <a href="#" + > a c Bool -> <a href="#" title="Instances" >Quux</a > a b c <a href="#" class="selflink" >#</a @@ -1656,17 +1502,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 +1520,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 +1538,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 +1562,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" @@ -1732,19 +1578,23 @@ ><details id="i:id:Quux:Baz:3" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><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 +1604,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 +1622,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 +1640,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="Instances" >Thud</a - > <a href="#" - >Int</a - > (<a href="#" + > Int (<a href="#" title="Instances" >Quux</a > a [a] c)</span > <a href="#" class="selflink" @@ -1808,14 +1656,16 @@ ><details id="i:id:Quux:Thud:4" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="Instances" >Thud</a - > <a href="#" - >Int</a - > (<a href="#" + > Int (<a href="#" title="Instances" >Quux</a > a [a] c) <ul class="inst" ><li class="inst" @@ -1825,11 +1675,7 @@ ><li class="inst" >| <a id="v:Thuuud" class="def" >Thuuud</a - > <a href="#" - >Int</a - > <a href="#" - >Int</a - ></li + > Int Int</li ></ul ></div ></details @@ -1850,6 +1696,12 @@ > <a href="#" class="selflink" >#</a ></p + ><div class="subs minimal" + ><p class="caption" + >Minimal complete definition</p + ><p class="src" + >Nothing</p + ></div ><div class="subs associated-types" ><p class="caption" >Associated Types</p @@ -1876,7 +1728,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,13 +1744,9 @@ ><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="#" - >Int</a - > <a href="#" - >Bool</a - ></span + > Int Bool</span > <a href="#" class="selflink" >#</a ></td @@ -1910,33 +1758,27 @@ ><details id="i:ic:Norf:Norf:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs associated-types" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs associated-types" ><p class="caption" >Associated Types</p ><p class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="Instances" >Plugh</a - > <a href="#" - >Int</a - > c <a href="#" - >Bool</a - > :: <a href="#" - >*</a - > <a href="#" class="selflink" + > Int c Bool :: * <a href="#" class="selflink" >#</a ></p ><p class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="Instances" >Thud</a - > <a href="#" - >Int</a - > c :: <a href="#" - >*</a - > <a href="#" class="selflink" + > Int c :: * <a href="#" class="selflink" >#</a ></p ></div @@ -1946,19 +1788,9 @@ ><p class="src" ><a href="#" >norf</a - > :: <a href="#" + > :: <a href="#" title="Instances" >Plugh</a - > <a href="#" - >Int</a - > c <a href="#" - >Bool</a - > -> <a href="#" - >Int</a - > -> (<a href="#" - >Int</a - > -> c) -> <a href="#" - >Bool</a - > <a href="#" class="selflink" + > Int c Bool -> Int -> (Int -> c) -> Bool <a href="#" class="selflink" >#</a ></p ></div @@ -1970,7 +1802,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" @@ -1984,27 +1816,27 @@ ><details id="i:ic:Norf:Norf:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs associated-types" + ><p + >Defined in <a href="#" + >Instances</a + ></p + > <div class="subs associated-types" ><p class="caption" >Associated Types</p ><p class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="Instances" >Plugh</a - > [a] c [b] :: <a href="#" - >*</a - > <a href="#" class="selflink" + > [a] c [b] :: * <a href="#" class="selflink" >#</a ></p ><p class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="Instances" >Thud</a - > [a] c :: <a href="#" - >*</a - > <a href="#" class="selflink" + > [a] c :: * <a href="#" class="selflink" >#</a ></p ></div @@ -2014,7 +1846,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 |