haskell - 在 Yesod 的 Key a 上定义一个新实例？

Question

收到 type 的值后Key a，我可以轻松定义和使用此函数：

keyToInt64 :: Key a -> Int64
keyToInt64 (Key (PersistInt64 n)) = n
keyToInt64 _ = error "wrong database type"

但是，我不能在实例中使用相同的功能Key a！

instance Num (Key a) where
    fromInteger = fromIntegral . keyToInt64

我收到此错误：

Illegal type synonym family application in instance: Key a
In the instance declaration for `Num (Key a)'

我如何定义这个实例？为什么我的方法不起作用？

Answer 1

Key entity是 的同义词KeyBackend backend entity，因此您需要在具体类型上定义实例。

instance Num (KeyBackend backend entity) where
  Key (PersistInt64 a) + Key (PersistInt64 b) = Key . PersistInt64 $ a + b
  Key _                + _                    = error "wrong database type"
  _                    + Key _                = error "wrong database type"
  ...

虽然error如此无缘无故地使用可能会在以后造成很多痛苦。