diff options
Diffstat (limited to 'html-test/ref/Test.html')
| -rw-r--r-- | html-test/ref/Test.html | 845 |
1 files changed, 424 insertions, 421 deletions
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index 8b82fe0b..6fb34801 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,7 +640,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:T" class="def" + > <a href="#" id="t:T" class="def" >T</a > a b</p ><div class="doc" @@ -677,19 +656,19 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:A" class="def" + ><a href="#" 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 +676,21 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a href="" id="v:B" class="def" + ><a href="#" 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,7 +703,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:T2" class="def" + > <a href="#" id="t:T2" class="def" >T2</a > a b</p ><div class="doc" @@ -736,7 +715,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:T3" class="def" + > <a href="#" id="t:T3" class="def" >T3</a > a b</p ><div class="doc" @@ -749,19 +728,19 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:A1" class="def" + ><a href="#" 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 href="#" id="v:B1" class="def" >B1</a > b</td ><td class="doc empty" - > </td + ></td ></tr ></table ></div @@ -770,7 +749,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:T4" class="def" + > <a href="#" id="t:T4" class="def" >T4</a > a b</p ><div class="subs constructors" @@ -779,19 +758,19 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:A2" class="def" + ><a href="#" 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 href="#" id="v:B2" class="def" >B2</a > b</td ><td class="doc empty" - > </td + ></td ></tr ></table ></div @@ -800,7 +779,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:T5" class="def" + > <a href="#" id="t:T5" class="def" >T5</a > a b</p ><div class="subs constructors" @@ -809,13 +788,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:A3" class="def" + ><a href="#" 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 +802,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a href="" id="v:B3" class="def" + ><a href="#" id="v:B3" class="def" >B3</a > b</td ><td class="doc" ><p >documents <code - ><a href="" + ><a href="#" >B3</a ></code ></p @@ -842,7 +821,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:T6" class="def" + > <a href="#" id="t:T6" class="def" >T6</a ></p ><div class="doc" @@ -855,13 +834,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:A4" class="def" + ><a href="#" 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 +848,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a href="" id="v:B4" class="def" + ><a href="#" 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 +862,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a href="" id="v:C4" class="def" + ><a href="#" 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,7 +881,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a href="" id="t:N1" class="def" + > <a href="#" id="t:N1" class="def" >N1</a > a</p ><div class="doc" @@ -915,11 +894,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:N1" class="def" + ><a href="#" id="v:N1" class="def" >N1</a > a</td ><td class="doc empty" - > </td + ></td ></tr ></table ></div @@ -928,7 +907,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a href="" id="t:N2" class="def" + > <a href="#" id="t:N2" class="def" >N2</a > a b</p ><div class="doc" @@ -941,11 +920,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:N2" class="def" + ><a href="#" id="v:N2" class="def" >N2</a ></td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td colspan="2" @@ -955,11 +934,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:n" class="def" + ><a href="#" id="v:n" class="def" >n</a > :: a b</dfn ><div class="doc empty" - > </div + ></div ></li ></ul ></div @@ -972,7 +951,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a href="" id="t:N3" class="def" + > <a href="#" id="t:N3" class="def" >N3</a > a b</p ><div class="doc" @@ -985,11 +964,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:N3" class="def" + ><a href="#" id="v:N3" class="def" >N3</a ></td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td colspan="2" @@ -999,13 +978,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:n3" class="def" + ><a href="#" 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,7 +1001,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:N4" class="def" + > <a href="#" id="t:N4" class="def" >N4</a > a b</p ><div class="doc" @@ -1035,7 +1014,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a href="" id="t:N5" class="def" + > <a href="#" id="t:N5" class="def" >N5</a > a b</p ><div class="subs constructors" @@ -1044,11 +1023,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:N5" class="def" + ><a href="#" id="v:N5" class="def" >N5</a ></td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td colspan="2" @@ -1058,7 +1037,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:n5" class="def" + ><a href="#" id="v:n5" class="def" >n5</a > :: a b</dfn ><div class="doc" @@ -1077,7 +1056,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a href="" id="t:N6" class="def" + > <a href="#" id="t:N6" class="def" >N6</a > a b</p ><div class="subs constructors" @@ -1086,7 +1065,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:N6" class="def" + ><a href="#" id="v:N6" class="def" >N6</a ></td ><td class="doc" @@ -1102,11 +1081,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:n6" class="def" + ><a href="#" id="v:n6" class="def" >n6</a > :: a b</dfn ><div class="doc empty" - > </div + ></div ></li ></ul ></div @@ -1119,7 +1098,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a href="" id="t:N7" class="def" + > <a href="#" id="t:N7" class="def" >N7</a > a b</p ><div class="doc" @@ -1132,13 +1111,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:N7" class="def" + ><a href="#" 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 +1131,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:n7" class="def" + ><a href="#" id="v:n7" class="def" >n7</a > :: a b</dfn ><div class="doc empty" - > </div + ></div ></li ></ul ></div @@ -1171,30 +1150,30 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:R" class="def" + > <a href="#" id="t:R" class="def" >R</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 +1184,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:C1" class="def" + ><a href="#" 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 +1204,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:p" class="def" + ><a href="#" 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 +1220,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></li ><li ><dfn class="src" - ><a href="" id="v:q" class="def" + ><a href="#" id="v:q" class="def" >q</a > :: <span class="keyword" >forall</span @@ -1249,7 +1228,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 +1236,21 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></li ><li ><dfn class="src" - ><a href="" id="v:r" class="def" + ><a href="#" id="v:r" class="def" >r</a - >, <a href="" id="v:s" class="def" + >, <a href="#" 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 +1262,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></tr ><tr ><td class="src" - ><a href="" id="v:C2" class="def" + ><a href="#" 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 +1282,43 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:t" class="def" + ><a href="#" 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 href="#" id="v:u" class="def" >u</a - >, <a href="" id="v:v" class="def" + >, <a href="#" id="v:v" class="def" >v</a - > :: <a href="" + > :: <a href="#" >Int</a ></dfn ><div class="doc empty" - > </div + ></div ></li ></ul ></div @@ -1352,7 +1331,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:R1" class="def" + > <a href="#" id="t:R1" class="def" >R1</a ></p ><div class="doc" @@ -1365,13 +1344,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><table ><tr ><td class="src" - ><a href="" id="v:C3" class="def" + ><a href="#" 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 +1364,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><ul ><li ><dfn class="src" - ><a href="" id="v:s1" class="def" + ><a href="#" 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 +1380,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></li ><li ><dfn class="src" - ><a href="" id="v:s2" class="def" + ><a href="#" 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 +1396,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ></li ><li ><dfn class="src" - ><a href="" id="v:s3" class="def" + ><a href="#" 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,9 +1427,9 @@ 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 href="#" id="t:C" class="def" >C</a > a <span class="keyword" >where</span @@ -1460,36 +1439,46 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; >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 href="#" id="v:a" class="def" >a</a - > :: <a href="" + > :: <a href="#" >IO</a > 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 href="#" id="v:b" class="def" >b</a > :: [a]</p ><div class="doc" ><p >this is a description of the <code - ><a href="" + ><a href="#" >b</a ></code > method</p @@ -1500,7 +1489,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >class</span - > <a href="" id="t:D" class="def" + > <a href="#" id="t:D" class="def" >D</a > a <span class="keyword" >where</span @@ -1509,17 +1498,27 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><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 href="#" id="v:d" class="def" >d</a - > :: <a href="" + > :: <a href="#" >T</a > a b</p ><p class="src" - ><a href="" id="v:e" class="def" + ><a href="#" id="v:e" class="def" >e</a > :: (a, a)</p ></div @@ -1533,14 +1532,14 @@ 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 ></td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td colspan="2" @@ -1549,19 +1548,19 @@ 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 ><p class="src" - ><a href="" + ><a href="#" >e</a - > :: (<a href="" + > :: (<a href="#" >Float</a - >, <a href="" + >, <a href="#" >Float</a >)</p ></div @@ -1573,14 +1572,14 @@ 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 ></td ><td class="doc empty" - > </td + ></td ></tr ><tr ><td colspan="2" @@ -1589,19 +1588,19 @@ 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 ><p class="src" - ><a href="" + ><a href="#" >e</a - > :: (<a href="" + > :: (<a href="#" >Int</a - >, <a href="" + >, <a href="#" >Int</a >)</p ></div @@ -1616,7 +1615,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >class</span - > <a href="" id="t:E" class="def" + > <a href="#" id="t:E" class="def" >E</a > a</p ><div class="doc" @@ -1634,16 +1633,24 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >class</span - > <a href="" id="t:F" class="def" + > <a href="#" id="t:F" class="def" >F</a > a <span class="keyword" >where</span ></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 href="#" id="v:ff" class="def" >ff</a > :: a</p ></div @@ -1652,26 +1659,44 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p >Test that we can export a class method on its own:</p ></div + ><div class="top" + ><p class="src" + ><a href="#" id="v:a" class="def" + >a</a + > :: <a href="#" + >C</a + > a => <a href="#" + >IO</a + > 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 href="#" id="v:f" class="def" >f</a - > :: <a href="" + > :: <a href="#" >C</a - > a => a -> <a href="" + > a => a -> <a href="#" >Int</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 +1725,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,18 +1736,18 @@ 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 href="#" id="v:g" class="def" >g</a - > :: <a href="" + > :: <a href="#" >Int</a - > -> <a href="" + > -> <a href="#" >IO</a > CInt</p ><div class="doc" @@ -1734,24 +1759,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 +1826,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,11 +1840,11 @@ 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 href="#" id="v:hidden" class="def" >hidden</a - > :: <a href="" + > :: <a href="#" >Int</a - > -> <a href="" + > -> <a href="#" >Int</a ></p ></div @@ -1839,7 +1852,7 @@ is at the beginning of the line).</pre >A visible module</h1 ><div class="top" ><p class="src" - >module <a href="" + >module <a href="#" >Visible</a ></p ></div @@ -1853,7 +1866,7 @@ is at the beginning of the line).</pre ><p class="src" ><span class="keyword" >data</span - > <a href="" id="t:Ex" class="def" + > <a href="#" id="t:Ex" class="def" >Ex</a > a</p ><div class="doc" @@ -1866,47 +1879,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 href="#" 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 href="#" 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 href="#" 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 href="#" 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,7 +1922,7 @@ 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 href="#" id="v:k" class="def" >k</a ></p ><div class="subs arguments" @@ -1924,13 +1931,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 +1945,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 +1959,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 +1981,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 +1993,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,7 +2010,7 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="" id="v:l" class="def" + ><a href="#" id="v:l" class="def" >l</a ></p ><div class="subs arguments" @@ -2012,11 +2019,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 +2033,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,7 +2050,7 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="" id="v:m" class="def" + ><a href="#" id="v:m" class="def" >m</a ></p ><div class="subs arguments" @@ -2052,15 +2059,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 +2077,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,7 +2096,7 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="" id="v:o" class="def" + ><a href="#" id="v:o" class="def" >o</a ></p ><div class="subs arguments" @@ -2098,7 +2105,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 +2115,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 +2146,15 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="" id="v:f-39-" class="def" + ><a href="#" id="v:f-39-" class="def" >f'</a - > :: <a href="" + > :: <a href="#" >Int</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,9 +2163,9 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="" id="v:withType" class="def" + ><a href="#" id="v:withType" class="def" >withType</a - > :: <a href="" + > :: <a href="#" >Int</a ></p ><div class="doc" @@ -2168,9 +2175,9 @@ is at the beginning of the line).</pre ></div ><div class="top" ><p class="src" - ><a href="" id="v:withoutType" class="def" + ><a href="#" id="v:withoutType" class="def" >withoutType</a - > :: t</p + > :: a</p ><div class="doc" ><p >Comment on a definition without type signature</p @@ -2179,11 +2186,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 |