[Haskell-cafe] QuickCheck properties: export or not?

[Don Stewart]

paul:
> I was recently sent a patch for my Ranged Sets library which exported 
> all the QuickCheck properties.  I'd left them unexported on the grounds 
> that they clutter up the documentation (although simplified versions are 
> included in the documentation) and you can easily run them with the 
> standard "quickcheck" script.  The contributor, gwern0 at gmail.com 
> suggested an explicit test harness instead.
> 
> I'm not unduly bothered one way or the other, but I thought I'd ask the 
> community: what is the best practice here?

Most libs seem to include an external Properties.hs or similar file.
The only tension there is how much do you need to test thoroughly.
You might still end up exporting more than you wish to.

-- Don