diff options
Diffstat (limited to 'html-test')
66 files changed, 2928 insertions, 412 deletions
diff --git a/html-test/ref/A.html b/html-test/ref/A.html index c6965abc..e4802966 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -54,11 +54,15 @@ ><li class="src short" ><a href="#" >other</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >test2</a - > :: Bool</li + > :: <a href="#" title="Data.Bool" + >Bool</a + ></li ><li class="src short" ><span class="keyword" >data</span @@ -70,7 +74,9 @@ ><li class="src short" ><a href="#" >reExport</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></details ></div @@ -105,7 +111,9 @@ ><p class="src" ><a id="v:other" class="def" >other</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -113,7 +121,9 @@ ><p class="src" ><a id="v:test2" class="def" >test2</a - > :: Bool <a href="#" class="selflink" + > :: <a href="#" title="Data.Bool" + >Bool</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -155,7 +165,9 @@ ><p class="src" ><a id="v:reExport" class="def" >reExport</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html index f2d25057..d37fc11f 100644 --- a/html-test/ref/Bug280.html +++ b/html-test/ref/Bug280.html @@ -61,7 +61,9 @@ ><p class="src" ><a id="v:x" class="def" >x</a - > :: [Char] <a href="#" class="selflink" + > :: [<a href="#" title="Data.Char" + >Char</a + >] <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html index 2c716278..3c4b905c 100644 --- a/html-test/ref/Bug3.html +++ b/html-test/ref/Bug3.html @@ -46,7 +46,9 @@ ><li class="src short" ><a href="#" >foo</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></details ></div @@ -57,7 +59,9 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index e664eccd..8fef21a6 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -38,6 +38,28 @@ ><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="#" title="GHC.TypeNats" + >Nat</a + >) <a href="#" + >+</a + > (b :: <a href="#" title="GHC.TypeNats" + >Nat</a + >) :: <a href="#" title="GHC.TypeNats" + >Nat</a + > <span class="keyword" + >where ...</span + ></li + ></ul + ></details + ></div ><div id="interface" ><h1 >Documentation</h1 @@ -45,13 +67,31 @@ ><p class="src" ><span class="keyword" >type family</span - > (a :: Nat) <a id="t:-43-" class="def" + > (a :: <a href="#" title="GHC.TypeNats" + >Nat</a + >) <a id="t:-43-" class="def" >+</a - > (b :: Nat) :: Nat <span class="keyword" + > (b :: <a href="#" title="GHC.TypeNats" + >Nat</a + >) :: <a href="#" title="GHC.TypeNats" + >Nat</a + > <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 + ><p + ><em + >Since: base-4.7.0.0</em + ></p + ></div ></div ></div ></div diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html index da1b1ee5..ba2f5c91 100644 --- a/html-test/ref/Bug387.html +++ b/html-test/ref/Bug387.html @@ -60,11 +60,15 @@ ><li class="src short" ><a href="#" >test1</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >test2</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></details ></div @@ -79,7 +83,9 @@ ><p class="src" ><a id="v:test1" class="def" >test1</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -93,7 +99,9 @@ ><p class="src" ><a id="v:test2" class="def" >test2</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html index 6bf822f7..6afd37fe 100644 --- a/html-test/ref/Bug4.html +++ b/html-test/ref/Bug4.html @@ -46,7 +46,9 @@ ><li class="src short" ><a href="#" >foo</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></details ></div @@ -57,7 +59,9 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Bug546.html b/html-test/ref/Bug546.html index e2246475..221f7b6c 100644 --- a/html-test/ref/Bug546.html +++ b/html-test/ref/Bug546.html @@ -46,11 +46,17 @@ ><li class="src short" ><a href="#" >x</a - > :: Integer</li + > :: <a href="#" title="Prelude" + >Integer</a + ></li ><li class="src short" ><a href="#" >compile</a - > :: String -> String</li + > :: <a href="#" title="Data.String" + >String</a + > -> <a href="#" title="Data.String" + >String</a + ></li ></ul ></details ></div @@ -61,7 +67,9 @@ ><p class="src" ><a id="v:x" class="def" >x</a - > :: Integer <a href="#" class="selflink" + > :: <a href="#" title="Prelude" + >Integer</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -81,7 +89,11 @@ ><p class="src" ><a id="v:compile" class="def" >compile</a - > :: String -> String <a href="#" class="selflink" + > :: <a href="#" title="Data.String" + >String</a + > -> <a href="#" title="Data.String" + >String</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index a8061eb2..b690b8ad 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -47,7 +47,13 @@ >newtype</span > <a id="t:WrappedArrow" class="def" >WrappedArrow</a - > (a :: * -> * -> *) b c <a href="#" class="selflink" + > (a :: <a href="#" title="Data.Kind" + >Type</a + > -> <a href="#" title="Data.Kind" + >Type</a + > -> <a href="#" title="Data.Kind" + >Type</a + >) b c <a href="#" class="selflink" >#</a ></p ><div class="subs constructors" @@ -92,9 +98,15 @@ ><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" + > <a href="#" title="GHC.Generics" + >Generic1</a + > (<a href="#" title="Bug548" >WrappedArrow</a - > a b :: * -> *)</span + > a b :: <a href="#" title="Data.Kind" + >Type</a + > -> <a href="#" title="Data.Kind" + >Type</a + >)</span ></td ><td class="doc empty" ></td @@ -114,9 +126,15 @@ ><p class="src" ><span class="keyword" >type</span - > Rep1 (<a href="#" title="Bug548" - >WrappedArrow</a - > a b) :: k -> *</p + > <a href="#" title="GHC.Generics" + >Rep1</a + > (<a href="#" title="Bug548" + >WrappedArrow</a + > a b) :: k -> <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" + >#</a + ></p ></div > <div class="subs methods" ><p class="caption" @@ -126,17 +144,25 @@ >from1</a > :: <a href="#" title="Bug548" >WrappedArrow</a - > a b a0 -> Rep1 (<a href="#" title="Bug548" + > a b a0 -> <a href="#" title="GHC.Generics" + >Rep1</a + > (<a href="#" title="Bug548" >WrappedArrow</a - > a b) a0</p + > a b) a0 <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >to1</a - > :: Rep1 (<a href="#" title="Bug548" + > :: <a href="#" title="GHC.Generics" + >Rep1</a + > (<a href="#" title="Bug548" >WrappedArrow</a > a b) a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b a0</p + > a b a0 <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td @@ -146,12 +172,20 @@ ><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" + > <a href="#" title="Control.Arrow" + >Arrow</a + > a => <a href="#" title="Data.Functor" + >Functor</a + > (<a href="#" title="Bug548" >WrappedArrow</a > a b)</span ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + ><em + >Since: base-2.1</em + ></p + ></td ></tr ><tr ><td colspan="2" @@ -172,7 +206,9 @@ >WrappedArrow</a > a b a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b b0</p + > a b b0 <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >(<$)</a @@ -180,7 +216,9 @@ >WrappedArrow</a > a b b0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b a0</p + > a b a0 <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td @@ -190,12 +228,20 @@ ><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" + > <a href="#" title="Control.Arrow" + >Arrow</a + > a => <a href="#" title="Control.Applicative" + >Applicative</a + > (<a href="#" title="Bug548" >WrappedArrow</a > a b)</span ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + ><em + >Since: base-2.1</em + ></p + ></td ></tr ><tr ><td colspan="2" @@ -214,7 +260,9 @@ >pure</a > :: a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b a0</p + > a b a0 <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >(<*>)</a @@ -224,7 +272,9 @@ >WrappedArrow</a > a b a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b b0</p + > a b b0 <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >liftA2</a @@ -234,7 +284,9 @@ >WrappedArrow</a > a b b0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b c</p + > a b c <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >(*>)</a @@ -244,7 +296,9 @@ >WrappedArrow</a > a b b0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b b0</p + > a b b0 <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >(<*)</a @@ -254,7 +308,9 @@ >WrappedArrow</a > a b b0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b a0</p + > a b a0 <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td @@ -264,12 +320,22 @@ ><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" + > (<a href="#" title="Control.Arrow" + >ArrowZero</a + > a, <a href="#" title="Control.Arrow" + >ArrowPlus</a + > a) => <a href="#" title="Control.Applicative" + >Alternative</a + > (<a href="#" title="Bug548" >WrappedArrow</a > a b)</span ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + ><em + >Since: base-2.1</em + ></p + ></td ></tr ><tr ><td colspan="2" @@ -288,7 +354,9 @@ >empty</a > :: <a href="#" title="Bug548" >WrappedArrow</a - > a b a0</p + > a b a0 <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >(<|>)</a @@ -298,7 +366,9 @@ >WrappedArrow</a > a b a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b a0</p + > a b a0 <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >some</a @@ -306,7 +376,9 @@ >WrappedArrow</a > a b a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b [a0]</p + > a b [a0] <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >many</a @@ -314,7 +386,9 @@ >WrappedArrow</a > a b a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b [a0]</p + > a b [a0] <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td @@ -324,7 +398,9 @@ ><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" + > <a href="#" title="GHC.Generics" + >Generic</a + > (<a href="#" title="Bug548" >WrappedArrow</a > a b c)</span ></td @@ -346,9 +422,17 @@ ><p class="src" ><span class="keyword" >type</span - > Rep (<a href="#" title="Bug548" - >WrappedArrow</a - > a b c) :: * -> *</p + > <a href="#" title="GHC.Generics" + >Rep</a + > (<a href="#" title="Bug548" + >WrappedArrow</a + > a b c) :: <a href="#" title="Data.Kind" + >Type</a + > -> <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" + >#</a + ></p ></div > <div class="subs methods" ><p class="caption" @@ -358,17 +442,25 @@ >from</a > :: <a href="#" title="Bug548" >WrappedArrow</a - > a b c -> Rep (<a href="#" title="Bug548" + > a b c -> <a href="#" title="GHC.Generics" + >Rep</a + > (<a href="#" title="Bug548" >WrappedArrow</a - > a b c) x</p + > a b c) x <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >to</a - > :: Rep (<a href="#" title="Bug548" + > :: <a href="#" title="GHC.Generics" + >Rep</a + > (<a href="#" title="Bug548" >WrappedArrow</a > a b c) x -> <a href="#" title="Bug548" >WrappedArrow</a - > a b c</p + > a b c <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td @@ -380,12 +472,22 @@ ></span > <span class="keyword" >type</span - > Rep1 (<a href="#" title="Bug548" + > <a href="#" title="GHC.Generics" + >Rep1</a + > (<a href="#" title="Bug548" >WrappedArrow</a - > a b :: * -> *)</span + > a b :: <a href="#" title="Data.Kind" + >Type</a + > -> <a href="#" title="Data.Kind" + >Type</a + >)</span + ></td + ><td class="doc" + ><p + ><em + >Since: base-4.7.0.0</em + ></p ></td - ><td class="doc empty" - ></td ></tr ><tr ><td colspan="2" @@ -399,9 +501,43 @@ > <div class="src" ><span class="keyword" >type</span - > Rep1 (<a href="#" title="Bug548" + > <a href="#" title="GHC.Generics" + >Rep1</a + > (<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 + > a b :: <a href="#" title="Data.Kind" + >Type</a + > -> <a href="#" title="Data.Kind" + >Type</a + >) = <a href="#" title="GHC.Generics" + >D1</a + > (<a href="#" title="GHC.Generics" + >MetaData</a + > "WrappedArrow" "Control.Applicative" "base" <a href="#" title="Data.Bool" + >True</a + >) (<a href="#" title="GHC.Generics" + >C1</a + > (<a href="#" title="GHC.Generics" + >MetaCons</a + > "WrapArrow" <a href="#" title="GHC.Generics" + >PrefixI</a + > <a href="#" title="Data.Bool" + >True</a + >) (<a href="#" title="GHC.Generics" + >S1</a + > (<a href="#" title="GHC.Generics" + >MetaSel</a + > (<a href="#" title="GHC.Maybe" + >Just</a + > "unwrapArrow") <a href="#" title="GHC.Generics" + >NoSourceUnpackedness</a + > <a href="#" title="GHC.Generics" + >NoSourceStrictness</a + > <a href="#" title="GHC.Generics" + >DecidedLazy</a + >) (<a href="#" title="GHC.Generics" + >Rec1</a + > (a b))))</div ></details ></td ></tr @@ -412,12 +548,18 @@ ></span > <span class="keyword" >type</span - > Rep (<a href="#" title="Bug548" + > <a href="#" title="GHC.Generics" + >Rep</a + > (<a href="#" title="Bug548" >WrappedArrow</a > a b c)</span ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + ><em + >Since: base-4.7.0.0</em + ></p + ></td ></tr ><tr ><td colspan="2" @@ -431,9 +573,39 @@ > <div class="src" ><span class="keyword" >type</span - > Rep (<a href="#" title="Bug548" + > <a href="#" title="GHC.Generics" + >Rep</a + > (<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 + > a b c) = <a href="#" title="GHC.Generics" + >D1</a + > (<a href="#" title="GHC.Generics" + >MetaData</a + > "WrappedArrow" "Control.Applicative" "base" <a href="#" title="Data.Bool" + >True</a + >) (<a href="#" title="GHC.Generics" + >C1</a + > (<a href="#" title="GHC.Generics" + >MetaCons</a + > "WrapArrow" <a href="#" title="GHC.Generics" + >PrefixI</a + > <a href="#" title="Data.Bool" + >True</a + >) (<a href="#" title="GHC.Generics" + >S1</a + > (<a href="#" title="GHC.Generics" + >MetaSel</a + > (<a href="#" title="GHC.Maybe" + >Just</a + > "unwrapArrow") <a href="#" title="GHC.Generics" + >NoSourceUnpackedness</a + > <a href="#" title="GHC.Generics" + >NoSourceStrictness</a + > <a href="#" title="GHC.Generics" + >DecidedLazy</a + >) (<a href="#" title="GHC.Generics" + >Rec0</a + > (a b c))))</div ></details ></td ></tr diff --git a/html-test/ref/Bug574.html b/html-test/ref/Bug574.html new file mode 100644 index 00000000..ed0a5e15 --- /dev/null +++ b/html-test/ref/Bug574.html @@ -0,0 +1,86 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Bug574</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" + >Bug574</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="#" + >foo</a + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Data.Int" + >Int</a + ></li + ></ul + ></details + ></div + ><div id="interface" + ><h1 + >Documentation</h1 + ><div class="top" + ><p class="src" + ><a id="v:foo" class="def" + >foo</a + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >Somthing with a spliced type</p + ></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 27f73d64..15842547 100644 --- a/html-test/ref/Bug6.html +++ b/html-test/ref/Bug6.html @@ -58,7 +58,9 @@ >A</a > = <a href="#" >A</a - > Int</li + > <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><span class="keyword" >data</span @@ -66,13 +68,17 @@ >B</a > = <a href="#" >B</a - > Int</li + > <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >b</a > :: <a href="#" title="Bug6" >B</a - > -> Int</li + > -> <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><span class="keyword" >data</span @@ -84,11 +90,15 @@ ><li ><a href="#" >c1</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li ><a href="#" >c2</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul >}</li ><li class="src short" @@ -98,7 +108,11 @@ >D</a > = <a href="#" >D</a - > Int Int</li + > <a href="#" title="Data.Int" + >Int</a + > <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><span class="keyword" >newtype</span @@ -106,7 +120,9 @@ >E</a > = <a href="#" >E</a - > Int</li + > <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></details ></div @@ -134,7 +150,9 @@ ><td class="src" ><a id="v:A" class="def" >A</a - > Int</td + > <a href="#" title="Data.Int" + >Int</a + ></td ><td class="doc empty" ></td ></tr @@ -163,7 +181,9 @@ ><td class="src" ><a id="v:B" class="def" >B</a - > Int</td + > <a href="#" title="Data.Int" + >Int</a + ></td ><td class="doc empty" ></td ></tr @@ -176,7 +196,9 @@ >b</a > :: <a href="#" title="Bug6" >B</a - > -> Int <a href="#" class="selflink" + > -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -215,7 +237,9 @@ ><dfn class="src" ><a id="v:c1" class="def" >c1</a - > :: Int</dfn + > :: <a href="#" title="Data.Int" + >Int</a + ></dfn ><div class="doc empty" ></div ></li @@ -223,7 +247,9 @@ ><dfn class="src" ><a id="v:c2" class="def" >c2</a - > :: Int</dfn + > :: <a href="#" title="Data.Int" + >Int</a + ></dfn ><div class="doc empty" ></div ></li @@ -256,7 +282,11 @@ ><td class="src" ><a id="v:D" class="def" >D</a - > Int Int</td + > <a href="#" title="Data.Int" + >Int</a + > <a href="#" title="Data.Int" + >Int</a + ></td ><td class="doc empty" ></td ></tr @@ -284,7 +314,9 @@ ><td class="src" ><a id="v:E" class="def" >E</a - > Int</td + > <a href="#" title="Data.Int" + >Int</a + ></td ><td class="doc empty" ></td ></tr diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html index e8089fc8..71e30832 100644 --- a/html-test/ref/Bug613.html +++ b/html-test/ref/Bug613.html @@ -104,7 +104,9 @@ ></span > <a href="#" title="Bug613" >Functor</a - > (Either a)</span + > (<a href="#" title="Data.Either" + >Either</a + > a)</span > <a href="#" class="selflink" >#</a ></td @@ -126,7 +128,11 @@ ><p class="src" ><a href="#" >fmap</a - > :: (a0 -> b) -> Either a a0 -> Either a b <a href="#" class="selflink" + > :: (a0 -> b) -> <a href="#" title="Data.Either" + >Either</a + > a a0 -> <a href="#" title="Data.Either" + >Either</a + > a b <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 7aa562f2..9de7cca6 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -99,7 +99,9 @@ ><p class="src" ><a id="v:-45--45--45--62-" class="def" >(--->)</a - > :: Foldable t0 => t0 t -> <a href="#" title="Bug8" + > :: <a href="#" title="Data.Foldable" + >Foldable</a + > t0 => t0 t -> <a href="#" title="Bug8" >Typ</a > -> <a href="#" title="Bug8" >Typ</a diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html index 393a78ab..4efe3da2 100644 --- a/html-test/ref/BugDeprecated.html +++ b/html-test/ref/BugDeprecated.html @@ -46,27 +46,39 @@ ><li class="src short" ><a href="#" >foo</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >bar</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >baz</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >one</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >two</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >three</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></details ></div @@ -77,7 +89,9 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -91,7 +105,9 @@ ><p class="src" ><a id="v:bar" class="def" >bar</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -105,7 +121,9 @@ ><p class="src" ><a id="v:baz" class="def" >baz</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -119,7 +137,9 @@ ><p class="src" ><a id="v:one" class="def" >one</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -135,7 +155,9 @@ ><p class="src" ><a id="v:two" class="def" >two</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -149,7 +171,9 @@ ><p class="src" ><a id="v:three" class="def" >three</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html index 17378531..78af3351 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -76,27 +76,39 @@ ><li class="src short" ><a href="#" >foo</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >bar</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >baz</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >one</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >two</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >three</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></details ></div @@ -109,7 +121,9 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -121,7 +135,9 @@ ><p class="src" ><a id="v:bar" class="def" >bar</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -133,7 +149,9 @@ ><p class="src" ><a id="v:baz" class="def" >baz</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -145,7 +163,9 @@ ><p class="src" ><a id="v:one" class="def" >one</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -163,7 +183,9 @@ ><p class="src" ><a id="v:two" class="def" >two</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -181,7 +203,9 @@ ><p class="src" ><a id="v:three" class="def" >three</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html index 348ae6bc..abe20dc2 100644 --- a/html-test/ref/Bugs.html +++ b/html-test/ref/Bugs.html @@ -58,7 +58,9 @@ ><td class="src" ><a id="v:A" class="def" >A</a - > a (a -> Int)</td + > a (a -> <a href="#" title="Data.Int" + >Int</a + >)</td ><td class="doc empty" ></td ></tr diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html index 7a602ae1..e9c77612 100644 --- a/html-test/ref/BundledPatterns.html +++ b/html-test/ref/BundledPatterns.html @@ -48,7 +48,9 @@ >data</span > <a href="#" >Vec</a - > :: Nat -> * -> * <span class="keyword" + > :: <a href="#" title="GHC.TypeNats" + >Nat</a + > -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -76,7 +78,9 @@ >data</span > <a href="#" >RTree</a - > :: Nat -> * -> * <span class="keyword" + > :: <a href="#" title="GHC.TypeNats" + >Nat</a + > -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -115,7 +119,9 @@ >data</span > <a id="t:Vec" class="def" >Vec</a - > :: Nat -> * -> * <span class="keyword" + > :: <a href="#" title="GHC.TypeNats" + >Nat</a + > -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -136,7 +142,9 @@ > subscript starting from 0 and ending at <code ><code - >length</code + ><a href="#" title="Data.Foldable" + >length</a + ></code > - 1</code >.</li ></ul @@ -273,7 +281,9 @@ >data</span > <a id="t:RTree" class="def" >RTree</a - > :: Nat -> * -> * <span class="keyword" + > :: <a href="#" title="GHC.TypeNats" + >Nat</a + > -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html index 6a60c748..2f456728 100644 --- a/html-test/ref/BundledPatterns2.html +++ b/html-test/ref/BundledPatterns2.html @@ -48,7 +48,9 @@ >data</span > <a href="#" >Vec</a - > :: Nat -> * -> * <span class="keyword" + > :: <a href="#" title="GHC.TypeNats" + >Nat</a + > -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -78,7 +80,9 @@ >data</span > <a href="#" >RTree</a - > :: Nat -> * -> * <span class="keyword" + > :: <a href="#" title="GHC.TypeNats" + >Nat</a + > -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -117,7 +121,9 @@ >data</span > <a id="t:Vec" class="def" >Vec</a - > :: Nat -> * -> * <span class="keyword" + > :: <a href="#" title="GHC.TypeNats" + >Nat</a + > -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -138,7 +144,9 @@ > subscript starting from 0 and ending at <code ><code - >length</code + ><a href="#" title="Data.Foldable" + >length</a + ></code > - 1</code >.</li ></ul @@ -271,7 +279,9 @@ >data</span > <a id="t:RTree" class="def" >RTree</a - > :: Nat -> * -> * <span class="keyword" + > :: <a href="#" title="GHC.TypeNats" + >Nat</a + > -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a diff --git a/html-test/ref/ConstructorArgs.html b/html-test/ref/ConstructorArgs.html new file mode 100644 index 00000000..9aad9c86 --- /dev/null +++ b/html-test/ref/ConstructorArgs.html @@ -0,0 +1,720 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >ConstructorArgs</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" + >ConstructorArgs</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" + >data</span + > <a href="#" + >Foo</a + ><ul class="subs" + ><li + >= <a href="#" + >Rec</a + > { <ul class="subs" + ><li + ><a href="#" + >x</a + > :: <a href="#" title="Data.String" + >String</a + ></li + ><li + ><a href="#" + >y</a + > :: <a href="#" title="Data.String" + >String</a + ></li + ></ul + > }</li + ><li + >| <a href="#" + >Baz</a + > <a href="#" title="Data.Int" + >Int</a + > <a href="#" title="Data.String" + >String</a + ></li + ><li + >| <a href="#" + >Boa</a + > !<a href="#" title="Data.Int" + >Int</a + > !<a href="#" title="Data.String" + >String</a + ></li + ><li + >| <a href="#" title="Data.Int" + >Int</a + > <a href="#" + >:|</a + > <a href="#" title="Data.String" + >String</a + ></li + ><li + >| <a href="#" title="Data.Int" + >Int</a + > <a href="#" + >:*</a + > <a href="#" title="Data.String" + >String</a + ></li + ></ul + ></li + ><li class="src short" + ><span class="keyword" + >data</span + > <a href="#" + >Boo</a + > <span class="keyword" + >where</span + ><ul class="subs" + ><li + ><a href="#" + >Foo</a + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Data.String" + >String</a + > -> <a href="#" title="ConstructorArgs" + >Boo</a + ></li + ><li + ><a href="#" + >Foa</a + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="ConstructorArgs" + >Boo</a + ></li + ><li + ><span class="keyword" + >pattern</span + > <a href="#" + >Fo</a + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Data.String" + >String</a + > -> <a href="#" title="ConstructorArgs" + >Boo</a + ></li + ><li + ><span class="keyword" + >pattern</span + > <a href="#" + >Fo'</a + > :: <a href="#" title="ConstructorArgs" + >Boo</a + ></li + ></ul + ></li + ><li class="src short" + ><span class="keyword" + >pattern</span + > <a href="#" + >Bo</a + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Data.String" + >String</a + > -> <a href="#" title="ConstructorArgs" + >Boo</a + ></li + ><li class="src short" + ><span class="keyword" + >pattern</span + > <a href="#" + >Bo'</a + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Data.String" + >String</a + > -> <a href="#" title="ConstructorArgs" + >Boo</a + ></li + ></ul + ></details + ></div + ><div id="interface" + ><h1 + >Documentation</h1 + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a id="t:Foo" class="def" + >Foo</a + > <span class="fixity" + >infixr 1</span + ><span class="rightedge" + ></span + > <a href="#" class="selflink" + >#</a + ></p + ><div class="subs constructors" + ><p class="caption" + >Constructors</p + ><table + ><tr + ><td class="src" + ><a id="v:Rec" class="def" + >Rec</a + ></td + ><td class="doc" + ><p + >doc on a record</p + ></td + ></tr + ><tr + ><td colspan="2" + ><div class="subs fields" + ><p class="caption" + >Fields</p + ><ul + ><li + ><dfn class="src" + ><a id="v:x" class="def" + >x</a + > :: <a href="#" title="Data.String" + >String</a + ></dfn + ><div class="doc" + ><p + >doc on the <code + ><a href="#" title="Data.String" + >String</a + ></code + > field of <code + ><a href="#" title="ConstructorArgs" + >Rec</a + ></code + ></p + ></div + ></li + ><li + ><dfn class="src" + ><a id="v:y" class="def" + >y</a + > :: <a href="#" title="Data.String" + >String</a + ></dfn + ><div class="doc" + ><p + >doc on the <code + ><a href="#" title="Data.String" + >String</a + ></code + > field of <code + ><a href="#" title="ConstructorArgs" + >Rec</a + ></code + ></p + ></div + ></li + ></ul + ></div + ></td + ></tr + ><tr + ><td class="src" + ><a id="v:Baz" class="def" + >Baz</a + > <a href="#" title="Data.Int" + >Int</a + > <a href="#" title="Data.String" + >String</a + ></td + ><td class="doc" + ><p + >old prefix doc style</p + ></td + ></tr + ><tr + ><td class="src" + ><a id="v:Boa" class="def" + >Boa</a + > <span class="fixity" + >infixr 2</span + ><span class="rightedge" + ></span + ></td + ><td class="doc" + ><p + >doc on the <code + ><a href="#" title="ConstructorArgs" + >Boa</a + ></code + > constrictor</p + ></td + ></tr + ><tr + ><td colspan="2" + ><div class="subs fields" + ><p class="caption" + >Fields</p + ><ul + ><li + ><dfn class="src" + >!<a href="#" title="Data.Int" + >Int</a + ></dfn + ><div class="doc" + ><p + >doc on the <code + ><a href="#" title="Data.Int" + >Int</a + ></code + > field of <code + ><a href="#" title="ConstructorArgs" + >Boa</a + ></code + ></p + ></div + ></li + ><li + ><dfn class="src" + >!<a href="#" title="Data.String" + >String</a + ></dfn + ><div class="doc" + ><p + >doc on the <code + ><a href="#" title="Data.String" + >String</a + ></code + > field of <code + ><a href="#" title="ConstructorArgs" + >Boa</a + ></code + ></p + ></div + ></li + ></ul + ></div + ></td + ></tr + ><tr + ><td class="src" + ><a href="#" title="Data.Int" + >Int</a + > <a id="v::-124-" class="def" + >:|</a + > <a href="#" title="Data.String" + >String</a + ></td + ><td class="doc" + ><p + >old infix doc style</p + ></td + ></tr + ><tr + ><td class="src" + ><a id="v::-42-" class="def" + >(:*)</a + > <span class="fixity" + >infixr 3</span + ><span class="rightedge" + ></span + ></td + ><td class="doc" + ><p + >doc on the <code + ><a href="#" title="ConstructorArgs" + >:*</a + ></code + > constructor</p + ></td + ></tr + ><tr + ><td colspan="2" + ><div class="subs fields" + ><p class="caption" + >Fields</p + ><ul + ><li + ><dfn class="src" + ><a href="#" title="Data.Int" + >Int</a + ></dfn + ><div class="doc" + ><p + >doc on the <code + ><a href="#" title="Data.Int" + >Int</a + ></code + > field of the <code + ><a href="#" title="ConstructorArgs" + >:*</a + ></code + > constructor</p + ></div + ></li + ><li + ><dfn class="src" + ><a href="#" title="Data.String" + >String</a + ></dfn + ><div class="doc" + ><p + >doc on the <code + ><a href="#" title="Data.String" + >String</a + ></code + > field of the <code + ><a href="#" title="ConstructorArgs" + >:*</a + ></code + > constructor</p + ></div + ></li + ></ul + ></div + ></td + ></tr + ></table + ></div + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a id="t:Boo" class="def" + >Boo</a + > <span class="keyword" + >where</span + > <span class="fixity" + >infixr 4</span + ><span class="rightedge" + ></span + > <a href="#" class="selflink" + >#</a + ></p + ><div class="subs constructors" + ><p class="caption" + >Constructors</p + ><table + ><tr + ><td class="src" + ><a id="v:Foo" class="def" + >Foo</a + > <span class="fixity" + >infixr 1</span + ><span class="rightedge" + ></span + ></td + ><td class="doc" + ><p + >Info about a <code + ><a href="#" title="ConstructorArgs" + >Foo</a + ></code + ></p + ></td + ></tr + ><tr + ><td colspan="2" + ><div class="subs fields" + ><p class="caption" + >Fields</p + ><ul + ><li + ><dfn class="src" + >:: <a href="#" title="Data.Int" + >Int</a + ></dfn + ><div class="doc" + ><p + ><code + ><a href="#" title="Data.Int" + >Int</a + ></code + > field of <code + ><a href="#" title="ConstructorArgs" + >Foo</a + ></code + ></p + ></div + ></li + ><li + ><dfn class="src" + >-> <a href="#" title="Data.String" + >String</a + ></dfn + ><div class="doc" + ><p + ><code + ><a href="#" title="Data.String" + >String</a + ></code + > field of <code + ><a href="#" title="ConstructorArgs" + >Foo</a + ></code + ></p + ></div + ></li + ><li + ><dfn class="src" + >-> <a href="#" title="ConstructorArgs" + >Boo</a + ></dfn + ><div class="doc" + ><p + >Make a <code + ><a href="#" title="ConstructorArgs" + >Boo</a + ></code + ></p + ></div + ></li + ></ul + ></div + ></td + ></tr + ><tr + ><td class="src" + ><a id="v:Foa" class="def" + >Foa</a + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="ConstructorArgs" + >Boo</a + ></td + ><td class="doc" + ><p + >no argument docs GADT</p + ></td + ></tr + ></table + ></div + ><div class="subs bundled-patterns" + ><p class="caption" + >Bundled Patterns</p + ><table + ><tr + ><td class="src" + ><span class="keyword" + >pattern</span + > <a id="v:Fo" class="def" + >Fo</a + > <span class="fixity" + >infixr 5</span + ><span class="rightedge" + ></span + ></td + ><td class="doc" + ><p + >Info about bundled <code + ><a href="#" title="ConstructorArgs" + >Fo</a + ></code + ></p + ></td + ></tr + ><tr + ><td colspan="2" + ><div class="subs fields" + ><p class="caption" + >Fields</p + ><ul + ><li + ><dfn class="src" + >:: <a href="#" title="Data.Int" + >Int</a + ></dfn + ><div class="doc" + ><p + >an <code + ><a href="#" title="Data.Int" + >Int</a + ></code + ></p + ></div + ></li + ><li + ><dfn class="src" + >-> <a href="#" title="Data.String" + >String</a + ></dfn + ><div class="doc" + ><p + >a <code + ><a href="#" title="Data.String" + >String</a + ></code + ></p + ></div + ></li + ><li + ><dfn class="src" + >-> <a href="#" title="ConstructorArgs" + >Boo</a + ></dfn + ><div class="doc" + ><p + >a <code + ><a href="#" title="ConstructorArgs" + >Boo</a + ></code + ></p + ></div + ></li + ></ul + ></div + ></td + ></tr + ><tr + ><td class="src" + ><span class="keyword" + >pattern</span + > <a id="v:Fo-39-" class="def" + >Fo'</a + > :: <a href="#" title="ConstructorArgs" + >Boo</a + ></td + ><td class="doc" + ><p + >Bundled and no argument docs</p + ></td + ></tr + ></table + ></div + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >pattern</span + > <a id="v:Bo" class="def" + >Bo</a + > <span class="fixity" + >infixr 6</span + ><span class="rightedge" + ></span + > <a href="#" class="selflink" + >#</a + ></p + ><div class="subs arguments" + ><p class="caption" + >Arguments</p + ><table + ><tr + ><td class="src" + >:: <a href="#" title="Data.Int" + >Int</a + ></td + ><td class="doc" + ><p + >an <code + ><a href="#" title="Data.Int" + >Int</a + ></code + ></p + ></td + ></tr + ><tr + ><td class="src" + >-> <a href="#" title="Data.String" + >String</a + ></td + ><td class="doc" + ><p + >a <code + ><a href="#" title="Data.String" + >String</a + ></code + ></p + ></td + ></tr + ><tr + ><td class="src" + >-> <a href="#" title="ConstructorArgs" + >Boo</a + ></td + ><td class="doc" + ><p + >a <code + ><a href="#" title="ConstructorArgs" + >Boo</a + ></code + > pattern</p + ></td + ></tr + ></table + ></div + ><div class="doc" + ><p + >Info about not-bundled <code + ><a href="#" title="ConstructorArgs" + >Bo</a + ></code + ></p + ></div + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >pattern</span + > <a id="v:Bo-39-" class="def" + >Bo'</a + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Data.String" + >String</a + > -> <a href="#" title="ConstructorArgs" + >Boo</a + > <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >Not bunded and no argument docs</p + ></div + ></div + ></div + ></div + ><div id="footer" + ></div + ></body + ></html +>
\ No newline at end of file diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html index 548cd729..6f091de7 100644 --- a/html-test/ref/ConstructorPatternExport.html +++ b/html-test/ref/ConstructorPatternExport.html @@ -47,7 +47,9 @@ >pattern</span > <a id="v:FooCons" class="def" >FooCons</a - > :: String -> a -> Foo a <a href="#" class="selflink" + > :: <a href="#" title="Data.String" + >String</a + > -> a -> Foo a <a href="#" class="selflink" >#</a ></p ></div @@ -57,7 +59,11 @@ >pattern</span > <a id="v:MyRecCons" class="def" >MyRecCons</a - > :: Bool -> Int -> MyRec <a href="#" class="selflink" + > :: <a href="#" title="Data.Bool" + >Bool</a + > -> <a href="#" title="Data.Int" + >Int</a + > -> MyRec <a href="#" class="selflink" >#</a ></p ></div @@ -67,7 +73,9 @@ >pattern</span > <a id="v::-43-" class="def" >(:+)</a - > :: String -> a -> MyInfix a <a href="#" class="selflink" + > :: <a href="#" title="Data.String" + >String</a + > -> a -> MyInfix a <a href="#" class="selflink" >#</a ></p ></div @@ -77,7 +85,9 @@ >pattern</span > <a id="v:BlubCons" class="def" >BlubCons</a - > :: () => Show b => b -> Blub <a href="#" class="selflink" + > :: () => <a href="#" title="Text.Show" + >Show</a + > b => b -> Blub <a href="#" class="selflink" >#</a ></p ></div @@ -87,7 +97,13 @@ >pattern</span > <a id="v:MyGADTCons" class="def" >MyGADTCons</a - > :: a -> Int -> MyGADT (Maybe String) <a href="#" class="selflink" + > :: a -> <a href="#" title="Data.Int" + >Int</a + > -> MyGADT (<a href="#" title="GHC.Maybe" + >Maybe</a + > <a href="#" title="Data.String" + >String</a + >) <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html index 5682128f..b43526ba 100644 --- a/html-test/ref/DeprecatedFunction.html +++ b/html-test/ref/DeprecatedFunction.html @@ -46,11 +46,15 @@ ><li class="src short" ><a href="#" >foo</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >bar</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></details ></div @@ -61,7 +65,9 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -81,7 +87,9 @@ ><p class="src" ><a id="v:bar" class="def" >bar</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html index d4e19e7a..db0098b2 100644 --- a/html-test/ref/DeprecatedFunction2.html +++ b/html-test/ref/DeprecatedFunction2.html @@ -46,7 +46,9 @@ ><li class="src short" ><a href="#" >foo</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></details ></div @@ -57,7 +59,9 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html index 58cffae8..950c5203 100644 --- a/html-test/ref/DeprecatedFunction3.html +++ b/html-test/ref/DeprecatedFunction3.html @@ -46,7 +46,9 @@ ><li class="src short" ><a href="#" >foo</a - > :: Integer</li + > :: <a href="#" title="Prelude" + >Integer</a + ></li ></ul ></details ></div @@ -57,7 +59,9 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: Integer <a href="#" class="selflink" + > :: <a href="#" title="Prelude" + >Integer</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html index eb92dad9..91150577 100644 --- a/html-test/ref/DeprecatedModule.html +++ b/html-test/ref/DeprecatedModule.html @@ -61,7 +61,9 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html index 81f2e024..6688781f 100644 --- a/html-test/ref/DeprecatedModule2.html +++ b/html-test/ref/DeprecatedModule2.html @@ -55,7 +55,9 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html index 2640cbb5..8158f61d 100644 --- a/html-test/ref/DeprecatedNewtype.html +++ b/html-test/ref/DeprecatedNewtype.html @@ -50,7 +50,9 @@ >SomeNewType</a > = <a href="#" >SomeNewTypeConst</a - > String</li + > <a href="#" title="Data.String" + >String</a + ></li ><li class="src short" ><span class="keyword" >newtype</span @@ -58,7 +60,9 @@ >SomeOtherNewType</a > = <a href="#" >SomeOtherNewTypeConst</a - > String</li + > <a href="#" title="Data.String" + >String</a + ></li ></ul ></details ></div @@ -90,7 +94,9 @@ ><td class="src" ><a id="v:SomeNewTypeConst" class="def" >SomeNewTypeConst</a - > String</td + > <a href="#" title="Data.String" + >String</a + ></td ><td class="doc" ><div class="warning" ><p @@ -126,7 +132,9 @@ ><td class="src" ><a id="v:SomeOtherNewTypeConst" class="def" >SomeOtherNewTypeConst</a - > String</td + > <a href="#" title="Data.String" + >String</a + ></td ><td class="doc" ><div class="warning" ><p diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html index 214be4f4..f2bbb766 100644 --- a/html-test/ref/DeprecatedReExport.html +++ b/html-test/ref/DeprecatedReExport.html @@ -72,7 +72,9 @@ ><li class="src short" ><a href="#" >foo</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></details ></div @@ -85,7 +87,9 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html index 5ff532a4..c2de1538 100644 --- a/html-test/ref/DeprecatedRecord.html +++ b/html-test/ref/DeprecatedRecord.html @@ -54,11 +54,15 @@ ><li ><a href="#" >fooName</a - > :: String</li + > :: <a href="#" title="Data.String" + >String</a + ></li ><li ><a href="#" >fooValue</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul >}</li ></ul @@ -102,7 +106,9 @@ ><dfn class="src" ><a id="v:fooName" class="def" >fooName</a - > :: String</dfn + > :: <a href="#" title="Data.String" + >String</a + ></dfn ><div class="doc" ><p >some name</p @@ -112,7 +118,9 @@ ><dfn class="src" ><a id="v:fooValue" class="def" >fooValue</a - > :: Int</dfn + > :: <a href="#" title="Data.Int" + >Int</a + ></dfn ><div class="doc" ><div class="warning" ><p diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html index 25526d72..fcb7f5ce 100644 --- a/html-test/ref/DeprecatedTypeSynonym.html +++ b/html-test/ref/DeprecatedTypeSynonym.html @@ -48,13 +48,17 @@ >type</span > <a href="#" >TypeSyn</a - > = String</li + > = <a href="#" title="Data.String" + >String</a + ></li ><li class="src short" ><span class="keyword" >type</span > <a href="#" >OtherTypeSyn</a - > = String</li + > = <a href="#" title="Data.String" + >String</a + ></li ></ul ></details ></div @@ -67,7 +71,9 @@ >type</span > <a id="t:TypeSyn" class="def" >TypeSyn</a - > = String <a href="#" class="selflink" + > = <a href="#" title="Data.String" + >String</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -85,7 +91,9 @@ >type</span > <a id="t:OtherTypeSyn" class="def" >OtherTypeSyn</a - > = String <a href="#" class="selflink" + > = <a href="#" title="Data.String" + >String</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html index 7eeb5f7c..77a341f0 100644 --- a/html-test/ref/Examples.html +++ b/html-test/ref/Examples.html @@ -46,7 +46,11 @@ ><li class="src short" ><a href="#" >fib</a - > :: Integer -> Integer</li + > :: <a href="#" title="Prelude" + >Integer</a + > -> <a href="#" title="Prelude" + >Integer</a + ></li ></ul ></details ></div @@ -57,13 +61,19 @@ ><p class="src" ><a id="v:fib" class="def" >fib</a - > :: Integer -> Integer <a href="#" class="selflink" + > :: <a href="#" title="Prelude" + >Integer</a + > -> <a href="#" title="Prelude" + >Integer</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >Fibonacci number of given <code - >Integer</code + ><a href="#" title="Prelude" + >Integer</a + ></code >.</p ><p >Examples:</p diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index ae890105..97c9a3c5 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -54,13 +54,17 @@ ><table ><tr ><td class="src" - >:: Ord a</td + >:: <a href="#" title="Data.Ord" + >Ord</a + > a</td ><td class="doc empty" ></td ></tr ><tr ><td class="src" - >=> Int</td + >=> <a href="#" title="Data.Int" + >Int</a + ></td ><td class="doc" ><p >First argument</p @@ -76,7 +80,9 @@ ></tr ><tr ><td class="src" - >-> Bool</td + >-> <a href="#" title="Data.Bool" + >Bool</a + ></td ><td class="doc" ><p >Third argument</p @@ -208,7 +214,9 @@ ><td class="src" >:: <span class="keyword" >forall</span - > (b :: ()). d ~ ()</td + > (b :: ()). d ~ <a href="#" title="GHC.Tuple" + >()</a + ></td ><td class="doc empty" ></td ></tr diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index 1f0c87e8..5f6141db 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -60,7 +60,9 @@ ><li ><a href="#" >C2</a - > :: Ord a => [a] -> <a href="#" title="GADTRecords" + > :: <a href="#" title="Data.Ord" + >Ord</a + > a => [a] -> <a href="#" title="GADTRecords" >H1</a > a a</li ><li @@ -68,13 +70,19 @@ >C3</a > :: {..} -> <a href="#" title="GADTRecords" >H1</a - > Int Int</li + > <a href="#" title="Data.Int" + >Int</a + > <a href="#" title="Data.Int" + >Int</a + ></li ><li ><a href="#" >C4</a > :: {..} -> <a href="#" title="GADTRecords" >H1</a - > Int a</li + > <a href="#" title="Data.Int" + >Int</a + > a</li ></ul ></li ></ul @@ -116,7 +124,9 @@ ><td class="src" ><a id="v:C2" class="def" >C2</a - > :: Ord a => [a] -> <a href="#" title="GADTRecords" + > :: <a href="#" title="Data.Ord" + >Ord</a + > a => [a] -> <a href="#" title="GADTRecords" >H1</a > a a</td ><td class="doc empty" @@ -140,7 +150,9 @@ ><dfn class="src" >:: { <a id="v:field" class="def" >field</a - > :: Int</dfn + > :: <a href="#" title="Data.Int" + >Int</a + ></dfn ><div class="doc" ><p >hello docs</p @@ -150,7 +162,11 @@ ><dfn class="src" >} -> <a href="#" title="GADTRecords" >H1</a - > Int Int</dfn + > <a href="#" title="Data.Int" + >Int</a + > <a href="#" title="Data.Int" + >Int</a + ></dfn ><div class="doc empty" ></div ></li @@ -186,7 +202,9 @@ ><dfn class="src" >} -> <a href="#" title="GADTRecords" >H1</a - > Int a</dfn + > <a href="#" title="Data.Int" + >Int</a + > a</dfn ><div class="doc empty" ></div ></li diff --git a/html-test/ref/GadtConstructorArgs.html b/html-test/ref/GadtConstructorArgs.html new file mode 100644 index 00000000..7497de83 --- /dev/null +++ b/html-test/ref/GadtConstructorArgs.html @@ -0,0 +1,192 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >GadtConstructorArgs</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" + >GadtConstructorArgs</p + ></div + ><div id="interface" + ><h1 + >Documentation</h1 + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a id="t:Boo" class="def" + >Boo</a + > <span class="keyword" + >where</span + > <a href="#" class="selflink" + >#</a + ></p + ><div class="subs constructors" + ><p class="caption" + >Constructors</p + ><table + ><tr + ><td class="src" + ><a id="v:Fot" class="def" + >Fot</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:x" class="def" + >x</a + > :: <a href="#" title="Data.Int" + >Int</a + ></dfn + ><div class="doc" + ><p + >an <code + ><a href="#" title="GadtConstructorArgs" + >x</a + ></code + ></p + ></div + ></li + ><li + ><dfn class="src" + >, <a id="v:y" class="def" + >y</a + > :: <a href="#" title="Data.Int" + >Int</a + ></dfn + ><div class="doc" + ><p + >a <code + ><a href="#" title="GadtConstructorArgs" + >y</a + ></code + ></p + ></div + ></li + ><li + ><dfn class="src" + >} -> <a href="#" title="GadtConstructorArgs" + >Boo</a + ></dfn + ><div class="doc empty" + ></div + ></li + ></ul + ></div + ></td + ></tr + ><tr + ><td class="src" + ><a id="v:Fob" class="def" + >Fob</a + ></td + ><td class="doc" + ><p + >Record GADT with docs</p + ></td + ></tr + ><tr + ><td colspan="2" + ><div class="subs fields" + ><p class="caption" + >Fields</p + ><ul + ><li + ><dfn class="src" + >:: { <a id="v:w" class="def" + >w</a + > :: <a href="#" title="Data.Int" + >Int</a + ></dfn + ><div class="doc" + ><p + >a <code + ><a href="#" title="GadtConstructorArgs" + >w</a + ></code + ></p + ></div + ></li + ><li + ><dfn class="src" + >, <a id="v:z" class="def" + >z</a + > :: <a href="#" title="Data.Int" + >Int</a + ></dfn + ><div class="doc" + ><p + >a <code + ><a href="#" title="GadtConstructorArgs" + >z</a + ></code + ></p + ></div + ></li + ><li + ><dfn class="src" + >} -> <a href="#" title="GadtConstructorArgs" + >Boo</a + ></dfn + ><div class="doc" + ><p + >a <code + ><a href="#" title="GadtConstructorArgs" + >Boo</a + ></code + ></p + ></div + ></li + ></ul + ></div + ></td + ></tr + ></table + ></div + ></div + ></div + ></div + ><div id="footer" + ></div + ></body + ></html +>
\ No newline at end of file diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html index c4f04f2c..8fd04bb4 100644 --- a/html-test/ref/Hash.html +++ b/html-test/ref/Hash.html @@ -87,23 +87,37 @@ ><li class="src short" ><a href="#" >new</a - > :: (Eq key, <a href="#" title="Hash" + > :: (<a href="#" title="Data.Eq" + >Eq</a + > key, <a href="#" title="Hash" >Hash</a - > key) => Int -> IO (<a href="#" title="Hash" + > key) => <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="System.IO" + >IO</a + > (<a href="#" title="Hash" >HashTable</a > key val)</li ><li class="src short" ><a href="#" >insert</a - > :: (Eq key, <a href="#" title="Hash" + > :: (<a href="#" title="Data.Eq" + >Eq</a + > key, <a href="#" title="Hash" >Hash</a - > key) => key -> val -> IO ()</li + > key) => key -> val -> <a href="#" title="System.IO" + >IO</a + > ()</li ><li class="src short" ><a href="#" >lookup</a > :: <a href="#" title="Hash" >Hash</a - > key => key -> IO (Maybe val)</li + > key => key -> <a href="#" title="System.IO" + >IO</a + > (<a href="#" title="GHC.Maybe" + >Maybe</a + > val)</li ><li class="src short" ><span class="keyword" >class</span @@ -115,7 +129,9 @@ ><li ><a href="#" >hash</a - > :: a -> Int</li + > :: a -> <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></li ></ul @@ -147,7 +163,9 @@ The type <code >key</code > should be an instance of <code - >Eq</code + ><a href="#" title="Data.Eq" + >Eq</a + ></code >.</p ></div ></div @@ -161,9 +179,15 @@ ><p class="src" ><a id="v:new" class="def" >new</a - > :: (Eq key, <a href="#" title="Hash" + > :: (<a href="#" title="Data.Eq" + >Eq</a + > key, <a href="#" title="Hash" >Hash</a - > key) => Int -> IO (<a href="#" title="Hash" + > key) => <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="System.IO" + >IO</a + > (<a href="#" title="Hash" >HashTable</a > key val) <a href="#" class="selflink" >#</a @@ -177,9 +201,13 @@ ><p class="src" ><a id="v:insert" class="def" >insert</a - > :: (Eq key, <a href="#" title="Hash" + > :: (<a href="#" title="Data.Eq" + >Eq</a + > key, <a href="#" title="Hash" >Hash</a - > key) => key -> val -> IO () <a href="#" class="selflink" + > key) => key -> val -> <a href="#" title="System.IO" + >IO</a + > () <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -193,18 +221,26 @@ >lookup</a > :: <a href="#" title="Hash" >Hash</a - > key => key -> IO (Maybe val) <a href="#" class="selflink" + > key => key -> <a href="#" title="System.IO" + >IO</a + > (<a href="#" title="GHC.Maybe" + >Maybe</a + > val) <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >Looks up a key in the hash table, returns <code ><code - >Just</code + ><a href="#" title="GHC.Maybe" + >Just</a + ></code > val</code > if the key was found, or <code - >Nothing</code + ><a href="#" title="GHC.Maybe" + >Nothing</a + ></code > otherwise.</p ></div ></div @@ -235,7 +271,9 @@ ><p class="src" ><a id="v:hash" class="def" >hash</a - > :: a -> Int <a href="#" class="selflink" + > :: a -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -243,7 +281,9 @@ >hashes the value of type <code >a</code > into an <code - >Int</code + ><a href="#" title="Data.Int" + >Int</a + ></code ></p ></div ></div @@ -259,7 +299,9 @@ ></span > <a href="#" title="Hash" >Hash</a - > Float</span + > <a href="#" title="Prelude" + >Float</a + ></span > <a href="#" class="selflink" >#</a ></td @@ -281,7 +323,11 @@ ><p class="src" ><a href="#" >hash</a - > :: Float -> Int <a href="#" class="selflink" + > :: <a href="#" title="Prelude" + >Float</a + > -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -295,7 +341,9 @@ ></span > <a href="#" title="Hash" >Hash</a - > Int</span + > <a href="#" title="Data.Int" + >Int</a + ></span > <a href="#" class="selflink" >#</a ></td @@ -317,7 +365,11 @@ ><p class="src" ><a href="#" >hash</a - > :: Int -> Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -357,7 +409,9 @@ ><p class="src" ><a href="#" >hash</a - > :: (a, b) -> Int <a href="#" class="selflink" + > :: (a, b) -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html index eb39dafc..9594d8e1 100644 --- a/html-test/ref/HiddenInstances.html +++ b/html-test/ref/HiddenInstances.html @@ -86,7 +86,9 @@ ></span > <a href="#" title="HiddenInstances" >VisibleClass</a - > Int</span + > <a href="#" title="Data.Int" + >Int</a + ></span > <a href="#" class="selflink" >#</a ></td @@ -164,7 +166,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:VisibleData:Num:1" ></span - > Num <a href="#" title="HiddenInstances" + > <a href="#" title="Prelude" + >Num</a + > <a href="#" title="HiddenInstances" >VisibleData</a ></span > <a href="#" class="selflink" @@ -196,6 +200,8 @@ >VisibleData</a > -> <a href="#" title="HiddenInstances" >VisibleData</a + > <a href="#" class="selflink" + >#</a ></p ><p class="src" ><a href="#" @@ -206,6 +212,8 @@ >VisibleData</a > -> <a href="#" title="HiddenInstances" >VisibleData</a + > <a href="#" class="selflink" + >#</a ></p ><p class="src" ><a href="#" @@ -216,6 +224,8 @@ >VisibleData</a > -> <a href="#" title="HiddenInstances" >VisibleData</a + > <a href="#" class="selflink" + >#</a ></p ><p class="src" ><a href="#" @@ -224,6 +234,8 @@ >VisibleData</a > -> <a href="#" title="HiddenInstances" >VisibleData</a + > <a href="#" class="selflink" + >#</a ></p ><p class="src" ><a href="#" @@ -232,6 +244,8 @@ >VisibleData</a > -> <a href="#" title="HiddenInstances" >VisibleData</a + > <a href="#" class="selflink" + >#</a ></p ><p class="src" ><a href="#" @@ -240,12 +254,18 @@ >VisibleData</a > -> <a href="#" title="HiddenInstances" >VisibleData</a + > <a href="#" class="selflink" + >#</a ></p ><p class="src" ><a href="#" >fromInteger</a - > :: Integer -> <a href="#" title="HiddenInstances" + > :: <a href="#" title="Prelude" + >Integer</a + > -> <a href="#" title="HiddenInstances" >VisibleData</a + > <a href="#" class="selflink" + >#</a ></p ></div ></details diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html index 58d012a5..f331e741 100644 --- a/html-test/ref/Hyperlinks.html +++ b/html-test/ref/Hyperlinks.html @@ -46,7 +46,9 @@ ><li class="src short" ><a href="#" >foo</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></details ></div @@ -57,7 +59,9 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index 40b1045c..a23f9eb9 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -102,7 +102,9 @@ >foo</a > :: (a <a href="#" title="Instances" ><~~</a - > Int) -> a0 -> a <a href="#" title="Instances" + > <a href="#" title="Data.Int" + >Int</a + >) -> a0 -> a <a href="#" title="Instances" ><~~</a > a0 <a href="#" class="selflink" >#</a @@ -114,11 +116,15 @@ ><~~</a > (a <a href="#" title="Instances" ><~~</a - > a0)) -> Int -> a <a href="#" title="Instances" + > a0)) -> <a href="#" title="Data.Int" + >Int</a + > -> a <a href="#" title="Instances" ><~~</a > (a <a href="#" title="Instances" ><~~</a - > Int) <a href="#" class="selflink" + > <a href="#" title="Data.Int" + >Int</a + >) <a href="#" class="selflink" >#</a ></p ></div @@ -152,13 +158,19 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: f Int -> a -> f a <a href="#" class="selflink" + > :: f <a href="#" title="Data.Int" + >Int</a + > -> a -> f a <a href="#" class="selflink" >#</a ></p ><p class="src" ><a id="v:foo-39-" class="def" >foo'</a - > :: f (f a) -> Int -> f (f Int) <a href="#" class="selflink" + > :: f (f a) -> <a href="#" title="Data.Int" + >Int</a + > -> f (f <a href="#" title="Data.Int" + >Int</a + >) <a href="#" class="selflink" >#</a ></p ></div @@ -196,13 +208,19 @@ ><p class="src" ><a href="#" >foo</a - > :: [Int] -> a -> [a] <a href="#" class="selflink" + > :: [<a href="#" title="Data.Int" + >Int</a + >] -> a -> [a] <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: [[a]] -> Int -> [[Int]] <a href="#" class="selflink" + > :: [[a]] -> <a href="#" title="Data.Int" + >Int</a + > -> [[<a href="#" title="Data.Int" + >Int</a + >]] <a href="#" class="selflink" >#</a ></p ></div @@ -216,7 +234,9 @@ ></span > <a href="#" title="Instances" >Foo</a - > Maybe</span + > <a href="#" title="GHC.Maybe" + >Maybe</a + ></span > <a href="#" class="selflink" >#</a ></td @@ -238,13 +258,31 @@ ><p class="src" ><a href="#" >foo</a - > :: Maybe Int -> a -> Maybe a <a href="#" class="selflink" + > :: <a href="#" title="GHC.Maybe" + >Maybe</a + > <a href="#" title="Data.Int" + >Int</a + > -> a -> <a href="#" title="GHC.Maybe" + >Maybe</a + > a <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: Maybe (Maybe a) -> Int -> Maybe (Maybe Int) <a href="#" class="selflink" + > :: <a href="#" title="GHC.Maybe" + >Maybe</a + > (<a href="#" title="GHC.Maybe" + >Maybe</a + > a) -> <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="GHC.Maybe" + >Maybe</a + > (<a href="#" title="GHC.Maybe" + >Maybe</a + > <a href="#" title="Data.Int" + >Int</a + >) <a href="#" class="selflink" >#</a ></p ></div @@ -258,7 +296,9 @@ ></span > <a href="#" title="Instances" >Foo</a - > (Either a)</span + > (<a href="#" title="Data.Either" + >Either</a + > a)</span > <a href="#" class="selflink" >#</a ></td @@ -280,13 +320,31 @@ ><p class="src" ><a href="#" >foo</a - > :: Either a Int -> a0 -> Either a a0 <a href="#" class="selflink" + > :: <a href="#" title="Data.Either" + >Either</a + > a <a href="#" title="Data.Int" + >Int</a + > -> a0 -> <a href="#" title="Data.Either" + >Either</a + > a a0 <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: Either a (Either a a0) -> Int -> Either a (Either a Int) <a href="#" class="selflink" + > :: <a href="#" title="Data.Either" + >Either</a + > a (<a href="#" title="Data.Either" + >Either</a + > a a0) -> <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Data.Either" + >Either</a + > a (<a href="#" title="Data.Either" + >Either</a + > a <a href="#" title="Data.Int" + >Int</a + >) <a href="#" class="selflink" >#</a ></p ></div @@ -298,11 +356,15 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:4" ></span - > (Eq a, <a href="#" title="Instances" + > (<a href="#" title="Data.Eq" + >Eq</a + > a, <a href="#" title="Instances" >Foo</a > f) => <a href="#" title="Instances" >Foo</a - > ((,) (f a))</span + > (<a href="#" title="GHC.Tuple" + >(,)</a + > (f a))</span > <a href="#" class="selflink" >#</a ></td @@ -324,13 +386,19 @@ ><p class="src" ><a href="#" >foo</a - > :: (f a, Int) -> a0 -> (f a, a0) <a href="#" class="selflink" + > :: (f a, <a href="#" title="Data.Int" + >Int</a + >) -> a0 -> (f a, a0) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: (f a, (f a, a0)) -> Int -> (f a, (f a, Int)) <a href="#" class="selflink" + > :: (f a, (f a, a0)) -> <a href="#" title="Data.Int" + >Int</a + > -> (f a, (f a, <a href="#" title="Data.Int" + >Int</a + >)) <a href="#" class="selflink" >#</a ></p ></div @@ -370,7 +438,9 @@ >foo</a > :: (a <a href="#" title="Instances" ><~~</a - > Int) -> a0 -> a <a href="#" title="Instances" + > <a href="#" title="Data.Int" + >Int</a + >) -> a0 -> a <a href="#" title="Instances" ><~~</a > a0 <a href="#" class="selflink" >#</a @@ -382,11 +452,15 @@ ><~~</a > (a <a href="#" title="Instances" ><~~</a - > a0)) -> Int -> a <a href="#" title="Instances" + > a0)) -> <a href="#" title="Data.Int" + >Int</a + > -> a <a href="#" title="Instances" ><~~</a > (a <a href="#" title="Instances" ><~~</a - > Int) <a href="#" class="selflink" + > <a href="#" title="Data.Int" + >Int</a + >) <a href="#" class="selflink" >#</a ></p ></div @@ -400,7 +474,9 @@ ></span > <a href="#" title="Instances" >Foo</a - > ((,,) a a)</span + > (<a href="#" title="GHC.Tuple" + >(,,)</a + > a a)</span > <a href="#" class="selflink" >#</a ></td @@ -422,13 +498,19 @@ ><p class="src" ><a href="#" >foo</a - > :: (a, a, Int) -> a0 -> (a, a, a0) <a href="#" class="selflink" + > :: (a, a, <a href="#" title="Data.Int" + >Int</a + >) -> a0 -> (a, a, a0) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: (a, a, (a, a, a0)) -> Int -> (a, a, (a, a, Int)) <a href="#" class="selflink" + > :: (a, a, (a, a, a0)) -> <a href="#" title="Data.Int" + >Int</a + > -> (a, a, (a, a, <a href="#" title="Data.Int" + >Int</a + >)) <a href="#" class="selflink" >#</a ></p ></div @@ -468,7 +550,9 @@ >foo</a > :: <a href="#" title="Instances" >Quux</a - > a b Int -> a0 -> <a href="#" title="Instances" + > a b <a href="#" title="Data.Int" + >Int</a + > -> a0 -> <a href="#" title="Instances" >Quux</a > a b a0 <a href="#" class="selflink" >#</a @@ -480,11 +564,15 @@ >Quux</a > a b (<a href="#" title="Instances" >Quux</a - > a b a0) -> Int -> <a href="#" title="Instances" + > a b a0) -> <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Instances" >Quux</a > a b (<a href="#" title="Instances" >Quux</a - > a b Int) <a href="#" class="selflink" + > a b <a href="#" title="Data.Int" + >Int</a + >) <a href="#" class="selflink" >#</a ></p ></div @@ -498,7 +586,11 @@ ></span > <a href="#" title="Instances" >Foo</a - > ((->) a :: * -> *)</span + > ((->) a :: <a href="#" title="Data.Kind" + >Type</a + > -> <a href="#" title="Data.Kind" + >Type</a + >)</span > <a href="#" class="selflink" >#</a ></td @@ -520,13 +612,19 @@ ><p class="src" ><a href="#" >foo</a - > :: (a -> Int) -> a0 -> a -> a0 <a href="#" class="selflink" + > :: (a -> <a href="#" title="Data.Int" + >Int</a + >) -> a0 -> a -> a0 <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a - > :: (a -> (a -> a0)) -> Int -> a -> (a -> Int) <a href="#" class="selflink" + > :: (a -> (a -> a0)) -> <a href="#" title="Data.Int" + >Int</a + > -> a -> (a -> <a href="#" title="Data.Int" + >Int</a + >) <a href="#" class="selflink" >#</a ></p ></div @@ -562,7 +660,9 @@ ><p class="src" ><a id="v:bar" class="def" >bar</a - > :: f a -> f Bool -> a <a href="#" class="selflink" + > :: f a -> f <a href="#" title="Data.Bool" + >Bool</a + > -> a <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -596,7 +696,11 @@ ></span > <a href="#" title="Instances" >Bar</a - > Maybe Bool</span + > <a href="#" title="GHC.Maybe" + >Maybe</a + > <a href="#" title="Data.Bool" + >Bool</a + ></span > <a href="#" class="selflink" >#</a ></td @@ -618,25 +722,71 @@ ><p class="src" ><a href="#" >bar</a - > :: Maybe Bool -> Maybe Bool -> Bool <a href="#" class="selflink" + > :: <a href="#" title="GHC.Maybe" + >Maybe</a + > <a href="#" title="Data.Bool" + >Bool</a + > -> <a href="#" title="GHC.Maybe" + >Maybe</a + > <a href="#" title="Data.Bool" + >Bool</a + > -> <a href="#" title="Data.Bool" + >Bool</a + > <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar'</a - > :: Maybe (Maybe Bool) -> Maybe (Maybe (Maybe b)) <a href="#" class="selflink" + > :: <a href="#" title="GHC.Maybe" + >Maybe</a + > (<a href="#" title="GHC.Maybe" + >Maybe</a + > <a href="#" title="Data.Bool" + >Bool</a + >) -> <a href="#" title="GHC.Maybe" + >Maybe</a + > (<a href="#" title="GHC.Maybe" + >Maybe</a + > (<a href="#" title="GHC.Maybe" + >Maybe</a + > b)) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar0</a - > :: (Maybe Bool, Maybe Bool) -> (Maybe b, Maybe c) <a href="#" class="selflink" + > :: (<a href="#" title="GHC.Maybe" + >Maybe</a + > <a href="#" title="Data.Bool" + >Bool</a + >, <a href="#" title="GHC.Maybe" + >Maybe</a + > <a href="#" title="Data.Bool" + >Bool</a + >) -> (<a href="#" title="GHC.Maybe" + >Maybe</a + > b, <a href="#" title="GHC.Maybe" + >Maybe</a + > c) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar1</a - > :: (Maybe Bool, Maybe Bool) -> (Maybe b, Maybe c) <a href="#" class="selflink" + > :: (<a href="#" title="GHC.Maybe" + >Maybe</a + > <a href="#" title="Data.Bool" + >Bool</a + >, <a href="#" title="GHC.Maybe" + >Maybe</a + > <a href="#" title="Data.Bool" + >Bool</a + >) -> (<a href="#" title="GHC.Maybe" + >Maybe</a + > b, <a href="#" title="GHC.Maybe" + >Maybe</a + > c) <a href="#" class="selflink" >#</a ></p ></div @@ -650,7 +800,9 @@ ></span > <a href="#" title="Instances" >Bar</a - > Maybe [a]</span + > <a href="#" title="GHC.Maybe" + >Maybe</a + > [a]</span > <a href="#" class="selflink" >#</a ></td @@ -672,25 +824,57 @@ ><p class="src" ><a href="#" >bar</a - > :: Maybe [a] -> Maybe Bool -> [a] <a href="#" class="selflink" + > :: <a href="#" title="GHC.Maybe" + >Maybe</a + > [a] -> <a href="#" title="GHC.Maybe" + >Maybe</a + > <a href="#" title="Data.Bool" + >Bool</a + > -> [a] <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar'</a - > :: Maybe (Maybe [a]) -> Maybe (Maybe (Maybe b)) <a href="#" class="selflink" + > :: <a href="#" title="GHC.Maybe" + >Maybe</a + > (<a href="#" title="GHC.Maybe" + >Maybe</a + > [a]) -> <a href="#" title="GHC.Maybe" + >Maybe</a + > (<a href="#" title="GHC.Maybe" + >Maybe</a + > (<a href="#" title="GHC.Maybe" + >Maybe</a + > b)) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar0</a - > :: (Maybe [a], Maybe [a]) -> (Maybe b, Maybe c) <a href="#" class="selflink" + > :: (<a href="#" title="GHC.Maybe" + >Maybe</a + > [a], <a href="#" title="GHC.Maybe" + >Maybe</a + > [a]) -> (<a href="#" title="GHC.Maybe" + >Maybe</a + > b, <a href="#" title="GHC.Maybe" + >Maybe</a + > c) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar1</a - > :: (Maybe [a], Maybe [a]) -> (Maybe b, Maybe c) <a href="#" class="selflink" + > :: (<a href="#" title="GHC.Maybe" + >Maybe</a + > [a], <a href="#" title="GHC.Maybe" + >Maybe</a + > [a]) -> (<a href="#" title="GHC.Maybe" + >Maybe</a + > b, <a href="#" title="GHC.Maybe" + >Maybe</a + > c) <a href="#" class="selflink" >#</a ></p ></div @@ -726,7 +910,9 @@ ><p class="src" ><a href="#" >bar</a - > :: [(a, a)] -> [Bool] -> (a, a) <a href="#" class="selflink" + > :: [(a, a)] -> [<a href="#" title="Data.Bool" + >Bool</a + >] -> (a, a) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -760,7 +946,9 @@ >Foo</a > f => <a href="#" title="Instances" >Bar</a - > (Either a) (f a)</span + > (<a href="#" title="Data.Either" + >Either</a + > a) (f a)</span > <a href="#" class="selflink" >#</a ></td @@ -782,25 +970,57 @@ ><p class="src" ><a href="#" >bar</a - > :: Either a (f a) -> Either a Bool -> f a <a href="#" class="selflink" + > :: <a href="#" title="Data.Either" + >Either</a + > a (f a) -> <a href="#" title="Data.Either" + >Either</a + > a <a href="#" title="Data.Bool" + >Bool</a + > -> f a <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar'</a - > :: Either a (Either a (f a)) -> Either a (Either a (Either a b)) <a href="#" class="selflink" + > :: <a href="#" title="Data.Either" + >Either</a + > a (<a href="#" title="Data.Either" + >Either</a + > a (f a)) -> <a href="#" title="Data.Either" + >Either</a + > a (<a href="#" title="Data.Either" + >Either</a + > a (<a href="#" title="Data.Either" + >Either</a + > a b)) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar0</a - > :: (Either a (f a), Either a (f a)) -> (Either a b, Either a c) <a href="#" class="selflink" + > :: (<a href="#" title="Data.Either" + >Either</a + > a (f a), <a href="#" title="Data.Either" + >Either</a + > a (f a)) -> (<a href="#" title="Data.Either" + >Either</a + > a b, <a href="#" title="Data.Either" + >Either</a + > a c) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar1</a - > :: (Either a (f a), Either a (f a)) -> (Either a b, Either a c) <a href="#" class="selflink" + > :: (<a href="#" title="Data.Either" + >Either</a + > a (f a), <a href="#" title="Data.Either" + >Either</a + > a (f a)) -> (<a href="#" title="Data.Either" + >Either</a + > a b, <a href="#" title="Data.Either" + >Either</a + > a c) <a href="#" class="selflink" >#</a ></p ></div @@ -814,9 +1034,13 @@ ></span > <a href="#" title="Instances" >Foo</a - > ((,,) a b) => <a href="#" title="Instances" + > (<a href="#" title="GHC.Tuple" + >(,,)</a + > a b) => <a href="#" title="Instances" >Bar</a - > ((,,) a b) (a, b, a)</span + > (<a href="#" title="GHC.Tuple" + >(,,)</a + > a b) (a, b, a)</span > <a href="#" class="selflink" >#</a ></td @@ -838,7 +1062,9 @@ ><p class="src" ><a href="#" >bar</a - > :: (a, b, (a, b, a)) -> (a, b, Bool) -> (a, b, a) <a href="#" class="selflink" + > :: (a, b, (a, b, a)) -> (a, b, <a href="#" title="Data.Bool" + >Bool</a + >) -> (a, b, a) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -902,7 +1128,9 @@ >Quux</a > a b c) -> <a href="#" title="Instances" >Quux</a - > a c Bool -> <a href="#" title="Instances" + > a c <a href="#" title="Data.Bool" + >Bool</a + > -> <a href="#" title="Instances" >Quux</a > a b c <a href="#" class="selflink" >#</a @@ -1432,7 +1660,9 @@ >foo</a > :: <a href="#" title="Instances" >Quux</a - > a b Int -> a0 -> <a href="#" title="Instances" + > a b <a href="#" title="Data.Int" + >Int</a + > -> a0 -> <a href="#" title="Instances" >Quux</a > a b a0 <a href="#" class="selflink" >#</a @@ -1444,11 +1674,15 @@ >Quux</a > a b (<a href="#" title="Instances" >Quux</a - > a b a0) -> Int -> <a href="#" title="Instances" + > a b a0) -> <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Instances" >Quux</a > a b (<a href="#" title="Instances" >Quux</a - > a b Int) <a href="#" class="selflink" + > a b <a href="#" title="Data.Int" + >Int</a + >) <a href="#" class="selflink" >#</a ></p ></div @@ -1494,7 +1728,9 @@ >Quux</a > a b c) -> <a href="#" title="Instances" >Quux</a - > a c Bool -> <a href="#" title="Instances" + > a c <a href="#" title="Data.Bool" + >Bool</a + > -> <a href="#" title="Instances" >Quux</a > a b c <a href="#" class="selflink" >#</a @@ -1642,7 +1878,9 @@ >data</span > <a href="#" title="Instances" >Thud</a - > Int (<a href="#" title="Instances" + > <a href="#" title="Data.Int" + >Int</a + > (<a href="#" title="Instances" >Quux</a > a [a] c)</span > <a href="#" class="selflink" @@ -1665,7 +1903,9 @@ >data</span > <a href="#" title="Instances" >Thud</a - > Int (<a href="#" title="Instances" + > <a href="#" title="Data.Int" + >Int</a + > (<a href="#" title="Instances" >Quux</a > a [a] c) <ul class="inst" ><li class="inst" @@ -1675,7 +1915,11 @@ ><li class="inst" >| <a id="v:Thuuud" class="def" >Thuuud</a - > Int Int</li + > <a href="#" title="Data.Int" + >Int</a + > <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></div ></details @@ -1746,7 +1990,11 @@ ></span > <a href="#" title="Instances" >Norf</a - > Int Bool</span + > <a href="#" title="Data.Int" + >Int</a + > <a href="#" title="Data.Bool" + >Bool</a + ></span > <a href="#" class="selflink" >#</a ></td @@ -1770,7 +2018,13 @@ >type</span > <a href="#" title="Instances" >Plugh</a - > Int c Bool :: * <a href="#" class="selflink" + > <a href="#" title="Data.Int" + >Int</a + > c <a href="#" title="Data.Bool" + >Bool</a + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1778,7 +2032,11 @@ >data</span > <a href="#" title="Instances" >Thud</a - > Int c :: * <a href="#" class="selflink" + > <a href="#" title="Data.Int" + >Int</a + > c :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -1790,7 +2048,17 @@ >norf</a > :: <a href="#" title="Instances" >Plugh</a - > Int c Bool -> Int -> (Int -> c) -> Bool <a href="#" class="selflink" + > <a href="#" title="Data.Int" + >Int</a + > c <a href="#" title="Data.Bool" + >Bool</a + > -> <a href="#" title="Data.Int" + >Int</a + > -> (<a href="#" title="Data.Int" + >Int</a + > -> c) -> <a href="#" title="Data.Bool" + >Bool</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -1828,7 +2096,9 @@ >type</span > <a href="#" title="Instances" >Plugh</a - > [a] c [b] :: * <a href="#" class="selflink" + > [a] c [b] :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1836,7 +2106,9 @@ >data</span > <a href="#" title="Instances" >Thud</a - > [a] c :: * <a href="#" class="selflink" + > [a] c :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html index ebdf6385..71079bdd 100644 --- a/html-test/ref/Math.html +++ b/html-test/ref/Math.html @@ -62,7 +62,9 @@ ><li class="src short" ><a href="#" >f</a - > :: Integer</li + > :: <a href="#" title="Prelude" + >Integer</a + ></li ></ul ></details ></div @@ -73,7 +75,9 @@ ><p class="src" ><a id="v:f" class="def" >f</a - > :: Integer <a href="#" class="selflink" + > :: <a href="#" title="Prelude" + >Integer</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html index c29b20d9..7a045575 100644 --- a/html-test/ref/ModuleWithWarning.html +++ b/html-test/ref/ModuleWithWarning.html @@ -61,7 +61,9 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html index 1f908ba3..a92d1a34 100644 --- a/html-test/ref/NoLayout.html +++ b/html-test/ref/NoLayout.html @@ -46,7 +46,9 @@ ><li class="src short" ><a href="#" >g</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></details ></div @@ -57,7 +59,9 @@ ><p class="src" ><a id="v:g" class="def" >g</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html index a70c9640..16ac16d6 100644 --- a/html-test/ref/OrphanInstances.html +++ b/html-test/ref/OrphanInstances.html @@ -86,7 +86,9 @@ >aClass</a > :: <a href="#" title="OrphanInstancesType" >AType</a - > -> Int <a href="#" class="selflink" + > -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html index c59c43dd..81651e18 100644 --- a/html-test/ref/OrphanInstancesClass.html +++ b/html-test/ref/OrphanInstancesClass.html @@ -58,7 +58,9 @@ ><p class="src" ><a id="v:aClass" class="def" >aClass</a - > :: a -> Int <a href="#" class="selflink" + > :: a -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -102,7 +104,9 @@ >aClass</a > :: <a href="#" title="OrphanInstancesType" >AType</a - > -> Int <a href="#" class="selflink" + > -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html index 2714bb1f..ddb85534 100644 --- a/html-test/ref/OrphanInstancesType.html +++ b/html-test/ref/OrphanInstancesType.html @@ -58,7 +58,9 @@ ><td class="src" ><a id="v:AType" class="def" >AType</a - > Int</td + > <a href="#" title="Data.Int" + >Int</a + ></td ><td class="doc empty" ></td ></tr @@ -104,7 +106,9 @@ >aClass</a > :: <a href="#" title="OrphanInstancesType" >AType</a - > -> Int <a href="#" class="selflink" + > -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index fce20f96..19c1fecf 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -100,7 +100,9 @@ >data</span > <a href="#" >BlubType</a - > = Show x => <a href="#" + > = <a href="#" title="Text.Show" + >Show</a + > x => <a href="#" >BlubCtor</a > x</li ><li class="src short" @@ -110,7 +112,9 @@ >Blub</a > :: () => <span class="keyword" >forall</span - > x. Show x => x -> <a href="#" title="PatternSyns" + > x. <a href="#" title="Text.Show" + >Show</a + > x => x -> <a href="#" title="PatternSyns" >BlubType</a ></li ><li class="src short" @@ -136,7 +140,9 @@ >pattern</span > <a href="#" >PatWithExplicitSig</a - > :: Eq somex => somex -> <a href="#" title="PatternSyns" + > :: <a href="#" title="Data.Eq" + >Eq</a + > somex => somex -> <a href="#" title="PatternSyns" >FooType</a > somex</li ></ul @@ -264,7 +270,9 @@ ><table ><tr ><td class="src" - >Show x => <a id="v:BlubCtor" class="def" + ><a href="#" title="Text.Show" + >Show</a + > x => <a id="v:BlubCtor" class="def" >BlubCtor</a > x</td ><td class="doc empty" @@ -281,7 +289,9 @@ >Blub</a > :: () => <span class="keyword" >forall</span - > x. Show x => x -> <a href="#" title="PatternSyns" + > x. <a href="#" title="Text.Show" + >Show</a + > x => x -> <a href="#" title="PatternSyns" >BlubType</a > <a href="#" class="selflink" >#</a @@ -355,7 +365,9 @@ >pattern</span > <a id="v:PatWithExplicitSig" class="def" >PatWithExplicitSig</a - > :: Eq somex => somex -> <a href="#" title="PatternSyns" + > :: <a href="#" title="Data.Eq" + >Eq</a + > 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 46a70845..712dde5c 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -104,7 +104,9 @@ ><td class="src" ><a id="v:Cons" class="def" >Cons</a - > :: Maybe h -> <a href="#" title="PromotedTypes" + > :: <a href="#" title="GHC.Maybe" + >Maybe</a + > h -> <a href="#" title="PromotedTypes" >Pattern</a > t -> <a href="#" title="PromotedTypes" >Pattern</a @@ -148,7 +150,9 @@ ><td class="src" ><a id="v:RevCons" class="def" >RevCons</a - > :: Maybe h -> <a href="#" title="PromotedTypes" + > :: <a href="#" title="GHC.Maybe" + >Maybe</a + > h -> <a href="#" title="PromotedTypes" >RevPattern</a > t -> <a href="#" title="PromotedTypes" >RevPattern</a diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html index 9299486c..daabe6c4 100644 --- a/html-test/ref/Properties.html +++ b/html-test/ref/Properties.html @@ -46,7 +46,11 @@ ><li class="src short" ><a href="#" >fib</a - > :: Integer -> Integer</li + > :: <a href="#" title="Prelude" + >Integer</a + > -> <a href="#" title="Prelude" + >Integer</a + ></li ></ul ></details ></div @@ -57,13 +61,19 @@ ><p class="src" ><a id="v:fib" class="def" >fib</a - > :: Integer -> Integer <a href="#" class="selflink" + > :: <a href="#" title="Prelude" + >Integer</a + > -> <a href="#" title="Prelude" + >Integer</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >Fibonacci number of given <code - >Integer</code + ><a href="#" title="Prelude" + >Integer</a + ></code >.</p ><pre >fib n <= fib (n + 1)</pre diff --git a/html-test/ref/QuantifiedConstraints.html b/html-test/ref/QuantifiedConstraints.html new file mode 100644 index 00000000..fa2c18ec --- /dev/null +++ b/html-test/ref/QuantifiedConstraints.html @@ -0,0 +1,100 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >QuantifiedConstraints</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" + >QuantifiedConstraints</p + ></div + ><div id="interface" + ><h1 + >Documentation</h1 + ><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:fooed" class="def" + >fooed</a + > :: a <a href="#" class="selflink" + >#</a + ></p + ></div + ></div + ><div class="top" + ><p class="src" + ><a id="v:needsParensAroundContext" class="def" + >needsParensAroundContext</a + > :: (<span class="keyword" + >forall</span + > x. <a href="#" title="QuantifiedConstraints" + >Foo</a + > (f x)) => f <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" + >#</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a id="v:needsNoParensAroundContext" class="def" + >needsNoParensAroundContext</a + > :: <a href="#" title="QuantifiedConstraints" + >Foo</a + > (f <a href="#" title="Data.Int" + >Int</a + >) => f <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" + >#</a + ></p + ></div + ></div + ></div + ><div id="footer" + ></div + ></body + ></html +>
\ No newline at end of file diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html index 42b21f70..dfded323 100644 --- a/html-test/ref/QuasiExpr.html +++ b/html-test/ref/QuasiExpr.html @@ -58,7 +58,9 @@ ><td class="src" ><a id="v:IntExpr" class="def" >IntExpr</a - > Integer</td + > <a href="#" title="Prelude" + >Integer</a + ></td ><td class="doc empty" ></td ></tr @@ -66,7 +68,9 @@ ><td class="src" ><a id="v:AntiIntExpr" class="def" >AntiIntExpr</a - > String</td + > <a href="#" title="Data.String" + >String</a + ></td ><td class="doc empty" ></td ></tr @@ -88,7 +92,9 @@ ><td class="src" ><a id="v:AntiExpr" class="def" >AntiExpr</a - > String</td + > <a href="#" title="Data.String" + >String</a + ></td ><td class="doc empty" ></td ></tr @@ -104,7 +110,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Expr:Show:1" ></span - > Show <a href="#" title="QuasiExpr" + > <a href="#" title="Text.Show" + >Show</a + > <a href="#" title="QuasiExpr" >Expr</a ></span > <a href="#" class="selflink" @@ -128,21 +136,35 @@ ><p class="src" ><a href="#" >showsPrec</a - > :: Int -> <a href="#" title="QuasiExpr" + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="QuasiExpr" >Expr</a - > -> ShowS</p + > -> <a href="#" title="Text.Show" + >ShowS</a + > <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >show</a > :: <a href="#" title="QuasiExpr" >Expr</a - > -> String</p + > -> <a href="#" title="Data.String" + >String</a + > <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >showList</a > :: [<a href="#" title="QuasiExpr" >Expr</a - >] -> ShowS</p + >] -> <a href="#" title="Text.Show" + >ShowS</a + > <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td @@ -208,7 +230,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:BinOp:Show:1" ></span - > Show <a href="#" title="QuasiExpr" + > <a href="#" title="Text.Show" + >Show</a + > <a href="#" title="QuasiExpr" >BinOp</a ></span > <a href="#" class="selflink" @@ -232,21 +256,35 @@ ><p class="src" ><a href="#" >showsPrec</a - > :: Int -> <a href="#" title="QuasiExpr" + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="QuasiExpr" >BinOp</a - > -> ShowS</p + > -> <a href="#" title="Text.Show" + >ShowS</a + > <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >show</a > :: <a href="#" title="QuasiExpr" >BinOp</a - > -> String</p + > -> <a href="#" title="Data.String" + >String</a + > <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >showList</a > :: [<a href="#" title="QuasiExpr" >BinOp</a - >] -> ShowS</p + >] -> <a href="#" title="Text.Show" + >ShowS</a + > <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td @@ -261,7 +299,9 @@ >eval</a > :: <a href="#" title="QuasiExpr" >Expr</a - > -> Integer <a href="#" class="selflink" + > -> <a href="#" title="Prelude" + >Integer</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -269,7 +309,9 @@ ><p class="src" ><a id="v:expr" class="def" >expr</a - > :: QuasiQuoter <a href="#" class="selflink" + > :: <a href="#" title="Language.Haskell.TH.Quote" + >QuasiQuoter</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -277,7 +319,13 @@ ><p class="src" ><a id="v:parseExprExp" class="def" >parseExprExp</a - > :: String -> Q Exp <a href="#" class="selflink" + > :: <a href="#" title="Data.String" + >String</a + > -> <a href="#" title="Language.Haskell.TH.Syntax" + >Q</a + > <a href="#" title="Language.Haskell.TH.Syntax" + >Exp</a + > <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html index e9451d8a..c73250b8 100644 --- a/html-test/ref/QuasiQuote.html +++ b/html-test/ref/QuasiQuote.html @@ -45,7 +45,9 @@ ><p class="src" ><a id="v:val" class="def" >val</a - > :: Integer <a href="#" class="selflink" + > :: <a href="#" title="Prelude" + >Integer</a + > <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html index 00cea04a..47dfd6cd 100644 --- a/html-test/ref/SpuriousSuperclassConstraints.html +++ b/html-test/ref/SpuriousSuperclassConstraints.html @@ -86,7 +86,9 @@ 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 - > Functor (<a href="#" title="SpuriousSuperclassConstraints" + > <a href="#" title="Data.Functor" + >Functor</a + > (<a href="#" title="SpuriousSuperclassConstraints" >SomeType</a > f)</span > <a href="#" class="selflink" @@ -114,7 +116,9 @@ Fix spurious superclass constraints bug.</pre >SomeType</a > f a -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f b</p + > f b <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >(<$)</a @@ -122,7 +126,9 @@ Fix spurious superclass constraints bug.</pre >SomeType</a > f b -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f a</p + > f a <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td @@ -132,7 +138,11 @@ 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 - > Applicative f => Applicative (<a href="#" title="SpuriousSuperclassConstraints" + > <a href="#" title="Control.Applicative" + >Applicative</a + > f => <a href="#" title="Control.Applicative" + >Applicative</a + > (<a href="#" title="SpuriousSuperclassConstraints" >SomeType</a > f)</span > <a href="#" class="selflink" @@ -158,7 +168,9 @@ Fix spurious superclass constraints bug.</pre >pure</a > :: a -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f a</p + > f a <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >(<*>)</a @@ -168,7 +180,9 @@ Fix spurious superclass constraints bug.</pre >SomeType</a > f a -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f b</p + > f b <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >liftA2</a @@ -178,7 +192,9 @@ Fix spurious superclass constraints bug.</pre >SomeType</a > f b -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f c</p + > f c <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >(*>)</a @@ -188,7 +204,9 @@ Fix spurious superclass constraints bug.</pre >SomeType</a > f b -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f b</p + > f b <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >(<*)</a @@ -198,7 +216,9 @@ Fix spurious superclass constraints bug.</pre >SomeType</a > f b -> <a href="#" title="SpuriousSuperclassConstraints" >SomeType</a - > f a</p + > f a <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html index 403abe62..a35204ff 100644 --- a/html-test/ref/TH.html +++ b/html-test/ref/TH.html @@ -45,7 +45,11 @@ ><p class="src" ><a id="v:decl" class="def" >decl</a - > :: Q [Dec] <a href="#" class="selflink" + > :: <a href="#" title="Language.Haskell.TH.Syntax" + >Q</a + > [<a href="#" title="Language.Haskell.TH.Syntax" + >Dec</a + >] <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index d4c2417c..ce180a19 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -165,7 +165,13 @@ ><li >= <a href="#" >A</a - > Int (Maybe Float)</li + > <a href="#" title="Data.Int" + >Int</a + > (<a href="#" title="GHC.Maybe" + >Maybe</a + > <a href="#" title="Prelude" + >Float</a + >)</li ><li >| <a href="#" >B</a @@ -173,7 +179,11 @@ >T</a > a b, <a href="#" title="Test" >T</a - > Int Float)</li + > <a href="#" title="Data.Int" + >Int</a + > <a href="#" title="Prelude" + >Float</a + >)</li ></ul ></li ><li class="src short" @@ -347,7 +357,9 @@ ><li ><a href="#" >p</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li ><a href="#" >q</a @@ -359,7 +371,9 @@ >r</a >, <a href="#" >s</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul > }</li ><li @@ -371,11 +385,23 @@ >t</a > :: T1 -> <a href="#" title="Test" >T2</a - > Int Int -> <a href="#" title="Test" + > <a href="#" title="Data.Int" + >Int</a + > <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Test" >T3</a - > Bool Bool -> <a href="#" title="Test" + > <a href="#" title="Data.Bool" + >Bool</a + > <a href="#" title="Data.Bool" + >Bool</a + > -> <a href="#" title="Test" >T4</a - > Float Float -> <a href="#" title="Test" + > <a href="#" title="Prelude" + >Float</a + > <a href="#" title="Prelude" + >Float</a + > -> <a href="#" title="Test" >T5</a > () ()</li ><li @@ -383,7 +409,9 @@ >u</a >, <a href="#" >v</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul > }</li ></ul @@ -399,15 +427,21 @@ ><li ><a href="#" >s1</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li ><a href="#" >s2</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li ><a href="#" >s3</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul >}</li ><li class="src short" @@ -415,7 +449,9 @@ >p</a > :: <a href="#" title="Test" >R</a - > -> Int</li + > -> <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >q</a @@ -429,7 +465,9 @@ >u</a > :: <a href="#" title="Test" >R</a - > -> Int</li + > -> <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><span class="keyword" >class</span @@ -443,7 +481,9 @@ ><li ><a href="#" >a</a - > :: IO a</li + > :: <a href="#" title="System.IO" + >IO</a + > a</li ><li ><a href="#" >b</a @@ -495,21 +535,33 @@ >a</a > :: <a href="#" title="Test" >C</a - > a => IO a</li + > a => <a href="#" title="System.IO" + >IO</a + > a</li ><li class="src short" ><a href="#" >f</a > :: <a href="#" title="Test" >C</a - > a => a -> Int</li + > a => a -> <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >g</a - > :: Int -> IO CInt</li + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="System.IO" + >IO</a + > CInt</li ><li class="src short" ><a href="#" >hidden</a - > :: Int -> Int</li + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" >module <a href="#" >Visible</a @@ -551,17 +603,39 @@ >T</a > () () -> <a href="#" title="Test" >T2</a - > Int Int -> (<a href="#" title="Test" + > <a href="#" title="Data.Int" + >Int</a + > <a href="#" title="Data.Int" + >Int</a + > -> (<a href="#" title="Test" >T3</a - > Bool Bool -> <a href="#" title="Test" + > <a href="#" title="Data.Bool" + >Bool</a + > <a href="#" title="Data.Bool" + >Bool</a + > -> <a href="#" title="Test" >T4</a - > Float Float) -> <a href="#" title="Test" + > <a href="#" title="Prelude" + >Float</a + > <a href="#" title="Prelude" + >Float</a + >) -> <a href="#" title="Test" >T5</a - > () () -> IO ()</li + > () () -> <a href="#" title="System.IO" + >IO</a + > ()</li ><li class="src short" ><a href="#" >l</a - > :: (Int, Int, Float) -> Int</li + > :: (<a href="#" title="Data.Int" + >Int</a + >, <a href="#" title="Data.Int" + >Int</a + >, <a href="#" title="Prelude" + >Float</a + >) -> <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >m</a @@ -569,19 +643,33 @@ >R</a > -> <a href="#" title="Test" >N1</a - > () -> IO Int</li + > () -> <a href="#" title="System.IO" + >IO</a + > <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >o</a - > :: Float -> IO Float</li + > :: <a href="#" title="Prelude" + >Float</a + > -> <a href="#" title="System.IO" + >IO</a + > <a href="#" title="Prelude" + >Float</a + ></li ><li class="src short" ><a href="#" >f'</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >withType</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ><li class="src short" ><a href="#" >withoutType</a @@ -622,7 +710,13 @@ ><td class="src" ><a id="v:A" class="def" >A</a - > Int (Maybe Float)</td + > <a href="#" title="Data.Int" + >Int</a + > (<a href="#" title="GHC.Maybe" + >Maybe</a + > <a href="#" title="Prelude" + >Float</a + >)</td ><td class="doc" ><p >This comment describes the <code @@ -640,7 +734,11 @@ >T</a > a b, <a href="#" title="Test" >T</a - > Int Float)</td + > <a href="#" title="Data.Int" + >Int</a + > <a href="#" title="Prelude" + >Float</a + >)</td ><td class="doc" ><p >This comment describes the <code @@ -1188,7 +1286,9 @@ ><dfn class="src" ><a id="v:p" class="def" >p</a - > :: Int</dfn + > :: <a href="#" title="Data.Int" + >Int</a + ></dfn ><div class="doc" ><p >This comment applies to the <code @@ -1220,7 +1320,9 @@ >r</a >, <a id="v:s" class="def" >s</a - > :: Int</dfn + > :: <a href="#" title="Data.Int" + >Int</a + ></dfn ><div class="doc" ><p >This comment applies to both <code @@ -1264,11 +1366,23 @@ >t</a > :: T1 -> <a href="#" title="Test" >T2</a - > Int Int -> <a href="#" title="Test" + > <a href="#" title="Data.Int" + >Int</a + > <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Test" >T3</a - > Bool Bool -> <a href="#" title="Test" + > <a href="#" title="Data.Bool" + >Bool</a + > <a href="#" title="Data.Bool" + >Bool</a + > -> <a href="#" title="Test" >T4</a - > Float Float -> <a href="#" title="Test" + > <a href="#" title="Prelude" + >Float</a + > <a href="#" title="Prelude" + >Float</a + > -> <a href="#" title="Test" >T5</a > () ()</dfn ><div class="doc empty" @@ -1280,7 +1394,9 @@ >u</a >, <a id="v:v" class="def" >v</a - > :: Int</dfn + > :: <a href="#" title="Data.Int" + >Int</a + ></dfn ><div class="doc empty" ></div ></li @@ -1332,7 +1448,9 @@ ><dfn class="src" ><a id="v:s1" class="def" >s1</a - > :: Int</dfn + > :: <a href="#" title="Data.Int" + >Int</a + ></dfn ><div class="doc" ><p >The <code @@ -1346,7 +1464,9 @@ ><dfn class="src" ><a id="v:s2" class="def" >s2</a - > :: Int</dfn + > :: <a href="#" title="Data.Int" + >Int</a + ></dfn ><div class="doc" ><p >The <code @@ -1360,7 +1480,9 @@ ><dfn class="src" ><a id="v:s3" class="def" >s3</a - > :: Int</dfn + > :: <a href="#" title="Data.Int" + >Int</a + ></dfn ><div class="doc" ><p >The <code @@ -1387,7 +1509,9 @@ >p</a > :: <a href="#" title="Test" >R</a - > -> Int <a href="#" class="selflink" + > -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -1425,7 +1549,9 @@ >u</a > :: <a href="#" title="Test" >R</a - > -> Int <a href="#" class="selflink" + > -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -1462,7 +1588,9 @@ ><p class="src" ><a id="v:a" class="def" >a</a - > :: IO a <a href="#" class="selflink" + > :: <a href="#" title="System.IO" + >IO</a + > a <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -1534,7 +1662,9 @@ ></span > <a href="#" title="Test" >D</a - > Float</span + > <a href="#" title="Prelude" + >Float</a + ></span > <a href="#" class="selflink" >#</a ></td @@ -1558,13 +1688,19 @@ >d</a > :: <a href="#" title="Test" >T</a - > Float b <a href="#" class="selflink" + > <a href="#" title="Prelude" + >Float</a + > b <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >e</a - > :: (Float, Float) <a href="#" class="selflink" + > :: (<a href="#" title="Prelude" + >Float</a + >, <a href="#" title="Prelude" + >Float</a + >) <a href="#" class="selflink" >#</a ></p ></div @@ -1578,7 +1714,9 @@ ></span > <a href="#" title="Test" >D</a - > Int</span + > <a href="#" title="Data.Int" + >Int</a + ></span > <a href="#" class="selflink" >#</a ></td @@ -1602,13 +1740,19 @@ >d</a > :: <a href="#" title="Test" >T</a - > Int b <a href="#" class="selflink" + > <a href="#" title="Data.Int" + >Int</a + > b <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >e</a - > :: (Int, Int) <a href="#" class="selflink" + > :: (<a href="#" title="Data.Int" + >Int</a + >, <a href="#" title="Data.Int" + >Int</a + >) <a href="#" class="selflink" >#</a ></p ></div @@ -1671,7 +1815,9 @@ >a</a > :: <a href="#" title="Test" >C</a - > a => IO a <a href="#" class="selflink" + > a => <a href="#" title="System.IO" + >IO</a + > a <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -1693,7 +1839,9 @@ >f</a > :: <a href="#" title="Test" >C</a - > a => a -> Int <a href="#" class="selflink" + > a => a -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -1753,7 +1901,11 @@ using double quotes: <a href="#" ><p class="src" ><a id="v:g" class="def" >g</a - > :: Int -> IO CInt <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="System.IO" + >IO</a + > CInt <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -1864,7 +2016,11 @@ is at the beginning of the line).</pre ><p class="src" ><a id="v:hidden" class="def" >hidden</a - > :: Int -> Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -1977,7 +2133,11 @@ is at the beginning of the line).</pre ><td class="src" >-> <a href="#" title="Test" >T2</a - > Int Int</td + > <a href="#" title="Data.Int" + >Int</a + > <a href="#" title="Data.Int" + >Int</a + ></td ><td class="doc" ><p >This argument has type 'T2 Int Int'</p @@ -1987,9 +2147,17 @@ is at the beginning of the line).</pre ><td class="src" >-> (<a href="#" title="Test" >T3</a - > Bool Bool -> <a href="#" title="Test" + > <a href="#" title="Data.Bool" + >Bool</a + > <a href="#" title="Data.Bool" + >Bool</a + > -> <a href="#" title="Test" >T4</a - > Float Float)</td + > <a href="#" title="Prelude" + >Float</a + > <a href="#" title="Prelude" + >Float</a + >)</td ><td class="doc" ><p >This argument has type <code @@ -2011,7 +2179,9 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> IO ()</td + >-> <a href="#" title="System.IO" + >IO</a + > ()</td ><td class="doc" ><p >This is the result type</p @@ -2037,7 +2207,13 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - >:: (Int, Int, Float)</td + >:: (<a href="#" title="Data.Int" + >Int</a + >, <a href="#" title="Data.Int" + >Int</a + >, <a href="#" title="Prelude" + >Float</a + >)</td ><td class="doc" ><p >takes a triple</p @@ -2045,11 +2221,15 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> Int</td + >-> <a href="#" title="Data.Int" + >Int</a + ></td ><td class="doc" ><p >returns an <code - >Int</code + ><a href="#" title="Data.Int" + >Int</a + ></code ></p ></td ></tr @@ -2087,7 +2267,11 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> IO Int</td + >-> <a href="#" title="System.IO" + >IO</a + > <a href="#" title="Data.Int" + >Int</a + ></td ><td class="doc" ><p >and the return value</p @@ -2113,7 +2297,9 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - >:: Float</td + >:: <a href="#" title="Prelude" + >Float</a + ></td ><td class="doc" ><p >The input float</p @@ -2121,7 +2307,11 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> IO Float</td + >-> <a href="#" title="System.IO" + >IO</a + > <a href="#" title="Prelude" + >Float</a + ></td ><td class="doc" ><p >The output float</p @@ -2154,7 +2344,9 @@ is at the beginning of the line).</pre ><p class="src" ><a id="v:f-39-" class="def" >f'</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -2171,7 +2363,9 @@ is at the beginning of the line).</pre ><p class="src" ><a id="v:withType" class="def" >withType</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html index 8728d4cd..e52ca96b 100644 --- a/html-test/ref/Threaded.html +++ b/html-test/ref/Threaded.html @@ -56,7 +56,9 @@ ><li class="src short" ><a href="#" >f</a - > :: Integer</li + > :: <a href="#" title="Prelude" + >Integer</a + ></li ></ul ></details ></div @@ -67,7 +69,9 @@ ><p class="src" ><a id="v:f" class="def" >f</a - > :: Integer <a href="#" class="selflink" + > :: <a href="#" title="Prelude" + >Integer</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html index 7f80b127..14ebe8a9 100644 --- a/html-test/ref/Threaded_TH.html +++ b/html-test/ref/Threaded_TH.html @@ -57,7 +57,11 @@ ><li class="src short" ><a href="#" >forkTH</a - > :: Q Exp</li + > :: <a href="#" title="Language.Haskell.TH.Syntax" + >Q</a + > <a href="#" title="Language.Haskell.TH.Syntax" + >Exp</a + ></li ></ul ></details ></div @@ -68,7 +72,11 @@ ><p class="src" ><a id="v:forkTH" class="def" >forkTH</a - > :: Q Exp <a href="#" class="selflink" + > :: <a href="#" title="Language.Haskell.TH.Syntax" + >Q</a + > <a href="#" title="Language.Haskell.TH.Syntax" + >Exp</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html index a2c4ca1b..00258deb 100644 --- a/html-test/ref/Ticket112.html +++ b/html-test/ref/Ticket112.html @@ -63,7 +63,9 @@ ><div class="doc" ><p >...given a raw <code - >Addr#</code + ><a href="#" title="GHC.Exts" + >Addr#</a + ></code > to the string, and the length of the string.</p ></div ></div diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html index 683a7184..70919c1b 100644 --- a/html-test/ref/Ticket75.html +++ b/html-test/ref/Ticket75.html @@ -54,7 +54,9 @@ ><li class="src short" ><a href="#" >f</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></details ></div @@ -89,7 +91,9 @@ ><p class="src" ><a id="v:f" class="def" >f</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html index 1e6f50e0..eb6c12f4 100644 --- a/html-test/ref/TitledPicture.html +++ b/html-test/ref/TitledPicture.html @@ -46,11 +46,15 @@ ><li class="src short" ><a href="#" >foo</a - > :: Integer</li + > :: <a href="#" title="Prelude" + >Integer</a + ></li ><li class="src short" ><a href="#" >bar</a - > :: Integer</li + > :: <a href="#" title="Prelude" + >Integer</a + ></li ></ul ></details ></div @@ -61,7 +65,9 @@ ><p class="src" ><a id="v:foo" class="def" >foo</a - > :: Integer <a href="#" class="selflink" + > :: <a href="#" title="Prelude" + >Integer</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -78,7 +84,9 @@ ><p class="src" ><a id="v:bar" class="def" >bar</a - > :: Integer <a href="#" class="selflink" + > :: <a href="#" title="Prelude" + >Integer</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 2195a05a..9a4945dd 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -280,7 +280,9 @@ >AssocD</a > <a href="#" title="TypeFamilies" >X</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -290,7 +292,9 @@ >AssocT</a > <a href="#" title="TypeFamilies" >X</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -342,8 +346,10 @@ > <a href="#" class="selflink" >#</a ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + >External instance</p + ></td ></tr ><tr ><td colspan="2" @@ -489,7 +495,9 @@ >Foo</a > <a href="#" title="TypeFamilies" >X</a - > :: *)</div + > :: <a href="#" title="Data.Kind" + >Type</a + >)</div ></details ></td ></tr @@ -574,8 +582,10 @@ > <a href="#" class="selflink" >#</a ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + >Doc for: type instance Foo X = Y</p + ></td ></tr ><tr ><td colspan="2" @@ -610,7 +620,9 @@ >X</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *)</span + > (a :: <a href="#" title="Data.Kind" + >Type</a + >)</span > <a href="#" class="selflink" >#</a ></td @@ -633,7 +645,9 @@ >X</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *) = <a href="#" title="TypeFamilies" + > (a :: <a href="#" title="Data.Kind" + >Type</a + >) = <a href="#" title="TypeFamilies" >X</a ></div ></details @@ -698,7 +712,9 @@ >AssocD</a > <a href="#" title="TypeFamilies" >Y</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -708,7 +724,9 @@ >AssocT</a > <a href="#" title="TypeFamilies" >Y</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -924,8 +942,10 @@ > <a href="#" class="selflink" >#</a ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + >Doc for: type instance Foo Y = X</p + ></td ></tr ><tr ><td colspan="2" @@ -960,7 +980,9 @@ >Y</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *)</span + > (a :: <a href="#" title="Data.Kind" + >Type</a + >)</span > <a href="#" class="selflink" >#</a ></td @@ -983,7 +1005,9 @@ >Y</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *) = a</div + > (a :: <a href="#" title="Data.Kind" + >Type</a + >) = a</div ></details ></td ></tr @@ -1220,8 +1244,10 @@ > <a href="#" class="selflink" >#</a ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + >Doc for: type instance Foo Y = X</p + ></td ></tr ><tr ><td colspan="2" @@ -1260,8 +1286,10 @@ > <a href="#" class="selflink" >#</a ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + >Doc for: type instance Foo X = Y</p + ></td ></tr ><tr ><td colspan="2" @@ -1574,7 +1602,9 @@ >AssocD</a > <a href="#" title="TypeFamilies" >Y</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1584,7 +1614,9 @@ >AssocT</a > <a href="#" title="TypeFamilies" >Y</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -1628,7 +1660,9 @@ >AssocD</a > <a href="#" title="TypeFamilies" >X</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1638,7 +1672,9 @@ >AssocT</a > <a href="#" title="TypeFamilies" >X</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -1762,7 +1798,9 @@ >Y</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *)</span + > (a :: <a href="#" title="Data.Kind" + >Type</a + >)</span > <a href="#" class="selflink" >#</a ></td @@ -1785,7 +1823,9 @@ >Y</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *) = a</div + > (a :: <a href="#" title="Data.Kind" + >Type</a + >) = a</div ></details ></td ></tr @@ -1800,7 +1840,9 @@ >X</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *)</span + > (a :: <a href="#" title="Data.Kind" + >Type</a + >)</span > <a href="#" class="selflink" >#</a ></td @@ -1823,7 +1865,9 @@ >X</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *) = <a href="#" title="TypeFamilies" + > (a :: <a href="#" title="Data.Kind" + >Type</a + >) = <a href="#" title="TypeFamilies" >X</a ></div ></details diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index a5d0d9a9..1b4eed8c 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -142,8 +142,10 @@ > <a href="#" class="selflink" >#</a ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + >Should be visible, but with a hidden right hand side</p + ></td ></tr ><tr ><td colspan="2" @@ -202,8 +204,10 @@ > <a href="#" class="selflink" >#</a ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + >Should be visible, but with a hidden right hand side</p + ></td ></tr ><tr ><td colspan="2" @@ -240,8 +244,10 @@ > <a href="#" class="selflink" >#</a ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + >External instance</p + ></td ></tr ><tr ><td colspan="2" diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html index 3cae7357..26d0d60e 100644 --- a/html-test/ref/Unicode.html +++ b/html-test/ref/Unicode.html @@ -46,7 +46,9 @@ ><li class="src short" ><a href="#" >x</a - > :: Int</li + > :: <a href="#" title="Data.Int" + >Int</a + ></li ></ul ></details ></div @@ -57,7 +59,9 @@ ><p class="src" ><a id="v:x" class="def" >x</a - > :: Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ><div class="doc" diff --git a/html-test/ref/Unicode2.html b/html-test/ref/Unicode2.html new file mode 100644 index 00000000..bf667bae --- /dev/null +++ b/html-test/ref/Unicode2.html @@ -0,0 +1,100 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Unicode2</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" + >Unicode2</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:-252-" class="def" + >ü</a + > :: () <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >All of the following work with a unicode character ü:</p + ><ul + ><li + >an italicized <em + >ü</em + ></li + ><li + >inline code <code + >ü</code + ></li + ><li + >a code block:</li + ></ul + ><pre + >ü</pre + ><ul + ><li + >a url <a href="#" + >https://www.google.com/search?q=ü</a + ></li + ><li + >a link to <code + ><a href="#" title="Unicode2" + >ü</a + ></code + ></li + ></ul + ></div + ></div + ></div + ></div + ><div id="footer" + ></div + ></body + ></html +>
\ No newline at end of file diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html index 22c6be6c..308689e4 100644 --- a/html-test/ref/Visible.html +++ b/html-test/ref/Visible.html @@ -45,7 +45,11 @@ ><p class="src" ><a id="v:visible" class="def" >visible</a - > :: Int -> Int <a href="#" class="selflink" + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Data.Int" + >Int</a + > <a href="#" class="selflink" >#</a ></p ></div diff --git a/html-test/src/Bug745.hs b/html-test/src/Bug745.hs new file mode 100644 index 00000000..f26562c1 --- /dev/null +++ b/html-test/src/Bug745.hs @@ -0,0 +1,8 @@ +{-# LANGUAGE TemplateHaskell, QuasiQuotes #-} + +module Bug574 where +-- See https://github.com/haskell/haddock/issues/574 + +-- | Somthing with a spliced type +foo :: Int -> $(let i = [t| Int |] in [t| $i -> $i |]) +foo x y = x + y diff --git a/html-test/src/ConstructorArgs.hs b/html-test/src/ConstructorArgs.hs new file mode 100644 index 00000000..6b0da711 --- /dev/null +++ b/html-test/src/ConstructorArgs.hs @@ -0,0 +1,56 @@ +{-# LANGUAGE GADTs, PatternSynonyms #-} + +module ConstructorArgs (Foo(..), Boo(Foo, Foa, Fo, Fo'), pattern Bo, pattern Bo') where + +data Foo + = Rec -- ^ doc on a record + { x :: String -- ^ doc on the `String` field of `Rec` + , y :: String -- ^ doc on the `String` field of `Rec` + } + | Baz Int String -- ^ old prefix doc style + | Boa -- ^ doc on the `Boa` constrictor + !Int -- ^ doc on the `Int` field of `Boa` + !String -- ^ doc on the `String` field of `Boa` + | Int :| String -- ^ old infix doc style + | Int -- ^ doc on the `Int` field of the `:*` constructor + :* -- ^ doc on the `:*` constructor + String -- ^ doc on the `String` field of the `:*` constructor + +infixr 1 `Foo` +infixr 2 `Boa` +infixr 3 :* + +data Boo where + -- | Info about a 'Foo' + Foo :: Int -- ^ `Int` field of `Foo` + -> String -- ^ `String` field of `Foo` + -> Boo -- ^ Make a `Boo` + + -- | no argument docs GADT + Foa :: Int -> Boo + +infixr 4 `Boo` + +-- | Info about bundled 'Fo' +pattern Fo :: Int -- ^ an 'Int' + -> String -- ^ a 'String' + -> Boo -- ^ a 'Boo' +pattern Fo x y = Foo x y + +-- | Bundled and no argument docs +pattern Fo' :: Boo +pattern Fo' = Foo 1 "hi" + +infixr 5 `Fo` + +-- | Info about not-bundled 'Bo' +pattern Bo :: Int -- ^ an 'Int' + -> String -- ^ a 'String' + -> Boo -- ^ a 'Boo' pattern +pattern Bo x y = Foo x y + +-- | Not bunded and no argument docs +pattern Bo' :: Int -> String -> Boo +pattern Bo' x y = Foo x y + +infixr 6 `Bo` diff --git a/html-test/src/GadtConstructorArgs.hs b/html-test/src/GadtConstructorArgs.hs new file mode 100644 index 00000000..79ffb4d3 --- /dev/null +++ b/html-test/src/GadtConstructorArgs.hs @@ -0,0 +1,13 @@ +{-# LANGUAGE GADTs, PatternSynonyms #-} + +module GadtConstructorArgs (Boo(..)) where + +data Boo where + Fot :: { x :: Int -- ^ an 'x' + , y :: Int -- ^ a 'y' + } -> Boo + + -- | Record GADT with docs + Fob :: { w :: Int -- ^ a 'w' + , z :: Int -- ^ a 'z' + } -> Boo -- ^ a 'Boo' diff --git a/html-test/src/QuantifiedConstraints.hs b/html-test/src/QuantifiedConstraints.hs new file mode 100644 index 00000000..82dd81e5 --- /dev/null +++ b/html-test/src/QuantifiedConstraints.hs @@ -0,0 +1,11 @@ +{-# LANGUAGE QuantifiedConstraints #-} +module QuantifiedConstraints where + +class Foo a where + fooed :: a + +needsParensAroundContext :: (forall x. Foo (f x)) => f Int +needsParensAroundContext = fooed + +needsNoParensAroundContext :: Foo (f Int) => f Int +needsNoParensAroundContext = fooed diff --git a/html-test/src/Unicode2.hs b/html-test/src/Unicode2.hs new file mode 100644 index 00000000..ca6b18ba --- /dev/null +++ b/html-test/src/Unicode2.hs @@ -0,0 +1,18 @@ +module Unicode2 where + +-- | All of the following work with a unicode character ü: +-- +-- * an italicized /ü/ +-- +-- * inline code @ü@ +-- +-- * a code block: +-- +-- > ü +-- +-- * a url <https://www.google.com/search?q=ü> +-- +-- * a link to 'ü' +-- +ü :: () +ü = () |