为什么这个函子定义给我一个错误？

Question

data PPMImage a = PPMImage {width :: Integer,
                        height :: Integer,
                        magicNumber :: Integer,
                        maxColor :: Integer,
                        pixels :: [a]} deriving (Show)

instance Functor PPMImage where
    fmap f (PPMImage w h m c p) = f PPMImage w h m c (f p)

我想我了解函子的整个包装和展开方面 - 用户 MCH 提供的this link 帮助很大。

函数和列表已经是函子，但是我定义的这个PPMImage没有默认函子实例。我正在尝试定义一个仅应用于PPMImage 的（像素）数组的函数，但我不断收到此错误：

Couldn't match expected type ‘[b]’ with actual type ‘b’
  ‘b’ is a rigid type variable bound by
    the type signature for:
      fmap :: forall a b. (a -> b) -> PPMImage a -> PPMImage b
    at New.hs:13:5-8
• In the fifth argument of ‘PPMImage’, namely ‘(f p)’
  In the expression: PPMImage w h m c (f p)
  In an equation for ‘fmap’:
      fmap f (PPMImage w h m c p) = PPMImage w h m c (f p)
• Relevant bindings include
    f :: a -> b (bound at New.hs:13:10)
    fmap :: (a -> b) -> PPMImage a -> PPMImage b (bound at New.hs:13:5)

我不明白为什么会这样，这个函子不就是解开原来的PPMImage，然后应用函数f，然后重新包装成一个新的PPMImage吗？

Answer 1

如果您从PPImage 前面删除f 并将map 或fmap 添加到f p，它应该可以工作。 p是一个列表，所以你不能直接申请f，它也必须是fmapped覆盖p的内容。

instance Functor PPMImage where
    fmap f (PPMImage w h m c p) = PPMImage w h m c (fmap f p)