如何使functor的函数类型构造函数实例？ 重复的实例

Question

我正在尝试在类型类别中进行练习，但是我没有足够的知识来创建一个像函数一样的数据类型。

第一个练习说：“为e和（（ - >）e）实现Functor实例。”

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

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

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

如何创建一个data X yw = ...表现得像一个函数？

这是我的编译代码：

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

Answer 1

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

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

instance Functor (Function a) where
  ...