<!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 src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" 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 >