diff options
Diffstat (limited to 'html-test/ref/mini_Test.html')
| -rw-r--r-- | html-test/ref/mini_Test.html | 269 | 
1 files changed, 269 insertions, 0 deletions
diff --git a/html-test/ref/mini_Test.html b/html-test/ref/mini_Test.html new file mode 100644 index 00000000..26db2c0f --- /dev/null +++ b/html-test/ref/mini_Test.html @@ -0,0 +1,269 @@ +<!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" +     /><script src="haddock-util.js" type="text/javascript" +    ></script +    ><script type="text/javascript" +    >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script +    ></head +  ><body id="mini" +  ><div id="module-header" +    ><p class="caption" +      >Test</p +      ></div +    ><div id="interface" +    ><h1 +      >Type declarations +</h1 +      ><h2 +      >Data types +</h2 +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >T</a +	  > a b</p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >T2</a +	  > a b</p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >T3</a +	  > a b</p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >T4</a +	  > a b</p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >T5</a +	  > a b</p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >T6</a +	  > </p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >N1</a +	  > a</p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >N2</a +	  > a b</p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >N3</a +	  > a b</p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >N4</a +	  > a b</p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >N5</a +	  > a b</p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >N6</a +	  > a b</p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >N7</a +	  > a b</p +	></div +      ><h2 +      >Records +</h2 +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >R</a +	  > </p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >R1</a +	  > </p +	></div +      ><h1 +      >Class declarations +</h1 +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >class</span +	  > <a href="" target="main" +	  >C</a +	  > a</p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >class</span +	  > <a href="" target="main" +	  >D</a +	  > a</p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >class</span +	  > <a href="" target="main" +	  >E</a +	  > a</p +	></div +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >class</span +	  > <a href="" target="main" +	  >F</a +	  > a</p +	></div +      ><h1 +      >Function types +</h1 +      ><div class="top" +      ><p class="src" +	><a href="" target="main" +	  >f</a +	  ></p +	></div +      ><h1 +      >Auxiliary stuff +</h1 +      ><h1 +      >A hidden module +</h1 +      ><div class="top" +      ><p class="src" +	><a href="" target="main" +	  >hidden</a +	  ></p +	></div +      ><h1 +      >A visible module +</h1 +      ><h1 +      >Existential / Universal types +</h1 +      ><div class="top" +      ><p class="src" +	><span class="keyword" +	  >data</span +	  > <a href="" target="main" +	  >Ex</a +	  > a</p +	></div +      ><h1 +      >Type signatures with argument docs +</h1 +      ><div class="top" +      ><p class="src" +	><a href="" target="main" +	  >k</a +	  ></p +	></div +      ><div class="top" +      ><p class="src" +	><a href="" target="main" +	  >l</a +	  ></p +	></div +      ><div class="top" +      ><p class="src" +	><a href="" target="main" +	  >m</a +	  ></p +	></div +      ><h1 +      >A section +</h1 +      ><h2 +      >A subsection  +</h2 +      ><div class="top" +      ><p class="src" +	><a href="" target="main" +	  >f'</a +	  ></p +	></div +      ><div class="top" +      ><p class="src" +	><a href="" target="main" +	  >withType</a +	  ></p +	></div +      ><div class="top" +      ><p class="src" +	><a href="" target="main" +	  >withoutType</a +	  ></p +	></div +      ></div +    ></body +  ></html +>  | 
