haskell - 为包含不能有 Eq 或 Show 的字段的 ADT 派生 Eq 和 Show

Question

我希望能够推导出 Eq和 Show对于包含多个字段的 ADT。其中之一是功能字段。做的时候Show ，我希望它显示一些虚假的东西，例如"<function>" ;做的时候Eq ，我希望它忽略该字段。在不为 Show 手写完整实例的情况下，我怎样才能最好地做到这一点？和 Eq ?
我不想将函数字段包裹在 newtype 中并写我自己的 Eq和 Show为此 - 那样使用太麻烦了。

Answer 1

获得正确方法的一种方法 Eq和 Show实例是为了，而不是对该函数字段进行硬编码，使其成为类型参数并提供一个仅“删除”该字段的函数。即，如果你有

data Foo = Foo
  { fooI :: Int
  , fooF :: Int -> Int }

你把它改成

data Foo' f = Foo
  { _fooI :: Int
  , _fooF :: f }
 deriving (Eq, Show)
type Foo = Foo' (Int -> Int)

eraseFn :: Foo -> Foo' ()
eraseFn foo = foo{ fooF = () }

然后， Foo仍然不会是 Eq - 或 Show能够(毕竟它不应该)，但要制作 Foo值显示你可以把它包装在 eraseFn .