diff options
Diffstat (limited to 'html-test')
80 files changed, 3350 insertions, 2481 deletions
diff --git a/html-test/Main.hs b/html-test/Main.hs index 67dbeec6..d65a5087 100755 --- a/html-test/Main.hs +++ b/html-test/Main.hs @@ -47,7 +47,22 @@ stripIfRequired mdl = preserveLinksModules :: [String] preserveLinksModules = ["Bug253"] +ingoredTests :: [FilePath] +ingoredTests = + [ + -- Currently some declarations are exported twice + -- we need a reliable way to deduplicate here. + -- Happens since PR #688. + "B" + + -- ignore-exports flag broke with PR #688. We use + -- the Avails calculated by GHC now. Probably + -- requires a change to GHC to "ignore" a modules + -- export list reliably. + , "IgnoreExports" + ] checkIgnore :: FilePath -> Bool +checkIgnore file | takeBaseName file `elem` ingoredTests = True checkIgnore file@(c:_) | takeExtension file == ".html" && isUpper c = False checkIgnore _ = True diff --git a/html-test/ref/A.html b/html-test/ref/A.html index 1fbfb371..c6965abc 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -54,15 +54,11 @@ ><li class="src short" ><a href="#" >other</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li class="src short" ><a href="#" >test2</a - > :: <a href="#" - >Bool</a - ></li + > :: Bool</li ><li class="src short" ><span class="keyword" >data</span @@ -74,9 +70,7 @@ ><li class="src short" ><a href="#" >reExport</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul ></details ></div @@ -111,9 +105,7 @@ ><p class="src" ><a id="v:other" class="def" >other</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ></div @@ -121,9 +113,7 @@ ><p class="src" ><a id="v:test2" class="def" >test2</a - > :: <a href="#" - >Bool</a - > <a href="#" class="selflink" + > :: Bool <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -165,9 +155,7 @@ ><p class="src" ><a id="v:reExport" class="def" >reExport</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html index e6ee486b..d5f9052e 100644 --- a/html-test/ref/Bug1.html +++ b/html-test/ref/Bug1.html @@ -70,7 +70,7 @@ ><p >We should have different anchors for constructors and types/classes. This hyperlink should point to the type constructor by default: <code - ><a href="#" + ><a href="#" title="Bug1" >T</a ></code >.</p diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html index b10195c4..d2d0efd9 100644 --- a/html-test/ref/Bug2.html +++ b/html-test/ref/Bug2.html @@ -45,7 +45,7 @@ ><p class="src" ><a id="v:x" class="def" >x</a - > :: <a href="#" + > :: <a href="#" title="A" >A</a > <a href="#" class="selflink" >#</a diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html index 178d70fe..57b1b164 100644 --- a/html-test/ref/Bug253.html +++ b/html-test/ref/Bug253.html @@ -81,7 +81,7 @@ >This link should generate <code >#v</code > anchor: <code - ><a href="#" + ><a href="#" title="DoesNotExist" >fakeFakeFake</a ></code ></p diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index 376c2ce6..a363fef3 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -71,7 +71,11 @@ > a <span class="keyword" >where</span ><ul class="subs" - ></ul + ><li + ><a href="#" + >c_f</a + > :: a</li + ></ul ></li ></ul ></details @@ -126,14 +130,6 @@ >Since: 1.0</em ></p ></div - ><div class="subs minimal" - ><p class="caption" - >Minimal complete definition</p - ><p class="src" - ><a href="#" - >c_f</a - ></p - ></div ><div class="subs methods" ><p class="caption" >Methods</p @@ -160,7 +156,7 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:C:C:1" ></span - > <a href="#" + > <a href="#" title="Bug26" >C</a > ()</span > <a href="#" class="selflink" @@ -180,7 +176,11 @@ ><details id="i:ic:C:C:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Bug26</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html index da1e6b13..f2d25057 100644 --- a/html-test/ref/Bug280.html +++ b/html-test/ref/Bug280.html @@ -61,9 +61,7 @@ ><p class="src" ><a id="v:x" class="def" >x</a - > :: [<a href="#" - >Char</a - >] <a href="#" class="selflink" + > :: [Char] <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html index 87a03731..790c1894 100644 --- a/html-test/ref/Bug294.html +++ b/html-test/ref/Bug294.html @@ -62,9 +62,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="Bug294" >DP</a - > <a href="#" + > <a href="#" title="Bug294" >A</a ></span > <a href="#" class="selflink" @@ -78,16 +78,20 @@ ><details id="i:id:A:DP:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >Bug294</a + ></p + > <div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="Bug294" >DP</a - > <a href="#" + > <a href="#" title="Bug294" >A</a > = <a id="v:ProblemCtor-39-" class="def" >ProblemCtor'</a - > <a href="#" + > <a href="#" title="Bug294" >A</a ></div ></details @@ -100,7 +104,9 @@ ></span > <span class="keyword" >data</span - > TP <a href="#" + > <a href="#" title="Bug294" + >TP</a + > <a href="#" title="Bug294" >A</a ></span > <a href="#" class="selflink" @@ -114,14 +120,20 @@ ><details id="i:id:A:TP:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >Bug294</a + ></p + > <div class="src" ><span class="keyword" >data</span - > TP <a href="#" + > <a href="#" title="Bug294" + >TP</a + > <a href="#" title="Bug294" >A</a > = <a id="v:ProblemCtor" class="def" >ProblemCtor</a - > <a href="#" + > <a href="#" title="Bug294" >A</a ></div ></details @@ -135,9 +147,9 @@ ><p class="src" ><a id="v:problemField" class="def" >problemField</a - > :: TO <a href="#" + > :: TO <a href="#" title="Bug294" >A</a - > -> <a href="#" + > -> <a href="#" title="Bug294" >A</a > <a href="#" class="selflink" >#</a @@ -147,9 +159,9 @@ ><p class="src" ><a id="v:problemField-39-" class="def" >problemField'</a - > :: DO <a href="#" + > :: DO <a href="#" title="Bug294" >A</a - > -> <a href="#" + > -> <a href="#" title="Bug294" >A</a > <a href="#" class="selflink" >#</a @@ -159,9 +171,9 @@ ><p class="src" ><a id="v:gadtField" class="def" >gadtField</a - > :: ({..} -> GADT <a href="#" + > :: GADT <a href="#" title="Bug294" >A</a - >) -> <a href="#" + > -> <a href="#" title="Bug294" >A</a > <a href="#" class="selflink" >#</a @@ -171,11 +183,69 @@ ><p class="src" ><span class="keyword" >data family</span + > <a id="t:TP" class="def" + >TP</a + > t :: * <a href="#" class="selflink" + >#</a + ></p + ><div class="subs instances" + ><details id="i:TP" open="open" + ><summary + >Instances</summary + ><table + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:if:TP:TP:1" + ></span + > <span class="keyword" + >data</span + > <a href="#" title="Bug294" + >TP</a + > <a href="#" title="Bug294" + >A</a + ></span + > <a href="#" class="selflink" + >#</a + ></td + ><td class="doc empty" + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:if:TP:TP:1" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Bug294</a + ></p + > <div class="src" + ><span class="keyword" + >data</span + > <a href="#" title="Bug294" + >TP</a + > <a href="#" title="Bug294" + >A</a + > = <a id="v:ProblemCtor" class="def" + >ProblemCtor</a + > <a href="#" title="Bug294" + >A</a + ></div + ></details + ></td + ></tr + ></table + ></details + ></div + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data family</span > <a id="t:DP" class="def" >DP</a - > t :: <a href="#" - >*</a - > <a href="#" class="selflink" + > t :: * <a href="#" class="selflink" >#</a ></p ><div class="subs instances" @@ -190,9 +260,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="Bug294" >DP</a - > <a href="#" + > <a href="#" title="Bug294" >A</a ></span > <a href="#" class="selflink" @@ -206,16 +276,20 @@ ><details id="i:if:DP:DP:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >Bug294</a + ></p + > <div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="Bug294" >DP</a - > <a href="#" + > <a href="#" title="Bug294" >A</a > = <a id="v:ProblemCtor-39-" class="def" >ProblemCtor'</a - > <a href="#" + > <a href="#" title="Bug294" >A</a ></div ></details @@ -225,6 +299,60 @@ ></details ></div ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data family</span + > <a id="t:TO-39-" class="def" + >TO'</a + > t :: * <a href="#" class="selflink" + >#</a + ></p + ><div class="subs instances" + ><details id="i:TO-39-" open="open" + ><summary + >Instances</summary + ><table + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:if:TO-39-:TO-39-:1" + ></span + > <span class="keyword" + >data</span + > <a href="#" title="Bug294" + >TO'</a + > a</span + > <a href="#" class="selflink" + >#</a + ></td + ><td class="doc empty" + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:if:TO-39-:TO-39-:1" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Bug294</a + ></p + > <div class="src" + ><span class="keyword" + >data</span + > <a href="#" title="Bug294" + >TO'</a + > a = <a id="v:PolyCtor" class="def" + >PolyCtor</a + ></div + ></details + ></td + ></tr + ></table + ></details + ></div + ></div ></div ></div ><div id="footer" diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html index 532d40c5..94cb1533 100644 --- a/html-test/ref/Bug298.html +++ b/html-test/ref/Bug298.html @@ -111,19 +111,19 @@ ><div class="doc" ><p >Links to <code - ><a href="#" + ><a href="#" title="Bug298" ><^></a ></code > and <code - ><a href="#" + ><a href="#" title="Bug298" >^></a ></code >, <code - ><a href="#" + ><a href="#" title="Bug298" ><^</a ></code > and <code - ><a href="#" + ><a href="#" title="Bug298" >⋆^</a ></code >.</p diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html index 80d01cfe..2c716278 100644 --- a/html-test/ref/Bug3.html +++ b/html-test/ref/Bug3.html @@ -46,9 +46,7 @@ ><li class="src short" ><a href="#" >foo</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul ></details ></div @@ -59,9 +57,7 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index 50ba8cfd..e664eccd 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -38,28 +38,6 @@ ><p class="caption" >Bug310</p ></div - ><div id="synopsis" - ><details id="syn" - ><summary - >Synopsis</summary - ><ul class="details-toggle" data-details-id="syn" - ><li class="src short" - ><span class="keyword" - >type family</span - > (a :: <a href="#" - >Nat</a - >) <a href="#" - >+</a - > (b :: <a href="#" - >Nat</a - >) :: <a href="#" - >Nat</a - > <span class="keyword" - >where ...</span - ></li - ></ul - ></details - ></div ><div id="interface" ><h1 >Documentation</h1 @@ -67,27 +45,13 @@ ><p class="src" ><span class="keyword" >type family</span - > (a :: <a href="#" - >Nat</a - >) <a id="t:-43-" class="def" + > (a :: Nat) <a id="t:-43-" class="def" >+</a - > (b :: <a href="#" - >Nat</a - >) :: <a href="#" - >Nat</a - > <span class="keyword" + > (b :: Nat) :: Nat <span class="keyword" >where ...</span - > <span class="fixity" - >infixl 6</span - ><span class="rightedge" - ></span > <a href="#" class="selflink" >#</a ></p - ><div class="doc" - ><p - >Addition of type-level naturals.</p - ></div ></div ></div ></div diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html index 23faa420..da1b1ee5 100644 --- a/html-test/ref/Bug387.html +++ b/html-test/ref/Bug387.html @@ -60,44 +60,40 @@ ><li class="src short" ><a href="#" >test1</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li class="src short" ><a href="#" >test2</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul ></details ></div ><div id="interface" - ><h1 id="g:1" - >Section1<a id="a:section1" + ><a href="#" id="g:1" + ><h1 + >Section1<a id="a:section1" + ></a + ></h1 ></a - ></h1 ><div class="top" ><p class="src" ><a id="v:test1" class="def" >test1</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ></div - ><h1 id="g:2" - >Section2<a id="a:section2" + ><a href="#" id="g:2" + ><h1 + >Section2<a id="a:section2" + ></a + ></h1 ></a - ></h1 ><div class="top" ><p class="src" ><a id="v:test2" class="def" >test2</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html index 40d9ee7b..6bf822f7 100644 --- a/html-test/ref/Bug4.html +++ b/html-test/ref/Bug4.html @@ -46,9 +46,7 @@ ><li class="src short" ><a href="#" >foo</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul ></details ></div @@ -59,9 +57,7 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Bug458.html b/html-test/ref/Bug458.html new file mode 100644 index 00000000..f716d7d6 --- /dev/null +++ b/html-test/ref/Bug458.html @@ -0,0 +1,80 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Bug458</title + ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + /><link rel="stylesheet" type="text/css" href="#" + /><script src="haddock-bundle.min.js" async="async" type="text/javascript" + ></script + ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" + ></script + ></head + ><body + ><div id="package-header" + ><ul class="links" id="page-menu" + ><li + ><a href="#" + >Contents</a + ></li + ><li + ><a href="#" + >Index</a + ></li + ></ul + ><p class="caption empty" + ></p + ></div + ><div id="content" + ><div id="module-header" + ><table class="info" + ><tr + ><th + >Safe Haskell</th + ><td + >Safe</td + ></tr + ></table + ><p class="caption" + >Bug458</p + ></div + ><div id="synopsis" + ><details id="syn" + ><summary + >Synopsis</summary + ><ul class="details-toggle" data-details-id="syn" + ><li class="src short" + ><a href="#" + >(⊆)</a + > :: () -> () -> ()</li + ></ul + ></details + ></div + ><div id="interface" + ><h1 + >Documentation</h1 + ><div class="top" + ><p class="src" + ><a id="v:-8838-" class="def" + >(⊆)</a + > :: () -> () -> () <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >See the defn of <code + ><code + ><a href="#" title="Bug458" + >⊆</a + ></code + ></code + >.</p + ></div + ></div + ></div + ></div + ><div id="footer" + ></div + ></body + ></html +>
\ No newline at end of file diff --git a/html-test/ref/Bug546.html b/html-test/ref/Bug546.html new file mode 100644 index 00000000..e2246475 --- /dev/null +++ b/html-test/ref/Bug546.html @@ -0,0 +1,261 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Bug546</title + ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + /><link rel="stylesheet" type="text/css" href="#" + /><script src="haddock-bundle.min.js" async="async" type="text/javascript" + ></script + ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" + ></script + ></head + ><body + ><div id="package-header" + ><ul class="links" id="page-menu" + ><li + ><a href="#" + >Contents</a + ></li + ><li + ><a href="#" + >Index</a + ></li + ></ul + ><p class="caption empty" + ></p + ></div + ><div id="content" + ><div id="module-header" + ><table class="info" + ><tr + ><th + >Safe Haskell</th + ><td + >Safe</td + ></tr + ></table + ><p class="caption" + >Bug546</p + ></div + ><div id="synopsis" + ><details id="syn" + ><summary + >Synopsis</summary + ><ul class="details-toggle" data-details-id="syn" + ><li class="src short" + ><a href="#" + >x</a + > :: Integer</li + ><li class="src short" + ><a href="#" + >compile</a + > :: String -> String</li + ></ul + ></details + ></div + ><div id="interface" + ><h1 + >Documentation</h1 + ><div class="top" + ><p class="src" + ><a id="v:x" class="def" + >x</a + > :: Integer <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >Test:</p + ><dl + ><dt + ><code + >[code with square \ brackets]</code + ></dt + ><dd + >lorem ipsum</dd + ></dl + ></div + ></div + ><div class="top" + ><p class="src" + ><a id="v:compile" class="def" + >compile</a + > :: String -> String <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><dl + ><dt + ><code + >[..]</code + ></dt + ><dd + >Matches any of the enclosed characters. Ranges of characters can + be specified by separating the endpoints with a <code + >'-'</code + >. <code + >'-'</code + > or + <code + >']'</code + > can be matched by including them as the first character(s) + in the list. Never matches path separators: <code + >[/]</code + > matches + nothing at all. Named character classes can also be matched: + <code + >[:x:]</code + > within <code + >[]</code + > specifies the class named <code + >x</code + >, which matches + certain predefined characters. See below for a full list.</dd + ><dt + ><code + >[^..]</code + > or <code + >[!..]</code + ></dt + ><dd + >Like <code + >[..]</code + >, but matches any character <em + >not</em + > listed. + Note that <code + >[^-x]</code + > is not the inverse of <code + >[-x]</code + >, but + the range <code + >[^-x]</code + >.</dd + ><dt + ><code + ><m-n></code + ></dt + ><dd + >Matches any integer in the range m to n, inclusive. The range may + be open-ended by leaving out either number: <code + >"<->"</code + >, for + instance, matches any integer.</dd + ><dt + ><code + >**/</code + ></dt + ><dd + >Matches any number of characters, including path separators, + excluding the empty string.</dd + ></dl + ><p + >Supported character classes:</p + ><dl + ><dt + ><code + >[:alnum:]</code + ></dt + ><dd + >Equivalent to <code + >"0-9A-Za-z"</code + >.</dd + ><dt + ><code + >[:alpha:]</code + ></dt + ><dd + >Equivalent to <code + >"A-Za-z"</code + >.</dd + ><dt + ><code + >[:blank:]</code + ></dt + ><dd + >Equivalent to <code + >"\t "</code + >.</dd + ><dt + ><code + >[:cntrl:]</code + ></dt + ><dd + >Equivalent to <code + >"\0-\x1f\x7f"</code + >.</dd + ><dt + ><code + >[:digit:]</code + ></dt + ><dd + >Equivalent to <code + >"0-9"</code + >.</dd + ><dt + ><code + >[:graph:]</code + ></dt + ><dd + >Equivalent to <code + >"!-~"</code + >.</dd + ><dt + ><code + >[:lower:]</code + ></dt + ><dd + >Equivalent to <code + >"a-z"</code + >.</dd + ><dt + ><code + >[:print:]</code + ></dt + ><dd + >Equivalent to <code + >" -~"</code + >.</dd + ><dt + ><code + >[:punct:]</code + ></dt + ><dd + >Equivalent to <code + >"!-/:-@[-`{-~"</code + >.</dd + ><dt + ><code + >[:space:]</code + ></dt + ><dd + >Equivalent to <code + >"\t-\r "</code + >.</dd + ><dt + ><code + >[:upper:]</code + ></dt + ><dd + >Equivalent to <code + >"A-Z"</code + >.</dd + ><dt + ><code + >[:xdigit:]</code + ></dt + ><dd + >Equivalent to <code + >"0-9A-Fa-f"</code + >.</dd + ></dl + ></div + ></div + ></div + ></div + ><div id="footer" + ></div + ></body + ></html +>
\ No newline at end of file diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html new file mode 100644 index 00000000..a8061eb2 --- /dev/null +++ b/html-test/ref/Bug548.html @@ -0,0 +1,450 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Bug548</title + ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + /><link rel="stylesheet" type="text/css" href="#" + /><script src="haddock-bundle.min.js" async="async" type="text/javascript" + ></script + ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" + ></script + ></head + ><body + ><div id="package-header" + ><ul class="links" id="page-menu" + ><li + ><a href="#" + >Contents</a + ></li + ><li + ><a href="#" + >Index</a + ></li + ></ul + ><p class="caption empty" + ></p + ></div + ><div id="content" + ><div id="module-header" + ><table class="info" + ><tr + ><th + >Safe Haskell</th + ><td + >Safe</td + ></tr + ></table + ><p class="caption" + >Bug548</p + ></div + ><div id="interface" + ><h1 + >Documentation</h1 + ><div class="top" + ><p class="src" + ><span class="keyword" + >newtype</span + > <a id="t:WrappedArrow" class="def" + >WrappedArrow</a + > (a :: * -> * -> *) b c <a href="#" class="selflink" + >#</a + ></p + ><div class="subs constructors" + ><p class="caption" + >Constructors</p + ><table + ><tr + ><td class="src" + ><a id="v:WrapArrow" class="def" + >WrapArrow</a + ></td + ><td class="doc empty" + ></td + ></tr + ><tr + ><td colspan="2" + ><div class="subs fields" + ><p class="caption" + >Fields</p + ><ul + ><li + ><dfn class="src" + ><a id="v:unwrapArrow" class="def" + >unwrapArrow</a + > :: a b c</dfn + ><div class="doc empty" + ></div + ></li + ></ul + ></div + ></td + ></tr + ></table + ></div + ><div class="subs instances" + ><details id="i:WrappedArrow" open="open" + ><summary + >Instances</summary + ><table + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Generic1:1" + ></span + > Generic1 (<a href="#" title="Bug548" + >WrappedArrow</a + > a b :: * -> *)</span + ></td + ><td class="doc empty" + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:id:WrappedArrow:Generic1:1" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Control.Applicative</a + ></p + > <div class="subs associated-types" + ><p class="caption" + >Associated Types</p + ><p class="src" + ><span class="keyword" + >type</span + > Rep1 (<a href="#" title="Bug548" + >WrappedArrow</a + > a b) :: k -> *</p + ></div + > <div class="subs methods" + ><p class="caption" + >Methods</p + ><p class="src" + ><a href="#" + >from1</a + > :: <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0 -> Rep1 (<a href="#" title="Bug548" + >WrappedArrow</a + > a b) a0</p + ><p class="src" + ><a href="#" + >to1</a + > :: Rep1 (<a href="#" title="Bug548" + >WrappedArrow</a + > a b) a0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0</p + ></div + ></details + ></td + ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Functor:2" + ></span + > Arrow a => Functor (<a href="#" title="Bug548" + >WrappedArrow</a + > a b)</span + ></td + ><td class="doc empty" + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:id:WrappedArrow:Functor:2" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Control.Applicative</a + ></p + > <div class="subs methods" + ><p class="caption" + >Methods</p + ><p class="src" + ><a href="#" + >fmap</a + > :: (a0 -> b0) -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b b0</p + ><p class="src" + ><a href="#" + >(<$)</a + > :: a0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b b0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0</p + ></div + ></details + ></td + ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Applicative:3" + ></span + > Arrow a => Applicative (<a href="#" title="Bug548" + >WrappedArrow</a + > a b)</span + ></td + ><td class="doc empty" + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:id:WrappedArrow:Applicative:3" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Control.Applicative</a + ></p + > <div class="subs methods" + ><p class="caption" + >Methods</p + ><p class="src" + ><a href="#" + >pure</a + > :: a0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0</p + ><p class="src" + ><a href="#" + >(<*>)</a + > :: <a href="#" title="Bug548" + >WrappedArrow</a + > a b (a0 -> b0) -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b b0</p + ><p class="src" + ><a href="#" + >liftA2</a + > :: (a0 -> b0 -> c) -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b b0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b c</p + ><p class="src" + ><a href="#" + >(*>)</a + > :: <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b b0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b b0</p + ><p class="src" + ><a href="#" + >(<*)</a + > :: <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b b0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0</p + ></div + ></details + ></td + ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Alternative:4" + ></span + > (ArrowZero a, ArrowPlus a) => Alternative (<a href="#" title="Bug548" + >WrappedArrow</a + > a b)</span + ></td + ><td class="doc empty" + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:id:WrappedArrow:Alternative:4" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Control.Applicative</a + ></p + > <div class="subs methods" + ><p class="caption" + >Methods</p + ><p class="src" + ><a href="#" + >empty</a + > :: <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0</p + ><p class="src" + ><a href="#" + >(<|>)</a + > :: <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0</p + ><p class="src" + ><a href="#" + >some</a + > :: <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b [a0]</p + ><p class="src" + ><a href="#" + >many</a + > :: <a href="#" title="Bug548" + >WrappedArrow</a + > a b a0 -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b [a0]</p + ></div + ></details + ></td + ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Generic:5" + ></span + > Generic (<a href="#" title="Bug548" + >WrappedArrow</a + > a b c)</span + ></td + ><td class="doc empty" + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:id:WrappedArrow:Generic:5" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Control.Applicative</a + ></p + > <div class="subs associated-types" + ><p class="caption" + >Associated Types</p + ><p class="src" + ><span class="keyword" + >type</span + > Rep (<a href="#" title="Bug548" + >WrappedArrow</a + > a b c) :: * -> *</p + ></div + > <div class="subs methods" + ><p class="caption" + >Methods</p + ><p class="src" + ><a href="#" + >from</a + > :: <a href="#" title="Bug548" + >WrappedArrow</a + > a b c -> Rep (<a href="#" title="Bug548" + >WrappedArrow</a + > a b c) x</p + ><p class="src" + ><a href="#" + >to</a + > :: Rep (<a href="#" title="Bug548" + >WrappedArrow</a + > a b c) x -> <a href="#" title="Bug548" + >WrappedArrow</a + > a b c</p + ></div + ></details + ></td + ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Rep1:6" + ></span + > <span class="keyword" + >type</span + > Rep1 (<a href="#" title="Bug548" + >WrappedArrow</a + > a b :: * -> *)</span + ></td + ><td class="doc empty" + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:id:WrappedArrow:Rep1:6" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Control.Applicative</a + ></p + > <div class="src" + ><span class="keyword" + >type</span + > Rep1 (<a href="#" title="Bug548" + >WrappedArrow</a + > a b :: * -> *) = D1 (MetaData "WrappedArrow" "Control.Applicative" "base" True) (C1 (MetaCons "WrapArrow" PrefixI True) (S1 (MetaSel (Just "unwrapArrow") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 (a b))))</div + ></details + ></td + ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Rep:7" + ></span + > <span class="keyword" + >type</span + > Rep (<a href="#" title="Bug548" + >WrappedArrow</a + > a b c)</span + ></td + ><td class="doc empty" + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:id:WrappedArrow:Rep:7" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Control.Applicative</a + ></p + > <div class="src" + ><span class="keyword" + >type</span + > Rep (<a href="#" title="Bug548" + >WrappedArrow</a + > a b c) = D1 (MetaData "WrappedArrow" "Control.Applicative" "base" True) (C1 (MetaCons "WrapArrow" PrefixI True) (S1 (MetaSel (Just "unwrapArrow") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (a b c))))</div + ></details + ></td + ></tr + ></table + ></details + ></div + ></div + ></div + ></div + ><div id="footer" + ></div + ></body + ></html +>
\ No newline at end of file diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html index 9dc093cd..27f73d64 100644 --- a/html-test/ref/Bug6.html +++ b/html-test/ref/Bug6.html @@ -58,9 +58,7 @@ >A</a > = <a href="#" >A</a - > <a href="#" - >Int</a - ></li + > Int</li ><li class="src short" ><span class="keyword" >data</span @@ -68,15 +66,13 @@ >B</a > = <a href="#" >B</a - > {<ul class="subs" - ><li - ><a href="#" - >b</a - > :: <a href="#" - >Int</a - ></li - ></ul - >}</li + > Int</li + ><li class="src short" + ><a href="#" + >b</a + > :: <a href="#" title="Bug6" + >B</a + > -> Int</li ><li class="src short" ><span class="keyword" >data</span @@ -88,15 +84,11 @@ ><li ><a href="#" >c1</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li ><a href="#" >c2</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul >}</li ><li class="src short" @@ -106,11 +98,7 @@ >D</a > = <a href="#" >D</a - > <a href="#" - >Int</a - > <a href="#" - >Int</a - ></li + > Int Int</li ><li class="src short" ><span class="keyword" >newtype</span @@ -118,9 +106,7 @@ >E</a > = <a href="#" >E</a - > <a href="#" - >Int</a - ></li + > Int</li ></ul ></details ></div @@ -148,9 +134,7 @@ ><td class="src" ><a id="v:A" class="def" >A</a - > <a href="#" - >Int</a - ></td + > Int</td ><td class="doc empty" ></td ></tr @@ -179,35 +163,25 @@ ><td class="src" ><a id="v:B" class="def" >B</a - ></td + > Int</td ><td class="doc empty" ></td ></tr - ><tr - ><td colspan="2" - ><div class="subs fields" - ><p class="caption" - >Fields</p - ><ul - ><li - ><dfn class="src" - ><a id="v:b" class="def" - >b</a - > :: <a href="#" - >Int</a - ></dfn - ><div class="doc empty" - ></div - ></li - ></ul - ></div - ></td - ></tr ></table ></div ></div ><div class="top" ><p class="src" + ><a id="v:b" class="def" + >b</a + > :: <a href="#" title="Bug6" + >B</a + > -> Int <a href="#" class="selflink" + >#</a + ></p + ></div + ><div class="top" + ><p class="src" ><span class="keyword" >data</span > <a id="t:C" class="def" @@ -241,9 +215,7 @@ ><dfn class="src" ><a id="v:c1" class="def" >c1</a - > :: <a href="#" - >Int</a - ></dfn + > :: Int</dfn ><div class="doc empty" ></div ></li @@ -251,9 +223,7 @@ ><dfn class="src" ><a id="v:c2" class="def" >c2</a - > :: <a href="#" - >Int</a - ></dfn + > :: Int</dfn ><div class="doc empty" ></div ></li @@ -286,11 +256,7 @@ ><td class="src" ><a id="v:D" class="def" >D</a - > <a href="#" - >Int</a - > <a href="#" - >Int</a - ></td + > Int Int</td ><td class="doc empty" ></td ></tr @@ -318,9 +284,7 @@ ><td class="src" ><a id="v:E" class="def" >E</a - > <a href="#" - >Int</a - ></td + > Int</td ><td class="doc empty" ></td ></tr diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html index 765f18e1..e8089fc8 100644 --- a/html-test/ref/Bug613.html +++ b/html-test/ref/Bug613.html @@ -51,7 +51,11 @@ > f <span class="keyword" >where</span ><ul class="subs" - ></ul + ><li + ><a href="#" + >fmap</a + > :: (a -> b) -> f a -> f b</li + ></ul ></li ><li class="src short" ><span class="keyword" @@ -78,14 +82,6 @@ > <a href="#" class="selflink" >#</a ></p - ><div class="subs minimal" - ><p class="caption" - >Minimal complete definition</p - ><p class="src" - ><a href="#" - >fmap</a - ></p - ></div ><div class="subs methods" ><p class="caption" >Methods</p @@ -106,11 +102,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Functor:Functor:1" ></span - > <a href="#" + > <a href="#" title="Bug613" >Functor</a - > (<a href="#" - >Either</a - > a)</span + > (Either a)</span > <a href="#" class="selflink" >#</a ></td @@ -122,17 +116,17 @@ ><details id="i:ic:Functor:Functor:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Bug613</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >fmap</a - > :: (a0 -> b) -> <a href="#" - >Either</a - > a a0 -> <a href="#" - >Either</a - > a b <a href="#" class="selflink" + > :: (a0 -> b) -> Either a a0 -> Either a b <a href="#" class="selflink" >#</a ></p ></div @@ -144,9 +138,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Functor:Functor:2" ></span - > <a href="#" + > <a href="#" title="Bug613" >Functor</a - > (<a href="#" + > (<a href="#" title="Bug613" >ThreeVars</a > a0 a)</span > <a href="#" class="selflink" @@ -160,15 +154,19 @@ ><details id="i:ic:Functor:Functor:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Bug613</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >fmap</a - > :: (a1 -> b) -> <a href="#" + > :: (a1 -> b) -> <a href="#" title="Bug613" >ThreeVars</a - > a0 a a1 -> <a href="#" + > a0 a a1 -> <a href="#" title="Bug613" >ThreeVars</a > a0 a b <a href="#" class="selflink" >#</a @@ -218,9 +216,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:ThreeVars:Functor:1" ></span - > <a href="#" + > <a href="#" title="Bug613" >Functor</a - > (<a href="#" + > (<a href="#" title="Bug613" >ThreeVars</a > a0 a)</span > <a href="#" class="selflink" @@ -234,15 +232,19 @@ ><details id="i:id:ThreeVars:Functor:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Bug613</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >fmap</a - > :: (a1 -> b) -> <a href="#" + > :: (a1 -> b) -> <a href="#" title="Bug613" >ThreeVars</a - > a0 a a1 -> <a href="#" + > a0 a a1 -> <a href="#" title="Bug613" >ThreeVars</a > a0 a b <a href="#" class="selflink" >#</a diff --git a/html-test/ref/Bug647.html b/html-test/ref/Bug647.html index c35127f4..0928c1ec 100644 --- a/html-test/ref/Bug647.html +++ b/html-test/ref/Bug647.html @@ -52,14 +52,6 @@ > <a href="#" class="selflink" >#</a ></p - ><div class="subs minimal" - ><p class="caption" - >Minimal complete definition</p - ><p class="src" - ><a href="#" - >f</a - ></p - ></div ><div class="subs methods" ><p class="caption" >Methods</p diff --git a/html-test/ref/Bug679.html b/html-test/ref/Bug679.html new file mode 100644 index 00000000..71eb9360 --- /dev/null +++ b/html-test/ref/Bug679.html @@ -0,0 +1,196 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Bug679</title + ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + /><link rel="stylesheet" type="text/css" href="#" + /><script src="haddock-bundle.min.js" async="async" type="text/javascript" + ></script + ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" + ></script + ></head + ><body + ><div id="package-header" + ><ul class="links" id="page-menu" + ><li + ><a href="#" + >Contents</a + ></li + ><li + ><a href="#" + >Index</a + ></li + ></ul + ><p class="caption empty" + ></p + ></div + ><div id="content" + ><div id="module-header" + ><table class="info" + ><tr + ><th + >Safe Haskell</th + ><td + >None</td + ></tr + ></table + ><p class="caption" + >Bug679</p + ></div + ><div id="interface" + ><h1 + >Documentation</h1 + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a id="t:Bar" class="def" + >Bar</a + > a <a href="#" class="selflink" + >#</a + ></p + ><div class="subs constructors" + ><p class="caption" + >Constructors</p + ><table + ><tr + ><td class="src" + ><a id="v:Bar" class="def" + >Bar</a + ></td + ><td class="doc empty" + ></td + ></tr + ></table + ></div + ><div class="subs instances" + ><details id="i:Bar" open="open" + ><summary + >Instances</summary + ><table + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Bar:Foo:1" + ></span + > <a href="#" title="Bug679" + >Foo</a + > (<a href="#" title="Bug679" + >Bar</a + > a)</span + > <a href="#" class="selflink" + >#</a + ></td + ><td class="doc empty" + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:id:Bar:Foo:1" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Bug679</a + ></p + > <div class="subs methods" + ><p class="caption" + >Methods</p + ><p class="src" + ><a href="#" + >foo</a + > :: <a href="#" title="Bug679" + >Bar</a + > a -> <a href="#" title="Bug679" + >Bar</a + > a <a href="#" class="selflink" + >#</a + ></p + ></div + ></details + ></td + ></tr + ></table + ></details + ></div + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >class</span + > <a id="t:Foo" class="def" + >Foo</a + > a <span class="keyword" + >where</span + > <a href="#" class="selflink" + >#</a + ></p + ><div class="subs methods" + ><p class="caption" + >Methods</p + ><p class="src" + ><a id="v:foo" class="def" + >foo</a + > :: a -> a <a href="#" class="selflink" + >#</a + ></p + ></div + ><div class="subs instances" + ><details id="i:Foo" open="open" + ><summary + >Instances</summary + ><table + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:1" + ></span + > <a href="#" title="Bug679" + >Foo</a + > (<a href="#" title="Bug679" + >Bar</a + > a)</span + > <a href="#" class="selflink" + >#</a + ></td + ><td class="doc empty" + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:ic:Foo:Foo:1" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Bug679</a + ></p + > <div class="subs methods" + ><p class="caption" + >Methods</p + ><p class="src" + ><a href="#" + >foo</a + > :: <a href="#" title="Bug679" + >Bar</a + > a -> <a href="#" title="Bug679" + >Bar</a + > a <a href="#" class="selflink" + >#</a + ></p + ></div + ></details + ></td + ></tr + ></table + ></details + ></div + ></div + ></div + ></div + ><div id="footer" + ></div + ></body + ></html +>
\ No newline at end of file diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html index ba1a4e26..26a8e7a3 100644 --- a/html-test/ref/Bug7.html +++ b/html-test/ref/Bug7.html @@ -109,11 +109,11 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Foo:Bar:1" ></span - > <a href="#" + > <a href="#" title="Bug7" >Bar</a - > <a href="#" + > <a href="#" title="Bug7" >Foo</a - > <a href="#" + > <a href="#" title="Bug7" >Foo</a ></span > <a href="#" class="selflink" @@ -129,6 +129,10 @@ ><details id="i:id:Foo:Bar:1" ><summary class="hide-when-js-enabled" >Instance details</summary + ><p + >Defined in <a href="#" + >Bug7</a + ></p ></details ></td ></tr @@ -159,11 +163,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="Bug7" >Bar</a - > <a href="#" + > <a href="#" title="Bug7" >Foo</a - > <a href="#" + > <a href="#" title="Bug7" >Foo</a ></span > <a href="#" class="selflink" @@ -179,6 +183,10 @@ ><details id="i:ic:Bar:Bar:1" ><summary class="hide-when-js-enabled" >Instance details</summary + ><p + >Defined in <a href="#" + >Bug7</a + ></p ></details ></td ></tr diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 3149d919..7aa562f2 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -58,9 +58,9 @@ ><td class="src" ><a id="v:Type" class="def" >Type</a - > (<a href="#" + > (<a href="#" title="Bug8" >Typ</a - >, [<a href="#" + >, [<a href="#" title="Bug8" >Typ</a >])</td ><td class="doc empty" @@ -70,9 +70,9 @@ ><td class="src" ><a id="v:TFree" class="def" >TFree</a - > (<a href="#" + > (<a href="#" title="Bug8" >Typ</a - >, [<a href="#" + >, [<a href="#" title="Bug8" >Typ</a >])</td ><td class="doc empty" @@ -85,7 +85,7 @@ ><p class="src" ><a id="v:-45--45--62-" class="def" >(-->)</a - > :: p1 -> p2 -> <a href="#" + > :: p1 -> p2 -> <a href="#" title="Bug8" >Typ</a > <span class="fixity" >infix 9</span @@ -99,11 +99,9 @@ ><p class="src" ><a id="v:-45--45--45--62-" class="def" >(--->)</a - > :: <a href="#" - >Foldable</a - > t0 => t0 t -> <a href="#" + > :: Foldable t0 => t0 t -> <a href="#" title="Bug8" >Typ</a - > -> <a href="#" + > -> <a href="#" title="Bug8" >Typ</a > <span class="fixity" >infix 9</span diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html index ee602f82..bf7e1465 100644 --- a/html-test/ref/Bug85.html +++ b/html-test/ref/Bug85.html @@ -47,15 +47,7 @@ >data</span > <a id="t:Foo" class="def" >Foo</a - > :: (<a href="#" - >*</a - > -> <a href="#" - >*</a - >) -> <a href="#" - >*</a - > -> <a href="#" - >*</a - > <span class="keyword" + > :: (* -> *) -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -68,7 +60,7 @@ ><td class="src" ><a id="v:Bar" class="def" >Bar</a - > :: f x -> <a href="#" + > :: f x -> <a href="#" title="Bug85" >Foo</a > f (f x)</td ><td class="doc empty" @@ -83,9 +75,7 @@ >data</span > <a id="t:Baz" class="def" >Baz</a - > :: <a href="#" - >*</a - > <span class="keyword" + > :: * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -98,7 +88,7 @@ ><td class="src" ><a id="v:Baz-39-" class="def" >Baz'</a - > :: <a href="#" + > :: <a href="#" title="Bug85" >Baz</a ></td ><td class="doc empty" @@ -126,7 +116,7 @@ ><td class="src" ><a id="v:Quux" class="def" >Quux</a - > :: <a href="#" + > :: <a href="#" title="Bug85" >Qux</a ></td ><td class="doc empty" diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html index ca801201..393a78ab 100644 --- a/html-test/ref/BugDeprecated.html +++ b/html-test/ref/BugDeprecated.html @@ -46,39 +46,27 @@ ><li class="src short" ><a href="#" >foo</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li class="src short" ><a href="#" >bar</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li class="src short" ><a href="#" >baz</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li class="src short" ><a href="#" >one</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li class="src short" ><a href="#" >two</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li class="src short" ><a href="#" >three</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul ></details ></div @@ -89,9 +77,7 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -105,9 +91,7 @@ ><p class="src" ><a id="v:bar" class="def" >bar</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -121,9 +105,7 @@ ><p class="src" ><a id="v:baz" class="def" >baz</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -137,9 +119,7 @@ ><p class="src" ><a id="v:one" class="def" >one</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -155,9 +135,7 @@ ><p class="src" ><a id="v:two" class="def" >two</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -171,9 +149,7 @@ ><p class="src" ><a id="v:three" class="def" >three</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html index 7b3e7728..17378531 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -76,88 +76,76 @@ ><li class="src short" ><a href="#" >foo</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li class="src short" ><a href="#" >bar</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li class="src short" ><a href="#" >baz</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li class="src short" ><a href="#" >one</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li class="src short" ><a href="#" >two</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li class="src short" ><a href="#" >three</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul ></details ></div ><div id="interface" - ><h1 id="g:1" - >Foo</h1 + ><a href="#" id="g:1" + ><h1 + >Foo</h1 + ></a ><div class="top" ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ></div - ><h1 id="g:2" - >Bar</h1 + ><a href="#" id="g:2" + ><h1 + >Bar</h1 + ></a ><div class="top" ><p class="src" ><a id="v:bar" class="def" >bar</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ></div - ><h1 id="g:3" - >Baz</h1 + ><a href="#" id="g:3" + ><h1 + >Baz</h1 + ></a ><div class="top" ><p class="src" ><a id="v:baz" class="def" >baz</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ></div - ><h1 id="g:4" - >One</h1 + ><a href="#" id="g:4" + ><h1 + >One</h1 + ></a ><div class="top" ><p class="src" ><a id="v:one" class="def" >one</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -167,15 +155,15 @@ ></div ></div ></div - ><h1 id="g:5" - >Two</h1 + ><a href="#" id="g:5" + ><h1 + >Two</h1 + ></a ><div class="top" ><p class="src" ><a id="v:two" class="def" >two</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -185,15 +173,15 @@ ></div ></div ></div - ><h1 id="g:6" - >Three</h1 + ><a href="#" id="g:6" + ><h1 + >Three</h1 + ></a ><div class="top" ><p class="src" ><a id="v:three" class="def" >three</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html index 8922fe9e..348ae6bc 100644 --- a/html-test/ref/Bugs.html +++ b/html-test/ref/Bugs.html @@ -58,9 +58,7 @@ ><td class="src" ><a id="v:A" class="def" >A</a - > a (a -> <a href="#" - >Int</a - >)</td + > a (a -> Int)</td ><td class="doc empty" ></td ></tr diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html index dea60728..7a602ae1 100644 --- a/html-test/ref/BundledPatterns.html +++ b/html-test/ref/BundledPatterns.html @@ -48,19 +48,13 @@ >data</span > <a href="#" >Vec</a - > :: <a href="#" - >Nat</a - > -> <a href="#" - >*</a - > -> <a href="#" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li ><a href="#" >Nil</a - > :: <a href="#" + > :: <a href="#" title="BundledPatterns" >Vec</a > 0 a</li ><li @@ -68,11 +62,11 @@ >pattern</span > <a href="#" >(:>)</a - > :: a -> <a href="#" + > :: a -> <a href="#" title="BundledPatterns" >Vec</a - > n a -> <a href="#" + > n a -> <a href="#" title="BundledPatterns" >Vec</a - > (n <a href="#" + > (n <a href="#" title="Bug310" >+</a > 1) a</li ></ul @@ -82,13 +76,7 @@ >data</span > <a href="#" >RTree</a - > :: <a href="#" - >Nat</a - > -> <a href="#" - >*</a - > -> <a href="#" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -96,7 +84,7 @@ >pattern</span > <a href="#" >LR</a - > :: a -> <a href="#" + > :: a -> <a href="#" title="BundledPatterns" >RTree</a > 0 a</li ><li @@ -104,13 +92,13 @@ >pattern</span > <a href="#" >BR</a - > :: <a href="#" + > :: <a href="#" title="BundledPatterns" >RTree</a - > d a -> <a href="#" + > d a -> <a href="#" title="BundledPatterns" >RTree</a - > d a -> <a href="#" + > d a -> <a href="#" title="BundledPatterns" >RTree</a - > (d <a href="#" + > (d <a href="#" title="Bug310" >+</a > 1) a</li ></ul @@ -127,13 +115,7 @@ >data</span > <a id="t:Vec" class="def" >Vec</a - > :: <a href="#" - >Nat</a - > -> <a href="#" - >*</a - > -> <a href="#" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -146,7 +128,7 @@ >Lists with their length encoded in their type</li ><li ><code - ><a href="#" + ><a href="#" title="BundledPatterns" >Vec</a ></code >tor elements have an <strong @@ -154,9 +136,7 @@ > subscript starting from 0 and ending at <code ><code - ><a href="#" - >length</a - ></code + >length</code > - 1</code >.</li ></ul @@ -169,7 +149,7 @@ ><td class="src" ><a id="v:Nil" class="def" >Nil</a - > :: <a href="#" + > :: <a href="#" title="BundledPatterns" >Vec</a > 0 a</td ><td class="doc empty" @@ -187,11 +167,11 @@ >pattern</span > <a id="v::-62-" class="def" >(:>)</a - > :: a -> <a href="#" + > :: a -> <a href="#" title="BundledPatterns" >Vec</a - > n a -> <a href="#" + > n a -> <a href="#" title="BundledPatterns" >Vec</a - > (n <a href="#" + > (n <a href="#" title="Bug310" >+</a > 1) a <span class="fixity" >infixr 5</span @@ -293,13 +273,7 @@ >data</span > <a id="t:RTree" class="def" >RTree</a - > :: <a href="#" - >Nat</a - > -> <a href="#" - >*</a - > -> <a href="#" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -328,7 +302,7 @@ >pattern</span > <a id="v:LR" class="def" >LR</a - > :: a -> <a href="#" + > :: a -> <a href="#" title="BundledPatterns" >RTree</a > 0 a</td ><td class="doc" @@ -394,13 +368,13 @@ >pattern</span > <a id="v:BR" class="def" >BR</a - > :: <a href="#" + > :: <a href="#" title="BundledPatterns" >RTree</a - > d a -> <a href="#" + > d a -> <a href="#" title="BundledPatterns" >RTree</a - > d a -> <a href="#" + > d a -> <a href="#" title="BundledPatterns" >RTree</a - > (d <a href="#" + > (d <a href="#" title="Bug310" >+</a > 1) a</td ><td class="doc" diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html index 385fd07f..6a60c748 100644 --- a/html-test/ref/BundledPatterns2.html +++ b/html-test/ref/BundledPatterns2.html @@ -48,35 +48,29 @@ >data</span > <a href="#" >Vec</a - > :: <a href="#" - >Nat</a - > -> <a href="#" - >*</a - > -> <a href="#" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li ><span class="keyword" >pattern</span > <a href="#" - >Empty</a - > :: <a href="#" + >(:>)</a + > :: a -> <a href="#" title="BundledPatterns2" >Vec</a - > 0 a</li + > n a -> <a href="#" title="BundledPatterns2" + >Vec</a + > (n <a href="#" title="Bug310" + >+</a + > 1) a</li ><li ><span class="keyword" >pattern</span > <a href="#" - >(:>)</a - > :: a -> <a href="#" - >Vec</a - > n a -> <a href="#" + >Empty</a + > :: <a href="#" title="BundledPatterns2" >Vec</a - > (n <a href="#" - >+</a - > 1) a</li + > 0 a</li ></ul ></li ><li class="src short" @@ -84,13 +78,7 @@ >data</span > <a href="#" >RTree</a - > :: <a href="#" - >Nat</a - > -> <a href="#" - >*</a - > -> <a href="#" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -98,7 +86,7 @@ >pattern</span > <a href="#" >LR</a - > :: a -> <a href="#" + > :: a -> <a href="#" title="BundledPatterns2" >RTree</a > 0 a</li ><li @@ -106,13 +94,13 @@ >pattern</span > <a href="#" >BR</a - > :: <a href="#" + > :: <a href="#" title="BundledPatterns2" >RTree</a - > d a -> <a href="#" + > d a -> <a href="#" title="BundledPatterns2" >RTree</a - > d a -> <a href="#" + > d a -> <a href="#" title="BundledPatterns2" >RTree</a - > (d <a href="#" + > (d <a href="#" title="Bug310" >+</a > 1) a</li ></ul @@ -129,13 +117,7 @@ >data</span > <a id="t:Vec" class="def" >Vec</a - > :: <a href="#" - >Nat</a - > -> <a href="#" - >*</a - > -> <a href="#" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -148,7 +130,7 @@ >Lists with their length encoded in their type</li ><li ><code - ><a href="#" + ><a href="#" title="BundledPatterns2" >Vec</a ></code >tor elements have an <strong @@ -156,9 +138,7 @@ > subscript starting from 0 and ending at <code ><code - ><a href="#" - >length</a - ></code + >length</code > - 1</code >.</li ></ul @@ -171,25 +151,13 @@ ><td class="src" ><span class="keyword" >pattern</span - > <a id="v:Empty" class="def" - >Empty</a - > :: <a href="#" - >Vec</a - > 0 a</td - ><td class="doc empty" - ></td - ></tr - ><tr - ><td class="src" - ><span class="keyword" - >pattern</span > <a id="v::-62-" class="def" >(:>)</a - > :: a -> <a href="#" + > :: a -> <a href="#" title="BundledPatterns2" >Vec</a - > n a -> <a href="#" + > n a -> <a href="#" title="BundledPatterns2" >Vec</a - > (n <a href="#" + > (n <a href="#" title="Bug310" >+</a > 1) a <span class="fixity" >infixr 5</span @@ -282,6 +250,18 @@ </pre ></td ></tr + ><tr + ><td class="src" + ><span class="keyword" + >pattern</span + > <a id="v:Empty" class="def" + >Empty</a + > :: <a href="#" title="BundledPatterns2" + >Vec</a + > 0 a</td + ><td class="doc empty" + ></td + ></tr ></table ></div ></div @@ -291,13 +271,7 @@ >data</span > <a id="t:RTree" class="def" >RTree</a - > :: <a href="#" - >Nat</a - > -> <a href="#" - >*</a - > -> <a href="#" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -326,7 +300,7 @@ >pattern</span > <a id="v:LR" class="def" >LR</a - > :: a -> <a href="#" + > :: a -> <a href="#" title="BundledPatterns2" >RTree</a > 0 a</td ><td class="doc" @@ -392,13 +366,13 @@ >pattern</span > <a id="v:BR" class="def" >BR</a - > :: <a href="#" + > :: <a href="#" title="BundledPatterns2" >RTree</a - > d a -> <a href="#" + > d a -> <a href="#" title="BundledPatterns2" >RTree</a - > d a -> <a href="#" + > d a -> <a href="#" title="BundledPatterns2" >RTree</a - > (d <a href="#" + > (d <a href="#" title="Bug310" >+</a > 1) a</td ><td class="doc" diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html index 68e40a5a..548cd729 100644 --- a/html-test/ref/ConstructorPatternExport.html +++ b/html-test/ref/ConstructorPatternExport.html @@ -47,9 +47,7 @@ >pattern</span > <a id="v:FooCons" class="def" >FooCons</a - > :: <a href="#" - >String</a - > -> a -> Foo a <a href="#" class="selflink" + > :: String -> a -> Foo a <a href="#" class="selflink" >#</a ></p ></div @@ -59,11 +57,7 @@ >pattern</span > <a id="v:MyRecCons" class="def" >MyRecCons</a - > :: <a href="#" - >Bool</a - > -> <a href="#" - >Int</a - > -> MyRec <a href="#" class="selflink" + > :: Bool -> Int -> MyRec <a href="#" class="selflink" >#</a ></p ></div @@ -73,9 +67,7 @@ >pattern</span > <a id="v::-43-" class="def" >(:+)</a - > :: <a href="#" - >String</a - > -> a -> MyInfix a <a href="#" class="selflink" + > :: String -> a -> MyInfix a <a href="#" class="selflink" >#</a ></p ></div @@ -85,9 +77,7 @@ >pattern</span > <a id="v:BlubCons" class="def" >BlubCons</a - > :: () => <a href="#" - >Show</a - > b => b -> Blub <a href="#" class="selflink" + > :: () => Show b => b -> Blub <a href="#" class="selflink" >#</a ></p ></div @@ -97,17 +87,7 @@ >pattern</span > <a id="v:MyGADTCons" class="def" >MyGADTCons</a - > :: () => <span class="keyword" - >forall</span - > a. <a href="#" - >Eq</a - > a => a -> <a href="#" - >Int</a - > -> MyGADT (<a href="#" - >Maybe</a - > <a href="#" - >String</a - >) <a href="#" class="selflink" + > :: a -> Int -> MyGADT (Maybe String) <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html index f7571316..55abc489 100644 --- a/html-test/ref/DeprecatedClass.html +++ b/html-test/ref/DeprecatedClass.html @@ -51,7 +51,11 @@ > a <span class="keyword" >where</span ><ul class="subs" - ></ul + ><li + ><a href="#" + >foo</a + > :: a -> a</li + ></ul ></li ><li class="src short" ><span class="keyword" @@ -61,7 +65,11 @@ > a <span class="keyword" >where</span ><ul class="subs" - ></ul + ><li + ><a href="#" + >bar</a + > :: a -> a</li + ></ul ></li ></ul ></details @@ -88,14 +96,6 @@ ><p >some class</p ></div - ><div class="subs minimal" - ><p class="caption" - >Minimal complete definition</p - ><p class="src" - ><a href="#" - >foo</a - ></p - ></div ><div class="subs methods" ><p class="caption" >Methods</p @@ -132,14 +132,6 @@ >Deprecated: SomeOtherClass</p ></div ></div - ><div class="subs minimal" - ><p class="caption" - >Minimal complete definition</p - ><p class="src" - ><a href="#" - >bar</a - ></p - ></div ><div class="subs methods" ><p class="caption" >Methods</p diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html index 41bf7454..5682128f 100644 --- a/html-test/ref/DeprecatedFunction.html +++ b/html-test/ref/DeprecatedFunction.html @@ -46,15 +46,11 @@ ><li class="src short" ><a href="#" >foo</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li class="src short" ><a href="#" >bar</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul ></details ></div @@ -65,16 +61,14 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" ><div class="warning" ><p >Deprecated: use <code - ><a href="#" + ><a href="#" title="DeprecatedFunction" >bar</a ></code > instead</p @@ -87,9 +81,7 @@ ><p class="src" ><a id="v:bar" class="def" >bar</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html index bbf6cdd7..d4e19e7a 100644 --- a/html-test/ref/DeprecatedFunction2.html +++ b/html-test/ref/DeprecatedFunction2.html @@ -46,9 +46,7 @@ ><li class="src short" ><a href="#" >foo</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul ></details ></div @@ -59,9 +57,7 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html index 96474a98..58cffae8 100644 --- a/html-test/ref/DeprecatedFunction3.html +++ b/html-test/ref/DeprecatedFunction3.html @@ -46,9 +46,7 @@ ><li class="src short" ><a href="#" >foo</a - > :: <a href="#" - >Integer</a - ></li + > :: Integer</li ></ul ></details ></div @@ -59,9 +57,7 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: <a href="#" - >Integer</a - > <a href="#" class="selflink" + > :: Integer <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html index 9971adb5..eb92dad9 100644 --- a/html-test/ref/DeprecatedModule.html +++ b/html-test/ref/DeprecatedModule.html @@ -61,9 +61,7 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html index 2e390b4f..81f2e024 100644 --- a/html-test/ref/DeprecatedModule2.html +++ b/html-test/ref/DeprecatedModule2.html @@ -55,9 +55,7 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html index c7803c81..2640cbb5 100644 --- a/html-test/ref/DeprecatedNewtype.html +++ b/html-test/ref/DeprecatedNewtype.html @@ -50,9 +50,7 @@ >SomeNewType</a > = <a href="#" >SomeNewTypeConst</a - > <a href="#" - >String</a - ></li + > String</li ><li class="src short" ><span class="keyword" >newtype</span @@ -60,9 +58,7 @@ >SomeOtherNewType</a > = <a href="#" >SomeOtherNewTypeConst</a - > <a href="#" - >String</a - ></li + > String</li ></ul ></details ></div @@ -94,9 +90,7 @@ ><td class="src" ><a id="v:SomeNewTypeConst" class="def" >SomeNewTypeConst</a - > <a href="#" - >String</a - ></td + > String</td ><td class="doc" ><div class="warning" ><p @@ -132,9 +126,7 @@ ><td class="src" ><a id="v:SomeOtherNewTypeConst" class="def" >SomeOtherNewTypeConst</a - > <a href="#" - >String</a - ></td + > String</td ><td class="doc" ><div class="warning" ><p diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html index fd137108..214be4f4 100644 --- a/html-test/ref/DeprecatedReExport.html +++ b/html-test/ref/DeprecatedReExport.html @@ -72,29 +72,27 @@ ><li class="src short" ><a href="#" >foo</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul ></details ></div ><div id="interface" - ><h1 id="g:1" - >Re-exported from an other module</h1 + ><a href="#" id="g:1" + ><h1 + >Re-exported from an other module</h1 + ></a ><div class="top" ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" ><div class="warning" ><p >Deprecated: use <code - ><a href="#" + ><a href="#" title="DeprecatedFunction" >bar</a ></code > instead</p @@ -103,8 +101,10 @@ >some documentation for foo</p ></div ></div - ><h1 id="g:2" - >Re-exported from an other package</h1 + ><a href="#" id="g:2" + ><h1 + >Re-exported from an other package</h1 + ></a ><div class="doc" ><p >Not yet working, see <a href="#" diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html index 3e2aa285..5ff532a4 100644 --- a/html-test/ref/DeprecatedRecord.html +++ b/html-test/ref/DeprecatedRecord.html @@ -54,15 +54,11 @@ ><li ><a href="#" >fooName</a - > :: <a href="#" - >String</a - ></li + > :: String</li ><li ><a href="#" >fooValue</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul >}</li ></ul @@ -106,9 +102,7 @@ ><dfn class="src" ><a id="v:fooName" class="def" >fooName</a - > :: <a href="#" - >String</a - ></dfn + > :: String</dfn ><div class="doc" ><p >some name</p @@ -118,9 +112,7 @@ ><dfn class="src" ><a id="v:fooValue" class="def" >fooValue</a - > :: <a href="#" - >Int</a - ></dfn + > :: Int</dfn ><div class="doc" ><div class="warning" ><p diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html index 6f267c01..dab7683d 100644 --- a/html-test/ref/DeprecatedTypeFamily.html +++ b/html-test/ref/DeprecatedTypeFamily.html @@ -48,21 +48,13 @@ >data family</span > <a href="#" >SomeTypeFamily</a - > k :: <a href="#" - >*</a - > -> <a href="#" - >*</a - ></li + > k :: * -> *</li ><li class="src short" ><span class="keyword" >data family</span > <a href="#" >SomeOtherTypeFamily</a - > k :: <a href="#" - >*</a - > -> <a href="#" - >*</a - ></li + > k :: * -> *</li ></ul ></details ></div @@ -75,11 +67,7 @@ >data family</span > <a id="t:SomeTypeFamily" class="def" >SomeTypeFamily</a - > k :: <a href="#" - >*</a - > -> <a href="#" - >*</a - > <a href="#" class="selflink" + > k :: * -> * <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -97,11 +85,7 @@ >data family</span > <a id="t:SomeOtherTypeFamily" class="def" >SomeOtherTypeFamily</a - > k :: <a href="#" - >*</a - > -> <a href="#" - >*</a - > <a href="#" class="selflink" + > k :: * -> * <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html index db0a8ab6..25526d72 100644 --- a/html-test/ref/DeprecatedTypeSynonym.html +++ b/html-test/ref/DeprecatedTypeSynonym.html @@ -48,17 +48,13 @@ >type</span > <a href="#" >TypeSyn</a - > = <a href="#" - >String</a - ></li + > = String</li ><li class="src short" ><span class="keyword" >type</span > <a href="#" >OtherTypeSyn</a - > = <a href="#" - >String</a - ></li + > = String</li ></ul ></details ></div @@ -71,9 +67,7 @@ >type</span > <a id="t:TypeSyn" class="def" >TypeSyn</a - > = <a href="#" - >String</a - > <a href="#" class="selflink" + > = String <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -91,9 +85,7 @@ >type</span > <a id="t:OtherTypeSyn" class="def" >OtherTypeSyn</a - > = <a href="#" - >String</a - > <a href="#" class="selflink" + > = String <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html index fa321fab..7eeb5f7c 100644 --- a/html-test/ref/Examples.html +++ b/html-test/ref/Examples.html @@ -46,11 +46,7 @@ ><li class="src short" ><a href="#" >fib</a - > :: <a href="#" - >Integer</a - > -> <a href="#" - >Integer</a - ></li + > :: Integer -> Integer</li ></ul ></details ></div @@ -61,19 +57,13 @@ ><p class="src" ><a id="v:fib" class="def" >fib</a - > :: <a href="#" - >Integer</a - > -> <a href="#" - >Integer</a - > <a href="#" class="selflink" + > :: Integer -> Integer <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >Fibonacci number of given <code - ><a href="#" - >Integer</a - ></code + >Integer</code >.</p ><p >Examples:</p diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index 485f7e28..ae890105 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -54,17 +54,13 @@ ><table ><tr ><td class="src" - >:: <a href="#" - >Ord</a - > a</td + >:: Ord a</td ><td class="doc empty" ></td ></tr ><tr ><td class="src" - >=> <a href="#" - >Int</a - ></td + >=> Int</td ><td class="doc" ><p >First argument</p @@ -80,9 +76,7 @@ ></tr ><tr ><td class="src" - >-> <a href="#" - >Bool</a - ></td + >-> Bool</td ><td class="doc" ><p >Third argument</p @@ -214,9 +208,7 @@ ><td class="src" >:: <span class="keyword" >forall</span - > (b :: ()). d ~ <a href="#" - >()</a - ></td + > (b :: ()). d ~ ()</td ><td class="doc empty" ></td ></tr diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index bba54b3e..1f0c87e8 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -54,35 +54,27 @@ ><li ><a href="#" >C1</a - > :: <a href="#" + > :: <a href="#" title="GADTRecords" >H1</a > a b</li ><li ><a href="#" >C2</a - > :: <a href="#" - >Ord</a - > a => [a] -> <a href="#" + > :: Ord a => [a] -> <a href="#" title="GADTRecords" >H1</a > a a</li ><li ><a href="#" >C3</a - > :: {..} -> <a href="#" + > :: {..} -> <a href="#" title="GADTRecords" >H1</a - > <a href="#" - >Int</a - > <a href="#" - >Int</a - ></li + > Int Int</li ><li ><a href="#" >C4</a - > :: {..} -> <a href="#" + > :: {..} -> <a href="#" title="GADTRecords" >H1</a - > <a href="#" - >Int</a - > a</li + > Int a</li ></ul ></li ></ul @@ -114,7 +106,7 @@ ><td class="src" ><a id="v:C1" class="def" >C1</a - > :: <a href="#" + > :: <a href="#" title="GADTRecords" >H1</a > a b</td ><td class="doc empty" @@ -124,9 +116,7 @@ ><td class="src" ><a id="v:C2" class="def" >C2</a - > :: <a href="#" - >Ord</a - > a => [a] -> <a href="#" + > :: Ord a => [a] -> <a href="#" title="GADTRecords" >H1</a > a a</td ><td class="doc empty" @@ -136,12 +126,6 @@ ><td class="src" ><a id="v:C3" class="def" >C3</a - > :: {..} -> <a href="#" - >H1</a - > <a href="#" - >Int</a - > <a href="#" - >Int</a ></td ><td class="doc empty" ></td @@ -154,16 +138,22 @@ ><ul ><li ><dfn class="src" - ><a id="v:field" class="def" + >:: { <a id="v:field" class="def" >field</a - > :: <a href="#" - >Int</a - ></dfn + > :: Int</dfn ><div class="doc" ><p >hello docs</p ></div ></li + ><li + ><dfn class="src" + >} -> <a href="#" title="GADTRecords" + >H1</a + > Int Int</dfn + ><div class="doc empty" + ></div + ></li ></ul ></div ></td @@ -172,11 +162,7 @@ ><td class="src" ><a id="v:C4" class="def" >C4</a - > :: {..} -> <a href="#" - >H1</a - > <a href="#" - >Int</a - > a</td + ></td ><td class="doc empty" ></td ></tr @@ -188,7 +174,7 @@ ><ul ><li ><dfn class="src" - ><a id="v:field2" class="def" + >:: { <a id="v:field2" class="def" >field2</a > :: a</dfn ><div class="doc" @@ -196,6 +182,14 @@ >hello2 docs</p ></div ></li + ><li + ><dfn class="src" + >} -> <a href="#" title="GADTRecords" + >H1</a + > Int a</dfn + ><div class="doc empty" + ></div + ></li ></ul ></div ></td diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html index 21004e20..c4f04f2c 100644 --- a/html-test/ref/Hash.html +++ b/html-test/ref/Hash.html @@ -87,37 +87,23 @@ ><li class="src short" ><a href="#" >new</a - > :: (<a href="#" - >Eq</a - > key, <a href="#" + > :: (Eq key, <a href="#" title="Hash" >Hash</a - > key) => <a href="#" - >Int</a - > -> <a href="#" - >IO</a - > (<a href="#" + > key) => Int -> IO (<a href="#" title="Hash" >HashTable</a > key val)</li ><li class="src short" ><a href="#" >insert</a - > :: (<a href="#" - >Eq</a - > key, <a href="#" + > :: (Eq key, <a href="#" title="Hash" >Hash</a - > key) => key -> val -> <a href="#" - >IO</a - > ()</li + > key) => key -> val -> IO ()</li ><li class="src short" ><a href="#" >lookup</a - > :: <a href="#" + > :: <a href="#" title="Hash" >Hash</a - > key => key -> <a href="#" - >IO</a - > (<a href="#" - >Maybe</a - > val)</li + > key => key -> IO (Maybe val)</li ><li class="src short" ><span class="keyword" >class</span @@ -126,16 +112,22 @@ > a <span class="keyword" >where</span ><ul class="subs" - ></ul + ><li + ><a href="#" + >hash</a + > :: a -> Int</li + ></ul ></li ></ul ></details ></div ><div id="interface" - ><h1 id="g:1" - >The <code - >HashTable</code - > type</h1 + ><a href="#" id="g:1" + ><h1 + >The <code + >HashTable</code + > type</h1 + ></a ><div class="top" ><p class="src" ><span class="keyword" @@ -155,29 +147,23 @@ The type <code >key</code > should be an instance of <code - ><a href="#" - >Eq</a - ></code + >Eq</code >.</p ></div ></div - ><h2 id="g:2" - >Operations on <code - >HashTable</code - >s</h2 + ><a href="#" id="g:2" + ><h2 + >Operations on <code + >HashTable</code + >s</h2 + ></a ><div class="top" ><p class="src" ><a id="v:new" class="def" >new</a - > :: (<a href="#" - >Eq</a - > key, <a href="#" + > :: (Eq key, <a href="#" title="Hash" >Hash</a - > key) => <a href="#" - >Int</a - > -> <a href="#" - >IO</a - > (<a href="#" + > key) => Int -> IO (<a href="#" title="Hash" >HashTable</a > key val) <a href="#" class="selflink" >#</a @@ -191,13 +177,9 @@ ><p class="src" ><a id="v:insert" class="def" >insert</a - > :: (<a href="#" - >Eq</a - > key, <a href="#" + > :: (Eq key, <a href="#" title="Hash" >Hash</a - > key) => key -> val -> <a href="#" - >IO</a - > () <a href="#" class="selflink" + > key) => key -> val -> IO () <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -209,35 +191,29 @@ ><p class="src" ><a id="v:lookup" class="def" >lookup</a - > :: <a href="#" + > :: <a href="#" title="Hash" >Hash</a - > key => key -> <a href="#" - >IO</a - > (<a href="#" - >Maybe</a - > val) <a href="#" class="selflink" + > key => key -> IO (Maybe val) <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >Looks up a key in the hash table, returns <code ><code - ><a href="#" - >Just</a - ></code + >Just</code > val</code > if the key was found, or <code - ><a href="#" - >Nothing</a - ></code + >Nothing</code > otherwise.</p ></div ></div - ><h1 id="g:3" - >The <code - >Hash</code - > class</h1 + ><a href="#" id="g:3" + ><h1 + >The <code + >Hash</code + > class</h1 + ></a ><div class="top" ><p class="src" ><span class="keyword" @@ -253,23 +229,13 @@ ><p >A class of types which can be hashed.</p ></div - ><div class="subs minimal" - ><p class="caption" - >Minimal complete definition</p - ><p class="src" - ><a href="#" - >hash</a - ></p - ></div ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a id="v:hash" class="def" >hash</a - > :: a -> <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: a -> Int <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -277,9 +243,7 @@ >hashes the value of type <code >a</code > into an <code - ><a href="#" - >Int</a - ></code + >Int</code ></p ></div ></div @@ -293,11 +257,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Hash:Hash:1" ></span - > <a href="#" + > <a href="#" title="Hash" >Hash</a - > <a href="#" - >Float</a - ></span + > Float</span > <a href="#" class="selflink" >#</a ></td @@ -309,17 +271,17 @@ ><details id="i:ic:Hash:Hash:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Hash</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >hash</a - > :: <a href="#" - >Float</a - > -> <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Float -> Int <a href="#" class="selflink" >#</a ></p ></div @@ -331,11 +293,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Hash:Hash:2" ></span - > <a href="#" + > <a href="#" title="Hash" >Hash</a - > <a href="#" - >Int</a - ></span + > Int</span > <a href="#" class="selflink" >#</a ></td @@ -347,17 +307,17 @@ ><details id="i:ic:Hash:Hash:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Hash</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >hash</a - > :: <a href="#" - >Int</a - > -> <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int -> Int <a href="#" class="selflink" >#</a ></p ></div @@ -369,11 +329,11 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Hash:Hash:3" ></span - > (<a href="#" + > (<a href="#" title="Hash" >Hash</a - > a, <a href="#" + > a, <a href="#" title="Hash" >Hash</a - > b) => <a href="#" + > b) => <a href="#" title="Hash" >Hash</a > (a, b)</span > <a href="#" class="selflink" @@ -387,15 +347,17 @@ ><details id="i:ic:Hash:Hash:3" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Hash</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >hash</a - > :: (a, b) -> <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: (a, b) -> Int <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html index b3586649..eb39dafc 100644 --- a/html-test/ref/HiddenInstances.html +++ b/html-test/ref/HiddenInstances.html @@ -84,11 +84,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:VisibleClass:VisibleClass:1" ></span - > <a href="#" + > <a href="#" title="HiddenInstances" >VisibleClass</a - > <a href="#" - >Int</a - ></span + > Int</span > <a href="#" class="selflink" >#</a ></td @@ -102,6 +100,10 @@ ><details id="i:ic:VisibleClass:VisibleClass:1" ><summary class="hide-when-js-enabled" >Instance details</summary + ><p + >Defined in <a href="#" + >HiddenInstances</a + ></p ></details ></td ></tr @@ -110,9 +112,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:VisibleClass:VisibleClass:2" ></span - > <a href="#" + > <a href="#" title="HiddenInstances" >VisibleClass</a - > <a href="#" + > <a href="#" title="HiddenInstances" >VisibleData</a ></span > <a href="#" class="selflink" @@ -128,6 +130,10 @@ ><details id="i:ic:VisibleClass:VisibleClass:2" ><summary class="hide-when-js-enabled" >Instance details</summary + ><p + >Defined in <a href="#" + >HiddenInstances</a + ></p ></details ></td ></tr @@ -158,9 +164,7 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:VisibleData:Num:1" ></span - > <a href="#" - >Num</a - > <a href="#" + > Num <a href="#" title="HiddenInstances" >VisibleData</a ></span > <a href="#" class="selflink" @@ -176,84 +180,72 @@ ><details id="i:id:VisibleData:Num:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >HiddenInstances</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >(+)</a - > :: <a href="#" + > :: <a href="#" title="HiddenInstances" >VisibleData</a - > -> <a href="#" + > -> <a href="#" title="HiddenInstances" >VisibleData</a - > -> <a href="#" + > -> <a href="#" title="HiddenInstances" >VisibleData</a - > <a href="#" class="selflink" - >#</a ></p ><p class="src" ><a href="#" >(-)</a - > :: <a href="#" + > :: <a href="#" title="HiddenInstances" >VisibleData</a - > -> <a href="#" + > -> <a href="#" title="HiddenInstances" >VisibleData</a - > -> <a href="#" + > -> <a href="#" title="HiddenInstances" >VisibleData</a - > <a href="#" class="selflink" - >#</a ></p ><p class="src" ><a href="#" >(*)</a - > :: <a href="#" + > :: <a href="#" title="HiddenInstances" >VisibleData</a - > -> <a href="#" + > -> <a href="#" title="HiddenInstances" >VisibleData</a - > -> <a href="#" + > -> <a href="#" title="HiddenInstances" >VisibleData</a - > <a href="#" class="selflink" - >#</a ></p ><p class="src" ><a href="#" >negate</a - > :: <a href="#" + > :: <a href="#" title="HiddenInstances" >VisibleData</a - > -> <a href="#" + > -> <a href="#" title="HiddenInstances" >VisibleData</a - > <a href="#" class="selflink" - >#</a ></p ><p class="src" ><a href="#" >abs</a - > :: <a href="#" + > :: <a href="#" title="HiddenInstances" >VisibleData</a - > -> <a href="#" + > -> <a href="#" title="HiddenInstances" >VisibleData</a - > <a href="#" class="selflink" - >#</a ></p ><p class="src" ><a href="#" >signum</a - > :: <a href="#" + > :: <a href="#" title="HiddenInstances" >VisibleData</a - > -> <a href="#" + > -> <a href="#" title="HiddenInstances" >VisibleData</a - > <a href="#" class="selflink" - >#</a ></p ><p class="src" ><a href="#" >fromInteger</a - > :: <a href="#" - >Integer</a - > -> <a href="#" + > :: Integer -> <a href="#" title="HiddenInstances" >VisibleData</a - > <a href="#" class="selflink" - >#</a ></p ></div ></details @@ -264,9 +256,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:VisibleData:VisibleClass:2" ></span - > <a href="#" + > <a href="#" title="HiddenInstances" >VisibleClass</a - > <a href="#" + > <a href="#" title="HiddenInstances" >VisibleData</a ></span > <a href="#" class="selflink" @@ -282,6 +274,10 @@ ><details id="i:id:VisibleData:VisibleClass:2" ><summary class="hide-when-js-enabled" >Instance details</summary + ><p + >Defined in <a href="#" + >HiddenInstances</a + ></p ></details ></td ></tr diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html index d2f7b74d..5b69947e 100644 --- a/html-test/ref/HiddenInstancesB.html +++ b/html-test/ref/HiddenInstancesB.html @@ -84,9 +84,9 @@ ><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="HiddenInstancesB" >Foo</a - > <a href="#" + > <a href="#" title="HiddenInstancesB" >Bar</a ></span > <a href="#" class="selflink" @@ -102,6 +102,10 @@ ><details id="i:ic:Foo:Foo:1" ><summary class="hide-when-js-enabled" >Instance details</summary + ><p + >Defined in <a href="#" + >HiddenInstancesA</a + ></p ></details ></td ></tr @@ -132,9 +136,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Bar:Foo:1" ></span - > <a href="#" + > <a href="#" title="HiddenInstancesB" >Foo</a - > <a href="#" + > <a href="#" title="HiddenInstancesB" >Bar</a ></span > <a href="#" class="selflink" @@ -150,6 +154,10 @@ ><details id="i:id:Bar:Foo:1" ><summary class="hide-when-js-enabled" >Instance details</summary + ><p + >Defined in <a href="#" + >HiddenInstancesA</a + ></p ></details ></td ></tr diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html index 8e190358..58d012a5 100644 --- a/html-test/ref/Hyperlinks.html +++ b/html-test/ref/Hyperlinks.html @@ -46,9 +46,7 @@ ><li class="src short" ><a href="#" >foo</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul ></details ></div @@ -59,9 +57,7 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html index 30e121b0..eb8456ae 100644 --- a/html-test/ref/ImplicitParams.html +++ b/html-test/ref/ImplicitParams.html @@ -69,9 +69,9 @@ ><p class="src" ><a id="v:c" class="def" >c</a - > :: (?x :: <a href="#" + > :: (?x :: <a href="#" title="ImplicitParams" >X</a - >) => <a href="#" + >) => <a href="#" title="ImplicitParams" >X</a > <a href="#" class="selflink" >#</a @@ -81,13 +81,13 @@ ><p class="src" ><a id="v:d" class="def" >d</a - > :: (?x :: <a href="#" + > :: (?x :: <a href="#" title="ImplicitParams" >X</a - >, ?y :: <a href="#" + >, ?y :: <a href="#" title="ImplicitParams" >X</a - >) => (<a href="#" + >) => (<a href="#" title="ImplicitParams" >X</a - >, <a href="#" + >, <a href="#" title="ImplicitParams" >X</a >) <a href="#" class="selflink" >#</a @@ -97,7 +97,7 @@ ><p class="src" ><a id="v:f" class="def" >f</a - > :: ((?x :: <a href="#" + > :: ((?x :: <a href="#" title="ImplicitParams" >X</a >) => a) -> a <a href="#" class="selflink" >#</a 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 diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html index 33ac0239..ebdf6385 100644 --- a/html-test/ref/Math.html +++ b/html-test/ref/Math.html @@ -62,9 +62,7 @@ ><li class="src short" ><a href="#" >f</a - > :: <a href="#" - >Integer</a - ></li + > :: Integer</li ></ul ></details ></div @@ -75,9 +73,7 @@ ><p class="src" ><a id="v:f" class="def" >f</a - > :: <a href="#" - >Integer</a - > <a href="#" class="selflink" + > :: Integer <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html index d7797a06..bc2da115 100644 --- a/html-test/ref/Minimal.html +++ b/html-test/ref/Minimal.html @@ -64,19 +64,19 @@ ><p class="caption" >Minimal complete definition</p ><p class="src" - ><a href="#" + ><a href="#" title="Minimal" >foo</a - >, <a href="#" + >, <a href="#" title="Minimal" >bar</a - > | <a href="#" + > | <a href="#" title="Minimal" >bar</a - >, <a href="#" + >, <a href="#" title="Minimal" >bat</a - > | <a href="#" + > | <a href="#" title="Minimal" >foo</a - >, <a href="#" + >, <a href="#" title="Minimal" >bat</a - > | <a href="#" + > | <a href="#" title="Minimal" >fooBarBat</a ></p ></div @@ -128,6 +128,26 @@ > <a href="#" class="selflink" >#</a ></p + ><div class="subs minimal" + ><p class="caption" + >Minimal complete definition</p + ><p class="src" + >(<a href="#" title="Minimal" + >a</a + >, <a href="#" title="Minimal" + >b</a + >, <a href="#" title="Minimal" + >c</a + > | (<a href="#" title="Minimal" + >d</a + > | <a href="#" title="Minimal" + >e</a + >, (<a href="#" title="Minimal" + >f</a + > | <a href="#" title="Minimal" + >g</a + >)))</p + ></div ><div class="subs methods" ><p class="caption" >Methods</p @@ -190,9 +210,9 @@ ><p class="caption" >Minimal complete definition</p ><p class="src" - ><a href="#" + ><a href="#" title="Minimal" >x</a - >, <a href="#" + >, <a href="#" title="Minimal" >y</a ></p ></div @@ -230,16 +250,6 @@ > <a href="#" class="selflink" >#</a ></p - ><div class="subs minimal" - ><p class="caption" - >Minimal complete definition</p - ><p class="src" - ><a href="#" - >aaa</a - >, <a href="#" - >bbb</a - ></p - ></div ><div class="subs methods" ><p class="caption" >Methods</p @@ -272,7 +282,7 @@ ><p class="caption" >Minimal complete definition</p ><p class="src" - ><a href="#" + ><a href="#" title="Minimal" >ccc</a >, ddd</p ></div @@ -298,6 +308,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 diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html index 12d98122..c29b20d9 100644 --- a/html-test/ref/ModuleWithWarning.html +++ b/html-test/ref/ModuleWithWarning.html @@ -61,9 +61,7 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html index 607b5f8d..1f908ba3 100644 --- a/html-test/ref/NoLayout.html +++ b/html-test/ref/NoLayout.html @@ -46,9 +46,7 @@ ><li class="src short" ><a href="#" >g</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul ></details ></div @@ -59,15 +57,13 @@ ><p class="src" ><a id="v:g" class="def" >g</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >the function <code - ><a href="#" + ><a href="#" title="NoLayout" >g</a ></code ></p diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index 1db0a91a..d01038a3 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -70,19 +70,19 @@ >Foo</a ><ul class="subs" ><li - >= <a href="#" + >= <a href="#" title="Operators" >Foo</a > <a href="#" >`Bar`</a - > <a href="#" + > <a href="#" title="Operators" >Foo</a ></li ><li - >| <a href="#" + >| <a href="#" title="Operators" >Foo</a > <a href="#" >:-</a - > <a href="#" + > <a href="#" title="Operators" >Foo</a ></li ></ul @@ -106,7 +106,7 @@ ><li ><a href="#" >(:<->)</a - > :: a -> b -> a <a href="#" + > :: a -> b -> a <a href="#" title="Operators" ><-></a > b</li ></ul @@ -136,15 +136,29 @@ >type</span > a <a href="#" ><><</a - > b :: <a href="#" - >*</a - ></li + > b :: *</li ><li ><span class="keyword" >data</span > a <a href="#" >><<</a > b</li + ><li + ><a href="#" + >(>><)</a + >, <a href="#" + >(<<>)</a + > :: a -> b -> ()</li + ><li + ><a href="#" + >(**>)</a + >, <a href="#" + >(**<)</a + >, <a href="#" + >(>**)</a + >, <a href="#" + >(<**)</a + > :: a -> a -> ()</li ></ul ></li ><li class="src short" @@ -152,7 +166,7 @@ >type</span > <a href="#" >(>-<)</a - > a b = a <a href="#" + > a b = a <a href="#" title="Operators" ><-></a > b</li ></ul @@ -224,11 +238,11 @@ ><table ><tr ><td class="src" - ><a href="#" + ><a href="#" title="Operators" >Foo</a > <a id="v:Bar" class="def" >`Bar`</a - > <a href="#" + > <a href="#" title="Operators" >Foo</a > <span class="fixity" >infixl 3</span @@ -242,11 +256,11 @@ ></tr ><tr ><td class="src" - ><a href="#" + ><a href="#" title="Operators" >Foo</a > <a id="v::-45-" class="def" >:-</a - > <a href="#" + > <a href="#" title="Operators" >Foo</a > <span class="fixity" >infixr 5</span @@ -308,7 +322,7 @@ ><td class="src" ><a id="v::-60--45--62-" class="def" >(:<->)</a - > :: a -> b -> a <a href="#" + > :: a -> b -> a <a href="#" title="Operators" ><-></a > b <span class="fixity" >infixr 6</span @@ -376,24 +390,6 @@ ><p >Class with fixity, including associated types</p ></div - ><div class="subs minimal" - ><p class="caption" - >Minimal complete definition</p - ><p class="src" - ><a href="#" - >(>><)</a - >, <a href="#" - >(<<>)</a - >, <a href="#" - >(**>)</a - >, <a href="#" - >(**<)</a - >, <a href="#" - >(>**)</a - >, <a href="#" - >(<**)</a - ></p - ></div ><div class="subs associated-types" ><p class="caption" >Associated Types</p @@ -402,9 +398,7 @@ >type</span > a <a id="t:-60--62--60-" class="def" ><><</a - > b :: <a href="#" - >*</a - > <span class="fixity" + > b :: * <span class="fixity" >infixl 2</span ><span class="rightedge" ></span @@ -511,7 +505,7 @@ >type</span > <a id="t:-62--45--60-" class="def" >(>-<)</a - > a b = a <a href="#" + > a b = a <a href="#" title="Operators" ><-></a > b <span class="fixity" >infixl 6</span diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html index b7fa346c..a70c9640 100644 --- a/html-test/ref/OrphanInstances.html +++ b/html-test/ref/OrphanInstances.html @@ -48,18 +48,8 @@ ></li ></ul ></div - ><div id="synopsis" - ><details id="syn" - ><summary - >Synopsis</summary - ><ul class="details-toggle" data-details-id="syn" - ></ul - ></details - ></div ><div id="interface" ><h1 - >Documentation</h1 - ><h1 >Orphan instances</h1 ><div id="section.orphans" ><table @@ -68,9 +58,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:o:ic:AClass:AClass:1" ></span - > <a href="#" + > <a href="#" title="OrphanInstancesClass" >AClass</a - > <a href="#" + > <a href="#" title="OrphanInstancesType" >AType</a ></span > <a href="#" class="selflink" @@ -86,17 +76,17 @@ ><details id="i:o:ic:AClass:AClass:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >aClass</a - > :: <a href="#" + > :: <a href="#" title="OrphanInstancesType" >AType</a - > -> <a href="#" - >Int</a - > <a href="#" class="selflink" + > -> Int <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html index 1fc2f112..c59c43dd 100644 --- a/html-test/ref/OrphanInstancesClass.html +++ b/html-test/ref/OrphanInstancesClass.html @@ -52,26 +52,66 @@ > <a href="#" class="selflink" >#</a ></p - ><div class="subs minimal" - ><p class="caption" - >Minimal complete definition</p - ><p class="src" - ><a href="#" - >aClass</a - ></p - ></div ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a id="v:aClass" class="def" >aClass</a - > :: a -> <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: a -> Int <a href="#" class="selflink" >#</a ></p ></div + ><div class="subs instances" + ><details id="i:AClass" open="open" + ><summary + >Instances</summary + ><table + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:AClass:AClass:1" + ></span + > <a href="#" title="OrphanInstancesClass" + >AClass</a + > <a href="#" title="OrphanInstancesType" + >AType</a + ></span + > <a href="#" class="selflink" + >#</a + ></td + ><td class="doc" + ><p + >This is an orphan instance.</p + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:ic:AClass:AClass:1" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >OrphanInstances</a + ></p + > <div class="subs methods" + ><p class="caption" + >Methods</p + ><p class="src" + ><a href="#" + >aClass</a + > :: <a href="#" title="OrphanInstancesType" + >AType</a + > -> Int <a href="#" class="selflink" + >#</a + ></p + ></div + ></details + ></td + ></tr + ></table + ></details + ></div ></div ></div ></div diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html index d5998efe..2714bb1f 100644 --- a/html-test/ref/OrphanInstancesType.html +++ b/html-test/ref/OrphanInstancesType.html @@ -58,14 +58,62 @@ ><td class="src" ><a id="v:AType" class="def" >AType</a - > <a href="#" - >Int</a - ></td + > Int</td ><td class="doc empty" ></td ></tr ></table ></div + ><div class="subs instances" + ><details id="i:AType" open="open" + ><summary + >Instances</summary + ><table + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:AType:AClass:1" + ></span + > <a href="#" title="OrphanInstancesClass" + >AClass</a + > <a href="#" title="OrphanInstancesType" + >AType</a + ></span + > <a href="#" class="selflink" + >#</a + ></td + ><td class="doc" + ><p + >This is an orphan instance.</p + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:id:AType:AClass:1" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >OrphanInstances</a + ></p + > <div class="subs methods" + ><p class="caption" + >Methods</p + ><p class="src" + ><a href="#" + >aClass</a + > :: <a href="#" title="OrphanInstancesType" + >AType</a + > -> Int <a href="#" class="selflink" + >#</a + ></p + ></div + ></details + ></td + ></tr + ></table + ></details + ></div ></div ></div ></div diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index bf0cdf1e..fce20f96 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -66,7 +66,7 @@ >Foo</a > :: <span class="keyword" >forall</span - > x. x -> <a href="#" + > x. x -> <a href="#" title="PatternSyns" >FooType</a > x</li ><li class="src short" @@ -76,9 +76,9 @@ >Bar</a > :: <span class="keyword" >forall</span - > x. x -> <a href="#" + > x. x -> <a href="#" title="PatternSyns" >FooType</a - > (<a href="#" + > (<a href="#" title="PatternSyns" >FooType</a > x)</li ><li class="src short" @@ -88,11 +88,11 @@ >(:<->)</a > :: <span class="keyword" >forall</span - > x x1. x -> x1 -> (<a href="#" + > x x1. x -> x1 -> (<a href="#" title="PatternSyns" >FooType</a - > x, <a href="#" + > x, <a href="#" title="PatternSyns" >FooType</a - > (<a href="#" + > (<a href="#" title="PatternSyns" >FooType</a > x1))</li ><li class="src short" @@ -100,9 +100,7 @@ >data</span > <a href="#" >BlubType</a - > = <a href="#" - >Show</a - > x => <a href="#" + > = Show x => <a href="#" >BlubCtor</a > x</li ><li class="src short" @@ -112,17 +110,13 @@ >Blub</a > :: () => <span class="keyword" >forall</span - > x. <a href="#" - >Show</a - > x => x -> <a href="#" + > x. Show x => x -> <a href="#" title="PatternSyns" >BlubType</a ></li ><li class="src short" ><span class="keyword" >data</span - > (a :: <a href="#" - >*</a - >) <a href="#" + > (a :: *) <a href="#" >><</a > b = <a href="#" >Empty</a @@ -134,17 +128,15 @@ >E</a > :: <span class="keyword" >forall</span - > k a (b :: k). <a href="#" - >(><)</a - > k a b</li + > k a (b :: k). a <a href="#" title="PatternSyns" + >><</a + > b</li ><li class="src short" ><span class="keyword" >pattern</span > <a href="#" >PatWithExplicitSig</a - > :: <a href="#" - >Eq</a - > somex => somex -> <a href="#" + > :: Eq somex => somex -> <a href="#" title="PatternSyns" >FooType</a > somex</li ></ul @@ -189,7 +181,7 @@ >Foo</a > :: <span class="keyword" >forall</span - > x. x -> <a href="#" + > x. x -> <a href="#" title="PatternSyns" >FooType</a > x <a href="#" class="selflink" >#</a @@ -197,7 +189,7 @@ ><div class="doc" ><p >Pattern synonym for <code - ><a href="#" + ><a href="#" title="PatternSyns" >Foo</a ></code > x</p @@ -211,9 +203,9 @@ >Bar</a > :: <span class="keyword" >forall</span - > x. x -> <a href="#" + > x. x -> <a href="#" title="PatternSyns" >FooType</a - > (<a href="#" + > (<a href="#" title="PatternSyns" >FooType</a > x) <a href="#" class="selflink" >#</a @@ -221,7 +213,7 @@ ><div class="doc" ><p >Pattern synonym for <code - ><a href="#" + ><a href="#" title="PatternSyns" >Bar</a ></code > x</p @@ -235,11 +227,11 @@ >(:<->)</a > :: <span class="keyword" >forall</span - > x x1. x -> x1 -> (<a href="#" + > x x1. x -> x1 -> (<a href="#" title="PatternSyns" >FooType</a - > x, <a href="#" + > x, <a href="#" title="PatternSyns" >FooType</a - > (<a href="#" + > (<a href="#" title="PatternSyns" >FooType</a > x1)) <a href="#" class="selflink" >#</a @@ -247,7 +239,7 @@ ><div class="doc" ><p >Pattern synonym for (<code - ><a href="#" + ><a href="#" title="PatternSyns" >:<-></a ></code >)</p @@ -272,9 +264,7 @@ ><table ><tr ><td class="src" - ><a href="#" - >Show</a - > x => <a id="v:BlubCtor" class="def" + >Show x => <a id="v:BlubCtor" class="def" >BlubCtor</a > x</td ><td class="doc empty" @@ -291,9 +281,7 @@ >Blub</a > :: () => <span class="keyword" >forall</span - > x. <a href="#" - >Show</a - > x => x -> <a href="#" + > x. Show x => x -> <a href="#" title="PatternSyns" >BlubType</a > <a href="#" class="selflink" >#</a @@ -301,7 +289,7 @@ ><div class="doc" ><p >Pattern synonym for <code - ><a href="#" + ><a href="#" title="PatternSyns" >Blub</a ></code > x</p @@ -311,9 +299,7 @@ ><p class="src" ><span class="keyword" >data</span - > (a :: <a href="#" - >*</a - >) <a id="t:-62--60-" class="def" + > (a :: *) <a id="t:-62--60-" class="def" >><</a > b <a href="#" class="selflink" >#</a @@ -321,7 +307,7 @@ ><div class="doc" ><p >Doc for (<code - ><a href="#" + ><a href="#" title="PatternSyns" >><</a ></code >)</p @@ -349,15 +335,15 @@ >E</a > :: <span class="keyword" >forall</span - > k a (b :: k). <a href="#" - >(><)</a - > k a b <a href="#" class="selflink" + > k a (b :: k). a <a href="#" title="PatternSyns" + >><</a + > b <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >Pattern for <code - ><a href="#" + ><a href="#" title="PatternSyns" >Empty</a ></code ></p @@ -369,9 +355,7 @@ >pattern</span > <a id="v:PatWithExplicitSig" class="def" >PatWithExplicitSig</a - > :: <a href="#" - >Eq</a - > somex => somex -> <a href="#" + > :: Eq somex => somex -> <a href="#" title="PatternSyns" >FooType</a > somex <a href="#" class="selflink" >#</a diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html index 43736811..46a70845 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -64,7 +64,7 @@ ></tr ><tr ><td class="src" - >(<a href="#" + >(<a href="#" title="PromotedTypes" >RevList</a > a) <a id="v::-62-" class="def" >:></a @@ -81,11 +81,7 @@ >data</span > <a id="t:Pattern" class="def" >Pattern</a - > :: [<a href="#" - >*</a - >] -> <a href="#" - >*</a - > <span class="keyword" + > :: [*] -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -98,7 +94,7 @@ ><td class="src" ><a id="v:Nil" class="def" >Nil</a - > :: <a href="#" + > :: <a href="#" title="PromotedTypes" >Pattern</a > '[]</td ><td class="doc empty" @@ -108,11 +104,9 @@ ><td class="src" ><a id="v:Cons" class="def" >Cons</a - > :: <a href="#" - >Maybe</a - > h -> <a href="#" + > :: Maybe h -> <a href="#" title="PromotedTypes" >Pattern</a - > t -> <a href="#" + > t -> <a href="#" title="PromotedTypes" >Pattern</a > (h ': t)</td ><td class="doc empty" @@ -127,13 +121,9 @@ >data</span > <a id="t:RevPattern" class="def" >RevPattern</a - > :: <a href="#" + > :: <a href="#" title="PromotedTypes" >RevList</a - > <a href="#" - >*</a - > -> <a href="#" - >*</a - > <span class="keyword" + > * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -146,9 +136,9 @@ ><td class="src" ><a id="v:RevNil" class="def" >RevNil</a - > :: <a href="#" + > :: <a href="#" title="PromotedTypes" >RevPattern</a - > <a href="#" + > <a href="#" title="PromotedTypes" >RNil</a ></td ><td class="doc empty" @@ -158,13 +148,11 @@ ><td class="src" ><a id="v:RevCons" class="def" >RevCons</a - > :: <a href="#" - >Maybe</a - > h -> <a href="#" + > :: Maybe h -> <a href="#" title="PromotedTypes" >RevPattern</a - > t -> <a href="#" + > t -> <a href="#" title="PromotedTypes" >RevPattern</a - > (t <a href="#" + > (t <a href="#" title="PromotedTypes" >:></a > h)</td ><td class="doc empty" @@ -179,13 +167,7 @@ >data</span > <a id="t:Tuple" class="def" >Tuple</a - > :: (<a href="#" - >*</a - >, <a href="#" - >*</a - >) -> <a href="#" - >*</a - > <span class="keyword" + > :: (*, *) -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -198,7 +180,7 @@ ><td class="src" ><a id="v:Tuple" class="def" >Tuple</a - > :: a -> b -> <a href="#" + > :: a -> b -> <a href="#" title="PromotedTypes" >Tuple</a > '(a, b)</td ><td class="doc empty" diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html index 15585cd9..9299486c 100644 --- a/html-test/ref/Properties.html +++ b/html-test/ref/Properties.html @@ -46,11 +46,7 @@ ><li class="src short" ><a href="#" >fib</a - > :: <a href="#" - >Integer</a - > -> <a href="#" - >Integer</a - ></li + > :: Integer -> Integer</li ></ul ></details ></div @@ -61,19 +57,13 @@ ><p class="src" ><a id="v:fib" class="def" >fib</a - > :: <a href="#" - >Integer</a - > -> <a href="#" - >Integer</a - > <a href="#" class="selflink" + > :: Integer -> Integer <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >Fibonacci number of given <code - ><a href="#" - >Integer</a - ></code + >Integer</code >.</p ><pre >fib n <= fib (n + 1)</pre diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html index ccec6856..42b21f70 100644 --- a/html-test/ref/QuasiExpr.html +++ b/html-test/ref/QuasiExpr.html @@ -58,9 +58,7 @@ ><td class="src" ><a id="v:IntExpr" class="def" >IntExpr</a - > <a href="#" - >Integer</a - ></td + > Integer</td ><td class="doc empty" ></td ></tr @@ -68,9 +66,7 @@ ><td class="src" ><a id="v:AntiIntExpr" class="def" >AntiIntExpr</a - > <a href="#" - >String</a - ></td + > String</td ><td class="doc empty" ></td ></tr @@ -78,11 +74,11 @@ ><td class="src" ><a id="v:BinopExpr" class="def" >BinopExpr</a - > <a href="#" + > <a href="#" title="QuasiExpr" >BinOp</a - > <a href="#" + > <a href="#" title="QuasiExpr" >Expr</a - > <a href="#" + > <a href="#" title="QuasiExpr" >Expr</a ></td ><td class="doc empty" @@ -92,9 +88,7 @@ ><td class="src" ><a id="v:AntiExpr" class="def" >AntiExpr</a - > <a href="#" - >String</a - ></td + > String</td ><td class="doc empty" ></td ></tr @@ -110,9 +104,7 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Expr:Show:1" ></span - > <a href="#" - >Show</a - > <a href="#" + > Show <a href="#" title="QuasiExpr" >Expr</a ></span > <a href="#" class="selflink" @@ -126,41 +118,31 @@ ><details id="i:id:Expr:Show:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >QuasiExpr</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >showsPrec</a - > :: <a href="#" - >Int</a - > -> <a href="#" + > :: Int -> <a href="#" title="QuasiExpr" >Expr</a - > -> <a href="#" - >ShowS</a - > <a href="#" class="selflink" - >#</a - ></p + > -> ShowS</p ><p class="src" ><a href="#" >show</a - > :: <a href="#" + > :: <a href="#" title="QuasiExpr" >Expr</a - > -> <a href="#" - >String</a - > <a href="#" class="selflink" - >#</a - ></p + > -> String</p ><p class="src" ><a href="#" >showList</a - > :: [<a href="#" + > :: [<a href="#" title="QuasiExpr" >Expr</a - >] -> <a href="#" - >ShowS</a - > <a href="#" class="selflink" - >#</a - ></p + >] -> ShowS</p ></div ></details ></td @@ -226,9 +208,7 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:BinOp:Show:1" ></span - > <a href="#" - >Show</a - > <a href="#" + > Show <a href="#" title="QuasiExpr" >BinOp</a ></span > <a href="#" class="selflink" @@ -242,41 +222,31 @@ ><details id="i:id:BinOp:Show:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >QuasiExpr</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >showsPrec</a - > :: <a href="#" - >Int</a - > -> <a href="#" + > :: Int -> <a href="#" title="QuasiExpr" >BinOp</a - > -> <a href="#" - >ShowS</a - > <a href="#" class="selflink" - >#</a - ></p + > -> ShowS</p ><p class="src" ><a href="#" >show</a - > :: <a href="#" + > :: <a href="#" title="QuasiExpr" >BinOp</a - > -> <a href="#" - >String</a - > <a href="#" class="selflink" - >#</a - ></p + > -> String</p ><p class="src" ><a href="#" >showList</a - > :: [<a href="#" + > :: [<a href="#" title="QuasiExpr" >BinOp</a - >] -> <a href="#" - >ShowS</a - > <a href="#" class="selflink" - >#</a - ></p + >] -> ShowS</p ></div ></details ></td @@ -289,11 +259,9 @@ ><p class="src" ><a id="v:eval" class="def" >eval</a - > :: <a href="#" + > :: <a href="#" title="QuasiExpr" >Expr</a - > -> <a href="#" - >Integer</a - > <a href="#" class="selflink" + > -> Integer <a href="#" class="selflink" >#</a ></p ></div @@ -309,9 +277,7 @@ ><p class="src" ><a id="v:parseExprExp" class="def" >parseExprExp</a - > :: <a href="#" - >String</a - > -> Q Exp <a href="#" class="selflink" + > :: String -> Q Exp <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html index da2ffc4e..e9451d8a 100644 --- a/html-test/ref/QuasiQuote.html +++ b/html-test/ref/QuasiQuote.html @@ -45,9 +45,7 @@ ><p class="src" ><a id="v:val" class="def" >val</a - > :: <a href="#" - >Integer</a - > <a href="#" class="selflink" + > :: Integer <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html index 53421ff5..00cea04a 100644 --- a/html-test/ref/SpuriousSuperclassConstraints.html +++ b/html-test/ref/SpuriousSuperclassConstraints.html @@ -73,11 +73,7 @@ Fix spurious superclass constraints bug.</pre >data</span > <a id="t:SomeType" class="def" >SomeType</a - > (f :: <a href="#" - >*</a - > -> <a href="#" - >*</a - >) a <a href="#" class="selflink" + > (f :: * -> *) a <a href="#" class="selflink" >#</a ></p ><div class="subs instances" @@ -90,9 +86,7 @@ Fix spurious superclass constraints bug.</pre ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SomeType:Functor:1" ></span - > <a href="#" - >Functor</a - > (<a href="#" + > Functor (<a href="#" title="SpuriousSuperclassConstraints" >SomeType</a > f)</span > <a href="#" class="selflink" @@ -106,29 +100,29 @@ Fix spurious superclass constraints bug.</pre ><details id="i:id:SomeType:Functor:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >SpuriousSuperclassConstraints</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >fmap</a - > :: (a -> b) -> <a href="#" + > :: (a -> b) -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f a -> <a href="#" + > f a -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f b <a href="#" class="selflink" - >#</a - ></p + > f b</p ><p class="src" ><a href="#" >(<$)</a - > :: a -> <a href="#" + > :: a -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f b -> <a href="#" + > f b -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f a <a href="#" class="selflink" - >#</a - ></p + > f a</p ></div ></details ></td @@ -138,11 +132,7 @@ Fix spurious superclass constraints bug.</pre ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:SomeType:Applicative:2" ></span - > <a href="#" - >Applicative</a - > f => <a href="#" - >Applicative</a - > (<a href="#" + > Applicative f => Applicative (<a href="#" title="SpuriousSuperclassConstraints" >SomeType</a > f)</span > <a href="#" class="selflink" @@ -156,65 +146,59 @@ Fix spurious superclass constraints bug.</pre ><details id="i:id:SomeType:Applicative:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >SpuriousSuperclassConstraints</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >pure</a - > :: a -> <a href="#" + > :: a -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f a <a href="#" class="selflink" - >#</a - ></p + > f a</p ><p class="src" ><a href="#" >(<*>)</a - > :: <a href="#" + > :: <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f (a -> b) -> <a href="#" + > f (a -> b) -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f a -> <a href="#" + > f a -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f b <a href="#" class="selflink" - >#</a - ></p + > f b</p ><p class="src" ><a href="#" >liftA2</a - > :: (a -> b -> c) -> <a href="#" + > :: (a -> b -> c) -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f a -> <a href="#" + > f a -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f b -> <a href="#" + > f b -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f c <a href="#" class="selflink" - >#</a - ></p + > f c</p ><p class="src" ><a href="#" >(*>)</a - > :: <a href="#" + > :: <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f a -> <a href="#" + > f a -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f b -> <a href="#" + > f b -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f b <a href="#" class="selflink" - >#</a - ></p + > f b</p ><p class="src" ><a href="#" >(<*)</a - > :: <a href="#" + > :: <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f a -> <a href="#" + > f a -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f b -> <a href="#" + > f b -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f a <a href="#" class="selflink" - >#</a - ></p + > f a</p ></div ></details ></td diff --git a/html-test/ref/Table.html b/html-test/ref/Table.html new file mode 100644 index 00000000..deaf6b1c --- /dev/null +++ b/html-test/ref/Table.html @@ -0,0 +1,238 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Table</title + ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + /><link rel="stylesheet" type="text/css" href="#" + /><script src="haddock-bundle.min.js" async="async" type="text/javascript" + ></script + ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" + ></script + ></head + ><body + ><div id="package-header" + ><ul class="links" id="page-menu" + ><li + ><a href="#" + >Contents</a + ></li + ><li + ><a href="#" + >Index</a + ></li + ></ul + ><p class="caption empty" + ></p + ></div + ><div id="content" + ><div id="module-header" + ><table class="info" + ><tr + ><th + >Safe Haskell</th + ><td + >Safe</td + ></tr + ></table + ><p class="caption" + >Table</p + ></div + ><div id="description" + ><p class="caption" + >Description</p + ><div class="doc" + ><p + >This tests the table markup</p + ></div + ></div + ><div id="synopsis" + ><details id="syn" + ><summary + >Synopsis</summary + ><ul class="details-toggle" data-details-id="syn" + ><li class="src short" + ><a href="#" + >tableWithHeader</a + > :: a -> a</li + ><li class="src short" + ><a href="#" + >tableWithoutHeader</a + > :: a -> a</li + ><li class="src short" + ><a href="#" + >fancyTable</a + > :: a -> a</li + ></ul + ></details + ></div + ><div id="interface" + ><h1 + >Documentation</h1 + ><div class="top" + ><p class="src" + ><a id="v:tableWithHeader" class="def" + >tableWithHeader</a + > :: a -> a <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >Table with header.</p + ><table + ><thead + ><tr + ><th + > code </th + ><th + > message </th + ><th + > description </th + ></tr + ></thead + ><tbody + ><tr + ><td + > 200 </td + ><td + > <code + >OK</code + > </td + ><td + > operation successful </td + ></tr + ><tr + ><td + > 204 </td + ><td + > <code + >No Content</code + > </td + ><td + > operation successful, no body returned </td + ></tr + ></tbody + ></table + ></div + ></div + ><div class="top" + ><p class="src" + ><a id="v:tableWithoutHeader" class="def" + >tableWithoutHeader</a + > :: a -> a <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >Table without header.</p + ><table + ><tbody + ><tr + ><td + > 200 </td + ><td + > <code + >OK</code + > </td + ><td + > operation successful </td + ></tr + ><tr + ><td + > 204 </td + ><td + > <code + >No Content</code + > </td + ><td + > operation successful, no body returned </td + ></tr + ><tr + ><td + > 404 </td + ><td + > <code + >Not Found</code + > </td + ><td + > resource not found </td + ></tr + ></tbody + ></table + ></div + ></div + ><div class="top" + ><p class="src" + ><a id="v:fancyTable" class="def" + >fancyTable</a + > :: a -> a <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >Fancy table.</p + ><table + ><thead + ><tr + ><th + > Header row, column 1 + (header rows optional) </th + ><th + > Header 2 + </th + ><th + > Header 3 + </th + ><th + > Header 4 + </th + ></tr + ></thead + ><tbody + ><tr + ><td + > body row 1, column 1 </td + ><td + > column 2 </td + ><td + > column 3 </td + ><td + > column 4 </td + ></tr + ><tr + ><td + > <code + ><a href="#" title="Table" + >tableWithHeader</a + ></code + > </td + ><td colspan="3" + > Cells may span columns. </td + ></tr + ><tr + ><td + > body row 3 </td + ><td rowspan="2" + > Cells may + span rows. + </td + ><td colspan="2" rowspan="2" + > \[ + f(n) = \sum_{i=1} + \] </td + ></tr + ><tr + ><td + > body row 4 </td + ></tr + ></tbody + ></table + ></div + ></div + ></div + ></div + ><div id="footer" + ></div + ></body + ></html +>
\ No newline at end of file diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index 4bcd2508..d4c2417c 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -133,19 +133,19 @@ ><p >This module illustrates & tests most of the features of Haddock. Testing references from the description: <code - ><a href="#" + ><a href="#" title="Test" >T</a ></code >, <code - ><a href="#" + ><a href="#" title="Test" >f</a ></code >, <code - ><a href="#" + ><a href="#" title="Test" >g</a ></code >, <code - ><a href="#" + ><a href="#" title="Visible" >visible</a ></code >.</p @@ -165,25 +165,15 @@ ><li >= <a href="#" >A</a - > <a href="#" - >Int</a - > (<a href="#" - >Maybe</a - > <a href="#" - >Float</a - >)</li + > Int (Maybe Float)</li ><li >| <a href="#" >B</a - > (<a href="#" + > (<a href="#" title="Test" >T</a - > a b, <a href="#" + > a b, <a href="#" title="Test" >T</a - > <a href="#" - >Int</a - > <a href="#" - >Float</a - >)</li + > Int Float)</li ></ul ></li ><li class="src short" @@ -357,9 +347,7 @@ ><li ><a href="#" >p</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li ><a href="#" >q</a @@ -371,9 +359,7 @@ >r</a >, <a href="#" >s</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul > }</li ><li @@ -383,25 +369,13 @@ ><li ><a href="#" >t</a - > :: T1 -> <a href="#" + > :: T1 -> <a href="#" title="Test" >T2</a - > <a href="#" - >Int</a - > <a href="#" - >Int</a - > -> <a href="#" + > Int Int -> <a href="#" title="Test" >T3</a - > <a href="#" - >Bool</a - > <a href="#" - >Bool</a - > -> <a href="#" + > Bool Bool -> <a href="#" title="Test" >T4</a - > <a href="#" - >Float</a - > <a href="#" - >Float</a - > -> <a href="#" + > Float Float -> <a href="#" title="Test" >T5</a > () ()</li ><li @@ -409,9 +383,7 @@ >u</a >, <a href="#" >v</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul > }</li ></ul @@ -427,34 +399,56 @@ ><li ><a href="#" >s1</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li ><a href="#" >s2</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li ><a href="#" >s3</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul >}</li ><li class="src short" + ><a href="#" + >p</a + > :: <a href="#" title="Test" + >R</a + > -> Int</li + ><li class="src short" + ><a href="#" + >q</a + > :: <a href="#" title="Test" + >R</a + > -> <span class="keyword" + >forall</span + > a. a -> a</li + ><li class="src short" + ><a href="#" + >u</a + > :: <a href="#" title="Test" + >R</a + > -> Int</li + ><li class="src short" ><span class="keyword" >class</span - > <a href="#" + > <a href="#" title="Test" >D</a > a => <a href="#" >C</a > a <span class="keyword" >where</span ><ul class="subs" - ></ul + ><li + ><a href="#" + >a</a + > :: IO a</li + ><li + ><a href="#" + >b</a + > :: [a]</li + ></ul ></li ><li class="src short" ><span class="keyword" @@ -464,7 +458,17 @@ > a <span class="keyword" >where</span ><ul class="subs" - ></ul + ><li + ><a href="#" + >d</a + > :: <a href="#" title="Test" + >T</a + > a b</li + ><li + ><a href="#" + >e</a + > :: (a, a)</li + ></ul ></li ><li class="src short" ><span class="keyword" @@ -480,40 +484,32 @@ > a <span class="keyword" >where</span ><ul class="subs" - ></ul + ><li + ><a href="#" + >ff</a + > :: a</li + ></ul ></li ><li class="src short" ><a href="#" >a</a - > :: <a href="#" + > :: <a href="#" title="Test" >C</a - > a => <a href="#" - >IO</a - > a</li + > a => IO a</li ><li class="src short" ><a href="#" >f</a - > :: <a href="#" + > :: <a href="#" title="Test" >C</a - > a => a -> <a href="#" - >Int</a - ></li + > a => a -> Int</li ><li class="src short" ><a href="#" >g</a - > :: <a href="#" - >Int</a - > -> <a href="#" - >IO</a - > CInt</li + > :: Int -> IO CInt</li ><li class="src short" ><a href="#" >hidden</a - > :: <a href="#" - >Int</a - > -> <a href="#" - >Int</a - ></li + > :: Int -> Int</li ><li class="src short" >module <a href="#" >Visible</a @@ -525,7 +521,7 @@ >Ex</a > a<ul class="subs" ><li - >= <a href="#" + >= <a href="#" title="Test" >C</a > b => <a href="#" >Ex1</a @@ -535,7 +531,7 @@ >Ex2</a > b</li ><li - >| <a href="#" + >| <a href="#" title="Test" >C</a > a => <a href="#" >Ex3</a @@ -551,77 +547,41 @@ ><li class="src short" ><a href="#" >k</a - > :: <a href="#" + > :: <a href="#" title="Test" >T</a - > () () -> <a href="#" + > () () -> <a href="#" title="Test" >T2</a - > <a href="#" - >Int</a - > <a href="#" - >Int</a - > -> (<a href="#" + > Int Int -> (<a href="#" title="Test" >T3</a - > <a href="#" - >Bool</a - > <a href="#" - >Bool</a - > -> <a href="#" + > Bool Bool -> <a href="#" title="Test" >T4</a - > <a href="#" - >Float</a - > <a href="#" - >Float</a - >) -> <a href="#" + > Float Float) -> <a href="#" title="Test" >T5</a - > () () -> <a href="#" - >IO</a - > ()</li + > () () -> IO ()</li ><li class="src short" ><a href="#" >l</a - > :: (<a href="#" - >Int</a - >, <a href="#" - >Int</a - >, <a href="#" - >Float</a - >) -> <a href="#" - >Int</a - ></li + > :: (Int, Int, Float) -> Int</li ><li class="src short" ><a href="#" >m</a - > :: <a href="#" + > :: <a href="#" title="Test" >R</a - > -> <a href="#" + > -> <a href="#" title="Test" >N1</a - > () -> <a href="#" - >IO</a - > <a href="#" - >Int</a - ></li + > () -> IO Int</li ><li class="src short" ><a href="#" >o</a - > :: <a href="#" - >Float</a - > -> <a href="#" - >IO</a - > <a href="#" - >Float</a - ></li + > :: Float -> IO Float</li ><li class="src short" ><a href="#" >f'</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li class="src short" ><a href="#" >withType</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ><li class="src short" ><a href="#" >withoutType</a @@ -630,10 +590,14 @@ ></details ></div ><div id="interface" - ><h1 id="g:1" - >Type declarations</h1 - ><h2 id="g:2" - >Data types</h2 + ><a href="#" id="g:1" + ><h1 + >Type declarations</h1 + ></a + ><a href="#" id="g:2" + ><h2 + >Data types</h2 + ></a ><div class="top" ><p class="src" ><span class="keyword" @@ -658,17 +622,11 @@ ><td class="src" ><a id="v:A" class="def" >A</a - > <a href="#" - >Int</a - > (<a href="#" - >Maybe</a - > <a href="#" - >Float</a - >)</td + > Int (Maybe Float)</td ><td class="doc" ><p >This comment describes the <code - ><a href="#" + ><a href="#" title="Test" >A</a ></code > constructor</p @@ -678,19 +636,15 @@ ><td class="src" ><a id="v:B" class="def" >B</a - > (<a href="#" + > (<a href="#" title="Test" >T</a - > a b, <a href="#" + > a b, <a href="#" title="Test" >T</a - > <a href="#" - >Int</a - > <a href="#" - >Float</a - >)</td + > Int Float)</td ><td class="doc" ><p >This comment describes the <code - ><a href="#" + ><a href="#" title="Test" >B</a ></code > constructor</p @@ -802,7 +756,7 @@ ><td class="doc" ><p >documents <code - ><a href="#" + ><a href="#" title="Test" >A3</a ></code ></p @@ -816,7 +770,7 @@ ><td class="doc" ><p >documents <code - ><a href="#" + ><a href="#" title="Test" >B3</a ></code ></p @@ -850,7 +804,7 @@ ><td class="doc" ><p >This is the doc for <code - ><a href="#" + ><a href="#" title="Test" >A4</a ></code ></p @@ -864,7 +818,7 @@ ><td class="doc" ><p >This is the doc for <code - ><a href="#" + ><a href="#" title="Test" >B4</a ></code ></p @@ -878,7 +832,7 @@ ><td class="doc" ><p >This is the doc for <code - ><a href="#" + ><a href="#" title="Test" >C4</a ></code ></p @@ -1000,7 +954,7 @@ ><div class="doc" ><p >this is the <code - ><a href="#" + ><a href="#" title="Test" >n3</a ></code > field</p @@ -1141,7 +1095,7 @@ ><td class="doc" ><p >The <code - ><a href="#" + ><a href="#" title="Test" >N7</a ></code > constructor</p @@ -1168,8 +1122,10 @@ ></table ></div ></div - ><h2 id="g:3" - >Records</h2 + ><a href="#" id="g:3" + ><h2 + >Records</h2 + ></a ><div class="top" ><p class="src" ><span class="keyword" @@ -1182,24 +1138,24 @@ ><div class="doc" ><p >This is the documentation for the <code - ><a href="#" + ><a href="#" title="Test" >R</a ></code > record, which has four fields, <code - ><a href="#" + ><a href="#" title="Test" >p</a ></code >, <code - ><a href="#" + ><a href="#" title="Test" >q</a ></code >, <code - ><a href="#" + ><a href="#" title="Test" >r</a ></code >, and <code - ><a href="#" + ><a href="#" title="Test" >s</a ></code >.</p @@ -1216,7 +1172,7 @@ ><td class="doc" ><p >This is the <code - ><a href="#" + ><a href="#" title="Test" >C1</a ></code > record constructor, with the following fields:</p @@ -1232,13 +1188,11 @@ ><dfn class="src" ><a id="v:p" class="def" >p</a - > :: <a href="#" - >Int</a - ></dfn + > :: Int</dfn ><div class="doc" ><p >This comment applies to the <code - ><a href="#" + ><a href="#" title="Test" >p</a ></code > field</p @@ -1254,7 +1208,7 @@ ><div class="doc" ><p >This comment applies to the <code - ><a href="#" + ><a href="#" title="Test" >q</a ></code > field</p @@ -1266,17 +1220,15 @@ >r</a >, <a id="v:s" class="def" >s</a - > :: <a href="#" - >Int</a - ></dfn + > :: Int</dfn ><div class="doc" ><p >This comment applies to both <code - ><a href="#" + ><a href="#" title="Test" >r</a ></code > and <code - ><a href="#" + ><a href="#" title="Test" >s</a ></code ></p @@ -1294,7 +1246,7 @@ ><td class="doc" ><p >This is the <code - ><a href="#" + ><a href="#" title="Test" >C2</a ></code > record constructor, also with some fields:</p @@ -1310,25 +1262,13 @@ ><dfn class="src" ><a id="v:t" class="def" >t</a - > :: T1 -> <a href="#" + > :: T1 -> <a href="#" title="Test" >T2</a - > <a href="#" - >Int</a - > <a href="#" - >Int</a - > -> <a href="#" + > Int Int -> <a href="#" title="Test" >T3</a - > <a href="#" - >Bool</a - > <a href="#" - >Bool</a - > -> <a href="#" + > Bool Bool -> <a href="#" title="Test" >T4</a - > <a href="#" - >Float</a - > <a href="#" - >Float</a - > -> <a href="#" + > Float Float -> <a href="#" title="Test" >T5</a > () ()</dfn ><div class="doc empty" @@ -1340,9 +1280,7 @@ >u</a >, <a id="v:v" class="def" >v</a - > :: <a href="#" - >Int</a - ></dfn + > :: Int</dfn ><div class="doc empty" ></div ></li @@ -1378,7 +1316,7 @@ ><td class="doc" ><p >This is the <code - ><a href="#" + ><a href="#" title="Test" >C3</a ></code > record constructor</p @@ -1394,13 +1332,11 @@ ><dfn class="src" ><a id="v:s1" class="def" >s1</a - > :: <a href="#" - >Int</a - ></dfn + > :: Int</dfn ><div class="doc" ><p >The <code - ><a href="#" + ><a href="#" title="Test" >s1</a ></code > record selector</p @@ -1410,13 +1346,11 @@ ><dfn class="src" ><a id="v:s2" class="def" >s2</a - > :: <a href="#" - >Int</a - ></dfn + > :: Int</dfn ><div class="doc" ><p >The <code - ><a href="#" + ><a href="#" title="Test" >s2</a ></code > record selector</p @@ -1426,13 +1360,11 @@ ><dfn class="src" ><a id="v:s3" class="def" >s3</a - > :: <a href="#" - >Int</a - ></dfn + > :: Int</dfn ><div class="doc" ><p >The <code - ><a href="#" + ><a href="#" title="Test" >s3</a ></code > record selector</p @@ -1449,13 +1381,63 @@ ><p >test that we can export record selectors on their own:</p ></div - ><h1 id="g:4" - >Class declarations</h1 + ><div class="top" + ><p class="src" + ><a id="v:p" class="def" + >p</a + > :: <a href="#" title="Test" + >R</a + > -> Int <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >This comment applies to the <code + ><a href="#" title="Test" + >p</a + ></code + > field</p + ></div + ></div + ><div class="top" + ><p class="src" + ><a id="v:q" class="def" + >q</a + > :: <a href="#" title="Test" + >R</a + > -> <span class="keyword" + >forall</span + > a. a -> a <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >This comment applies to the <code + ><a href="#" title="Test" + >q</a + ></code + > field</p + ></div + ></div + ><div class="top" + ><p class="src" + ><a id="v:u" class="def" + >u</a + > :: <a href="#" title="Test" + >R</a + > -> Int <a href="#" class="selflink" + >#</a + ></p + ></div + ><a href="#" id="g:4" + ><h1 + >Class declarations</h1 + ></a ><div class="top" ><p class="src" ><span class="keyword" >class</span - > <a href="#" + > <a href="#" title="Test" >D</a > a => <a id="t:C" class="def" >C</a @@ -1469,36 +1451,24 @@ >This comment applies to the <em >previous</em > declaration (the <code - ><a href="#" + ><a href="#" title="Test" >C</a ></code > class)</p ></div - ><div class="subs minimal" - ><p class="caption" - >Minimal complete definition</p - ><p class="src" - ><a href="#" - >a</a - >, <a href="#" - >b</a - ></p - ></div ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a id="v:a" class="def" >a</a - > :: <a href="#" - >IO</a - > a <a href="#" class="selflink" + > :: IO a <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >this is a description of the <code - ><a href="#" + ><a href="#" title="Test" >a</a ></code > method</p @@ -1512,7 +1482,7 @@ ><div class="doc" ><p >this is a description of the <code - ><a href="#" + ><a href="#" title="Test" >b</a ></code > method</p @@ -1534,23 +1504,13 @@ ><p >This is a class declaration with no separate docs for the methods</p ></div - ><div class="subs minimal" - ><p class="caption" - >Minimal complete definition</p - ><p class="src" - ><a href="#" - >d</a - >, <a href="#" - >e</a - ></p - ></div ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a id="v:d" class="def" >d</a - > :: <a href="#" + > :: <a href="#" title="Test" >T</a > a b <a href="#" class="selflink" >#</a @@ -1572,11 +1532,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:D:D:1" ></span - > <a href="#" + > <a href="#" title="Test" >D</a - > <a href="#" - >Float</a - ></span + > Float</span > <a href="#" class="selflink" >#</a ></td @@ -1588,27 +1546,25 @@ ><details id="i:ic:D:D:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Test</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >d</a - > :: <a href="#" + > :: <a href="#" title="Test" >T</a - > <a href="#" - >Float</a - > b <a href="#" class="selflink" + > Float b <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >e</a - > :: (<a href="#" - >Float</a - >, <a href="#" - >Float</a - >) <a href="#" class="selflink" + > :: (Float, Float) <a href="#" class="selflink" >#</a ></p ></div @@ -1620,11 +1576,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:D:D:2" ></span - > <a href="#" + > <a href="#" title="Test" >D</a - > <a href="#" - >Int</a - ></span + > Int</span > <a href="#" class="selflink" >#</a ></td @@ -1636,27 +1590,25 @@ ><details id="i:ic:D:D:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs methods" + ><p + >Defined in <a href="#" + >Test</a + ></p + > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >d</a - > :: <a href="#" + > :: <a href="#" title="Test" >T</a - > <a href="#" - >Int</a - > b <a href="#" class="selflink" + > Int b <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >e</a - > :: (<a href="#" - >Int</a - >, <a href="#" - >Int</a - >) <a href="#" class="selflink" + > :: (Int, Int) <a href="#" class="selflink" >#</a ></p ></div @@ -1698,14 +1650,6 @@ > <a href="#" class="selflink" >#</a ></p - ><div class="subs minimal" - ><p class="caption" - >Minimal complete definition</p - ><p class="src" - ><a href="#" - >ff</a - ></p - ></div ><div class="subs methods" ><p class="caption" >Methods</p @@ -1725,40 +1669,38 @@ ><p class="src" ><a id="v:a" class="def" >a</a - > :: <a href="#" + > :: <a href="#" title="Test" >C</a - > a => <a href="#" - >IO</a - > a <a href="#" class="selflink" + > a => IO a <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >this is a description of the <code - ><a href="#" + ><a href="#" title="Test" >a</a ></code > method</p ></div ></div - ><h1 id="g:5" - >Function types</h1 + ><a href="#" id="g:5" + ><h1 + >Function types</h1 + ></a ><div class="top" ><p class="src" ><a id="v:f" class="def" >f</a - > :: <a href="#" + > :: <a href="#" title="Test" >C</a - > a => a -> <a href="#" - >Int</a - > <a href="#" class="selflink" + > a => a -> Int <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >In a comment string we can refer to identifiers in scope with single quotes like this: <code - ><a href="#" + ><a href="#" title="Test" >T</a ></code >, and we can refer to modules by @@ -1791,7 +1733,7 @@ using double quotes: <a href="#" ></dl ><pre > This is a block of code, which can include other markup: <code - ><a href="#" + ><a href="#" title="Test" >R</a ></code > @@ -1811,11 +1753,7 @@ using double quotes: <a href="#" ><p class="src" ><a id="v:g" class="def" >g</a - > :: <a href="#" - >Int</a - > -> <a href="#" - >IO</a - > CInt <a href="#" class="selflink" + > :: Int -> IO CInt <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -1823,8 +1761,10 @@ using double quotes: <a href="#" >we can export foreign declarations too</p ></div ></div - ><h1 id="g:6" - >Auxiliary stuff</h1 + ><a href="#" id="g:6" + ><h1 + >Auxiliary stuff</h1 + ></a ><div class="doc" ><p >This is some documentation that is attached to a name ($aux1) @@ -1916,22 +1856,22 @@ test2 each line must begin with > (which isn't significant unless it is at the beginning of the line).</pre ></div - ><h1 id="g:7" - >A hidden module</h1 + ><a href="#" id="g:7" + ><h1 + >A hidden module</h1 + ></a ><div class="top" ><p class="src" ><a id="v:hidden" class="def" >hidden</a - > :: <a href="#" - >Int</a - > -> <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int -> Int <a href="#" class="selflink" >#</a ></p ></div - ><h1 id="g:8" - >A visible module</h1 + ><a href="#" id="g:8" + ><h1 + >A visible module</h1 + ></a ><div class="top" ><p class="src" >module <a href="#" @@ -1942,8 +1882,10 @@ is at the beginning of the line).</pre ><p >nested-style doc comments </p ></div - ><h1 id="g:9" - >Existential / Universal types</h1 + ><a href="#" id="g:9" + ><h1 + >Existential / Universal types</h1 + ></a ><div class="top" ><p class="src" ><span class="keyword" @@ -1963,7 +1905,7 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - ><a href="#" + ><a href="#" title="Test" >C</a > b => <a id="v:Ex1" class="def" >Ex1</a @@ -1981,7 +1923,7 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - ><a href="#" + ><a href="#" title="Test" >C</a > a => <a id="v:Ex3" class="def" >Ex3</a @@ -2002,8 +1944,10 @@ is at the beginning of the line).</pre ></table ></div ></div - ><h1 id="g:10" - >Type signatures with argument docs</h1 + ><a href="#" id="g:10" + ><h1 + >Type signatures with argument docs</h1 + ></a ><div class="top" ><p class="src" ><a id="v:k" class="def" @@ -2017,13 +1961,13 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - >:: <a href="#" + >:: <a href="#" title="Test" >T</a > () ()</td ><td class="doc" ><p >This argument has type <code - ><a href="#" + ><a href="#" title="Test" >T</a ></code ></p @@ -2031,13 +1975,9 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="#" + >-> <a href="#" title="Test" >T2</a - > <a href="#" - >Int</a - > <a href="#" - >Int</a - ></td + > Int Int</td ><td class="doc" ><p >This argument has type 'T2 Int Int'</p @@ -2045,19 +1985,11 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> (<a href="#" + >-> (<a href="#" title="Test" >T3</a - > <a href="#" - >Bool</a - > <a href="#" - >Bool</a - > -> <a href="#" + > Bool Bool -> <a href="#" title="Test" >T4</a - > <a href="#" - >Float</a - > <a href="#" - >Float</a - >)</td + > Float Float)</td ><td class="doc" ><p >This argument has type <code @@ -2067,7 +1999,7 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="#" + >-> <a href="#" title="Test" >T5</a > () ()</td ><td class="doc" @@ -2079,9 +2011,7 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="#" - >IO</a - > ()</td + >-> IO ()</td ><td class="doc" ><p >This is the result type</p @@ -2107,13 +2037,7 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - >:: (<a href="#" - >Int</a - >, <a href="#" - >Int</a - >, <a href="#" - >Float</a - >)</td + >:: (Int, Int, Float)</td ><td class="doc" ><p >takes a triple</p @@ -2121,15 +2045,11 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="#" - >Int</a - ></td + >-> Int</td ><td class="doc" ><p >returns an <code - ><a href="#" - >Int</a - ></code + >Int</code ></p ></td ></tr @@ -2149,7 +2069,7 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - >:: <a href="#" + >:: <a href="#" title="Test" >R</a ></td ><td class="doc empty" @@ -2157,7 +2077,7 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="#" + >-> <a href="#" title="Test" >N1</a > ()</td ><td class="doc" @@ -2167,11 +2087,7 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="#" - >IO</a - > <a href="#" - >Int</a - ></td + >-> IO Int</td ><td class="doc" ><p >and the return value</p @@ -2197,9 +2113,7 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - >:: <a href="#" - >Float</a - ></td + >:: Float</td ><td class="doc" ><p >The input float</p @@ -2207,11 +2121,7 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="#" - >IO</a - > <a href="#" - >Float</a - ></td + >-> IO Float</td ><td class="doc" ><p >The output float</p @@ -2224,10 +2134,14 @@ is at the beginning of the line).</pre >A foreign import with argument docs</p ></div ></div - ><h1 id="g:11" - >A section</h1 - ><h2 id="g:12" - >A subsection</h2 + ><a href="#" id="g:11" + ><h1 + >A section</h1 + ></a + ><a href="#" id="g:12" + ><h2 + >A subsection</h2 + ></a ><div class="doc" ><pre >a literal line</pre @@ -2240,15 +2154,13 @@ is at the beginning of the line).</pre ><p class="src" ><a id="v:f-39-" class="def" >f'</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >a function with a prime can be referred to as <code - ><a href="#" + ><a href="#" title="Test" >f'</a ></code > @@ -2259,9 +2171,7 @@ is at the beginning of the line).</pre ><p class="src" ><a id="v:withType" class="def" >withType</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html index 836a4db2..8728d4cd 100644 --- a/html-test/ref/Threaded.html +++ b/html-test/ref/Threaded.html @@ -56,9 +56,7 @@ ><li class="src short" ><a href="#" >f</a - > :: <a href="#" - >Integer</a - ></li + > :: Integer</li ></ul ></details ></div @@ -69,9 +67,7 @@ ><p class="src" ><a id="v:f" class="def" >f</a - > :: <a href="#" - >Integer</a - > <a href="#" class="selflink" + > :: Integer <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html index ccd39ff0..a2c4ca1b 100644 --- a/html-test/ref/Ticket112.html +++ b/html-test/ref/Ticket112.html @@ -63,9 +63,7 @@ ><div class="doc" ><p >...given a raw <code - ><a href="#" - >Addr#</a - ></code + >Addr#</code > to the string, and the length of the string.</p ></div ></div diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html index 2581584a..9cab5271 100644 --- a/html-test/ref/Ticket61.html +++ b/html-test/ref/Ticket61.html @@ -52,14 +52,6 @@ > <a href="#" class="selflink" >#</a ></p - ><div class="subs minimal" - ><p class="caption" - >Minimal complete definition</p - ><p class="src" - ><a href="#" - >f</a - ></p - ></div ><div class="subs methods" ><p class="caption" >Methods</p diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html index 488913b1..683a7184 100644 --- a/html-test/ref/Ticket75.html +++ b/html-test/ref/Ticket75.html @@ -54,9 +54,7 @@ ><li class="src short" ><a href="#" >f</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul ></details ></div @@ -91,15 +89,13 @@ ><p class="src" ><a id="v:f" class="def" >f</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >A reference to <code - ><a href="#" + ><a href="#" title="Ticket75" >:-</a ></code ></p diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html index 966c2a34..1e6f50e0 100644 --- a/html-test/ref/TitledPicture.html +++ b/html-test/ref/TitledPicture.html @@ -46,15 +46,11 @@ ><li class="src short" ><a href="#" >foo</a - > :: <a href="#" - >Integer</a - ></li + > :: Integer</li ><li class="src short" ><a href="#" >bar</a - > :: <a href="#" - >Integer</a - ></li + > :: Integer</li ></ul ></details ></div @@ -65,15 +61,13 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: <a href="#" - >Integer</a - > <a href="#" class="selflink" + > :: Integer <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >Picture for <code - ><a href="#" + ><a href="#" title="TitledPicture" >foo</a ></code > without a title <img src="bar" @@ -84,15 +78,13 @@ ><p class="src" ><a id="v:bar" class="def" >bar</a - > :: <a href="#" - >Integer</a - > <a href="#" class="selflink" + > :: Integer <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >Picture for <code - ><a href="#" + ><a href="#" title="TitledPicture" >bar</a ></code > with title <img src="un∣∁∘" title="δ∈" diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index dcb5a92a..2195a05a 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -110,9 +110,7 @@ >data family</span > <a href="#" >Bat</a - > (a :: k) :: <a href="#" - >*</a - ></li + > (a :: k) :: *</li ><li class="src short" ><span class="keyword" >class</span @@ -126,17 +124,13 @@ >data</span > <a href="#" >AssocD</a - > a :: <a href="#" - >*</a - ></li + > a :: *</li ><li ><span class="keyword" >type</span > <a href="#" >AssocT</a - > a :: <a href="#" - >*</a - ></li + > a :: *</li ></ul ></li ><li class="src short" @@ -224,13 +218,11 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-62--60-:1" ></span - > <a href="#" - >(><)</a - > <a href="#" - >X</a - > <a href="#" + > <a href="#" title="TypeFamilies" >XX</a - > <a href="#" + > <a href="#" title="TypeFamilies" + >><</a + > <a href="#" title="TypeFamilies" >XXX</a ></span > <a href="#" class="selflink" @@ -244,6 +236,10 @@ ><details id="i:id:X:-62--60-:1" ><summary class="hide-when-js-enabled" >Instance details</summary + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p ></details ></td ></tr @@ -252,11 +248,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Assoc:2" ></span - > <a href="#" + > <a href="#" title="TypeFamilies" >Assoc</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a ></span > <a href="#" class="selflink" @@ -272,35 +266,31 @@ ><details id="i:id:X:Assoc:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs associated-types" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="subs associated-types" ><p class="caption" >Associated Types</p ><p class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocD</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a - > (a :: <a href="#" - >X</a - >) :: <a href="#" - >*</a - > <a href="#" class="selflink" + > :: * <a href="#" class="selflink" >#</a ></p ><p class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocT</a - > <a href="#" - >X</a - > (a :: <a href="#" + > <a href="#" title="TypeFamilies" >X</a - >) :: <a href="#" - >*</a - > <a href="#" class="selflink" + > :: * <a href="#" class="selflink" >#</a ></p ></div @@ -312,11 +302,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Test:3" ></span - > <a href="#" + > <a href="#" title="TypeFamilies" >Test</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a ></span > <a href="#" class="selflink" @@ -332,6 +320,10 @@ ><details id="i:id:X:Test:3" ><summary class="hide-when-js-enabled" >Instance details</summary + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p ></details ></td ></tr @@ -342,9 +334,9 @@ ></span > <span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Foo</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a ></span > <a href="#" class="selflink" @@ -358,14 +350,18 @@ ><details id="i:id:X:Foo:4" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Foo</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a - > = <a href="#" + > = <a href="#" title="TypeFamilies" >Y</a ></div ></details @@ -378,13 +374,11 @@ ></span > <span class="keyword" >type</span - > <a href="#" - >(<>)</a - > <a href="#" - >X</a - > <a href="#" + > <a href="#" title="TypeFamilies" >XXX</a - > <a href="#" + > <a href="#" title="TypeFamilies" + ><></a + > <a href="#" title="TypeFamilies" >XX</a ></span > <a href="#" class="selflink" @@ -398,18 +392,20 @@ ><details id="i:id:X:-60--62-:5" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" - >(<>)</a - > <a href="#" - >X</a - > <a href="#" + > <a href="#" title="TypeFamilies" >XXX</a - > <a href="#" + > <a href="#" title="TypeFamilies" + ><></a + > <a href="#" title="TypeFamilies" >XX</a - > = <a href="#" + > = <a href="#" title="TypeFamilies" >X</a ></div ></details @@ -422,11 +418,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocD</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a ></span > <a href="#" class="selflink" @@ -440,14 +434,16 @@ ><details id="i:id:X:AssocD:6" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocD</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a > = <a id="v:AssocX" class="def" >AssocX</a @@ -462,11 +458,9 @@ ></span > <span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocT</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a ></span > <a href="#" class="selflink" @@ -480,22 +474,22 @@ ><details id="i:id:X:AssocT:7" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocT</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a - > = <a href="#" + > = (<a href="#" title="TypeFamilies" >Foo</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a - ></div + > :: *)</div ></details ></td ></tr @@ -506,11 +500,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a ></span > <a href="#" class="selflink" @@ -526,20 +518,22 @@ ><details id="i:id:X:Bat:8" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a > <ul class="inst" ><li class="inst" >= <a id="v:BatX" class="def" >BatX</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a ></li ><li class="inst" @@ -549,13 +543,13 @@ ><li ><a id="v:aaa" class="def" >aaa</a - > :: <a href="#" + > :: <a href="#" title="TypeFamilies" >X</a ></li ><li ><a id="v:bbb" class="def" >bbb</a - > :: <a href="#" + > :: <a href="#" title="TypeFamilies" >Y</a ></li ></ul @@ -572,11 +566,9 @@ ></span > <span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Foo</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a ></span > <a href="#" class="selflink" @@ -590,16 +582,18 @@ ><details id="i:id:X:Foo:9" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Foo</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a - > = <a href="#" + > = <a href="#" title="TypeFamilies" >Y</a ></div ></details @@ -612,13 +606,11 @@ ></span > <span class="keyword" >type</span - > <a href="#" - >(<>)</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a - > a</span + > <a href="#" title="TypeFamilies" + ><></a + > (a :: *)</span > <a href="#" class="selflink" >#</a ></td @@ -630,16 +622,18 @@ ><details id="i:id:X:-60--62-:10" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" - >(<>)</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a - > a = <a href="#" + > <a href="#" title="TypeFamilies" + ><></a + > (a :: *) = <a href="#" title="TypeFamilies" >X</a ></div ></details @@ -672,11 +666,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Y:Assoc:1" ></span - > <a href="#" + > <a href="#" title="TypeFamilies" >Assoc</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></span > <a href="#" class="selflink" @@ -692,35 +684,31 @@ ><details id="i:id:Y:Assoc:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs associated-types" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="subs associated-types" ><p class="caption" >Associated Types</p ><p class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocD</a - > <a href="#" - >Y</a - > (a :: <a href="#" + > <a href="#" title="TypeFamilies" >Y</a - >) :: <a href="#" - >*</a - > <a href="#" class="selflink" + > :: * <a href="#" class="selflink" >#</a ></p ><p class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocT</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a - > (a :: <a href="#" - >Y</a - >) :: <a href="#" - >*</a - > <a href="#" class="selflink" + > :: * <a href="#" class="selflink" >#</a ></p ></div @@ -732,11 +720,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Y:Test:2" ></span - > <a href="#" + > <a href="#" title="TypeFamilies" >Test</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></span > <a href="#" class="selflink" @@ -752,6 +738,10 @@ ><details id="i:id:Y:Test:2" ><summary class="hide-when-js-enabled" >Instance details</summary + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p ></details ></td ></tr @@ -762,9 +752,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Bar</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></span > <a href="#" class="selflink" @@ -778,12 +768,16 @@ ><details id="i:id:Y:Bar:3" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Bar</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></div ></details @@ -796,11 +790,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocD</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></span > <a href="#" class="selflink" @@ -814,14 +806,16 @@ ><details id="i:id:Y:AssocD:4" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocD</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a > = <a id="v:AssocY" class="def" >AssocY</a @@ -836,11 +830,9 @@ ></span > <span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocT</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></span > <a href="#" class="selflink" @@ -854,20 +846,20 @@ ><details id="i:id:Y:AssocT:5" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocT</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a - > = <a href="#" + > = <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></div ></details @@ -880,11 +872,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></span > <a href="#" class="selflink" @@ -900,18 +890,20 @@ ><details id="i:id:Y:Bat:6" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a > = <a id="v:BatY" class="def" >BatY</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></div ></details @@ -924,11 +916,9 @@ ></span > <span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Foo</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></span > <a href="#" class="selflink" @@ -942,16 +932,18 @@ ><details id="i:id:Y:Foo:7" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Foo</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a - > = <a href="#" + > = <a href="#" title="TypeFamilies" >X</a ></div ></details @@ -964,13 +956,11 @@ ></span > <span class="keyword" >type</span - > <a href="#" - >(<>)</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a - > a</span + > <a href="#" title="TypeFamilies" + ><></a + > (a :: *)</span > <a href="#" class="selflink" >#</a ></td @@ -982,16 +972,18 @@ ><details id="i:id:Y:-60--62-:8" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" - >(<>)</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a - > a = a</div + > <a href="#" title="TypeFamilies" + ><></a + > (a :: *) = a</div ></details ></td ></tr @@ -1046,11 +1038,11 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" + > (z :: <a href="#" title="TypeFamilies" >Z</a - ></span + >)</span > <a href="#" class="selflink" >#</a ></td @@ -1064,34 +1056,44 @@ ><details id="i:id:Z:Bat:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" + > (z :: <a href="#" title="TypeFamilies" >Z</a - > <span class="keyword" + >) <span class="keyword" >where</span ><ul class="inst" ><li class="inst" ><a id="v:BatZ1" class="def" >BatZ1</a - > :: <a href="#" - >Bat</a - > <a href="#" + > :: <span class="keyword" + >forall</span + > (z :: <a href="#" title="TypeFamilies" + >Z</a + >). <a href="#" title="TypeFamilies" >Z</a - > <a href="#" + > -> <a href="#" title="TypeFamilies" + >Bat</a + > <a href="#" title="TypeFamilies" >ZA</a ></li ><li class="inst" ><a id="v:BatZ2" class="def" >BatZ2</a - > :: <a href="#" - >Bat</a - > <a href="#" + > :: <span class="keyword" + >forall</span + > (z :: <a href="#" title="TypeFamilies" >Z</a - > <a href="#" + >). {..} -> <a href="#" title="TypeFamilies" + >Bat</a + > <a href="#" title="TypeFamilies" >ZB</a ></li ></ul @@ -1126,11 +1128,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Test:Test:1" ></span - > <a href="#" + > <a href="#" title="TypeFamilies" >Test</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></span > <a href="#" class="selflink" @@ -1146,6 +1146,10 @@ ><details id="i:ic:Test:Test:1" ><summary class="hide-when-js-enabled" >Instance details</summary + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p ></details ></td ></tr @@ -1154,11 +1158,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Test:Test:2" ></span - > <a href="#" + > <a href="#" title="TypeFamilies" >Test</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a ></span > <a href="#" class="selflink" @@ -1174,6 +1176,10 @@ ><details id="i:ic:Test:Test:2" ><summary class="hide-when-js-enabled" >Instance details</summary + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p ></details ></td ></tr @@ -1206,11 +1212,9 @@ ></span > <span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Foo</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></span > <a href="#" class="selflink" @@ -1224,16 +1228,18 @@ ><details id="i:if:Foo:Foo:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Foo</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a - > = <a href="#" + > = <a href="#" title="TypeFamilies" >X</a ></div ></details @@ -1246,11 +1252,9 @@ ></span > <span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Foo</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a ></span > <a href="#" class="selflink" @@ -1264,16 +1268,18 @@ ><details id="i:if:Foo:Foo:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Foo</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a - > = <a href="#" + > = <a href="#" title="TypeFamilies" >Y</a ></div ></details @@ -1289,9 +1295,7 @@ >data family</span > <a id="t:Bat" class="def" >Bat</a - > (a :: k) :: <a href="#" - >*</a - > <a href="#" class="selflink" + > (a :: k) :: * <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -1310,11 +1314,11 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" + > (z :: <a href="#" title="TypeFamilies" >Z</a - ></span + >)</span > <a href="#" class="selflink" >#</a ></td @@ -1328,34 +1332,44 @@ ><details id="i:if:Bat:Bat:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" + > (z :: <a href="#" title="TypeFamilies" >Z</a - > <span class="keyword" + >) <span class="keyword" >where</span ><ul class="inst" ><li class="inst" ><a id="v:BatZ1" class="def" >BatZ1</a - > :: <a href="#" - >Bat</a - > <a href="#" + > :: <span class="keyword" + >forall</span + > (z :: <a href="#" title="TypeFamilies" >Z</a - > <a href="#" + >). <a href="#" title="TypeFamilies" + >Z</a + > -> <a href="#" title="TypeFamilies" + >Bat</a + > <a href="#" title="TypeFamilies" >ZA</a ></li ><li class="inst" ><a id="v:BatZ2" class="def" >BatZ2</a - > :: <a href="#" - >Bat</a - > <a href="#" + > :: <span class="keyword" + >forall</span + > (z :: <a href="#" title="TypeFamilies" >Z</a - > <a href="#" + >). {..} -> <a href="#" title="TypeFamilies" + >Bat</a + > <a href="#" title="TypeFamilies" >ZB</a ></li ></ul @@ -1370,11 +1384,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></span > <a href="#" class="selflink" @@ -1390,18 +1402,20 @@ ><details id="i:if:Bat:Bat:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a > = <a id="v:BatY" class="def" >BatY</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></div ></details @@ -1414,11 +1428,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a ></span > <a href="#" class="selflink" @@ -1434,20 +1446,22 @@ ><details id="i:if:Bat:Bat:3" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a > <ul class="inst" ><li class="inst" >= <a id="v:BatX" class="def" >BatX</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a ></li ><li class="inst" @@ -1457,13 +1471,13 @@ ><li ><a id="v:aaa" class="def" >aaa</a - > :: <a href="#" + > :: <a href="#" title="TypeFamilies" >X</a ></li ><li ><a id="v:bbb" class="def" >bbb</a - > :: <a href="#" + > :: <a href="#" title="TypeFamilies" >Y</a ></li ></ul @@ -1498,9 +1512,7 @@ >data</span > <a id="t:AssocD" class="def" >AssocD</a - > a :: <a href="#" - >*</a - > <a href="#" class="selflink" + > a :: * <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -1512,9 +1524,7 @@ >type</span > <a id="t:AssocT" class="def" >AssocT</a - > a :: <a href="#" - >*</a - > <a href="#" class="selflink" + > a :: * <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -1532,11 +1542,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Assoc:Assoc:1" ></span - > <a href="#" + > <a href="#" title="TypeFamilies" >Assoc</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></span > <a href="#" class="selflink" @@ -1552,35 +1560,31 @@ ><details id="i:ic:Assoc:Assoc:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs associated-types" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="subs associated-types" ><p class="caption" >Associated Types</p ><p class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocD</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a - > (a :: <a href="#" - >Y</a - >) :: <a href="#" - >*</a - > <a href="#" class="selflink" + > :: * <a href="#" class="selflink" >#</a ></p ><p class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocT</a - > <a href="#" - >Y</a - > (a :: <a href="#" + > <a href="#" title="TypeFamilies" >Y</a - >) :: <a href="#" - >*</a - > <a href="#" class="selflink" + > :: * <a href="#" class="selflink" >#</a ></p ></div @@ -1592,11 +1596,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Assoc:Assoc:2" ></span - > <a href="#" + > <a href="#" title="TypeFamilies" >Assoc</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a ></span > <a href="#" class="selflink" @@ -1612,35 +1614,31 @@ ><details id="i:ic:Assoc:Assoc:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="subs associated-types" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="subs associated-types" ><p class="caption" >Associated Types</p ><p class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocD</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a - > (a :: <a href="#" - >X</a - >) :: <a href="#" - >*</a - > <a href="#" class="selflink" + > :: * <a href="#" class="selflink" >#</a ></p ><p class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies" >AssocT</a - > <a href="#" - >X</a - > (a :: <a href="#" + > <a href="#" title="TypeFamilies" >X</a - >) :: <a href="#" - >*</a - > <a href="#" class="selflink" + > :: * <a href="#" class="selflink" >#</a ></p ></div @@ -1672,11 +1670,11 @@ ><table ><tr ><td class="src" - ><a href="#" + ><a href="#" title="TypeFamilies" >Bar</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a - > = <a href="#" + > = <a href="#" title="TypeFamilies" >X</a ></td ><td class="doc empty" @@ -1684,9 +1682,9 @@ ></tr ><tr ><td class="src" - ><a href="#" + ><a href="#" title="TypeFamilies" >Bar</a - > y = <a href="#" + > y = <a href="#" title="TypeFamilies" >Y</a ></td ><td class="doc empty" @@ -1716,13 +1714,11 @@ ></span > <span class="keyword" >type</span - > <a href="#" - >(<>)</a - > <a href="#" - >X</a - > <a href="#" + > <a href="#" title="TypeFamilies" >XXX</a - > <a href="#" + > <a href="#" title="TypeFamilies" + ><></a + > <a href="#" title="TypeFamilies" >XX</a ></span > <a href="#" class="selflink" @@ -1736,18 +1732,20 @@ ><details id="i:if:-60--62-:-60--62-:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" - >(<>)</a - > <a href="#" - >X</a - > <a href="#" + > <a href="#" title="TypeFamilies" >XXX</a - > <a href="#" + > <a href="#" title="TypeFamilies" + ><></a + > <a href="#" title="TypeFamilies" >XX</a - > = <a href="#" + > = <a href="#" title="TypeFamilies" >X</a ></div ></details @@ -1760,13 +1758,11 @@ ></span > <span class="keyword" >type</span - > <a href="#" - >(<>)</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a - > a</span + > <a href="#" title="TypeFamilies" + ><></a + > (a :: *)</span > <a href="#" class="selflink" >#</a ></td @@ -1778,16 +1774,18 @@ ><details id="i:if:-60--62-:-60--62-:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" - >(<>)</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a - > a = a</div + > <a href="#" title="TypeFamilies" + ><></a + > (a :: *) = a</div ></details ></td ></tr @@ -1798,13 +1796,11 @@ ></span > <span class="keyword" >type</span - > <a href="#" - >(<>)</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a - > a</span + > <a href="#" title="TypeFamilies" + ><></a + > (a :: *)</span > <a href="#" class="selflink" >#</a ></td @@ -1816,16 +1812,18 @@ ><details id="i:if:-60--62-:-60--62-:3" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" - >(<>)</a - > <a href="#" - >*</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a - > a = <a href="#" + > <a href="#" title="TypeFamilies" + ><></a + > (a :: *) = <a href="#" title="TypeFamilies" >X</a ></div ></details @@ -1854,13 +1852,11 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:-62--60-:-62--60-:1" ></span - > <a href="#" - >(><)</a - > <a href="#" - >X</a - > <a href="#" + > <a href="#" title="TypeFamilies" >XX</a - > <a href="#" + > <a href="#" title="TypeFamilies" + >><</a + > <a href="#" title="TypeFamilies" >XXX</a ></span > <a href="#" class="selflink" @@ -1874,6 +1870,10 @@ ><details id="i:ic:-62--60-:-62--60-:1" ><summary class="hide-when-js-enabled" >Instance details</summary + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p ></details ></td ></tr diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index 84e7df36..a5d0d9a9 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -92,9 +92,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Bar</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a ></span > <a href="#" class="selflink" @@ -110,12 +110,16 @@ ><details id="i:id:W:Bar:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies2</a + ></p + > <div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Bar</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a > = <a id="v:BarX" class="def" >BarX</a @@ -130,9 +134,9 @@ ></span > <span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Foo</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a ></span > <a href="#" class="selflink" @@ -146,12 +150,16 @@ ><details id="i:id:W:Foo:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies2</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Foo</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a ></div ></details @@ -186,9 +194,9 @@ ></span > <span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Foo</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a ></span > <a href="#" class="selflink" @@ -202,12 +210,16 @@ ><details id="i:if:Foo:Foo:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies2</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Foo</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a ></div ></details @@ -220,9 +232,9 @@ ></span > <span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Foo</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a ></span > <a href="#" class="selflink" @@ -236,14 +248,18 @@ ><details id="i:if:Foo:Foo:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Foo</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a - > = <a href="#" + > = <a href="#" title="TypeFamilies" >Y</a ></div ></details @@ -278,9 +294,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Bar</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a ></span > <a href="#" class="selflink" @@ -296,12 +312,16 @@ ><details id="i:if:Bar:Bar:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies2</a + ></p + > <div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Bar</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a > = <a id="v:BarX" class="def" >BarX</a @@ -316,9 +336,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Bar</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></span > <a href="#" class="selflink" @@ -332,12 +352,16 @@ ><details id="i:if:Bar:Bar:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Bar</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></div ></details diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index d389162e..76a5b280 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -127,7 +127,7 @@ ><p class="src" ><a id="v:biO" class="def" >biO</a - > :: (g <a href="#" + > :: (g <a href="#" title="TypeOperators" >`O`</a > f) a <a href="#" class="selflink" >#</a @@ -153,11 +153,11 @@ ><p class="src" ><a id="v:x" class="def" >x</a - > :: (a <a href="#" + > :: (a <a href="#" title="TypeOperators" >:-:</a - > a) <a href="#" + > a) <a href="#" title="TypeOperators" ><=></a - > (a <a href="#" + > (a <a href="#" title="TypeOperators" >`Op`</a > a) => a <a href="#" class="selflink" >#</a @@ -167,11 +167,11 @@ ><p class="src" ><a id="v:y" class="def" >y</a - > :: (a <a href="#" + > :: (a <a href="#" title="TypeOperators" ><=></a - > a, (a <a href="#" + > a, (a <a href="#" title="TypeOperators" >`Op`</a - > a) <a href="#" + > a) <a href="#" title="TypeOperators" ><=></a > a) => a <a href="#" class="selflink" >#</a diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html index 0f2a30d4..3cae7357 100644 --- a/html-test/ref/Unicode.html +++ b/html-test/ref/Unicode.html @@ -46,9 +46,7 @@ ><li class="src short" ><a href="#" >x</a - > :: <a href="#" - >Int</a - ></li + > :: Int</li ></ul ></details ></div @@ -59,9 +57,7 @@ ><p class="src" ><a id="v:x" class="def" >x</a - > :: <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html index dad23fef..22c6be6c 100644 --- a/html-test/ref/Visible.html +++ b/html-test/ref/Visible.html @@ -45,11 +45,7 @@ ><p class="src" ><a id="v:visible" class="def" >visible</a - > :: <a href="#" - >Int</a - > -> <a href="#" - >Int</a - > <a href="#" class="selflink" + > :: Int -> Int <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/src/Bug458.hs b/html-test/src/Bug458.hs new file mode 100644 index 00000000..6a3ac9a4 --- /dev/null +++ b/html-test/src/Bug458.hs @@ -0,0 +1,6 @@ +module Bug458 where + +-- | See the defn of @'⊆'@. +(⊆) :: () -> () -> () +_ ⊆ _ = () + diff --git a/html-test/src/Bug546.hs b/html-test/src/Bug546.hs new file mode 100644 index 00000000..4493b1d9 --- /dev/null +++ b/html-test/src/Bug546.hs @@ -0,0 +1,55 @@ +module Bug546 where + +-- |Test: +-- +-- [@[code with square \\ brackets\]@] lorem ipsum +x = 1 + +-- | +-- +-- [@[..\]@] Matches any of the enclosed characters. Ranges of characters can +-- be specified by separating the endpoints with a @\'-'@. @\'-'@ or +-- @']'@ can be matched by including them as the first character(s) +-- in the list. Never matches path separators: @[\/]@ matches +-- nothing at all. Named character classes can also be matched: +-- @[:x:]@ within @[]@ specifies the class named @x@, which matches +-- certain predefined characters. See below for a full list. +-- +-- [@[^..\]@ or @[!..\]@] Like @[..]@, but matches any character /not/ listed. +-- Note that @[^-x]@ is not the inverse of @[-x]@, but +-- the range @[^-x]@. +-- +-- [@\<m-n>@] Matches any integer in the range m to n, inclusive. The range may +-- be open-ended by leaving out either number: @\"\<->\"@, for +-- instance, matches any integer. +-- +-- [@**/@] Matches any number of characters, including path separators, +-- excluding the empty string. +-- +-- Supported character classes: +-- +-- [@[:alnum:\]@] Equivalent to @\"0-9A-Za-z\"@. +-- +-- [@[:alpha:\]@] Equivalent to @\"A-Za-z\"@. +-- +-- [@[:blank:\]@] Equivalent to @\"\\t \"@. +-- +-- [@[:cntrl:\]@] Equivalent to @\"\\0-\\x1f\\x7f\"@. +-- +-- [@[:digit:\]@] Equivalent to @\"0-9\"@. +-- +-- [@[:graph:\]@] Equivalent to @\"!-~\"@. +-- +-- [@[:lower:\]@] Equivalent to @\"a-z\"@. +-- +-- [@[:print:\]@] Equivalent to @\" -~\"@. +-- +-- [@[:punct:\]@] Equivalent to @\"!-\/:-\@[-`{-~\"@. +-- +-- [@[:space:\]@] Equivalent to @\"\\t-\\r \"@. +-- +-- [@[:upper:\]@] Equivalent to @\"A-Z\"@. +-- +-- [@[:xdigit:\]@] Equivalent to @\"0-9A-Fa-f\"@. +compile :: String -> String +compile = id
\ No newline at end of file diff --git a/html-test/src/Bug548.hs b/html-test/src/Bug548.hs new file mode 100644 index 00000000..652d3d32 --- /dev/null +++ b/html-test/src/Bug548.hs @@ -0,0 +1,3 @@ +module Bug548 (WrappedArrow(..)) where + +import Control.Applicative diff --git a/html-test/src/Bug679.hs b/html-test/src/Bug679.hs new file mode 100644 index 00000000..dba194c4 --- /dev/null +++ b/html-test/src/Bug679.hs @@ -0,0 +1,24 @@ +{-# LANGUAGE TemplateHaskell #-} + +module Bug679 where + +import Language.Haskell.TH + +data Bar a = Bar + +$(do + a <- newName "a" + + let classN = mkName "Foo" + let methodN = mkName "foo" + + methodTy <- [t| $(varT a) -> $(varT a) |] + let cla = ClassD [] classN [PlainTV a] [] [SigD methodN methodTy] + + -- Note that we are /reusing/ the same type variable 'a' as in the class + instanceHead <- [t| $(conT classN) (Bar $(varT a)) |] + idCall <- [e| id |] + let ins = InstanceD Nothing [] instanceHead [FunD methodN [Clause [] (NormalB idCall) []]] + + pure [cla,ins]) + diff --git a/html-test/src/Table.hs b/html-test/src/Table.hs new file mode 100644 index 00000000..2cf0c662 --- /dev/null +++ b/html-test/src/Table.hs @@ -0,0 +1,47 @@ +-- | This tests the table markup +module Table + ( tableWithHeader + , tableWithoutHeader + , fancyTable + ) where + +-- | Table with header. +-- +-- +------+--------------+------------------------------------------+ +-- | code | message | description | +-- +======+==============+==========================================+ +-- | 200 | @OK@ | operation successful | +-- +------+--------------+------------------------------------------+ +-- | 204 | @No Content@ | operation successful, no body returned | +-- +------+--------------+------------------------------------------+ +tableWithHeader :: a -> a +tableWithHeader a = a + +-- | Table without header. +-- +-- +------+--------------+------------------------------------------+ +-- | 200 | @OK@ | operation successful | +-- +------+--------------+------------------------------------------+ +-- | 204 | @No Content@ | operation successful, no body returned | +-- +------+--------------+------------------------------------------+ +-- | 404 | @Not Found@ | resource not found | +-- +------+--------------+------------------------------------------+ +tableWithoutHeader :: a -> a +tableWithoutHeader a = a + +-- | Fancy table. +-- +-- +------------------------+------------+----------+----------+ +-- | Header row, column 1 | Header 2 | Header 3 | Header 4 | +-- | (header rows optional) | | | | +-- +========================+============+==========+==========+ +-- | body row 1, column 1 | column 2 | column 3 | column 4 | +-- +------------------------+------------+----------+----------+ +-- | 'tableWithHeader' | Cells may span columns. | +-- +------------------------+------------+---------------------+ +-- | body row 3 | Cells may | \[ | +-- +------------------------+ span rows. | f(n) = \sum_{i=1} | +-- | body row 4 | | \] | +-- +------------------------+------------+---------------------+ +fancyTable :: a -> a +fancyTable x = x |