haskell - 如何使仿函数的函数类型构造函数实例化？重复实例

Question

我正在尝试做typeclassopedia中的练习。 ，但我没有足够的知识来创建一个行为类似于函数的数据类型。

第一个练习说:“为 Either e 和 ((->) e) 实现仿函数实例。”

我想我理解类型构造函数，但我不理解这个具体情况。

我不知道在哪里可以找到信息，我在 Google 中搜索过但失败了。

这是我的尝试，但 (->) r a 类型已在 GHC-base 中定义。

如何创建一个行为类似于函数的 data X y w = ...？

这是我未编译的代码:

instance Functor ((->) r) where
  fmap f g = (.)

Answer 1

为已有实例编写新实例的规范方法是将其包装在 newtype 中:

newtype Function a b = Function { getFunction :: a -> b }

instance Functor (Function a) where
  ...