3

我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". 为此，我想我需要创建自己的DataInstances Typeable，Function对吗？

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

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

4

1 回答 1

6

在最新版本的 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 -> ...
于 2015-10-06T22:41:01.463 回答