aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authornand <git@nand.wakku.to>2014-02-04 22:13:27 +0100
committerMateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>2014-02-11 15:48:30 +0000
commite0718f203f2448ba2029e70d14aed075860b7fac (patch)
treebe0d1a8d69efe1c7114b0740a660dff28939ad69 /doc
parent860d6504530a163e7483960ca8837eb596e05634 (diff)
Add support for type/data families
This adds support for type/data families with their respective instances, as well as closed type families and associated type/data families. Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
Diffstat (limited to 'doc')
-rw-r--r--doc/haddock.xml12
1 files changed, 10 insertions, 2 deletions
diff --git a/doc/haddock.xml b/doc/haddock.xml
index 7c1ca91c..8eb9ede7 100644
--- a/doc/haddock.xml
+++ b/doc/haddock.xml
@@ -1093,11 +1093,19 @@ square x = x * x
<para>A <literal>newtype</literal> declaration,</para>
</listitem>
<listitem>
- <para>A <literal>type</literal> declaration, or</para>
+ <para>A <literal>type</literal> declaration</para>
</listitem>
<listitem>
- <para>A <literal>class</literal> declaration.</para>
+ <para>A <literal>class</literal> declaration,</para>
</listitem>
+ <listitem>
+ <para>A <literal>data family</literal> or
+ <literal>type family</literal> declaration, or</para>
+ </listitem>
+ <listitem>
+ <para>A <literal>data instance</literal> or
+ <literal>type instance</literal> declaration.</para>
+ </listitem>
</itemizedlist>
<para>If the annotation is followed by a different kind of