diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-02-12 10:04:22 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-12 10:04:22 +0100 |
| commit | e18d166b39cdc8c6672b626b4b840c1c383a9685 (patch) | |
| tree | 43aa1526b9980fdf9f6fc8cbd5a6027b9e82970c /html-test/ref/Test.html | |
| parent | 57a5dcfd3d2a7e01229a2c3a79b1f99cd95d5de1 (diff) | |
| parent | 6a6029f1fc7b2cfeea8e231c8806d293d6644004 (diff) | |
Merge remote-tracking branch 'origin/master' into ghc-head
Diffstat (limited to 'html-test/ref/Test.html')
| -rw-r--r-- | html-test/ref/Test.html | 977 |
1 files changed, 532 insertions, 445 deletions
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index 8b82fe0b..4cb434ad 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -1,32 +1,33 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title >Test</title - ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script + ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" + ></script ><script type="text/javascript" - >//<![CDATA[ -window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; -//]]> + >// +window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; +// </script ></head ><body ><div id="package-header" ><ul class="links" id="page-menu" ><li - ><a href="" + ><a href="#" >Contents</a ></li ><li - ><a href="" + ><a href="#" >Index</a ></li ></ul ><p class="caption empty" - > </p + ></p ></div ><div id="content" ><div id="module-header" @@ -76,53 +77,53 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; >Contents</p ><ul ><li - ><a href="" + ><a href="#" >Type declarations</a ><ul ><li - ><a href="" + ><a href="#" >Data types</a ></li ><li - ><a href="" + ><a href="#" >Records</a ></li ></ul ></li ><li - ><a href="" + ><a href="#" >Class declarations</a ></li ><li - ><a href="" + ><a href="#" >Function types</a ></li ><li - ><a href="" + ><a href="#" >Auxiliary stuff</a ></li ><li - ><a href="" + ><a href="#" >A hidden module</a ></li ><li - ><a href="" + ><a href="#" >A visible module</a ></li ><li - ><a href="" + ><a href="#" >Existential / Universal types</a ></li ><li - ><a href="" + ><a href="#" >Type signatures with argument docs</a ></li ><li - ><a href="" + ><a href="#" >A section</a ><ul ><li - ><a href="" + ><a href="#" >A subsection</a ></li ></ul @@ -136,19 +137,19 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p >This module illustrates & tests most of the features of Haddock. Testing references from the description: <code - ><a href="" + ><a href="#" >T</a ></code >, <code - ><a href="" + ><a href="#" >f</a ></code >, <code - ><a href="" + ><a href="#" >g</a ></code >, <code - ><a href="" + ><a href="#" >visible</a ></code >.</p @@ -161,29 +162,29 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >data</span - > <a href="" + > <a href="#" >T</a > a b<ul class="subs" ><li - >= <a href="" + >= <a href="#" >A</a - > <a href="" + > <a href="#" >Int</a - > (<a href="" + > (<a href="#" >Maybe</a - > <a href="" + > <a href="#" >Float</a >)</li ><li - >| <a href="" + >| <a href="#" >B</a - > (<a href="" + > (<a href="#" >T</a - > a b, <a href="" + > a b, <a href="#" >T</a - > <a href="" + > <a href="#" >Int</a - > <a href="" + > <a href="#" >Float</a >)</li ></ul @@ -191,21 +192,21 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >data</span - > <a href="" + > <a href="#" >T2</a > a b</li ><li class="src short" ><span class="keyword" >data</span - > <a href="" + > <a href="#" >T3</a > a b<ul class="subs" ><li - >= <a href="" + >= <a href="#" >A1</a > a</li ><li - >| <a href="" + >| <a href="#" >B1</a > b</li ></ul @@ -213,15 +214,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >data</span - > <a href="" + > <a href="#" >T4</a > a b<ul class="subs" ><li - >= <a href="" + >= <a href="#" >A2</a > a</li ><li - >| <a href="" + >| <a href="#" >B2</a > b</li ></ul @@ -229,15 +230,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >data</span - > <a href="" + > <a href="#" >T5</a > a b<ul class="subs" ><li - >= <a href="" + >= <a href="#" >A3</a > a</li ><li - >| <a href="" + >| <a href="#" >B3</a > b</li ></ul @@ -245,19 +246,19 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >data</span - > <a href="" + > <a href="#" >T6</a ><ul class="subs" ><li - >= <a href="" + >= <a href="#" >A4</a ></li ><li - >| <a href="" + >| <a href="#" >B4</a ></li ><li - >| <a href="" + >| <a href="#" >C4</a ></li ></ul @@ -265,21 +266,21 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >newtype</span - > <a href="" + > <a href="#" >N1</a - > a = <a href="" + > a = <a href="#" >N1</a > a</li ><li class="src short" ><span class="keyword" >newtype</span - > <a href="" + > <a href="#" >N2</a - > a b = <a href="" + > a b = <a href="#" >N2</a > {<ul class="subs" ><li - ><a href="" + ><a href="#" >n</a > :: a b</li ></ul @@ -287,13 +288,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >newtype</span - > <a href="" + > <a href="#" >N3</a - > a b = <a href="" + > a b = <a href="#" >N3</a > {<ul class="subs" ><li - ><a href="" + ><a href="#" >n3</a > :: a b</li ></ul @@ -301,19 +302,19 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >data</span - > <a href="" + > <a href="#" >N4</a > a b</li ><li class="src short" ><span class="keyword" >newtype</span - > <a href="" + > <a href="#" >N5</a - > a b = <a href="" + > a b = <a href="#" >N5</a > {<ul class="subs" ><li - ><a href="" + ><a href="#" >n5</a > :: a b</li ></ul @@ -321,13 +322,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >newtype</span - > <a href="" + > <a href="#" >N6</a - > a b = <a href="" + > a b = <a href="#" >N6</a > {<ul class="subs" ><li - ><a href="" + ><a href="#" >n6</a > :: a b</li ></ul @@ -335,13 +336,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >newtype</span - > <a href="" + > <a href="#" >N7</a - > a b = <a href="" + > a b = <a href="#" >N7</a > {<ul class="subs" ><li - ><a href="" + ><a href="#" >n7</a > :: a b</li ></ul @@ -349,69 +350,69 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >data</span - > <a href="" + > <a href="#" >R</a ><ul class="subs" ><li - >= <a href="" + >= <a href="#" >C1</a > { <ul class="subs" ><li - ><a href="" + ><a href="#" >p</a - > :: <a href="" + > :: <a href="#" >Int</a ></li ><li - ><a href="" + ><a href="#" >q</a > :: <span class="keyword" >forall</span > a. a -> a</li ><li - ><a href="" + ><a href="#" >r</a - >, <a href="" + >, <a href="#" >s</a - > :: <a href="" + > :: <a href="#" >Int</a ></li ></ul > }</li ><li - >| <a href="" + >| <a href="#" >C2</a > { <ul class="subs" ><li - ><a href="" + ><a href="#" >t</a - > :: T1 -> <a href="" + > :: T1 -> <a href="#" >T2</a - > <a href="" + > <a href="#" >Int</a - > <a href="" + > <a href="#" >Int</a - > -> <a href="" + > -> <a href="#" >T3</a - > <a href="" + > <a href="#" >Bool</a - > <a href="" + > <a href="#" >Bool</a - > -> <a href="" + > -> <a href="#" >T4</a - > <a href="" + > <a href="#" >Float</a - > <a href="" + > <a href="#" >Float</a - > -> <a href="" + > -> <a href="#" >T5</a > () ()</li ><li - ><a href="" + ><a href="#" >u</a - >, <a href="" + >, <a href="#" >v</a - > :: <a href="" + > :: <a href="#" >Int</a ></li ></ul @@ -421,27 +422,27 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >data</span - > <a href="" + > <a href="#" >R1</a - > = <a href="" + > = <a href="#" >C3</a > {<ul class="subs" ><li - ><a href="" + ><a href="#" >s1</a - > :: <a href="" + > :: <a href="#" >Int</a ></li ><li - ><a href="" + ><a href="#" >s2</a - > :: <a href="" + > :: <a href="#" >Int</a ></li ><li - ><a href="" + ><a href="#" >s3</a - > :: <a href="" + > :: <a href="#" >Int</a ></li ></ul @@ -449,123 +450,101 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >class</span - > <a href="" + > <a href="#" >D</a - > a => <a href="" + > a => <a href="#" >C</a > a <span class="keyword" >where</span ><ul class="subs" - ><li - ><a href="" - >a</a - > :: <a href="" - >IO</a - > a</li - ><li - ><a href="" - >b</a - > :: [a]</li - ></ul + ></ul ></li ><li class="src short" ><span class="keyword" >class</span - > <a href="" + > <a href="#" >D</a > a <span class="keyword" >where</span ><ul class="subs" - ><li - ><a href="" - >d</a - > :: <a href="" - >T</a - > a b</li - ><li - ><a href="" - >e</a - > :: (a, a)</li - ></ul + ></ul ></li ><li class="src short" ><span class="keyword" >class</span - > <a href="" + > <a href="#" >E</a > a</li ><li class="src short" ><span class="keyword" >class</span - > <a href="" + > <a href="#" >F</a > a <span class="keyword" >where</span ><ul class="subs" - ><li - ><a href="" - >ff</a - > :: a</li - ></ul + ></ul ></li ><li class="src short" - ><a href="" + ><a href="#" + >a</a + > :: <a href="#" + >C</a + > a => <a href="#" + >IO</a + > a</li + ><li class="src short" + ><a href="#" >f</a - > :: <a href="" + > :: <a href="#" >C</a - > a => a -> <a href="" + > a => a -> <a href="#" >Int</a ></li ><li class="src short" - ><a href="" + ><a href="#" >g</a - > :: <a href="" + > :: <a href="#" >Int</a - > -> <a href="" + > -> <a href="#" >IO</a > CInt</li ><li class="src short" - ><a href="" + ><a href="#" >hidden</a - > :: <a href="" + > :: <a href="#" >Int</a - > -> <a href="" + > -> <a href="#" >Int</a ></li ><li class="src short" - >module <a href="" + >module <a href="#" >Visible</a ></li ><li class="src short" ><span class="keyword" >data</span - > <a href="" + > <a href="#" >Ex</a > a<ul class="subs" ><li - >= <span class="keyword" - >forall</span - > b . <a href="" + >= <a href="#" >C</a - > b => <a href="" + > b => <a href="#" >Ex1</a > b</li ><li - >| <span class="keyword" - >forall</span - > b . <a href="" + >| <a href="#" >Ex2</a > b</li ><li - >| <span class="keyword" - >forall</span - > b . <a href="" + >| <a href="#" >C</a - > a => <a href="" + > a => <a href="#" >Ex3</a > b</li ><li - >| <a href="" + >| <a href="#" >Ex4</a > (<span class="keyword" >forall</span @@ -573,83 +552,83 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></ul ></li ><li class="src short" - ><a href="" + ><a href="#" >k</a - > :: <a href="" + > :: <a href="#" >T</a - > () () -> <a href="" + > () () -> <a href="#" >T2</a - > <a href="" + > <a href="#" >Int</a - > <a href="" + > <a href="#" >Int</a - > -> (<a href="" + > -> (<a href="#" >T3</a - > <a href="" + > <a href="#" >Bool</a - > <a href="" + > <a href="#" >Bool</a - > -> <a href="" + > -> <a href="#" >T4</a - > <a href="" + > <a href="#" >Float</a - > <a href="" + > <a href="#" >Float</a - >) -> <a href="" + >) -> <a href="#" >T5</a - > () () -> <a href="" + > () () -> <a href="#" >IO</a > ()</li ><li class="src short" - ><a href="" + ><a href="#" >l</a - > :: (<a href="" + > :: (<a href="#" >Int</a - >, <a href="" + >, <a href="#" >Int</a - >, <a href="" + >, <a href="#" >Float</a - >) -> <a href="" + >) -> <a href="#" >Int</a ></li ><li class="src short" - ><a href="" + ><a href="#" >m</a - > :: <a href="" + > :: <a href="#" >R</a - > -> <a href="" + > -> <a href="#" >N1</a - > () -> <a href="" + > () -> <a href="#" >IO</a - > <a href="" + > <a href="#" >Int</a ></li ><li class="src short" - ><a href="" + ><a href="#" >o</a - > :: <a href="" + > :: <a href="#" >Float</a - > -> <a href="" + > -> <a href="#" >IO</a - > <a href="" + > <a href="#" >Float</a ></li ><li class="src short" - ><a href="" + ><a href="#" >f'</a - > :: <a href="" + > :: <a href="#" >Int</a ></li ><li class="src short" - ><a href="" + ><a href="#" >withType</a - > :: <a href="" + > :: <a href="#" >Int</a ></li ><li class="src short" - ><a href="" + ><a href="#" >withoutType</a - > :: t</li + > :: a</li ></ul ></div ><div id="interface" @@ -661,9 +640,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:T" class="def" + > <a id="t:T" class="def" >T</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >This comment applies to the <em @@ -677,19 +658,19 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:A" class="def" + ><a id="v:A" class="def" >A</a - > <a href="" + > <a href="#" >Int</a - > (<a href="" + > (<a href="#" >Maybe</a - > <a href="" + > <a href="#" >Float</a >)</td ><td class="doc" ><p >This comment describes the <code - ><a href="" + ><a href="#" >A</a ></code > constructor</p @@ -697,21 +678,21 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a href="" id="v:B" class="def" + ><a id="v:B" class="def" >B</a - > (<a href="" + > (<a href="#" >T</a - > a b, <a href="" + > a b, <a href="#" >T</a - > <a href="" + > <a href="#" >Int</a - > <a href="" + > <a href="#" >Float</a >)</td ><td class="doc" ><p >This comment describes the <code - ><a href="" + ><a href="#" >B</a ></code > constructor</p @@ -724,9 +705,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:T2" class="def" + > <a id="t:T2" class="def" >T2</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >An abstract data declaration</p @@ -736,9 +719,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:T3" class="def" + > <a id="t:T3" class="def" >T3</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >A data declaration with no documentation annotations on the constructors</p @@ -749,19 +734,19 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:A1" class="def" + ><a id="v:A1" class="def" >A1</a > a</td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td class="src" - ><a href="" id="v:B1" class="def" + ><a id="v:B1" class="def" >B1</a > b</td ><td class="doc empty" - > </td + ></td ></tr ></table ></div @@ -770,28 +755,30 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:T4" class="def" + > <a id="t:T4" class="def" >T4</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="subs constructors" ><p class="caption" >Constructors</p ><table ><tr ><td class="src" - ><a href="" id="v:A2" class="def" + ><a id="v:A2" class="def" >A2</a > a</td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td class="src" - ><a href="" id="v:B2" class="def" + ><a id="v:B2" class="def" >B2</a > b</td ><td class="doc empty" - > </td + ></td ></tr ></table ></div @@ -800,22 +787,24 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:T5" class="def" + > <a id="t:T5" class="def" >T5</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="subs constructors" ><p class="caption" >Constructors</p ><table ><tr ><td class="src" - ><a href="" id="v:A3" class="def" + ><a id="v:A3" class="def" >A3</a > a</td ><td class="doc" ><p >documents <code - ><a href="" + ><a href="#" >A3</a ></code ></p @@ -823,13 +812,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a href="" id="v:B3" class="def" + ><a id="v:B3" class="def" >B3</a > b</td ><td class="doc" ><p >documents <code - ><a href="" + ><a href="#" >B3</a ></code ></p @@ -842,8 +831,10 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:T6" class="def" + > <a id="t:T6" class="def" >T6</a + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p @@ -855,13 +846,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:A4" class="def" + ><a id="v:A4" class="def" >A4</a ></td ><td class="doc" ><p >This is the doc for <code - ><a href="" + ><a href="#" >A4</a ></code ></p @@ -869,13 +860,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a href="" id="v:B4" class="def" + ><a id="v:B4" class="def" >B4</a ></td ><td class="doc" ><p >This is the doc for <code - ><a href="" + ><a href="#" >B4</a ></code ></p @@ -883,13 +874,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a href="" id="v:C4" class="def" + ><a id="v:C4" class="def" >C4</a ></td ><td class="doc" ><p >This is the doc for <code - ><a href="" + ><a href="#" >C4</a ></code ></p @@ -902,9 +893,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a href="" id="t:N1" class="def" + > <a id="t:N1" class="def" >N1</a - > a</p + > a <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >A newtype</p @@ -915,11 +908,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:N1" class="def" + ><a id="v:N1" class="def" >N1</a > a</td ><td class="doc empty" - > </td + ></td ></tr ></table ></div @@ -928,9 +921,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a href="" id="t:N2" class="def" + > <a id="t:N2" class="def" >N2</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >A newtype with a fieldname</p @@ -941,11 +936,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:N2" class="def" + ><a id="v:N2" class="def" >N2</a ></td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td colspan="2" @@ -955,11 +950,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:n" class="def" + ><a id="v:n" class="def" >n</a > :: a b</dfn ><div class="doc empty" - > </div + ></div ></li ></ul ></div @@ -972,9 +967,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a href="" id="t:N3" class="def" + > <a id="t:N3" class="def" >N3</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >A newtype with a fieldname, documentation on the field</p @@ -985,11 +982,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:N3" class="def" + ><a id="v:N3" class="def" >N3</a ></td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td colspan="2" @@ -999,13 +996,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:n3" class="def" + ><a id="v:n3" class="def" >n3</a > :: a b</dfn ><div class="doc" ><p >this is the <code - ><a href="" + ><a href="#" >n3</a ></code > field</p @@ -1022,9 +1019,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:N4" class="def" + > <a id="t:N4" class="def" >N4</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >An abstract newtype - we show this one as data rather than newtype because @@ -1035,20 +1034,22 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a href="" id="t:N5" class="def" + > <a id="t:N5" class="def" >N5</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="subs constructors" ><p class="caption" >Constructors</p ><table ><tr ><td class="src" - ><a href="" id="v:N5" class="def" + ><a id="v:N5" class="def" >N5</a ></td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td colspan="2" @@ -1058,7 +1059,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:n5" class="def" + ><a id="v:n5" class="def" >n5</a > :: a b</dfn ><div class="doc" @@ -1077,16 +1078,18 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a href="" id="t:N6" class="def" + > <a id="t:N6" class="def" >N6</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="subs constructors" ><p class="caption" >Constructors</p ><table ><tr ><td class="src" - ><a href="" id="v:N6" class="def" + ><a id="v:N6" class="def" >N6</a ></td ><td class="doc" @@ -1102,11 +1105,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:n6" class="def" + ><a id="v:n6" class="def" >n6</a > :: a b</dfn ><div class="doc empty" - > </div + ></div ></li ></ul ></div @@ -1119,9 +1122,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a href="" id="t:N7" class="def" + > <a id="t:N7" class="def" >N7</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >docs on the newtype and the constructor</p @@ -1132,13 +1137,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:N7" class="def" + ><a id="v:N7" class="def" >N7</a ></td ><td class="doc" ><p >The <code - ><a href="" + ><a href="#" >N7</a ></code > constructor</p @@ -1152,11 +1157,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:n7" class="def" + ><a id="v:n7" class="def" >n7</a > :: a b</dfn ><div class="doc empty" - > </div + ></div ></li ></ul ></div @@ -1171,30 +1176,32 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:R" class="def" + > <a id="t:R" class="def" >R</a + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p >This is the documentation for the <code - ><a href="" + ><a href="#" >R</a ></code > record, which has four fields, <code - ><a href="" + ><a href="#" >p</a ></code >, <code - ><a href="" + ><a href="#" >q</a ></code >, <code - ><a href="" + ><a href="#" >r</a ></code >, and <code - ><a href="" + ><a href="#" >s</a ></code >.</p @@ -1205,13 +1212,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:C1" class="def" + ><a id="v:C1" class="def" >C1</a ></td ><td class="doc" ><p >This is the <code - ><a href="" + ><a href="#" >C1</a ></code > record constructor, with the following fields:</p @@ -1225,15 +1232,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:p" class="def" + ><a id="v:p" class="def" >p</a - > :: <a href="" + > :: <a href="#" >Int</a ></dfn ><div class="doc" ><p >This comment applies to the <code - ><a href="" + ><a href="#" >p</a ></code > field</p @@ -1241,7 +1248,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></li ><li ><dfn class="src" - ><a href="" id="v:q" class="def" + ><a id="v:q" class="def" >q</a > :: <span class="keyword" >forall</span @@ -1249,7 +1256,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><div class="doc" ><p >This comment applies to the <code - ><a href="" + ><a href="#" >q</a ></code > field</p @@ -1257,21 +1264,21 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></li ><li ><dfn class="src" - ><a href="" id="v:r" class="def" + ><a id="v:r" class="def" >r</a - >, <a href="" id="v:s" class="def" + >, <a id="v:s" class="def" >s</a - > :: <a href="" + > :: <a href="#" >Int</a ></dfn ><div class="doc" ><p >This comment applies to both <code - ><a href="" + ><a href="#" >r</a ></code > and <code - ><a href="" + ><a href="#" >s</a ></code ></p @@ -1283,13 +1290,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a href="" id="v:C2" class="def" + ><a id="v:C2" class="def" >C2</a ></td ><td class="doc" ><p >This is the <code - ><a href="" + ><a href="#" >C2</a ></code > record constructor, also with some fields:</p @@ -1303,43 +1310,43 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:t" class="def" + ><a id="v:t" class="def" >t</a - > :: T1 -> <a href="" + > :: T1 -> <a href="#" >T2</a - > <a href="" + > <a href="#" >Int</a - > <a href="" + > <a href="#" >Int</a - > -> <a href="" + > -> <a href="#" >T3</a - > <a href="" + > <a href="#" >Bool</a - > <a href="" + > <a href="#" >Bool</a - > -> <a href="" + > -> <a href="#" >T4</a - > <a href="" + > <a href="#" >Float</a - > <a href="" + > <a href="#" >Float</a - > -> <a href="" + > -> <a href="#" >T5</a > () ()</dfn ><div class="doc empty" - > </div + ></div ></li ><li ><dfn class="src" - ><a href="" id="v:u" class="def" + ><a id="v:u" class="def" >u</a - >, <a href="" id="v:v" class="def" + >, <a id="v:v" class="def" >v</a - > :: <a href="" + > :: <a href="#" >Int</a ></dfn ><div class="doc empty" - > </div + ></div ></li ></ul ></div @@ -1352,8 +1359,10 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:R1" class="def" + > <a id="t:R1" class="def" >R1</a + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p @@ -1365,13 +1374,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:C3" class="def" + ><a id="v:C3" class="def" >C3</a ></td ><td class="doc" ><p >This is the <code - ><a href="" + ><a href="#" >C3</a ></code > record constructor</p @@ -1385,15 +1394,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:s1" class="def" + ><a id="v:s1" class="def" >s1</a - > :: <a href="" + > :: <a href="#" >Int</a ></dfn ><div class="doc" ><p >The <code - ><a href="" + ><a href="#" >s1</a ></code > record selector</p @@ -1401,15 +1410,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></li ><li ><dfn class="src" - ><a href="" id="v:s2" class="def" + ><a id="v:s2" class="def" >s2</a - > :: <a href="" + > :: <a href="#" >Int</a ></dfn ><div class="doc" ><p >The <code - ><a href="" + ><a href="#" >s2</a ></code > record selector</p @@ -1417,15 +1426,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></li ><li ><dfn class="src" - ><a href="" id="v:s3" class="def" + ><a id="v:s3" class="def" >s3</a - > :: <a href="" + > :: <a href="#" >Int</a ></dfn ><div class="doc" ><p >The <code - ><a href="" + ><a href="#" >s3</a ></code > record selector</p @@ -1448,48 +1457,64 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >class</span - > <a href="" + > <a href="#" >D</a - > a => <a href="" id="t:C" class="def" + > a => <a id="t:C" class="def" >C</a > a <span class="keyword" >where</span + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p >This comment applies to the <em >previous</em > declaration (the <code - ><a href="" + ><a href="#" >C</a ></code > class)</p ></div + ><div class="subs minimal" + ><p class="caption" + >Minimal complete definition</p + ><p class="src" + ><a href="#" + >a</a + >, <a href="#" + >b</a + ></p + ></div ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" - ><a href="" id="v:a" class="def" + ><a id="v:a" class="def" >a</a - > :: <a href="" + > :: <a href="#" >IO</a - > a</p + > a <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >this is a description of the <code - ><a href="" + ><a href="#" >a</a ></code > method</p ></div ><p class="src" - ><a href="" id="v:b" class="def" + ><a id="v:b" class="def" >b</a - > :: [a]</p + > :: [a] <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >this is a description of the <code - ><a href="" + ><a href="#" >b</a ></code > method</p @@ -1500,28 +1525,44 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >class</span - > <a href="" id="t:D" class="def" + > <a id="t:D" class="def" >D</a > a <span class="keyword" >where</span + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p >This is a class declaration with no separate docs for the methods</p ></div + ><div class="subs minimal" + ><p class="caption" + >Minimal complete definition</p + ><p class="src" + ><a href="#" + >d</a + >, <a href="#" + >e</a + ></p + ></div ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" - ><a href="" id="v:d" class="def" + ><a id="v:d" class="def" >d</a - > :: <a href="" + > :: <a href="#" >T</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ><p class="src" - ><a href="" id="v:e" class="def" + ><a id="v:e" class="def" >e</a - > :: (a, a)</p + > :: (a, a) <a href="#" class="selflink" + >#</a + ></p ></div ><div class="subs instances" ><p id="control.i:D" class="caption collapser" onclick="toggleSection('i:D')" @@ -1533,14 +1574,16 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><span class="inst-left" ><span id="control.i:ic:D:D:1" class="instance expander" onclick="toggleSection('i:ic:D:D:1')" ></span - > <a href="" + > <a href="#" >D</a - > <a href="" + > <a href="#" >Float</a ></span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td colspan="2" @@ -1549,21 +1592,25 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="caption" >Methods</p ><p class="src" - ><a href="" + ><a href="#" >d</a - > :: <a href="" + > :: <a href="#" >T</a - > <a href="" + > <a href="#" >Float</a - > b</p + > b <a href="#" class="selflink" + >#</a + ></p ><p class="src" - ><a href="" + ><a href="#" >e</a - > :: (<a href="" + > :: (<a href="#" >Float</a - >, <a href="" + >, <a href="#" >Float</a - >)</p + >) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -1573,14 +1620,16 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><span class="inst-left" ><span id="control.i:ic:D:D:2" class="instance expander" onclick="toggleSection('i:ic:D:D:2')" ></span - > <a href="" + > <a href="#" >D</a - > <a href="" + > <a href="#" >Int</a ></span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td colspan="2" @@ -1589,21 +1638,25 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="caption" >Methods</p ><p class="src" - ><a href="" + ><a href="#" >d</a - > :: <a href="" + > :: <a href="#" >T</a - > <a href="" + > <a href="#" >Int</a - > b</p + > b <a href="#" class="selflink" + >#</a + ></p ><p class="src" - ><a href="" + ><a href="#" >e</a - > :: (<a href="" + > :: (<a href="#" >Int</a - >, <a href="" + >, <a href="#" >Int</a - >)</p + >) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -1616,9 +1669,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >class</span - > <a href="" id="t:E" class="def" + > <a id="t:E" class="def" >E</a - > a</p + > a <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >This is a class declaration with no methods (or no methods exported)</p @@ -1634,44 +1689,78 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >class</span - > <a href="" id="t:F" class="def" + > <a id="t:F" class="def" >F</a > a <span class="keyword" >where</span + > <a href="#" class="selflink" + >#</a ></p + ><div class="subs minimal" + ><p class="caption" + >Minimal complete definition</p + ><p class="src" + ><a href="#" + >ff</a + ></p + ></div ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" - ><a href="" id="v:ff" class="def" + ><a id="v:ff" class="def" >ff</a - > :: a</p + > :: a <a href="#" class="selflink" + >#</a + ></p ></div ></div ><div class="doc" ><p >Test that we can export a class method on its own:</p ></div + ><div class="top" + ><p class="src" + ><a id="v:a" class="def" + >a</a + > :: <a href="#" + >C</a + > a => <a href="#" + >IO</a + > a <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >this is a description of the <code + ><a href="#" + >a</a + ></code + > method</p + ></div + ></div ><h1 id="g:5" >Function types</h1 ><div class="top" ><p class="src" - ><a href="" id="v:f" class="def" + ><a id="v:f" class="def" >f</a - > :: <a href="" + > :: <a href="#" >C</a - > a => a -> <a href="" + > a => a -> <a href="#" >Int</a + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p >In a comment string we can refer to identifiers in scope with single quotes like this: <code - ><a href="" + ><a href="#" >T</a ></code >, and we can refer to modules by -using double quotes: <a href="" +using double quotes: <a href="#" >Foo</a >. We can add emphasis <em >like this</em @@ -1700,7 +1789,7 @@ using double quotes: <a href="" ></dl ><pre > This is a block of code, which can include other markup: <code - ><a href="" + ><a href="#" >R</a ></code > @@ -1711,20 +1800,22 @@ using double quotes: <a href="" ><pre >this is another block of code</pre ><p - >We can also include URLs in documentation: <a href="" + >We can also include URLs in documentation: <a href="#" >http://www.haskell.org/</a >.</p ></div ></div ><div class="top" ><p class="src" - ><a href="" id="v:g" class="def" + ><a id="v:g" class="def" >g</a - > :: <a href="" + > :: <a href="#" >Int</a - > -> <a href="" + > -> <a href="#" >IO</a - > CInt</p + > CInt <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >we can export foreign declarations too</p @@ -1734,24 +1825,16 @@ using double quotes: <a href="" >Auxiliary stuff</h1 ><div class="doc" ><p - >This is some documentation that is attached to a name ($aux1) - rather than a source declaration. The documentation may be - referred to in the export list using its name.</p - ><pre - > code block in named doc</pre + >This is some documentation that is attached to a name ($aux1)</p ></div ><div class="doc" ><p >This is some documentation that is attached to a name ($aux2)</p ></div - ><div class="doc" - ><pre - > code block on its own in named doc</pre - ></div - ><div class="doc" - ><pre - > code block on its own in named doc (after newline)</pre - ></div + ><div class="doc empty" + ></div + ><div class="doc empty" + ></div ><div class="doc" ><p >a nested, named doc comment</p @@ -1809,12 +1892,8 @@ test4</pre test2 </pre ></div - ><div class="doc" - ><pre - >foo</pre - ><pre - >bar</pre - ></div + ><div class="doc empty" + ></div ><div class="doc" ><p >This is some inline documentation in the export list</p @@ -1827,19 +1906,21 @@ is at the beginning of the line).</pre >A hidden module</h1 ><div class="top" ><p class="src" - ><a href="" id="v:hidden" class="def" + ><a id="v:hidden" class="def" >hidden</a - > :: <a href="" + > :: <a href="#" >Int</a - > -> <a href="" + > -> <a href="#" >Int</a + > <a href="#" class="selflink" + >#</a ></p ></div ><h1 id="g:8" >A visible module</h1 ><div class="top" ><p class="src" - >module <a href="" + >module <a href="#" >Visible</a ></p ></div @@ -1853,9 +1934,11 @@ is at the beginning of the line).</pre ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:Ex" class="def" + > <a id="t:Ex" class="def" >Ex</a - > a</p + > a <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >A data-type using existential/universal types</p @@ -1866,47 +1949,41 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - ><span class="keyword" - >forall</span - > b . <a href="" + ><a href="#" >C</a - > b => <a href="" id="v:Ex1" class="def" + > b => <a id="v:Ex1" class="def" >Ex1</a > b</td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td class="src" - ><span class="keyword" - >forall</span - > b . <a href="" id="v:Ex2" class="def" + ><a id="v:Ex2" class="def" >Ex2</a > b</td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td class="src" - ><span class="keyword" - >forall</span - > b . <a href="" + ><a href="#" >C</a - > a => <a href="" id="v:Ex3" class="def" + > a => <a id="v:Ex3" class="def" >Ex3</a > b</td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td class="src" - ><a href="" id="v:Ex4" class="def" + ><a id="v:Ex4" class="def" >Ex4</a > (<span class="keyword" >forall</span > a. a -> a)</td ><td class="doc empty" - > </td + ></td ></tr ></table ></div @@ -1915,8 +1992,10 @@ is at the beginning of the line).</pre >Type signatures with argument docs</h1 ><div class="top" ><p class="src" - ><a href="" id="v:k" class="def" + ><a id="v:k" class="def" >k</a + > <a href="#" class="selflink" + >#</a ></p ><div class="subs arguments" ><p class="caption" @@ -1924,13 +2003,13 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - >:: <a href="" + >:: <a href="#" >T</a > () ()</td ><td class="doc" ><p >This argument has type <code - ><a href="" + ><a href="#" >T</a ></code ></p @@ -1938,11 +2017,11 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="" + >-> <a href="#" >T2</a - > <a href="" + > <a href="#" >Int</a - > <a href="" + > <a href="#" >Int</a ></td ><td class="doc" @@ -1952,17 +2031,17 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> (<a href="" + >-> (<a href="#" >T3</a - > <a href="" + > <a href="#" >Bool</a - > <a href="" + > <a href="#" >Bool</a - > -> <a href="" + > -> <a href="#" >T4</a - > <a href="" + > <a href="#" >Float</a - > <a href="" + > <a href="#" >Float</a >)</td ><td class="doc" @@ -1974,7 +2053,7 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="" + >-> <a href="#" >T5</a > () ()</td ><td class="doc" @@ -1986,7 +2065,7 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="" + >-> <a href="#" >IO</a > ()</td ><td class="doc" @@ -2003,8 +2082,10 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="" id="v:l" class="def" + ><a id="v:l" class="def" >l</a + > <a href="#" class="selflink" + >#</a ></p ><div class="subs arguments" ><p class="caption" @@ -2012,11 +2093,11 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - >:: (<a href="" + >:: (<a href="#" >Int</a - >, <a href="" + >, <a href="#" >Int</a - >, <a href="" + >, <a href="#" >Float</a >)</td ><td class="doc" @@ -2026,13 +2107,13 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="" + >-> <a href="#" >Int</a ></td ><td class="doc" ><p >returns an <code - ><a href="" + ><a href="#" >Int</a ></code ></p @@ -2043,8 +2124,10 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="" id="v:m" class="def" + ><a id="v:m" class="def" >m</a + > <a href="#" class="selflink" + >#</a ></p ><div class="subs arguments" ><p class="caption" @@ -2052,15 +2135,15 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - >:: <a href="" + >:: <a href="#" >R</a ></td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td class="src" - >-> <a href="" + >-> <a href="#" >N1</a > ()</td ><td class="doc" @@ -2070,9 +2153,9 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="" + >-> <a href="#" >IO</a - > <a href="" + > <a href="#" >Int</a ></td ><td class="doc" @@ -2089,8 +2172,10 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="" id="v:o" class="def" + ><a id="v:o" class="def" >o</a + > <a href="#" class="selflink" + >#</a ></p ><div class="subs arguments" ><p class="caption" @@ -2098,7 +2183,7 @@ is at the beginning of the line).</pre ><table ><tr ><td class="src" - >:: <a href="" + >:: <a href="#" >Float</a ></td ><td class="doc" @@ -2108,9 +2193,9 @@ is at the beginning of the line).</pre ></tr ><tr ><td class="src" - >-> <a href="" + >-> <a href="#" >IO</a - > <a href="" + > <a href="#" >Float</a ></td ><td class="doc" @@ -2139,15 +2224,17 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="" id="v:f-39-" class="def" + ><a id="v:f-39-" class="def" >f'</a - > :: <a href="" + > :: <a href="#" >Int</a + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p >a function with a prime can be referred to as <code - ><a href="" + ><a href="#" >f'</a ></code > @@ -2156,10 +2243,12 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="" id="v:withType" class="def" + ><a id="v:withType" class="def" >withType</a - > :: <a href="" + > :: <a href="#" >Int</a + > <a href="#" class="selflink" + >#</a ></p ><div class="doc" ><p @@ -2168,9 +2257,11 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="" id="v:withoutType" class="def" + ><a id="v:withoutType" class="def" >withoutType</a - > :: t</p + > :: a <a href="#" class="selflink" + >#</a + ></p ><div class="doc" ><p >Comment on a definition without type signature</p @@ -2179,11 +2270,7 @@ is at the beginning of the line).</pre ></div ></div ><div id="footer" - ><p - >Produced by <a href="" - >Haddock</a - > version 2.16.2</p - ></div + ></div ></body ></html -> +>
\ No newline at end of file |