Question

我使用cmdargs从命令行程序中获取一些参数。我在我的程序中使用了一些特殊类型

data Function = Max
              | Min
              | Moy
              | Med
              deriving (Eq,Data,Typeable)

我可以通过在类"Max" "Min" "Moy" "Med"和Function中派生Data数据类型，直接在Typeable的参数中传递这些类型。我的问题是我的程序变得越来越复杂，我需要重命名我的构造函数以避免名称冲突。

data Function = funMax
              | funMin
              | funMoy
              | funMed
              deriving (Eq,Data,Typeable)

但是，我想继续使用"Max" "Min" "Moy" "Med"访问这些构造函数。为此，我想我需要创建自己的Data和Typeable Function实例，是吗？

我的问题是，即使在阅读了Hackage文档后，我也没有设法创建这些实例。

您是否曾成功创建自己数据类型的Data和Typeable个实例？

Answer 1

在GHC的最新版本中，Typeable根本无法由用户定义。它的投射操作应该是安全的，因为只允许自动派生的实例。

自GHC 7.10以来，它进一步发生了变化：Typeable现在自动为所有类型派生，因此deriving Typeable实际上是多余的（但可能包括在内）向后兼容性。）

Data 可以仍然是用户定义的，但我不确定这是个好主意。事实上，对于您的用例，我怀疑使用更简单的Read类会更好。

您还可以通过将构造函数拆分为不同的模块并导入该构造函数来避免重命名构造函数：

module Types.Fun where
data Function = Max
              | Min
              | Moy
              | Med
              deriving (Eq,Data,Typeable)

...

module Main where
import qualified Types.Fun as Fun

... case ... of Fun.Max -> ...

Haskell Typeable实例

1 个答案: