[Haddock] Haddock markup support for properties
Kazu Yamamoto ( 山本和彦 )
kazu at iij.ad.jp
Fri Apr 27 09:24:33 BST 2012
This is just FYI.
An example implementation of "prop>" for haddock can be found:
> (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. Do you still
> think this is a good choice?
> Here is an example from .
> 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)
>  http://trac.haskell.org/haddock/ticket/140
>  http://hackage.haskell.org/packages/archive/filepath/220.127.116.11/doc/html/System-FilePath-Posix.html#v:isSearchPathSeparator
More information about the Haddock