考虑以下模块
{-# 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文档中。现在,我的问题是:我不想写类型签名,因为在这种情况下,因为它们是样板。如果我必须将它们写下来,则此模块会失去其存在的理由。
最佳答案
从Haddock用户手册中:
http://www.haskell.org/haddock/doc/html/markup.html#id564988
该文档适用于2.8版,而2.9版是最新的。
关于haskell - Haddock:用推断的类型签名记录声明吗?,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/5604265/