如何告诉 Haskell 不要从两个模块导入同一个实例？

Question

我正在使用以下类型类：

module T where
class T a where
  v :: a

我实现的T Int 的一个实例：

import T
import A (av)

instance T Int where
  v = 0

main = putStrLn (av ++ show v)

还有一个我想从中使用值的模块，它也有一个 T Int 的实例。

module A where
import T
instance T Int where
  v = 0
av = "value from A"

问题是这不起作用：

$ runghc Main.hs 

Main.hs:4:9:
    Duplicate instance declarations:
      instance T Int -- Defined at Main.hs:4:9-13
      instance T Int -- Defined at A.hs:3:9-13

Haskell 抱怨同一个实例有 2 个声明。如何告诉他不要从B导入实例，或者统一两个实例，或者只使用Main的实例？

Answer 1

不幸的是，您无法控制实例的导入和导出方式；见Do Haskell imports have side effects?。

这意味着您必须重构代码以确保实例仅在一个文件中定义。一般来说，最好只在定义类或数据类型的文件中定义一个实例——事实上，甚至有一个关于不遵循此规则的“孤立”实例的警告。 （请查看Orphaned instances in Haskell，详细讨论为什么应该避免孤立实例。）

但是，如果由于某种原因无法做到这一点，您仍然可以随意选择其中一个文件来保留它，甚至可以创建一个新模块以供需要该特定实例的所有文件导入。

更一般地说，您将如何处理这两个实例做了不同事情的可能性，例如：

instance T Int where v = 0
{- And in a different file: -}
instance T Int where v = 1

在不显着改变 Haskell 类型类系统的工作方式的情况下，确实没有直接明显的方法可以消除这两者的歧义。

由于您自己编写了其中一个实例，因此只需删除该实例即可。由于它与预定义的相同，因此只需将该模块导入到您需要使用它的任何位置。