haskell - 带有元组的新类型

Question

关于此代码来自 LearnYouaHaskell :

newtype Pair b a = Pair {getPair :: (a,b)}
instance Functor (Pair c) where
  fmap f (Pair (x, y)) = Pair (f x, y)

我知道第一行从元组创建了一个新的数据类型。但是，为什么参数的顺序从 Pair b a 切换到 getPair::(a,b) 呢？如果我切换其中一个顺序，则由于 fmap 的定义中的模式匹配而出现错误。

Answer 1

Functor 类需要一个类型参数，而 Pair 类型有两个。 Pair的实例定义:

instance Functor (Pair c) where ...

固定第一个类型参数，它对应于元组的第二个元素。这意味着 fmap 转换元组的第一个元素。如果 Pair 的类型参数是另一个顺序，您将转换第二个元组元素，并且定义必须更改为:

fmap f (Pair (x, y)) = Pair (x, f y)

注意对 Functor 的内置定义已经以这种方式运行，例如

import Data.Functor
fmap (+1) ("first", 3)