haskell - 在 `a` 上使用 `newtype a` 的函数

Question

假设我有以下newtype:

newtype Foo = Foo 整数导出(Eq、Show)

是否有一种简洁的方法来添加两个 Foo:

(Foo 10) + (Foo 5) == Foo 15

或者获取最大值:

max (Foo 10) (Foo 5) == Foo 5？

我很好奇是否可以轻松地将 a 的函数用于 newtype a 而不是这样做:

addFoo :: Foo -> Foo -> Foo
addFoo (Foo x) (Foo y) = Foo $ x + y

Answer 1

正如 haskell98 知道如何为您派生这些 Eq 和 Show 实例一样，您可以打开 ghc 的 GeneralizedNewtypeDeriving 扩展来获取您需要的 Num 和 Ord 实例:

Prelude> :set -XGeneralizedNewtypeDeriving 
Prelude> newtype Foo = Foo Integer deriving (Eq, Show, Num, Ord)
Prelude> (Foo 10) + (Foo 5) == Foo 15
True
Prelude> max (Foo 10) (Foo 5) == Foo 5
False