[Haddock] Haddock markup support for properties

[Kazu Yamamoto ( 山本和彦 )]

Hello all,

This is just FYI.
An example implementation of "prop>" for haddock can be found:

	https://github.com/kazu-yamamoto/haddock/commit/f44fb1ae9b517fa8e5195055d7adc2670388fe61

Regards,

--Kazu

> (CCing the Haddock mailing list, Kazu Yamamoto and Simon Marlow)
> 
> Hi David,
> Kazu Yamamoto is adding support for QuickCheck properties to doctest.
> So we need to decide on concrete syntax for properties in Haddock
> comments.  Previously we designated `prop>' for that[1].  Do you still
> think this is a good choice?
> 
> Here is an example from [2].
> 
>     prop> isSearchPathSeparator a == (a == searchPathSeparator)
> 
> I'm asking because we recently discussed whether we need something akin
> to JavaDoc's @, e.g. %.  If we would intend to introduce something like
> that, then using %prop for properties may be an option.
> 
>     %prop isSearchPathSeparator a == (a == searchPathSeparator)
> 
> Cheers,
> Simon
> 
> [2] http://trac.haskell.org/haddock/ticket/140
> [1] http://hackage.haskell.org/packages/archive/filepath/1.3.0.0/doc/html/System-FilePath-Posix.html#v:isSearchPathSeparator