[Haddock] Haddock infers types in some situations but not others?

Richard Silverman res at qoxp.net
Tue Nov 29 04:06:26 GMT 2011

> 2011/11/28 Richard Silverman <res at qoxp.net>:
>> Hello,
>> I have a question about Haddock (version 2.9.4). When I give it a module
>> which exports some functions, I don't have to give type signatures for those
>> functions; it uses GHC to infer the types and includes them in the doc.
>> However, if I have it document everything in the module, either by giving an
>> empty export list or using --ignore-all-exports, it does *not* do that. In
>> fact, it only documents functions for which I've given explicit types in the
>> program.
>> Is there a way to have it include inferred types in the latter situation as
>> well?

On Mon, 28 Nov 2011, David Waern wrote:

> Hi Tyson,
> unfortunately there's no way to do that currently. The fact that it
> partly works now is actually a side-effect of the SoC project on
> cross-package documentation. I don't think much more work is needed to
> complete this feature, but no one is working on it at the moment. 
> David

Ah OK; thanks for the info.

> If you feel like doing a little bit of hacking it could be a fun project!

Maybe I'll do that!


More information about the Haddock mailing list