diff options
Diffstat (limited to 'html-test/ref/Test.html')
| -rw-r--r-- | html-test/ref/Test.html | 166 |
1 files changed, 83 insertions, 83 deletions
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index b54b3a05..02146623 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -161,7 +161,7 @@ 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 @@ -173,7 +173,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; >Maybe</a > <a href="" >Float</a - >) </li + >)</li ><li >| <a href="" >B</a @@ -185,87 +185,87 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; >Int</a > <a href="" >Float</a - >) </li + >)</li ></ul ></li ><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="" >A1</a - > a </li + > a</li ><li >| <a href="" >B1</a - > b </li + > b</li ></ul ></li ><li class="src short" ><span class="keyword" >data</span - > <a href="" + > <a href="" >T4</a > a b<ul class="subs" ><li >= <a href="" >A2</a - > a </li + > a</li ><li >| <a href="" >B2</a - > b </li + > b</li ></ul ></li ><li class="src short" ><span class="keyword" >data</span - > <a href="" + > <a href="" >T5</a > a b<ul class="subs" ><li >= <a href="" >A3</a - > a </li + > a</li ><li >| <a href="" >B3</a - > b </li + > b</li ></ul ></li ><li class="src short" ><span class="keyword" >data</span - > <a href="" + > <a href="" >T6</a - > <ul class="subs" + ><ul class="subs" ><li >= <a href="" >A4</a - > </li + ></li ><li >| <a href="" >B4</a - > </li + ></li ><li >| <a href="" >C4</a - > </li + ></li ></ul ></li ><li class="src short" ><span class="keyword" >newtype</span - > <a href="" + > <a href="" >N1</a > a = <a href="" >N1</a @@ -273,7 +273,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >newtype</span - > <a href="" + > <a href="" >N2</a > a b = <a href="" >N2</a @@ -287,7 +287,7 @@ 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="" >N3</a @@ -301,13 +301,13 @@ 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="" >N5</a @@ -321,7 +321,7 @@ 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="" >N6</a @@ -335,7 +335,7 @@ 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="" >N7</a @@ -349,9 +349,9 @@ 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" + ><ul class="subs" ><li >= <a href="" >C1</a @@ -367,7 +367,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; >q</a > :: <span class="keyword" >forall</span - > a. a -> a</li + > a. a -> a</li ><li ><a href="" >r</a @@ -429,9 +429,9 @@ 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 @@ -461,7 +461,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; >D</a > a => <a href="" >C</a - > a <span class="keyword" + > a <span class="keyword" >where</span ><ul class="subs" ><li @@ -479,9 +479,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >class</span - > <a href="" + > <a href="" >D</a - > a <span class="keyword" + > a <span class="keyword" >where</span ><ul class="subs" ><li @@ -499,15 +499,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >class</span - > <a href="" + > <a href="" >E</a - > a </li + > a</li ><li class="src short" ><span class="keyword" >class</span - > <a href="" + > <a href="" >F</a - > a <span class="keyword" + > a <span class="keyword" >where</span ><ul class="subs" ><li @@ -547,7 +547,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><li class="src short" ><span class="keyword" >data</span - > <a href="" + > <a href="" >Ex</a > a<ul class="subs" ><li @@ -557,13 +557,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; >C</a > b => <a href="" >Ex1</a - > b </li + > b</li ><li >| <span class="keyword" >forall</span > b . <a href="" >Ex2</a - > b </li + > b</li ><li >| <span class="keyword" >forall</span @@ -571,13 +571,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; >C</a > a => <a href="" >Ex3</a - > b </li + > b</li ><li >| <a href="" >Ex4</a > (<span class="keyword" >forall</span - > a. a -> a) </li + > a. a -> a)</li ></ul ></li ><li class="src short" @@ -669,9 +669,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:T" class="def" + > <a name="t:T" class="def" >T</a - > a b </p + > a b</p ><div class="doc" ><p >This comment applies to the <em @@ -732,9 +732,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:T2" class="def" + > <a name="t:T2" class="def" >T2</a - > a b </p + > a b</p ><div class="doc" ><p >An abstract data declaration</p @@ -744,9 +744,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:T3" class="def" + > <a name="t:T3" class="def" >T3</a - > a b </p + > a b</p ><div class="doc" ><p >A data declaration with no documentation annotations on the constructors</p @@ -778,9 +778,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:T4" class="def" + > <a name="t:T4" class="def" >T4</a - > a b </p + > a b</p ><div class="subs constructors" ><p class="caption" >Constructors</p @@ -808,9 +808,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:T5" class="def" + > <a name="t:T5" class="def" >T5</a - > a b </p + > a b</p ><div class="subs constructors" ><p class="caption" >Constructors</p @@ -850,9 +850,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:T6" class="def" + > <a name="t:T6" class="def" >T6</a - > </p + ></p ><div class="doc" ><p >Testing alternative comment styles</p @@ -910,9 +910,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a name="t:N1" class="def" + > <a name="t:N1" class="def" >N1</a - > a </p + > a</p ><div class="doc" ><p >A newtype</p @@ -936,9 +936,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a name="t:N2" class="def" + > <a name="t:N2" class="def" >N2</a - > a b </p + > a b</p ><div class="doc" ><p >A newtype with a fieldname</p @@ -980,9 +980,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a name="t:N3" class="def" + > <a name="t:N3" class="def" >N3</a - > a b </p + > a b</p ><div class="doc" ><p >A newtype with a fieldname, documentation on the field</p @@ -1030,9 +1030,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:N4" class="def" + > <a name="t:N4" class="def" >N4</a - > a b </p + > a b</p ><div class="doc" ><p >An abstract newtype - we show this one as data rather than newtype because @@ -1043,9 +1043,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a name="t:N5" class="def" + > <a name="t:N5" class="def" >N5</a - > a b </p + > a b</p ><div class="subs constructors" ><p class="caption" >Constructors</p @@ -1085,9 +1085,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a name="t:N6" class="def" + > <a name="t:N6" class="def" >N6</a - > a b </p + > a b</p ><div class="subs constructors" ><p class="caption" >Constructors</p @@ -1127,9 +1127,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >newtype</span - > <a name="t:N7" class="def" + > <a name="t:N7" class="def" >N7</a - > a b </p + > a b</p ><div class="doc" ><p >docs on the newtype and the constructor</p @@ -1179,9 +1179,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:R" class="def" + > <a name="t:R" class="def" >R</a - > </p + ></p ><div class="doc" ><p >This is the documentation for the <code @@ -1250,7 +1250,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; >q</a > :: <span class="keyword" >forall</span - > a. a -> a</dt + > a. a -> a</dt ><dd class="doc" ><p >This comment applies to the <code @@ -1376,9 +1376,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:R1" class="def" + > <a name="t:R1" class="def" >R1</a - > </p + ></p ><div class="doc" ><p >Testing different record commenting styles</p @@ -1472,7 +1472,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; >D</a > a => <a name="t:C" class="def" >C</a - > a <span class="keyword" + > a <span class="keyword" >where</span ></p ><div class="doc" @@ -1520,9 +1520,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >class</span - > <a name="t:D" class="def" + > <a name="t:D" class="def" >D</a - > a <span class="keyword" + > a <span class="keyword" >where</span ></p ><div class="doc" @@ -1576,9 +1576,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >class</span - > <a name="t:E" class="def" + > <a name="t:E" class="def" >E</a - > a </p + > a</p ><div class="doc" ><p >This is a class declaration with no methods (or no methods exported)</p @@ -1588,9 +1588,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><p class="src" ><span class="keyword" >class</span - > <a name="t:F" class="def" + > <a name="t:F" class="def" >F</a - > a <span class="keyword" + > a <span class="keyword" >where</span ></p ><div class="subs methods" @@ -1807,9 +1807,9 @@ test2 ><p class="src" ><span class="keyword" >data</span - > <a name="t:Ex" class="def" + > <a name="t:Ex" class="def" >Ex</a - > a </p + > a</p ><div class="doc" ><p >A data-type using existential/universal types</p @@ -1858,7 +1858,7 @@ test2 >Ex4</a > (<span class="keyword" >forall</span - > a. a -> a)</td + > a. a -> a)</td ><td class="doc empty" > </td ></tr |