haskell - Haddock:用推断的类型签名记录声明？

Question

考虑以下模块

{-# LANGUAGE RecordWildCards #-}
module Example (foo, fuh, fon, fuzz) where

import qualified FirstClassModule (Bar(foo,fuh,fon,fuzz), makeBar)

FirstClassModule.Bar {..} = FirstClassModule.makeBar parameter

parameter :: Int
parameter = 15

意图是模块 FirstClassModule提供记录类型 Bar这有点像一流的模块。然后，模块 Example实例化模块并使用 RecordWildCards 扩展将名称带入范围并使其可导出。

当你在这个模块上运行 Haddock(2.8 版)时，它会干扰 foo 的类型签名。函数并将它们包含在 API 文档中。现在，我的问题是:

Is there a way to document the resulting names foo, fuh, etc. without writing down their type signatures in the Example module?

我不想写类型签名，因为在这种情况下，因为它们是样板文件。如果我必须把它们写下来，这个模块就失去了存在的理由。

Answer 1

从黑线鳕用户手册:

http://www.haskell.org/haddock/doc/html/markup.html#id564988

Note that Haddock doesn't contain a Haskell type system — if you don't write the type signature for a function, then Haddock can't tell what its type is and it won't be included in the documentation.

该文档适用于 2.8 版，2.9 版是最新的。