<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="#" rel="stylesheet" type="text/css" title="Ocean"
/><link rel="stylesheet" type="text/css" href="#"
/><script src="haddock-bundle.min.js" async="async" 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
></head
><body
><div id="package-header"
><ul class="links" id="page-menu"
><li
><a href="#"
>Contents</a
></li
><li
><a href="#"
>Index</a
></li
></ul
><p class="caption empty"
></p
></div
><div id="content"
><div id="module-header"
><table class="info"
><tr
><th valign="top"
>Copyright</th
><td
>(c) Simon Marlow 2002</td
></tr
><tr
><th
>License</th
><td
>BSD-style</td
></tr
><tr
><th
>Maintainer</th
><td
>libraries@haskell.org</td
></tr
><tr
><th
>Stability</th
><td
>provisional</td
></tr
><tr
><th
>Portability</th
><td
>portable</td
></tr
><tr
><th
>Safe Haskell</th
><td
>Safe</td
></tr
></table
><p class="caption"
>Test</p
></div
><div id="table-of-contents"
><p class="caption"
>Contents</p
><ul
><li
><a href="#"
>Type declarations</a
><ul
><li
><a href="#"
>Data types</a
></li
><li
><a href="#"
>Records</a
></li
></ul
></li
><li
><a href="#"
>Class declarations</a
></li
><li
><a href="#"
>Function types</a
></li
><li
><a href="#"
>Auxiliary stuff</a
></li
><li
><a href="#"
>A hidden module</a
></li
><li
><a href="#"
>A visible module</a
></li
><li
><a href="#"
>Existential / Universal types</a
></li
><li
><a href="#"
>Type signatures with argument docs</a
></li
><li
><a href="#"
>A section</a
><ul
><li
><a href="#"
>A subsection</a
></li
></ul
></li
></ul
></div
><div id="description"
><p class="caption"
>Description</p
><div class="doc"
><p
>This module illustrates & tests most of the features of Haddock.
Testing references from the description: <code
><a href="#"
>T</a
></code
>, <code
><a href="#"
>f</a
></code
>, <code
><a href="#"
>g</a
></code
>, <code
><a href="#"
>visible</a
></code
>.</p
></div
></div
><div id="synopsis"
><details id="syn"
><summary
>Synopsis</summary
><ul class="details-toggle" data-details-id="syn"
><li class="src short"
><span class="keyword"
>data</span
> <a href="#"
>T</a
> a b<ul class="subs"
><li
>= <a href="#"
>A</a
> <a href="#"
>Int</a
> (<a href="#"
>Maybe</a
> <a href="#"
>Float</a
>)</li
><li
>| <a href="#"
>B</a
> (<a href="#"
>T</a
> a b, <a href="#"
>T</a
> <a href="#"
>Int</a
> <a href="#"
>Float</a
>)</li
></ul
></li
><li class="src short"
><span class="keyword"
>data</span
> <a href="#"
>T2</a
> a b</li
><li class="src short"
><span class="keyword"
>data</span
> <a href="#"
>T3</a
> a b<ul class="subs"
><li
>= <a href="#"
>A1</a
> a</li
><li
>| <a href="#"
>B1</a
> b</li
></ul
></li
><li class="src short"
><span class="keyword"
>data</span
> <a href="#"
>T4</a
> a b<ul class="subs"
><li
>= <a href="#"
>A2</a
> a</li
><li
>| <a href="#"
>B2</a
> b</li
></ul
></li
><li class="src short"
><span class="keyword"
>data</span
> <a href="#"
>T5</a
> a b<ul class="subs"
><li
>= <a href="#"
>A3</a
> a</li
><li
>| <a href="#"
>B3</a
> b</li
></ul
></li
><li class="src short"
><span class="keyword"
>data</span
> <a href="#"
>T6</a
><ul class="subs"
><li
>= <a href="#"
>A4</a
></li
><li
>| <a href="#"
>B4</a
></li
><li
>| <a href="#"
>C4</a
></li
></ul
></li
><li class="src short"
><span class="keyword"
>newtype</span
> <a href="#"
>N1</a
> a = <a href="#"
>N1</a
> a</li
><li class="src short"
><span class="keyword"
>newtype</span
> <a href="#"
>N2</a
> a b = <a href="#"
>N2</a
> {<ul class="subs"
><li
><a href="#"
>n</a
> :: a b</li
></ul
>}</li
><li class="src short"
><span class="keyword"
>newtype</span
> <a href="#"
>N3</a
> a b = <a href="#"
>N3</a
> {<ul class="subs"
><li
><a href="#"
>n3</a
> :: a b</li
></ul
>}</li
><li class="src short"
><span class="keyword"
>data</span
> <a href="#"
>N4</a
> a b</li
><li class="src short"
><span class="keyword"
>newtype</span
> <a href="#"
>N5</a
> a b = <a href="#"
>N5</a
> {<ul class="subs"
><li
><a href="#"
>n5</a
> :: a b</li
></ul
>}</li
><li class="src short"
><span class="keyword"
>newtype</span
> <a href="#"
>N6</a
> a b = <a href="#"
>N6</a
> {<ul class="subs"
><li
><a href="#"
>n6</a
> :: a b</li
></ul
>}</li
><li class="src short"
><span class="keyword"
>newtype</span
> <a href="#"
>N7</a
> a b = <a href="#"
>N7</a
> {<ul class="subs"
><li
><a href="#"
>n7</a
> :: a b</li
></ul
>}</li
><li class="src short"
><span class="keyword"
>data</span
> <a href="#"
>R</a
><ul class="subs"
><li
>= <a href="#"
>C1</a
> { <ul class="subs"
><li
><a href="#"
>p</a
> :: <a href="#"
>Int</a
></li
><li
><a href="#"
>q</a
> :: <span class="keyword"
>forall</span
> a. a -> a</li
><li
><a href="#"
>r</a
>, <a href="#"
>s</a
> :: <a href="#"
>Int</a
></li
></ul
> }</li
><li
>| <a href="#"
>C2</a
> { <ul class="subs"
><li
><a href="#"
>t</a
> :: T1 -> <a href="#"
>T2</a
> <a href="#"
>Int</a
> <a href="#"
>Int</a
> -> <a href="#"
>T3</a
> <a href="#"
>Bool</a
> <a href="#"
>Bool</a
> -> <a href="#"
>T4</a
> <a href="#"
>Float</a
> <a href="#"
>Float</a
> -> <a href="#"
>T5</a
> () ()</li
><li
><a href="#"
>u</a
>, <a href="#"
>v</a
> :: <a href="#"
>Int</a
></li
></ul
> }</li
></ul
></li
><li class="src short"
><span class="keyword"
>data</span
> <a href="#"
>R1</a
> = <a href="#"
>C3</a
> {<ul class="subs"
><li
><a href="#"
>s1</a
> :: <a href="#"
>Int</a
></li
><li
><a href="#"
>s2</a
> :: <a href="#"
>Int</a
></li
><li
><a href="#"
>s3</a
> :: <a href="#"
>Int</a
></li
></ul
>}</li
><li class="src short"
><span class="keyword"
>class</span
> <a href="#"
>D</a
> a => <a href="#"
>C</a
> a <span class="keyword"
>where</span
><ul class="subs"
></ul
></li
><li class="src short"
><span class="keyword"
>class</span
> <a href="#"
>D</a
> a <span class="keyword"
>where</span
><ul class="subs"
></ul
></li
><li class="src short"
><span class="keyword"
>class</span
> <a href="#"
>E</a
> a</li
><li class="src short"
><span class="keyword"
>class</span
> <a href="#"
>F</a
> a <span class="keyword"
>where</span
><ul class="subs"
></ul
></li
><li class="src short"
><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="#"
>C</a
> a => a -> <a href="#"
>Int</a
></li
><li class="src short"
><a href="#"
>g</a
> :: <a href="#"
>Int</a
> -> <a href="#"
>IO</a
> CInt</li
><li class="src short"
><a href="#"
>hidden</a
> :: <a href="#"
>Int</a
> -> <a href="#"
>Int</a
></li
><li class="src short"
>module <a href="#"
>Visible</a
></li
><li class="src short"
><span class="keyword"
>data</span
> <a href="#"
>Ex</a
> a<ul class="subs"
><li
>= <a href="#"
>C</a
> b => <a href="#"
>Ex1</a
> b</li
><li
>| <a href="#"
>Ex2</a
> b</li
><li
>| <a href="#"
>C</a
> a => <a href="#"
>Ex3</a
> b</li
><li
>| <a href="#"
>Ex4</a
> (<span class="keyword"
>forall</span
> a. a -> a)</li
></ul
></li
><li class="src short"
><a href="#"
>k</a
> :: <a href="#"
>T</a
> () () -> <a href="#"
>T2</a
> <a href="#"
>Int</a
> <a href="#"
>Int</a
> -> (<a href="#"
>T3</a
> <a href="#"
>Bool</a
> <a href="#"
>Bool</a
> -> <a href="#"
>T4</a
> <a href="#"
>Float</a
> <a href="#"
>Float</a
>) -> <a href="#"
>T5</a
> () () -> <a href="#"
>IO</a
> ()</li
><li class="src short"
><a href="#"
>l</a
> :: (<a href="#"
>Int</a
>, <a href="#"
>Int</a
>, <a href="#"
>Float</a
>) -> <a href="#"
>Int</a
></li
><li class="src short"
><a href="#"
>m</a
> :: <a href="#"
>R</a
> -> <a href="#"
>N1</a
> () -> <a href="#"
>IO</a
> <a href="#"
>Int</a
></li
><li class="src short"
><a href="#"
>o</a
> :: <a href="#"
>Float</a
> -> <a href="#"
>IO</a
> <a href="#"
>Float</a
></li
><li class="src short"
><a href="#"
>f'</a
> :: <a href="#"
>Int</a
></li
><li class="src short"
><a href="#"
>withType</a
> :: <a href="#"
>Int</a
></li
><li class="src short"
><a href="#"
>withoutType</a
> :: a</li
></ul
></details
></div
><div id="interface"
><h1 id="g:1"
>Type declarations</h1
><h2 id="g:2"
>Data types</h2
><div class="top"
><p class="src"
><span class="keyword"
>data</span
> <a id="t:T" class="def"
>T</a
> a b <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>This comment applies to the <em
>following</em
> declaration
and it continues until the next non-comment line</p
></div
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
><a id="v:A" class="def"
>A</a
> <a href="#"
>Int</a
> (<a href="#"
>Maybe</a
> <a href="#"
>Float</a
>)</td
><td class="doc"
><p
>This comment describes the <code
><a href="#"
>A</a
></code
> constructor</p
></td
></tr
><tr
><td class="src"
><a id="v:B" class="def"
>B</a
> (<a href="#"
>T</a
> a b, <a href="#"
>T</a
> <a href="#"
>Int</a
> <a href="#"
>Float</a
>)</td
><td class="doc"
><p
>This comment describes the <code
><a href="#"
>B</a
></code
> constructor</p
></td
></tr
></table
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>data</span
> <a id="t:T2" class="def"
>T2</a
> a b <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>An abstract data declaration</p
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>data</span
> <a id="t:T3" class="def"
>T3</a
> a b <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>A data declaration with no documentation annotations on the constructors</p
></div
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
><a id="v:A1" class="def"
>A1</a
> a</td
><td class="doc empty"
></td
></tr
><tr
><td class="src"
><a id="v:B1" class="def"
>B1</a
> b</td
><td class="doc empty"
></td
></tr
></table
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>data</span
> <a id="t:T4" class="def"
>T4</a
> a b <a href="#" class="selflink"
>#</a
></p
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
><a id="v:A2" class="def"
>A2</a
> a</td
><td class="doc empty"
></td
></tr
><tr
><td class="src"
><a id="v:B2" class="def"
>B2</a
> b</td
><td class="doc empty"
></td
></tr
></table
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>data</span
> <a id="t:T5" class="def"
>T5</a
> a b <a href="#" class="selflink"
>#</a
></p
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
><a id="v:A3" class="def"
>A3</a
> a</td
><td class="doc"
><p
>documents <code
><a href="#"
>A3</a
></code
></p
></td
></tr
><tr
><td class="src"
><a id="v:B3" class="def"
>B3</a
> b</td
><td class="doc"
><p
>documents <code
><a href="#"
>B3</a
></code
></p
></td
></tr
></table
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>data</span
> <a id="t:T6" class="def"
>T6</a
> <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>Testing alternative comment styles</p
></div
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
><a id="v:A4" class="def"
>A4</a
></td
><td class="doc"
><p
>This is the doc for <code
><a href="#"
>A4</a
></code
></p
></td
></tr
><tr
><td class="src"
><a id="v:B4" class="def"
>B4</a
></td
><td class="doc"
><p
>This is the doc for <code
><a href="#"
>B4</a
></code
></p
></td
></tr
><tr
><td class="src"
><a id="v:C4" class="def"
>C4</a
></td
><td class="doc"
><p
>This is the doc for <code
><a href="#"
>C4</a
></code
></p
></td
></tr
></table
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>newtype</span
> <a id="t:N1" class="def"
>N1</a
> a <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>A newtype</p
></div
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
><a id="v:N1" class="def"
>N1</a
> a</td
><td class="doc empty"
></td
></tr
></table
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>newtype</span
> <a id="t:N2" class="def"
>N2</a
> a b <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>A newtype with a fieldname</p
></div
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
><a id="v:N2" class="def"
>N2</a
></td
><td class="doc empty"
></td
></tr
><tr
><td colspan="2"
><div class="subs fields"
><p class="caption"
>Fields</p
><ul
><li
><dfn class="src"
><a id="v:n" class="def"
>n</a
> :: a b</dfn
><div class="doc empty"
></div
></li
></ul
></div
></td
></tr
></table
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>newtype</span
> <a id="t:N3" class="def"
>N3</a
> a b <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>A newtype with a fieldname, documentation on the field</p
></div
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
><a id="v:N3" class="def"
>N3</a
></td
><td class="doc empty"
></td
></tr
><tr
><td colspan="2"
><div class="subs fields"
><p class="caption"
>Fields</p
><ul
><li
><dfn class="src"
><a id="v:n3" class="def"
>n3</a
> :: a b</dfn
><div class="doc"
><p
>this is the <code
><a href="#"
>n3</a
></code
> field</p
></div
></li
></ul
></div
></td
></tr
></table
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>data</span
> <a id="t:N4" class="def"
>N4</a
> 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
the difference isn't visible to the programmer for an abstract type.</p
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>newtype</span
> <a id="t:N5" class="def"
>N5</a
> a b <a href="#" class="selflink"
>#</a
></p
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
><a id="v:N5" class="def"
>N5</a
></td
><td class="doc empty"
></td
></tr
><tr
><td colspan="2"
><div class="subs fields"
><p class="caption"
>Fields</p
><ul
><li
><dfn class="src"
><a id="v:n5" class="def"
>n5</a
> :: a b</dfn
><div class="doc"
><p
>no docs on the datatype or the constructor</p
></div
></li
></ul
></div
></td
></tr
></table
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>newtype</span
> <a id="t:N6" class="def"
>N6</a
> a b <a href="#" class="selflink"
>#</a
></p
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
><a id="v:N6" class="def"
>N6</a
></td
><td class="doc"
><p
>docs on the constructor only</p
></td
></tr
><tr
><td colspan="2"
><div class="subs fields"
><p class="caption"
>Fields</p
><ul
><li
><dfn class="src"
><a id="v:n6" class="def"
>n6</a
> :: a b</dfn
><div class="doc empty"
></div
></li
></ul
></div
></td
></tr
></table
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>newtype</span
> <a id="t:N7" class="def"
>N7</a
> a b <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>docs on the newtype and the constructor</p
></div
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
><a id="v:N7" class="def"
>N7</a
></td
><td class="doc"
><p
>The <code
><a href="#"
>N7</a
></code
> constructor</p
></td
></tr
><tr
><td colspan="2"
><div class="subs fields"
><p class="caption"
>Fields</p
><ul
><li
><dfn class="src"
><a id="v:n7" class="def"
>n7</a
> :: a b</dfn
><div class="doc empty"
></div
></li
></ul
></div
></td
></tr
></table
></div
></div
><h2 id="g:3"
>Records</h2
><div class="top"
><p class="src"
><span class="keyword"
>data</span
> <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="#"
>R</a
></code
> record, which has four fields,
<code
><a href="#"
>p</a
></code
>, <code
><a href="#"
>q</a
></code
>, <code
><a href="#"
>r</a
></code
>, and <code
><a href="#"
>s</a
></code
>.</p
></div
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
><a id="v:C1" class="def"
>C1</a
></td
><td class="doc"
><p
>This is the <code
><a href="#"
>C1</a
></code
> record constructor, with the following fields:</p
></td
></tr
><tr
><td colspan="2"
><div class="subs fields"
><p class="caption"
>Fields</p
><ul
><li
><dfn class="src"
><a id="v:p" class="def"
>p</a
> :: <a href="#"
>Int</a
></dfn
><div class="doc"
><p
>This comment applies to the <code
><a href="#"
>p</a
></code
> field</p
></div
></li
><li
><dfn class="src"
><a id="v:q" class="def"
>q</a
> :: <span class="keyword"
>forall</span
> a. a -> a</dfn
><div class="doc"
><p
>This comment applies to the <code
><a href="#"
>q</a
></code
> field</p
></div
></li
><li
><dfn class="src"
><a id="v:r" class="def"
>r</a
>, <a id="v:s" class="def"
>s</a
> :: <a href="#"
>Int</a
></dfn
><div class="doc"
><p
>This comment applies to both <code
><a href="#"
>r</a
></code
> and <code
><a href="#"
>s</a
></code
></p
></div
></li
></ul
></div
></td
></tr
><tr
><td class="src"
><a id="v:C2" class="def"
>C2</a
></td
><td class="doc"
><p
>This is the <code
><a href="#"
>C2</a
></code
> record constructor, also with some fields:</p
></td
></tr
><tr
><td colspan="2"
><div class="subs fields"
><p class="caption"
>Fields</p
><ul
><li
><dfn class="src"
><a id="v:t" class="def"
>t</a
> :: T1 -> <a href="#"
>T2</a
> <a href="#"
>Int</a
> <a href="#"
>Int</a
> -> <a href="#"
>T3</a
> <a href="#"
>Bool</a
> <a href="#"
>Bool</a
> -> <a href="#"
>T4</a
> <a href="#"
>Float</a
> <a href="#"
>Float</a
> -> <a href="#"
>T5</a
> () ()</dfn
><div class="doc empty"
></div
></li
><li
><dfn class="src"
><a id="v:u" class="def"
>u</a
>, <a id="v:v" class="def"
>v</a
> :: <a href="#"
>Int</a
></dfn
><div class="doc empty"
></div
></li
></ul
></div
></td
></tr
></table
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>data</span
> <a id="t:R1" class="def"
>R1</a
> <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>Testing different record commenting styles</p
></div
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
><a id="v:C3" class="def"
>C3</a
></td
><td class="doc"
><p
>This is the <code
><a href="#"
>C3</a
></code
> record constructor</p
></td
></tr
><tr
><td colspan="2"
><div class="subs fields"
><p class="caption"
>Fields</p
><ul
><li
><dfn class="src"
><a id="v:s1" class="def"
>s1</a
> :: <a href="#"
>Int</a
></dfn
><div class="doc"
><p
>The <code
><a href="#"
>s1</a
></code
> record selector</p
></div
></li
><li
><dfn class="src"
><a id="v:s2" class="def"
>s2</a
> :: <a href="#"
>Int</a
></dfn
><div class="doc"
><p
>The <code
><a href="#"
>s2</a
></code
> record selector</p
></div
></li
><li
><dfn class="src"
><a id="v:s3" class="def"
>s3</a
> :: <a href="#"
>Int</a
></dfn
><div class="doc"
><p
>The <code
><a href="#"
>s3</a
></code
> record selector</p
></div
></li
></ul
></div
></td
></tr
></table
></div
></div
><div class="doc"
><p
>test that we can export record selectors on their own:</p
></div
><h1 id="g:4"
>Class declarations</h1
><div class="top"
><p class="src"
><span class="keyword"
>class</span
> <a href="#"
>D</a
> 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="#"
>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 id="v:a" class="def"
>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
><p class="src"
><a id="v:b" class="def"
>b</a
> :: [a] <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>this is a description of the <code
><a href="#"
>b</a
></code
> method</p
></div
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>class</span
> <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 id="v:d" class="def"
>d</a
> :: <a href="#"
>T</a
> a b <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a id="v:e" class="def"
>e</a
> :: (a, a) <a href="#" class="selflink"
>#</a
></p
></div
><div class="subs instances"
><details id="i:D" open="open"
><summary
>Instances</summary
><table
><tr
><td class="src clearfix"
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:D:D:1"
></span
> <a href="#"
>D</a
> <a href="#"
>Float</a
></span
> <a href="#" class="selflink"
>#</a
></td
><td class="doc empty"
></td
></tr
><tr
><td colspan="2"
><details id="i:ic:D:D:1"
><summary class="hide-when-js-enabled"
>Instance details</summary
><div class="subs methods"
><p class="caption"
>Methods</p
><p class="src"
><a href="#"
>d</a
> :: <a href="#"
>T</a
> <a href="#"
>Float</a
> b <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>e</a
> :: (<a href="#"
>Float</a
>, <a href="#"
>Float</a
>) <a href="#" class="selflink"
>#</a
></p
></div
></details
></td
></tr
><tr
><td class="src clearfix"
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:D:D:2"
></span
> <a href="#"
>D</a
> <a href="#"
>Int</a
></span
> <a href="#" class="selflink"
>#</a
></td
><td class="doc empty"
></td
></tr
><tr
><td colspan="2"
><details id="i:ic:D:D:2"
><summary class="hide-when-js-enabled"
>Instance details</summary
><div class="subs methods"
><p class="caption"
>Methods</p
><p class="src"
><a href="#"
>d</a
> :: <a href="#"
>T</a
> <a href="#"
>Int</a
> b <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>e</a
> :: (<a href="#"
>Int</a
>, <a href="#"
>Int</a
>) <a href="#" class="selflink"
>#</a
></p
></div
></details
></td
></tr
></table
></details
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>class</span
> <a id="t:E" class="def"
>E</a
> a <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>This is a class declaration with no methods (or no methods exported)</p
></div
><div class="subs minimal"
><p class="caption"
>Minimal complete definition</p
><p class="src"
>ee</p
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>class</span
> <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 id="v:ff" class="def"
>ff</a
> :: 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 id="v:f" class="def"
>f</a
> :: <a href="#"
>C</a
> 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="#"
>T</a
></code
>, and we can refer to modules by
using double quotes: <a href="#"
>Foo</a
>. We can add emphasis <em
>like this</em
>.</p
><ul
><li
>This is a bulleted list</li
><li
>This is the next item (different kind of bullet)</li
></ul
><ol
><li
>This is an ordered list</li
><li
>This is the next item (different kind of bullet)</li
></ol
><dl
><dt
>cat</dt
><dd
>a small, furry, domesticated mammal</dd
><dt
>pineapple</dt
><dd
>a fruit grown in the tropics</dd
></dl
><pre
> This is a block of code, which can include other markup: <code
><a href="#"
>R</a
></code
>
formatting
is
significant
</pre
><pre
>this is another block of code</pre
><p
>We can also include URLs in documentation: <a href="#"
>http://www.haskell.org/</a
>.</p
></div
></div
><div class="top"
><p class="src"
><a id="v:g" class="def"
>g</a
> :: <a href="#"
>Int</a
> -> <a href="#"
>IO</a
> CInt <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>we can export foreign declarations too</p
></div
></div
><h1 id="g:6"
>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
></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"
><p
>a nested, named doc comment</p
><p
>with a paragraph,</p
><pre
> and a code block</pre
></div
><div class="doc"
><pre
>test
test1</pre
><pre
> test2
test3
</pre
></div
><div class="doc"
><pre
>test1
test2
</pre
></div
><div class="doc"
><pre
>test3
test4</pre
></div
><div class="doc"
><pre
>test1
test2
</pre
><pre
>test3
test4</pre
></div
><div class="doc"
><pre
>test3
test4</pre
><pre
>test1
test2
</pre
></div
><div class="doc"
><p
>aux11:</p
><pre
>test3
test4</pre
><pre
>test1
test2
</pre
></div
><div class="doc"
><pre
>foo</pre
><pre
>bar</pre
></div
><div class="doc"
><p
>This is some inline documentation in the export list</p
><pre
>a code block using bird-tracks
each line must begin with > (which isn't significant unless it
is at the beginning of the line).</pre
></div
><h1 id="g:7"
>A hidden module</h1
><div class="top"
><p class="src"
><a id="v:hidden" class="def"
>hidden</a
> :: <a href="#"
>Int</a
> -> <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="#"
>Visible</a
></p
></div
><div class="doc"
><p
>nested-style doc comments </p
></div
><h1 id="g:9"
>Existential / Universal types</h1
><div class="top"
><p class="src"
><span class="keyword"
>data</span
> <a id="t:Ex" class="def"
>Ex</a
> a <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>A data-type using existential/universal types</p
></div
><div class="subs constructors"
><p class="caption"
>Constructors</p
><table
><tr
><td class="src"
><a href="#"
>C</a
> b => <a id="v:Ex1" class="def"
>Ex1</a
> b</td
><td class="doc empty"
></td
></tr
><tr
><td class="src"
><a id="v:Ex2" class="def"
>Ex2</a
> b</td
><td class="doc empty"
></td
></tr
><tr
><td class="src"
><a href="#"
>C</a
> a => <a id="v:Ex3" class="def"
>Ex3</a
> b</td
><td class="doc empty"
></td
></tr
><tr
><td class="src"
><a id="v:Ex4" class="def"
>Ex4</a
> (<span class="keyword"
>forall</span
> a. a -> a)</td
><td class="doc empty"
></td
></tr
></table
></div
></div
><h1 id="g:10"
>Type signatures with argument docs</h1
><div class="top"
><p class="src"
><a id="v:k" class="def"
>k</a
> <a href="#" class="selflink"
>#</a
></p
><div class="subs arguments"
><p class="caption"
>Arguments</p
><table
><tr
><td class="src"
>:: <a href="#"
>T</a
> () ()</td
><td class="doc"
><p
>This argument has type <code
><a href="#"
>T</a
></code
></p
></td
></tr
><tr
><td class="src"
>-> <a href="#"
>T2</a
> <a href="#"
>Int</a
> <a href="#"
>Int</a
></td
><td class="doc"
><p
>This argument has type 'T2 Int Int'</p
></td
></tr
><tr
><td class="src"
>-> (<a href="#"
>T3</a
> <a href="#"
>Bool</a
> <a href="#"
>Bool</a
> -> <a href="#"
>T4</a
> <a href="#"
>Float</a
> <a href="#"
>Float</a
>)</td
><td class="doc"
><p
>This argument has type <code
>T3 Bool Bool -> T4 Float Float</code
></p
></td
></tr
><tr
><td class="src"
>-> <a href="#"
>T5</a
> () ()</td
><td class="doc"
><p
>This argument has a very long description that should
hopefully cause some wrapping to happen when it is finally
rendered by Haddock in the generated HTML page.</p
></td
></tr
><tr
><td class="src"
>-> <a href="#"
>IO</a
> ()</td
><td class="doc"
><p
>This is the result type</p
></td
></tr
></table
></div
><div class="doc"
><p
>This is a function with documentation for each argument</p
></div
></div
><div class="top"
><p class="src"
><a id="v:l" class="def"
>l</a
> <a href="#" class="selflink"
>#</a
></p
><div class="subs arguments"
><p class="caption"
>Arguments</p
><table
><tr
><td class="src"
>:: (<a href="#"
>Int</a
>, <a href="#"
>Int</a
>, <a href="#"
>Float</a
>)</td
><td class="doc"
><p
>takes a triple</p
></td
></tr
><tr
><td class="src"
>-> <a href="#"
>Int</a
></td
><td class="doc"
><p
>returns an <code
><a href="#"
>Int</a
></code
></p
></td
></tr
></table
></div
></div
><div class="top"
><p class="src"
><a id="v:m" class="def"
>m</a
> <a href="#" class="selflink"
>#</a
></p
><div class="subs arguments"
><p class="caption"
>Arguments</p
><table
><tr
><td class="src"
>:: <a href="#"
>R</a
></td
><td class="doc empty"
></td
></tr
><tr
><td class="src"
>-> <a href="#"
>N1</a
> ()</td
><td class="doc"
><p
>one of the arguments</p
></td
></tr
><tr
><td class="src"
>-> <a href="#"
>IO</a
> <a href="#"
>Int</a
></td
><td class="doc"
><p
>and the return value</p
></td
></tr
></table
></div
><div class="doc"
><p
>This function has some arg docs</p
></div
></div
><div class="top"
><p class="src"
><a id="v:o" class="def"
>o</a
> <a href="#" class="selflink"
>#</a
></p
><div class="subs arguments"
><p class="caption"
>Arguments</p
><table
><tr
><td class="src"
>:: <a href="#"
>Float</a
></td
><td class="doc"
><p
>The input float</p
></td
></tr
><tr
><td class="src"
>-> <a href="#"
>IO</a
> <a href="#"
>Float</a
></td
><td class="doc"
><p
>The output float</p
></td
></tr
></table
></div
><div class="doc"
><p
>A foreign import with argument docs</p
></div
></div
><h1 id="g:11"
>A section</h1
><h2 id="g:12"
>A subsection</h2
><div class="doc"
><pre
>a literal line</pre
><p
>$ a non <em
>literal</em
> line $</p
></div
><div class="top"
><p class="src"
><a id="v:f-39-" class="def"
>f'</a
> :: <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="#"
>f'</a
></code
>
but f' doesn't get link'd 'f\''</p
></div
></div
><div class="top"
><p class="src"
><a id="v:withType" class="def"
>withType</a
> :: <a href="#"
>Int</a
> <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>Comment on a definition with type signature</p
></div
></div
><div class="top"
><p class="src"
><a id="v:withoutType" class="def"
>withoutType</a
> :: a <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>Comment on a definition without type signature</p
></div
></div
></div
></div
><div id="footer"
></div
></body
></html
>