From 98dcade7ac447886c9e39ae3f7ce0f2094db5e74 Mon Sep 17 00:00:00 2001 From: Simon Hengel Date: Wed, 10 Oct 2012 14:28:35 +0200 Subject: Add documentation for properties --- doc/haddock.xml | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'doc') 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. +
+ Properties + + Haddock provides markup for properties: + +-- | Addition is commutative: +-- +-- prop> a + b = b + a + + This allows third-party applications to extract and verify them. + +
Hyperlinked Identifiers -- cgit v1.2.3