[Haskell] A haddock question

[Simon Marlow]

On 10 October 2005 12:44, Benjamin Franksen wrote:

> I have a module with a public class plus some instances for public
> data types. In addition, I use this class inside another module where
> I declare local (module private) data types and make them instances of
> the class. I had expected that haddock (I am using 0.7) will list in
> the documentation only instances of data types that are exported, but
> instead all instances are listed.
> 
> Is there a way to persuade haddock to list only instances of data
> types that are actually visible to the user?

Haddock's support for instances is somewhat braindead - it just reports
all the instances it can find for a given class in the entire set of
modules it is processing.  In particular, Haddock makes no attempt to
tell you how to bring these instances into scope: they might not be
available from the module that exports the class, or the type(s),
involved in the instance.

Haskell makes this quite hard: an instance is available if it is
provided by the transitive closure of an imported module.  We clearly
don't want to report all the available instances in every module's
documentation, however.  This is exposes to the user