aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorSimon Hengel <sol@typeful.net>2012-10-10 14:28:35 +0200
committerSimon Hengel <sol@typeful.net>2012-10-10 14:28:35 +0200
commit98dcade7ac447886c9e39ae3f7ce0f2094db5e74 (patch)
treefc63c92f142958cb694129c6261625fc170bfac0 /doc
parent2490fd357e2842932ef83b771ac75d5cde0c2e5d (diff)
Add documentation for properties
Diffstat (limited to 'doc')
-rw-r--r--doc/haddock.xml12
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/haddock.xml b/doc/haddock.xml
index 7a2f1e8e..4620fc89 100644
--- a/doc/haddock.xml
+++ b/doc/haddock.xml
@@ -1672,6 +1672,18 @@ module A where
generated documenation.</para>
</section>
+ <section>
+ <title>Properties</title>
+ <para>
+ Haddock provides markup for properties:
+<programlisting>
+-- | Addition is commutative:
+--
+-- prop> a + b = b + a
+</programlisting>
+ This allows third-party applications to extract and verify them.
+ </para>
+ </section>
<section>
<title>Hyperlinked Identifiers</title>