haskell - 导出数据族实例构造函数

Question

如何导出数据族实例的构造函数？我尝试了各种方法都没有成功(请参阅注释掉的代码):

module Test (
    --Foo () (..)
    --type Foo () (..)
    --UnitBar
) where

class Foo a where
    data Bar a :: *

instance Foo () where
    data Bar () = UnitBar

我能够成功导出构造函数的唯一方法是在执行
module Test where
请注意缺少括号。这种方法的缺点是会留下太多信息!

Answer 1

用

module Test (
    Bar(..)
) where

导出关联数据族中的所有构造函数 Bar .或者

module Test (
    Bar(UnitBar)
) where

仅导出单个构造函数。

您可以阅读 relevant section in GHC's documentation更多细节。