[commit: haddock] ghc-7.6: Add documentation for properties (98dcade)
Simon Hengel <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/haddock On branch : ghc-7.6 http://hackage.haskell.org/trac/ghc/changeset/98dcade7ac447886c9e39ae3f7ce0f2094db5e74 >--------------------------------------------------------------- commit 98dcade7ac447886c9e39ae3f7ce0f2094db5e74 Author: Simon Hengel <[email protected]> Date: Wed Oct 10 14:28:35 2012 +0200 Add documentation for properties >--------------------------------------------------------------- doc/haddock.xml | 12 ++++++++++++ 1 files changed, 12 insertions(+), 0 deletions(-) diff --git a/doc/haddock.xml b/doc/haddock.xml index 7a2f1e8..4620fc8 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>